Michael Siegel

Daniel Goldsmith, Michael Siegel: Improving Health Care Management Through the Use of Dynamic Simulation Modeling and Health Information Systems. IJITSA 5(1): 19-36 (2012)

David M. Ambrose, Michael Siegel: A non-stiff boundary integral method for 3D porous media flow with surface tension. Mathematics and Computers in Simulation 82(6): 968-983 (2012)

Daniel Goldsmith, Michael Siegel: Cyber Politics: Understanding the Use of Social Media for Dissident Movements in an Integrated State Stability Framework. ASONAM 2012: 1321-1328

Michael Siegel: Achieving earlier verification closure using advanced formal verification. FMCAD 2010: 275

Michael Siegel, Adriana Maggiore, Christian Pichler: Untwist your brain: efficient debugging and diagnosis of complex assertions. DAC 2009: 644-647

Thomas Gannon, Stuart E. Madnick, Allen Moulton, Michael Siegel, Marwan Sabbouh, Hongwei Zhu: Framework for the Analysis of the Adaptability, Extensibility, and Scalability of Semantic Information Integration and the Context Mediation Approach. HICSS 2009: 1-11

Cynthia Breazeal, Michael Siegel, Matt Berlin, Jesse Gray, Roderic A. Grupen, Patrick Deegan, Jeff Weber, Kailas Narendran, John McBean: Mobile, dexterous, social robots for mobile manipulation and human-robot interaction. SIGGRAPH New Tech Demos 2008: 27

Wee Horng, Yang W. Lee, Stuart E. Madnick, Dinsha Mistress, Michael Siegel, Diane M. Strong, Y. Richard Wang, Yurong Yao: House of Security: Locale Roles and Resources for Ensuring Information Security. AMCIS 2006: 420

Terrence Fong, Jean Scholtz, Julie A. Shah, Lorenzo Flückiger, Clayton Kunz, David Lees, John Schreiner, Michael Siegel, Laura M. Hiatt, Illah R. Nourbakhsh, Reid G. Simmons, Robert O. Ambrose, Robert R. Burridge, Brian Antonishek, Magdalena D. Bugajska, Alan C. Schultz, J. Gregory Trafton: A Preliminary Study of Peer-to-Peer Human-Robot Interaction. SMC 2006: 3198-3203

Darren Crowdy, Michael Siegel: Exact Solutions for the Evolution of a Bubble in Stokes Flow: A Cauchy Transform Approach. SIAM Journal of Applied Mathematics 65(3): 941-963 (2005)

Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming. PPSWR 2004: 90-101

Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources. SWDB 2004: 127-139

Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Effective Data Integration in the Presence of Temporal Semantic Conflicts. TIME 2004: 109-114

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). Inf. Comput. 184(1): 227 (2003)

Allen Moulton, Stuart E. Madnick, Michael Siegel: Semantic Interoperability in the Fixed Income Securities Industry: A Knowledge Representation Architecture for Dynamic Integration of Web-Based Information. HICSS 2003: 287

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002)

Stuart E. Madnick, Michael Siegel: Seizing the Opportunity: Exploiting Web Aggregation. MIS Quarterly Executive 1(1) (2002)

Allen Moulton, Stuart E. Madnick, Michael Siegel: Semantic Interoperability in the Securities Industry: Context Interchange Mediation of Semantic Differences in Enumerated Data Types. DEXA Workshops 2002: 883-888

Mark Hansen, Stuart E. Madnick, Michael Siegel: Data Integration using Web Services. DIWeb 2002: 3-16

Mark Hansen, Stuart E. Madnick, Michael Siegel: Data Integration Using Web Services. EEXTT 2002: 165-182

Mark Hansen, Stuart E. Madnick, Michael Siegel: Process Aggregation Using Web Services. WES 2002: 12-27

Allen Moulton, Stuart E. Madnick, Michael Siegel: Knowledge Representation Architecture for Context Interchange Mediation: Fixed Income Securities Investment Examples. DEXA Workshop 2001: 50-54

Stéphane Bressan, Cheng Hian Goh, Natalia Levina, Stuart E. Madnick, Ahmed Shah, Michael Siegel: Context Knowledge Representation and Reasoning in the Context Interchange System. Appl. Intell. 13(2): 165-180 (2000)

Aykut Firat, Stuart E. Madnick, Michael Siegel: The Camaleon Web Wrapper Engine. TES 2000: 269-283

Cheng Hian Goh, Stéphane Bressan, Stuart E. Madnick, Michael Siegel: Context Interchange: New Features and Formalisms for the Intelligent Integration of Information. ACM Trans. Inf. Syst. 17(3): 270-293 (1999)

Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469

Thomas Lee, Melanie Chams, Robert Nado, Michael Siegel, Stuart E. Madnick: Information Integration with Attributio Support for Corporate Profiles. CIKM 1999: 423-429

Amir Pnueli, Ofer Strichman, Michael Siegel: The Code Validation Tool CVT: Automatic Verification of a Compilation Process. STTT 2(2): 192-201 (1998)

Allen Moulton, Stuart E. Madnick, Michael Siegel: Context Mediation on Wall Street. CoopIS 1998: 271-279

Allen Moulton, Stéphane Bressan, Stuart E. Madnick, Michael Siegel: An Active Conceptual Model for Fixed Income Securities Analysis for Multiple Financial Institutions. ER 1998: 407-420

Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From DC+ to C*. FM-Trends 1998: 137-150

Michael Siegel: Formal Verification of Stabilizing Systems. FTRTFT 1998: 158-172

Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation for Synchronous Languages. ICALP 1998: 235-246

Amir Pnueli, Michael Siegel, Eli Singerman: Translation Validation. TACAS 1998: 151-166

Stuart E. Madnick, Michael Siegel: The COntext INterchange (COIN) Project: Data Extraction and Interpretation from Semi-Structured Web Sources. QL 1998

Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101

Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. ASIAN 1997: 181-196

Stéphane Bressan, Cheng Hian Goh, Kofi Fynn, Marta Jessica Jakobisiak, Karim Hussein, Henry B. Kon, Thomas Lee, Stuart E. Madnick, Tito Pena, Jessica Qu, Annie W. Shum, Michael Siegel: The COntext INterchange Mediator Prototype. SIGMOD Conference 1997: 525-527

Stéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart E. Madnick, Michael Siegel: A Procedure for Mediation of Queries to Sources in Disparate Contexts. ILPS 1997: 213-227

Yassine Lakhnech, Michael Siegel: Deductive verification of stabilizing systems. WSS 1997: 201-216

J. L. Lee, Stuart E. Madnick, Michael Siegel: Conceptualizing Semantic Interoperability: A Perspective From the Knowledge Level. Int. J. Cooperative Inf. Syst. 5(4): 367-394 (1996)

Jan Peleska, Michael Siegel: From Testing Theory to Test Driver Implementation. FME 1996: 538-556

Michael Siegel: A Study of Singularity Formation in the Kelvin-Helmholtz Instability with Surface Tension. SIAM Journal of Applied Mathematics 55(4): 865-891 (1995)

Michael Siegel: A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. CONCUR 1995: 378-392

Adil Daruwala, Cheng Hian Goh, Scott Hofmeister, Karim Hussein, Stuart E. Madnick, Michael Siegel: The Context Interchange Network Prototype. DS-6 1995: 65-92

Michael Siegel, Stuart E. Madnick, Edward Sciore: Context interchange in a client-server architecture. Journal of Systems and Software 27(3): 223-232 (1994)

Edward Sciore, Michael Siegel, Arnon Rosenthal: Using Semantic Values to Falilitate Interoperability Among Heterogeneous Information Systems. ACM Trans. Database Syst. 19(2): 254-290 (1994)

Cheng Hian Goh, Stuart E. Madnick, Michael Siegel: Context Interchange: Overcoming the Challenges of Large-Scale Interoperable Database Systems in a Dynamic Environment. CIKM 1994: 337-346

Michael Siegel, Frank A. Stomp: Extending the Limits of Sequentially Phased Reasoning. FSTTCS 1994: 402-413

M. P. Reddy, Michael Siegel, Amar Gupta: Towards an Active Schema Integration Architecture for Heterogeneous Database Systems. RIDE-IMS 1993: 178-183

Michael Siegel, Edward Sciore, Sharon C. Salveter: A Method for Automatic Rule Derivation to Support Semantic Query Optimization. ACM Trans. Database Syst. 17(4): 563-600 (1992)

Michael Siegel, Stuart E. Madnick: Context Interchange: Sharing the Meaning of Data. SIGMOD Record 20(4): 77-78 (1991)

Michael Siegel, Edward Sciore, Sharon C. Salveter: Rule Discovery for Query Optimization. Knowledge Discovery in Databases 1991: 411-430

Michael Siegel, Stuart E. Madnick: A Metadata Approach to Resolving Semantic Conflicts. VLDB 1991: 133-145

Stuart E. Madnick, Michael Siegel, Y. Richard Wang: The Composite Information System Laboratory (CISL) Project at MIT. IEEE Data Eng. Bull. 13(2): 10-15 (1990)

Michael Siegel: Automatic Rule Derivation For Semantic Query Optimization. Expert Database Conf. 1988: 669-698

Nancy A. Lynch, Barbara T. Blaustein, Michael Siegel: Correctness Conditions for Highly Available Replicated Databases. PODC 1986: 11-28