Michael Siegel

	2009
52		Michael Siegel, Adriana Maggiore, Christian Pichler: Untwist your brain: efficient debugging and diagnosis of complex assertions. DAC 2009: 644-647
51		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
	2008
50		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
	2005
49		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)
	2004
48		Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming. PPSWR 2004: 90-101
47		Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources. SWDB 2004: 127-139
46		Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Effective Data Integration in the Presence of Temporal Semantic Conflicts. TIME 2004: 109-114
	2003
45		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
44		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)
	2002
43		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
42		Mark Hansen, Stuart E. Madnick, Michael Siegel: Data Integration using Web Services. DIWeb 2002: 3-16
41		Mark Hansen, Stuart E. Madnick, Michael Siegel: Data Integration Using Web Services. EEXTT 2002: 165-182
40		Mark Hansen, Stuart E. Madnick, Michael Siegel: Process Aggregation Using Web Services. WES 2002: 12-27
39		Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002)
38		Stuart E. Madnick, Michael Siegel: Seizing the Opportunity: Exploiting Web Aggregation. MIS Quarterly Executive 1(1): (2002)
	2001
37		Allen Moulton, Stuart E. Madnick, Michael Siegel: Knowledge Representation Architecture for Context Interchange Mediation: Fixed Income Securities Investment Examples. DEXA Workshop 2001: 50-54
	2000
36		Aykut Firat, Stuart E. Madnick, Michael Siegel: The Camaleon Web Wrapper Engine. TES 2000: 269-283
35		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)
	1999
34		Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469
33		Thomas Lee, Melanie Chams, Robert Nado, Michael Siegel, Stuart E. Madnick: Information Integration with Attributio Support for Corporate Profiles. CIKM 1999: 423-429
32		Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255
31		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)
	1998
30		Allen Moulton, Stuart E. Madnick, Michael Siegel: Context Mediation on Wall Street. CoopIS 1998: 271-279
29		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
28		Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From DC+ to C*. FM-Trends 1998: 137-150
27		Michael Siegel: Formal Verification of Stabilizing Systems. FTRTFT 1998: 158-172
26		Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation for Synchronous Languages. ICALP 1998: 235-246
25		Stuart E. Madnick, Michael Siegel: The COntext INterchange (COIN) Project: Data Extraction and Interpretation from Semi-Structured Web Sources. QL 1998
24		Amir Pnueli, Michael Siegel, Eli Singerman: Translation Validation. TACAS 1998: 151-166
23		Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101
22		Amir Pnueli, Ofer Strichman, Michael Siegel: The Code Validation Tool CVT: Automatic Verification of a Compilation Process. STTT 2(2): 192-201 (1998)
	1997
21		Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. ASIAN 1997: 181-196
20		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
19		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
18		Yassine Lakhnech, Michael Siegel: Deductive verification of stabilizing systems. WSS 1997: 201-216
	1996
17		Jan Peleska, Michael Siegel: From Testing Theory to Test Driver Implementation. FME 1996: 538-556
16		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)
	1995
15		Michael Siegel: A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. CONCUR 1995: 378-392
14		Adil Daruwala, Cheng Hian Goh, Scott Hofmeister, Karim Hussein, Stuart E. Madnick, Michael Siegel: The Context Interchange Network Prototype. DS-6 1995: 65-92
13		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)
	1994
12		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
11		Michael Siegel, Frank A. Stomp: Extending the Limits of Sequentially Phased Reasoning. FSTTCS 1994: 402-413
10		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)
9		Michael Siegel, Stuart E. Madnick, Edward Sciore: Context interchange in a client-server architecture. Journal of Systems and Software 27(3): 223-232 (1994)
	1993
8		M. P. Reddy, Michael Siegel, Amar Gupta: Towards an Active Schema Integration Architecture for Heterogeneous Database Systems. RIDE-IMS 1993: 178-183
	1992
7		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)
	1991
6		Michael Siegel, Stuart E. Madnick: A Metadata Approach to Resolving Semantic Conflicts. VLDB 1991: 133-145
5		Michael Siegel, Edward Sciore, Sharon C. Salveter: Rule Discovery for Query Optimization. Knowledge Discovery in Databases 1991: 411-430
4		Michael Siegel, Stuart E. Madnick: Context Interchange: Sharing the Meaning of Data. SIGMOD Record 20(4): 77-78 (1991)
	1990
3		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)
	1988
2		Michael Siegel: Automatic Rule Derivation For Semantic Query Optimization. Expert Database Conf. 1988: 669-698
	1986
1		Nancy A. Lynch, Barbara T. Blaustein, Michael Siegel: Correctness Conditions for Highly Available Replicated Databases. PODC 1986: 11-28

Coauthor Index

1	Matt Berlin	[50]
2	Barbara T. Blaustein	[1]
3	Cynthia Breazeal	[50]
4	Stéphane Bressan	[19] [20] [29] [31] [35]
5	Melanie Chams	[33]
6	Darren Crowdy	[49]
7	Adil Daruwala	[14]
8	Patrick Deegan	[50]
9	Aykut Firat	[36]
10	Kofi Fynn	[19]
11	Thomas Gannon	[51]
12	Cheng Hian Goh	[12] [14] [19] [20] [31] [35]
13	Jesse Gray	[50]
14	Roderic A. Grupen	[50]
15	Amar Gupta	[8]
16	Mark Hansen	[40] [41] [42]
17	Scott Hofmeister	[14]
18	Gerard J. Holzmann	[23]
19	Karim Hussein	[14] [19]
20	Marta Jessica Jakobisiak	[19]
21	Henry B. Kon	[19]
22	Yassine Lakhnech	[18] [21] [23]
23	J. L. Lee	[16]
24	Thomas Lee	[19] [20] [33]
25	Natalia Levina	[35]
26	Nancy A. Lynch	[1]
27	Stuart E. Madnick	[3] [4] [6] [9] [12] [14] [16] [19] [20] [25] [29] [30] [31] [33] [35] [36] [37] [38] [40] [41] [42] [43] [45] [46] [47] [48] [51]
28	Adriana Maggiore	[52]
29	John McBean	[50]
30	Erich Mikk	[21] [23]
31	Allen Moulton	[29] [30] [37] [43] [45] [51]
32	Robert Nado	[33]
33	Kailas Narendran	[50]
34	Jan Peleska	[17]
35	Tito Pena	[19]
36	Christian Pichler	[52]
37	Amir Pnueli	[22] [24] [26] [28] [32] [34] [39] [44]
38	Jessica Qu	[19]
39	M. P. Reddy	[8]
40	Yoav Rodeh	[34] [39] [44]
41	Arnon Rosenthal (Arnie Rosenthal)	[10]
42	Marwan Sabbouh	[51]
43	Sharon C. Salveter	[5] [7]
44	Edward Sciore	[5] [7] [9] [10]
45	Ahmed Shah	[35]
46	Annie W. Shum	[19]
47	Eli Singerman	[24]
48	Frank A. Stomp	[11]
49	Ofer Strichman	[22] [26] [28] [32] [34] [39] [44]
50	Richard Y. Wang (Y. Richard Wang)	[3]
51	Jeff Weber	[50]
52	Hongwei Zhu	[46] [47] [48] [51]

Colors in the list of coauthors