E. Wimmers
发表
A. Aiken,
D. Kozen,
E. Wimmers,
1994
.
Laura M. Haas,
Mary Roth,
Edward L. Wimmers,
1999,
Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384).
Alexander Aiken,
Moshe Y. Vardi,
Dexter Kozen,
1993,
CSL.
Alexander Aiken,
Edward L. Wimmers,
T. K. Lakshman,
1994,
POPL '94.
E. Wimmers,
A. Geppert,
2022
.
Alexander Aiken,
Andrew K. Wright,
A. Aiken,
1995
.
Edward L. Wimmers,
E. Wimmers,
1982
.
A. Aiken,
D. Kozen,
E. Wimmers,
2013
.
John H. Williams,
Edward L. Wimmers,
John Warner Backus,
1990
.
Joseph Y. Halpern,
John H. Williams,
Edward L. Wimmers,
1986,
LICS.
Laura M. Haas,
Jun Yang,
Donald Kossmann,
1997,
VLDB.
Laura M. Haas,
Ronald Fagin,
Dragutin Petkovic,
1995,
Proceedings RIDE-DOM'95. Fifth International Workshop on Research Issues in Data Engineering-Distributed Object Management.
Joseph Y. Halpern,
John H. Williams,
Edward L. Wimmers,
1990,
JACM.
Joseph Y. Halpern,
John H. Williams,
Edward L. Wimmers,
1985,
POPL.
Laura M. Haas,
Renée J. Miller,
Mary Roth,
1999,
IEEE Data Eng. Bull..
Alexander Aiken,
Edward L. Wimmers,
A. Aiken,
1993,
FPCA '93.
Alexander Aiken,
Dexter Kozen,
Edward L. Wimmers,
1994,
Inf. Comput..
Alex Aiken,
Edward L. Wimmers,
A. Aiken,
1992,
LICS 1992.
Jens Palsberg,
Alexander Aiken,
Edward L. Wimmers,
1999,
High. Order Symb. Comput..
Ronald Fagin,
Edward L. Wimmers,
Ronald Fagin,
1997,
ICDT.
Ronald Fagin,
Edward L. Wimmers,
Ronald Fagin,
2000,
Theor. Comput. Sci..
Laura M. Haas,
Ronald Fagin,
Manish Arya,
1996,
SIGMOD '96.
Rakesh Agrawal,
Edward L. Wimmers,
R. Agrawal,
2000,
SIGMOD '00.
Joseph Y. Halpern,
Edward L. Wimmers,
E. Wimmers,
1995,
Inf. Comput..
Giuseppe Psaila,
Rakesh Agrawal,
Edward L. Wimmers,
1995,
VLDB.
John H. Williams,
Edward L. Wimmers,
E. Wimmers,
1988,
POPL '88.
Alexander Aiken,
Edward L. Wimmers,
A. Aiken,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.