Peter Z. Revesz

Available identifiers

zbMath Open revesz.peter-zDBLPr/PZReveszWikidataQ57416202 ScholiaQ57416202MaRDI QIDQ676425

List of research outcomes

Publication	Date of Publication	Type
Estimating the maximum rise in temperature according to climate models using abstract interpretation	2020-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q2937610	2015-01-09	Paper
Introduction to databases. From biological to spatio-temporal	2010-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q3619213	2009-04-03	Paper
The Constraint Database Approach to Software Verification	2008-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q3433901	2007-04-23	Paper
Constraint Databases	2006-01-10	Paper
Advances in Databases and Information Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4473040	2004-08-04	Paper
Classes of spatio-temporal objects and their closure properties	2004-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4412283	2003-07-14	Paper
Efficient querying and animation of periodic spatio-temporal databases	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4536720	2002-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4536726	2002-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q2770736	2002-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2729902	2001-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4508941	2001-06-13	Paper
Introduction to constraint databases	2001-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4258674	1999-09-14	Paper
The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases	1998-08-10	Paper
Refining restriction enzyme genome maps	1998-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4357748	1997-09-28	Paper
Knowledgebase transformations	1997-08-20	Paper
On the Semantics of Arbitration	1997-06-16	Paper
Classical and weighted knowledgebase transformations	1996-11-27	Paper
A closed-form evaluation for Datalog queries with integer (gap)-order constraints	1994-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4694689	1993-06-29	Paper
On the relationship of congruence closure and unification	1989-01-01	Paper

Research outcomes over time

This page was built for person: Peter Z. Revesz