|
СТ |
Translation Validation: From SIGNAL to C |
1999 |
Pnueli A., Shtrichman O., Siegel M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Context Interchange: New Features and Formalisms for the Intelligent Integration of Information |
1999 |
Goh C. H., Bressan S., Madnick S., Siegel M. |
|
|
|
ACM Trans. on Information Systems |
02.11.1999 |
|
СТ |
Translation Validation: From DC+ to C |
1999 |
Pnueli A., Shtrichman O., Siegel M. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
|
СТ |
Translation Validation for Synchronous Languages |
1998 |
Pnueli A., Shtrichman O., Siegel M. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
A Procedure for Mediation of Queries to Sources in Disparate Contexts |
1997 |
Bressen S., Goh C. H., Lee T., Madnick S., Siegel M. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
A Refinement Theory that Supports both Decrease of Nondeterminism and Increase of Parallelism |
1995 |
Siegel M. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
Extending the Limits of Sequentially Phased Reasoning |
1994 |
Siegel M., Stomp F. A. |
|
|
|
Lecture Notes in Computer Science |
11.01.1995 |
|
СТ |
Using Semantic Values to Facilitate Interoperability Among Heterogeneous Information Systems |
1994 |
Sciore E., Siegel M., Rosenthal A. |
|
|
|
ACM Trans. Database Systems |
16.09.1994 |
|
СТ |
A Method for Automatic Rule Derivation to Support Semantic Query Optimization |
1992 |
Siegel M., Sciore E., Salveter S. |
|
|
|
ACM Trans. Database Systems |
08.02.1993 |
|
СТ |
Context Interchange: Sharing the Meaning of Data |
1991 |
Siegel M., Madnick S. |
|
|
|
SIGMOD Record |
10.01.1992 |
