×
Edit Profile (opens in new tab)

Revesz, Peter Z.

Co-Author Distance
Author ID: revesz.peter-z Recent zbMATH articles by "Revesz, Peter Z."
Published as: Revesz, Peter Z.; Revesz, Peter; Révész, Péter Z.; Revesz, P. Z.
External Links: MGP
Documents Indexed: 28 Publications since 1989, including 2 Books
1 Contribution as Editor
Co-Authors: 14 Co-Authors with 14 Joint Publications
316 Co-Co-Authors
all top 5

Co-Authors

15 single-authored
4 Benczúr, András A.
4 Novák, Ágnes B.
2 Cai, Mengchu
2 Kuijpers, Bart H. M.
1 Chen, Rui
1 Chomicki, Jan
1 Grahne, Gösta
1 Haesevoets, Sofie
1 Kanellakis, Paris Christos
1 Li, Lixin
1 Mendelzon, Alberto O.
1 Ouyang, Min
1 Ramanathan, Viswanathan
1 Woodward, Robert J.
all top 5

Serials

2 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica
2 International Journal of Algebra and Computation
2 Annals of Mathematics and Artificial Intelligence
2 Texts in Computer Science
1 Computers & Mathematics with Applications
1 Journal of Computer and System Sciences
1 Theoretical Computer Science
1 Journal of Symbolic Computation
1 Alkalmazott Matematikai Lapok. A Magyar Tudomanyos Akademia. Matematikai es Fizikai Tudomanyok Osztalyanak Közlemenyei
1 Constraints
1 Zbornik Radova (Varaždin)
1 Lecture Notes in Computer Science
1 Acta Universitatis Sapientiae. Informatica
all top 5

Fields

27 Computer science (68-XX)
6 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)
1 Combinatorics (05-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Statistics (62-XX)
1 Numerical analysis (65-XX)
1 Geophysics (86-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 88 times in 79 Documents Cited by ▼ Year ▼
On the semantics of arbitration. Zbl 0865.68040
Revesz, Peter Z.
35
1997
A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Zbl 0785.68026
Revesz, Peter Z.
17
1993
Introduction to constraint databases. Zbl 0995.68035
Revesz, Peter
14
2002
A closed form for datalog queries with integer order. Zbl 0789.68042
Revesz, Peter Z.
6
1990
Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. Zbl 1110.03016
Revesz, Peter
3
2004
The constraint database approach to software verification. Zbl 1132.68339
Revesz, Peter
3
2007
DATALOG and constraints. Zbl 0962.68047
Revesz, Peter Z.
2
2000
Knowledgebase transformations. Zbl 0869.68043
Grahne, Gösta; Mendelzon, Alberto O.; Revesz, Peter Z.
2
1997
On the relationship of congruence closure and unification. Zbl 0678.68041
Kanellakis, Paris C.; Revesz, Peter Z.
2
1989
Introduction to databases. From biological to spatio-temporal. Zbl 1191.68253
Revesz, Peter
2
2010
On weighted knowledgebase transformations. Zbl 0981.68044
Benczúr, A.; Novák, Á. B.; Revesz, P. Z.
1
1998
A comparison of spatio-temporal interpolation methods. Zbl 1015.68565
Li, Lixin; Revesz, Peter
1
2002
Introduction to databases. From biological to spatio-temporal. Zbl 1191.68253
Revesz, Peter
2
2010
The constraint database approach to software verification. Zbl 1132.68339
Revesz, Peter
3
2007
Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints. Zbl 1110.03016
Revesz, Peter
3
2004
Introduction to constraint databases. Zbl 0995.68035
Revesz, Peter
14
2002
A comparison of spatio-temporal interpolation methods. Zbl 1015.68565
Li, Lixin; Revesz, Peter
1
2002
DATALOG and constraints. Zbl 0962.68047
Revesz, Peter Z.
2
2000
On weighted knowledgebase transformations. Zbl 0981.68044
Benczúr, A.; Novák, Á. B.; Revesz, P. Z.
1
1998
On the semantics of arbitration. Zbl 0865.68040
Revesz, Peter Z.
35
1997
Knowledgebase transformations. Zbl 0869.68043
Grahne, Gösta; Mendelzon, Alberto O.; Revesz, Peter Z.
2
1997
A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Zbl 0785.68026
Revesz, Peter Z.
17
1993
A closed form for datalog queries with integer order. Zbl 0789.68042
Revesz, Peter Z.
6
1990
On the relationship of congruence closure and unification. Zbl 0678.68041
Kanellakis, Paris C.; Revesz, Peter Z.
2
1989
all cited Publications top 5 cited Publications
all top 5

Cited by 124 Authors

7 Abdulla, Parosh Aziz
7 Konieczny, Sébastien
7 Papini, Odile
6 Demri, Stéphane P.
5 Benferhat, Salem
4 Kaci, Souhila
4 Marquis, Pierre
4 Pino Pérez, Ramón
4 Rezine, Ahmed
4 Su, Jianwen
4 Wurbel, Eric
3 Delzanno, Giorgio
3 Hué, Julien
3 Nieva, Susana
3 Revesz, Peter Z.
3 Sáenz-Pérez, Fernando
3 Sánchez-Hernández, Jaime
2 Bouraoui, Zied
2 Bozzelli, Laura
2 Chomicki, Jan
2 Dubois, Didier
2 Everaere, Patricia
2 Gorogiannis, Nikos
2 Grumbach, Stéphane
2 Hunter, Anthony
2 Kuijpers, Bart H. M.
2 Pinchinat, Sophie
2 Rümmele, Stefan
2 Woltran, Stefan
1 Aiswarya, Cyriac
1 Almeida, C. G.
1 Amgoud, Leila
1 Aranda-López, Gabriel
1 Arias, Joaquin
1 Artale, Alessandro
1 Atig, Mohamed Faouzi
1 Basin, David A.
1 Baudinet, Marianne
1 Bell, David A.
1 Benczúr, András A.
1 Benedikt, Michael A.
1 Bittencourt, Guilherme
1 Bouajjani, Ahmed
1 Carro, Manuel
1 Cederberg, Jonathan
1 Chimni, Raghubir
1 Condotta, Jean-François
1 Coste-Marquis, Sylvie
1 Creignou, Nadia
1 D’Souza, Deepak
1 Fähndrich, Manuel
1 Finkel, Alain
1 Foo, Norman Y.
1 Fribourg, Laurent
1 Ganty, Pierre
1 Gascon, Régis
1 Geerts, Floris
1 Glass, David H.
1 Grohe, Martin
1 Gupta, Gopal
1 Hamdi, Ghassen
1 Haret, Adrian
1 Haziza, Frédéric
1 Henda, Noomene Ben
1 Ibarra, Oscar H.
1 Iosif, Radu
1 Kontchakov, Roman
1 Koubarakis, Manolis
1 Kovtunova, Alisa
1 Krstić, Srđan
1 Kuncak, Viktor
1 Lagrue, Sylvain
1 Lang, Jérôme
1 Lasaruk, Aless
1 Lazić, Ranko
1 Liau, Churn-Jung
1 Liberatore, Paolo
1 Libkin, Leonid O.
1 Liu, Weiru
1 Logozzo, Francesco
1 Mackey, Isaac
1 Madduri, Kamesh
1 Manna, Zohar
1 Marchi, Jerusa
1 Marple, Kyle
1 Meheus, Joke
1 Meyer, Thomas Andreas
1 Nevruz, Ezgi
1 Nguyen, Huu Hai
1 Nivat, Maurice
1 Novák, Ágnes B.
1 Nowak, David E.
1 Omri, Mohamed-Nazih
1 Othman, Walied
1 Perrussel, Laurent
1 Pigozzi, Gabriella
1 Podelski, Andreas
1 Prade, Henri M.
1 Primiero, Giuseppe
1 Qi, Guilin
...and 24 more Authors
all top 5

Cited in 25 Serials

8 Theoretical Computer Science
6 Annals of Mathematics and Artificial Intelligence
5 Artificial Intelligence
5 Journal of Computer and System Sciences
5 Information and Computation
4 International Journal of Approximate Reasoning
4 Journal of Applied Non-Classical Logics
3 ACM Transactions on Computational Logic
2 Journal of Philosophical Logic
2 Synthese
1 Computers & Mathematics with Applications
1 Discrete Mathematics
1 Applied Mathematics and Computation
1 Fuzzy Sets and Systems
1 Journal of Computational and Applied Mathematics
1 Science of Computer Programming
1 Journal of Automated Reasoning
1 European Journal of Operational Research
1 Formal Methods in System Design
1 The Bulletin of Symbolic Logic
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 Logical Methods in Computer Science
1 Acta Universitatis Sapientiae. Informatica
1 Trends in Computational and Applied Mathematics
all top 5

Cited in 9 Fields

73 Computer science (68-XX)
26 Mathematical logic and foundations (03-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Operations research, mathematical programming (90-XX)
1 Combinatorics (05-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Statistics (62-XX)
1 Geophysics (86-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year