dblp.uni-trier.dewww.uni-trier.de

Michael Siegel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
51EEThomas 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
50EECynthia 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
49EEDarren 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
48EEHongwei Zhu, Stuart E. Madnick, Michael Siegel: Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming. PPSWR 2004: 90-101
47EEHongwei Zhu, Stuart E. Madnick, Michael Siegel: Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources. SWDB 2004: 127-139
46EEHongwei Zhu, Stuart E. Madnick, Michael Siegel: Effective Data Integration in the Presence of Temporal Semantic Conflicts. TIME 2004: 109-114
2003
45EEAllen 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
44EEAmir 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
43EEAllen 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
41EEMark Hansen, Stuart E. Madnick, Michael Siegel: Data Integration Using Web Services. EEXTT 2002: 165-182
40EEMark Hansen, Stuart E. Madnick, Michael Siegel: Process Aggregation Using Web Services. WES 2002: 12-27
39EEAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: The Small Model Property: How Small Can It Be? Inf. Comput. 178(1): 279-293 (2002)
38EEStuart 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
34EEAmir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel: Deciding Equality Formulas by Small Domains Instantiations. CAV 1999: 455-469
33EEThomas Lee, Melanie Chams, Robert Nado, Michael Siegel, Stuart E. Madnick: Information Integration with Attributio Support for Corporate Profiles. CIKM 1999: 423-429
32EEAmir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation: From SIGNAL to C. Correct System Design 1999: 231-255
31EECheng 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
30EEAllen Moulton, Stuart E. Madnick, Michael Siegel: Context Mediation on Wall Street. CoopIS 1998: 271-279
29EEAllen 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
27EEMichael Siegel: Formal Verification of Stabilizing Systems. FTRTFT 1998: 158-172
26EEAmir Pnueli, Ofer Strichman, Michael Siegel: Translation Validation for Synchronous Languages. ICALP 1998: 235-246
25EEStuart E. Madnick, Michael Siegel: The COntext INterchange (COIN) Project: Data Extraction and Interpretation from Semi-Structured Web Sources. QL 1998
24EEAmir Pnueli, Michael Siegel, Eli Singerman: Translation Validation. TACAS 1998: 151-166
23EEErich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101
22EEAmir 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
19EESté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
13EEMichael 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
12EECheng 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
10EEEdward Sciore, Michael Siegel, Arnon Rosenthal: Using Semantic Values to Falilitate Interoperability Among Heterogeneous Information Systems. ACM Trans. Database Syst. 19(2): 254-290 (1994)
9EEMichael 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
7EEMichael 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
6EEMichael 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
4EEMichael Siegel, Stuart E. Madnick: Context Interchange: Sharing the Meaning of Data. SIGMOD Record 20(4): 77-78 (1991)
1990
3EEStuart 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)