The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Siegel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Siegel
    Automatic Rule Derivation For Semantic Query Optimization. [Citation Graph (11, 0)][DBLP]
    Expert Database Conf., 1988, pp:669-698 [Conf]
  2. Edward Sciore, Michael Siegel, Arnon Rosenthal
    Using Semantic Values to Falilitate Interoperability Among Heterogeneous Information Systems. [Citation Graph (11, 12)][DBLP]
    ACM Trans. Database Syst., 1994, v:19, n:2, pp:254-290 [Journal]
  3. Michael Siegel, Stuart E. Madnick
    A Metadata Approach to Resolving Semantic Conflicts. [Citation Graph (10, 13)][DBLP]
    VLDB, 1991, pp:133-145 [Conf]
  4. Cheng Hian Goh, Stuart E. Madnick, Michael Siegel
    Context Interchange: Overcoming the Challenges of Large-Scale Interoperable Database Systems in a Dynamic Environment. [Citation Graph (7, 0)][DBLP]
    CIKM, 1994, pp:337-346 [Conf]
  5. Michael Siegel, Stuart E. Madnick
    Context Interchange: Sharing the Meaning of Data. [Citation Graph (5, 0)][DBLP]
    SIGMOD Record, 1991, v:20, n:4, pp:77-78 [Journal]
  6. Nancy A. Lynch, Barbara T. Blaustein, Michael Siegel
    Correctness Conditions for Highly Available Replicated Databases. [Citation Graph (4, 0)][DBLP]
    PODC, 1986, pp:11-28 [Conf]
  7. Stuart E. Madnick, Michael Siegel, Y. Richard Wang
    The Composite Information System Laboratory (CISL) Project at MIT. [Citation Graph (4, 0)][DBLP]
    IEEE Data Eng. Bull., 1990, v:13, n:2, pp:10-15 [Journal]
  8. Michael Siegel, Edward Sciore, Sharon C. Salveter
    A Method for Automatic Rule Derivation to Support Semantic Query Optimization. [Citation Graph (4, 28)][DBLP]
    ACM Trans. Database Syst., 1992, v:17, n:4, pp:563-600 [Journal]
  9. M. P. Reddy, Michael Siegel, Amar Gupta
    Towards an Active Schema Integration Architecture for Heterogeneous Database Systems. [Citation Graph (3, 0)][DBLP]
    RIDE-IMS, 1993, pp:178-183 [Conf]
  10. Adil Daruwala, Cheng Hian Goh, Scott Hofmeister, Karim Hussein, Stuart E. Madnick, Michael Siegel
    The Context Interchange Network Prototype. [Citation Graph (2, 0)][DBLP]
    DS-6, 1995, pp:65-92 [Conf]
  11. 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. [Citation Graph (1, 5)][DBLP]
    SIGMOD Conference, 1997, pp:525-527 [Conf]
  12. J. L. Lee, Stuart E. Madnick, Michael Siegel
    Conceptualizing Semantic Interoperability: A Perspective From the Knowledge Level. [Citation Graph (1, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1996, v:5, n:4, pp:367-394 [Journal]
  13. Cheng Hian Goh, Stéphane Bressan, Stuart E. Madnick, Michael Siegel
    Context Interchange: New Features and Formalisms for the Intelligent Integration of Information. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Inf. Syst., 1999, v:17, n:3, pp:270-293 [Journal]
  14. Erich Mikk, Yassine Lakhnech, Michael Siegel
    Hierarchical Automata as Model for Statecharts. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:181-196 [Conf]
  15. Amir Pnueli, Ofer Strichman, Michael Siegel
    Translation Validation: From SIGNAL to C. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:231-255 [Conf]
  16. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
    Deciding Equality Formulas by Small Domains Instantiations. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:455-469 [Conf]
  17. Thomas Lee, Melanie Chams, Robert Nado, Michael Siegel, Stuart E. Madnick
    Information Integration with Attributio Support for Corporate Profiles. [Citation Graph (0, 0)][DBLP]
    CIKM, 1999, pp:423-429 [Conf]
  18. Michael Siegel
    A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:378-392 [Conf]
  19. Allen Moulton, Stuart E. Madnick, Michael Siegel
    Context Mediation on Wall Street. [Citation Graph (0, 0)][DBLP]
    CoopIS, 1998, pp:271-279 [Conf]
  20. Allen Moulton, Stuart E. Madnick, Michael Siegel
    Knowledge Representation Architecture for Context Interchange Mediation: Fixed Income Securities Investment Examples. [Citation Graph (0, 0)][DBLP]
    DEXA Workshop, 2001, pp:50-54 [Conf]
  21. Allen Moulton, Stuart E. Madnick, Michael Siegel
    Semantic Interoperability in the Securities Industry: Context Interchange Mediation of Semantic Differences in Enumerated Data Types. [Citation Graph (0, 0)][DBLP]
    DEXA Workshops, 2002, pp:883-888 [Conf]
  22. Mark Hansen, Stuart E. Madnick, Michael Siegel
    Data Integration using Web Services. [Citation Graph (0, 0)][DBLP]
    DIWeb, 2002, pp:3-16 [Conf]
  23. Mark Hansen, Stuart E. Madnick, Michael Siegel
    Data Integration Using Web Services. [Citation Graph (0, 0)][DBLP]
    EEXTT, 2002, pp:165-182 [Conf]
  24. Allen Moulton, Stéphane Bressan, Stuart E. Madnick, Michael Siegel
    An Active Conceptual Model for Fixed Income Securities Analysis for Multiple Financial Institutions. [Citation Graph (0, 13)][DBLP]
    ER, 1998, pp:407-420 [Conf]
  25. Jan Peleska, Michael Siegel
    From Testing Theory to Test Driver Implementation. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:538-556 [Conf]
  26. Amir Pnueli, Ofer Strichman, Michael Siegel
    Translation Validation: From DC+ to C*. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:137-150 [Conf]
  27. Michael Siegel, Frank A. Stomp
    Extending the Limits of Sequentially Phased Reasoning. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:402-413 [Conf]
  28. Michael Siegel
    Formal Verification of Stabilizing Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:158-172 [Conf]
  29. 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. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:287- [Conf]
  30. Amir Pnueli, Ofer Strichman, Michael Siegel
    Translation Validation for Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:235-246 [Conf]
  31. Hongwei Zhu, Stuart E. Madnick, Michael Siegel
    Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2004, pp:90-101 [Conf]
  32. Hongwei Zhu, Stuart E. Madnick, Michael Siegel
    Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources. [Citation Graph (0, 0)][DBLP]
    SWDB, 2004, pp:127-139 [Conf]
  33. Stéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart E. Madnick, Michael Siegel
    A Procedure for Mediation of Queries to Sources in Disparate Contexts. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:213-227 [Conf]
  34. Amir Pnueli, Michael Siegel, Eli Singerman
    Translation Validation. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:151-166 [Conf]
  35. Aykut Firat, Stuart E. Madnick, Michael Siegel
    The Camaleon Web Wrapper Engine. [Citation Graph (0, 0)][DBLP]
    TES, 2000, pp:269-283 [Conf]
  36. Hongwei Zhu, Stuart E. Madnick, Michael Siegel
    Effective Data Integration in the Presence of Temporal Semantic Conflicts. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:109-114 [Conf]
  37. Stuart E. Madnick, Michael Siegel
    The COntext INterchange (COIN) Project: Data Extraction and Interpretation from Semi-Structured Web Sources. [Citation Graph (0, 0)][DBLP]
    QL, 1998, pp:- [Conf]
  38. Mark Hansen, Stuart E. Madnick, Michael Siegel
    Process Aggregation Using Web Services. [Citation Graph (0, 0)][DBLP]
    WES, 2002, pp:12-27 [Conf]
  39. Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann
    Implementing Statecharts in PROMELA/SPIN. [Citation Graph (0, 0)][DBLP]
    WIFT, 1998, pp:90-101 [Conf]
  40. Yassine Lakhnech, Michael Siegel
    Deductive verification of stabilizing systems. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:201-216 [Conf]
  41. 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. [Citation Graph (0, 0)][DBLP]
    Appl. Intell., 2000, v:13, n:2, pp:165-180 [Journal]
  42. 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). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:1, pp:227- [Journal]
  43. Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
    The Small Model Property: How Small Can It Be? [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:1, pp:279-293 [Journal]
  44. Michael Siegel, Stuart E. Madnick, Edward Sciore
    Context interchange in a client-server architecture. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1994, v:27, n:3, pp:223-232 [Journal]
  45. Stuart E. Madnick, Michael Siegel
    Seizing the Opportunity: Exploiting Web Aggregation. [Citation Graph (0, 0)][DBLP]
    MIS Quarterly Executive, 2002, v:1, n:1, pp:- [Journal]
  46. Amir Pnueli, Ofer Strichman, Michael Siegel
    The Code Validation Tool CVT: Automatic Verification of a Compilation Process. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:192-201 [Journal]
  47. Michael Siegel
    A Study of Singularity Formation in the Kelvin-Helmholtz Instability with Surface Tension. [Citation Graph (0, 0)][DBLP]
    SIAM Journal of Applied Mathematics, 1995, v:55, n:4, pp:865-891 [Journal]

  48. Untwist your brain: efficient debugging and diagnosis of complex assertions. [Citation Graph (, )][DBLP]


  49. Framework for the Analysis of the Adaptability, Extensibility, and Scalability of Semantic Information Integration and the Context Mediation Approach. [Citation Graph (, )][DBLP]


  50. Mobile, dexterous, social robots for mobile manipulation and human-robot interaction. [Citation Graph (, )][DBLP]


Search in 0.954secs, Finished in 0.956secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002