Author of the publication

Towards formalizing Virtual Enterprise Architecture.

, , and . EDOCW, page 238-242. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Goel, Amit
add a person with the name Goel, Amit
 

Other publications of authors with the same name

A Methodology for Characterization of Large Macro Cells and IP Blocks Considering Process Variations., , , and . ISQED, page 200-206. IEEE Computer Society, (2008)SMT-Based System Verification with DVF., , , and . SMT@IJCAR, volume 20 of EPiC Series in Computing, page 32-43. EasyChair, (2012)Protocol Proof Checking Simplified with SMT., and . NCA, page 195-202. IEEE Computer Society, (2012)Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis., and . DATE, page 10816-10821. IEEE Computer Society, (2003)Finite Model Finding in SMT., , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 640-655. Springer, (2013)Ground Interpolation for Combined Theories., , and . CADE, volume 5663 of Lecture Notes in Computer Science, page 183-198. Springer, (2009)Revisiting Positive Equality., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)Combined Satisfiability Modulo Parametric Theories., , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 602-617. Springer, (2007)OUPS: A Combined Approach Using SMOTE and Propensity Score Matching., , and . ICMLA, page 424-427. IEEE, (2014)Calculating grid partitioning costs of distributed virtual world simulation systems., , , and . SpringSim (ANSS), page 25-32. SCS/ACM, (2015)