BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
1 × United Kingdom
4 × USA
Collaborated with:
S.E.Madnick A.Pnueli O.Strichman C.H.Goh J.Peleska T.Lee A.Maggiore C.Pichler E.Singerman E.Sciore S.C.Salveter S.Bressan Y.Rodeh M.Chams R.Nado K.Fynn M.J.Jakobisiak K.Hussein H.B.Kon T.Pena J.Qu A.W.Shum
Talks about:
translat (3) valid (3) context (2) mediat (2) queri (2) test (2) interchang (1) attributio (1) nterchang (1) interoper (1)

Person: Michael Siegel

DBLP DBLP: Siegel:Michael

Contributed to:

DAC 20092009
CAV 19991999
CIKM 19991999
FM-Trends 19981998
ICALP 19981998
TACAS 19981998
ILPS 19971997
SIGMOD 19971997
FME 19961996
CIKM 19941994
KDD 19911991
VLDB 19911991

Wrote 12 papers:

DAC-2009-SiegelMP #debugging #performance
Untwist your brain: efficient debugging and diagnosis of complex assertions (MS, AM, CP), pp. 644–647.
CAV-1999-PnueliRSS #similarity
Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
CIKM-1999-LeeCNSM #integration
Information Integration with Attributio Support for Corporate Profiles (TL, MC, RN, MS, SEM), pp. 423–429.
FM-1998-PnueliSS #validation
Translation Validation: From DC+ to C* (AP, OS, MS), pp. 137–150.
ICALP-1998-PnueliSS #validation
Translation Validation for Synchronous Languages (AP, OS, MS), pp. 235–246.
TACAS-1998-PnueliSS #validation
Translation Validation (AP, MS, ES), pp. 151–166.
ILPS-1997-BressanGLMS #query
A Procedure for Mediation of Queries to Sources in Disparate Contexts (SB, CHG, TL, SEM, MS), pp. 213–227.
SIGMOD-1997-BressanGFJHKLMPQSS #prototype
The COntext INterchange Mediator Prototype (SB, CHG, KF, MJJ, KH, HBK, TL, SEM, TP, JQ, AWS, MS), pp. 525–527.
FME-1996-PeleskaS #implementation #testing
From Testing Theory to Test Driver Implementation (JP, MS), pp. 538–556.
CIKM-1994-GohMS #challenge #database #scalability
Context Interchange: Overcoming the Challenges of Large-Scale Interoperable Database Systems in a Dynamic Environment (CHG, SEM, MS), pp. 337–346.
KDD-1991-SiegelSS #optimisation #query
Rule Discovery for Query Optimization (MS, ES, SCS), pp. 411–430.
VLDB-1991-SiegelM #approach #metadata #semantics
A Metadata Approach to Resolving Semantic Conflicts (MS, SEM), pp. 133–145.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.