Person:676425

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Z. Revesz