Michael Siegel

2009
51	EE	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	EE	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	EE	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	EE	Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming. PPSWR 2004: 90-101
47	EE	Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources. SWDB 2004: 127-139
46	EE	Hongwei Zhu, Stuart E. Madnick, Michael Siegel: Effective Data Integration in the Presence of Temporal Semantic Conflicts. TIME 2004: 109-114
2003
45	EE	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	EE	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	EE	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	EE	Mark Hansen, Stuart E. Madnick, Michael Siegel: Data Integration Using Web Services. EEXTT 2002: 165-182
40	EE	Mark Hansen, Stuart E. Madnick, Michael Siegel: Process Aggregation Using Web Services. WES 2002: 12-27
39	EE	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	EE	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	EE	Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469
33	EE	Thomas Lee, Melanie Chams, Robert Nado, Michael Siegel, Stuart E. Madnick: Information Integration with Attributio Support for Corporate Profiles. CIKM 1999: 423-429
32	EE	Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255
31	EE	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	EE	Allen Moulton, Stuart E. Madnick, Michael Siegel: Context Mediation on Wall Street. CoopIS 1998: 271-279
29	EE	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	EE	Michael Siegel: Formal Verification of Stabilizing Systems. FTRTFT 1998: 158-172
26	EE	Amir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation for Synchronous Languages. ICALP 1998: 235-246
25	EE	Stuart E. Madnick, Michael Siegel: The COntext INterchange (COIN) Project: Data Extraction and Interpretation from Semi-Structured Web Sources. QL 1998
24	EE	Amir Pnueli, Michael Siegel, Eli Singerman: Translation Validation. TACAS 1998: 151-166
23	EE	Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101
22	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Michael Siegel, Stuart E. Madnick: Context Interchange: Sharing the Meaning of Data. SIGMOD Record 20(4): 77-78 (1991)
1990
3	EE	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	John McBean	[50]
29	Erich Mikk	[21] [23]
30	Allen Moulton	[29] [30] [37] [43] [45] [51]
31	Robert Nado	[33]
32	Kailas Narendran	[50]
33	Jan Peleska	[17]
34	Tito Pena	[19]
35	Amir Pnueli	[22] [24] [26] [28] [32] [34] [39] [44]
36	Jessica Qu	[19]
37	M. P. Reddy	[8]
38	Yoav Rodeh	[34] [39] [44]
39	Arnon Rosenthal (Arnie Rosenthal)	[10]
40	Marwan Sabbouh	[51]
41	Sharon C. Salveter	[5] [7]
42	Edward Sciore	[5] [7] [9] [10]
43	Ahmed Shah	[35]
44	Annie W. Shum	[19]
45	Eli Singerman	[24]
46	Frank A. Stomp	[11]
47	Ofer Strichman	[22] [26] [28] [32] [34] [39] [44]
48	Richard Y. Wang (Y. Richard Wang)	[3]
49	Jeff Weber	[50]
50	Hongwei Zhu	[46] [47] [48] [51]

Colors in the list of coauthors