Michael Siegel Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)