Pierre Wolper

Geciteerd door

	Alles	Sinds 2017
Citaties	16543	1906
h-index	46	22
i10-index	64	37

780

390

195

585

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202260 56 81 104 147 147 138 208 219 291 418 489 428 494 479 596 588 535 629 613 740 723 772 728 671 625 559 651 549 551 525 483 391 408 346 266 344 150

Medeauteurs

Moshe Y. VardiRice UniversityGeverifieerd e-mailadres voor cs.rice.edu
Bernard BoigelotProfessor, Université de LiègeGeverifieerd e-mailadres voor ulg.ac.be
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityGeverifieerd e-mailadres voor cs.biu.ac.il
axel legayUCLouvainGeverifieerd e-mailadres voor uclouvain.be
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenGeverifieerd e-mailadres voor cuhk.edu.cn
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityGeverifieerd e-mailadres voor cs.huji.ac.il
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityGeverifieerd e-mailadres voor cs.columbia.edu
Jan ChomickiProfessor of Computer Science and Engineering, SUNY at BuffaloGeverifieerd e-mailadres voor buffalo.edu
Sébastien JodogneUCLouvainGeverifieerd e-mailadres voor uclouvain.be
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzGeverifieerd e-mailadres voor cs.ucsc.edu
Alexander LindenUniversité de LiègeGeverifieerd e-mailadres voor montefiore.ulg.ac.be
Froduald KabanzaProfessor of Computer Science, Université de SherbrookeGeverifieerd e-mailadres voor usherbrooke.ca
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéGeverifieerd e-mailadres voor irif.fr
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityGeverifieerd e-mailadres voor ti.informatik.uni-kiel.de
Shlomit PinterGeverifieerd e-mailadres voor cs.haifa.ac.il
Javier EsparzaProfessor of Computer Science, Technical University of MunichGeverifieerd e-mailadres voor in.tum.de
Patrice GodefroidMicrosoft Research

Volgen

Pierre Wolper

Professor of Computer Science, Université de Liège, Belgium

Geverifieerd e-mailadres voor ulg.ac.be - Homepage

Automata theory logic formal methods model checking data bases


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper 1st Symposium in Logic in Computer Science (LICS), 1986	2247	1986
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper International Conference on Protocol Specification, Testing and Verification …, 1995	1159	1995
Reasoning about infinite computations MY Vardi, P Wolper Information and Computation 115 (1), 1-37, 1994	1105	1994
Temporal logic can be more expressive P Wolper Information and control 56 (1-2), 72-99, 1983	1045	1983
Memory-efficient algorithms for the verification of temporal properties C Courcoubetis, M Vardi, P Wolper, M Yannakakis Formal methods in system design 1 (2), 275-288, 1992	852	1992
Synthesis of communicating processes from temporal logic specifications Z Manna, P Wolper ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (1), 68-93, 1984	777	1984
Automata-theoretic techniques for modal logics of programs MY Vardi, P Wolper Journal of Computer and System Sciences 32 (2), 183-221, 1986	708	1986
An automata-theoretic approach to branching-time model checking O Kupferman, MY Vardi, P Wolper Journal of the ACM (JACM) 47 (2), 312-360, 2000	668	2000
The complementation problem for Büchi automata with applications to temporal logic AP Sistla, MY Vardi, P Wolper Theoretical Computer Science 49 (2-3), 217-237, 1987	602	1987
Using partial orders for the efficient verification of deadlock freedom and safety properties P Godefroid, P Wolper International Conference on Computer Aided Verification, 332-342, 1991	527	1991
Reasoning about infinite computation paths P Wolper, MY Vardi, AP Sistla Foundations of Computer Science, 1983., 24th Annual Symposium on, 185-194, 1983	478	1983
A partial approach to model checking P Godefroid, P Wolper Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE …, 1991	417	1991
Expressing interesting properties of programs in propositional temporal logic P Wolper Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986	408	1986
Realizable and unrealizable specifications of reactive systems M Abadi, L Lamport, P Wolper Automata, languages and programming, 1-17, 1989	406*	1989
The tableau method for temporal logic: An overview P Wolper Logique et Analyse, 119-136, 1985	375	1985
Verifying properties of large sets of processes with network invariants P Wolper, V Lovinfosse International Conference on Computer Aided Verification, 68-80, 1989	311	1989
A direct symbolic approach to model checking pushdown systems A Finkel, B Willems, P Wolper Electronic Notes in Theoretical Computer Science 9, 27-37, 1997	283	1997
An automata-theoretic approach to branching-time model checking O Bernholtz, MY Vardi, P Wolper International Conference on Computer Aided Verification, 142-155, 1994	271	1994
Symbolic verification with periodic sets B Boigelot, P Wolper International Conference on Computer Aided Verification, 55-67, 1994	226	1994
Reliable hashing without collision detection P Wolper, D Leroy International Conference on Computer Aided Verification, 59-70, 1993	225	1993

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Deze auteur volgen

Geciteerd door

Medeauteurs