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 |