Wojciech Penczek

Cited by

	All	Since 2016
Citations	3305	728
h-index	32	13
i10-index	75	22

220

110

165

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202115 7 21 17 15 30 56 38 52 41 52 54 53 89 148 143 165 195 138 149 205 130 182 168 196 163 175 146 133 131 124 15

Co-authors

Artur NiewiadomskiSiedlce UniversityVerified email at uph.edu.pl
Maciej SzreterResearch Assisstant, Institute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
Andrzej ZbrzeznyInstitute of Mathematics and Computer Science, Jan Długosz University in CzęstochowaVerified email at ajd.czest.pl
Bozena Wozna-SzczesniakInstytut Matematyki i Informatyki, Jan Dlugosz University in CzestochowaVerified email at ajd.czest.pl
Magdalena KacprzakTechnical University of BialystokVerified email at pb.edu.pl
Michał KnapikInstitute of Computer Science of the Polish Academy of SciencesVerified email at ipipan.waw.pl
Artur MeskiVector GB Limited; Institute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Ruurd KuiperVerified email at tue.nl
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Beata KonikowskaInstitute of Computer Science, Polish Academy of SciencesVerified email at ipipan.waw.pl
Mirosław KurkowskiAssociate Professor at Institute of Computer Science, St. Card. Wyszynski University, WarsawVerified email at uksw.edu.pl
Wojciech JamrogaPolish Academy of SciencesVerified email at ipipan.waw.pl
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Wojciech HorzelskiUniwersytet ŁódzkiVerified email at math.uni.lodz.pl
Maciej KoutnyNewcastle UniversityVerified email at ncl.ac.uk
Grzegorz RozenbergProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Étienne AndréUniversité Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, FranceVerified email at univ-paris13.fr
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu

Wojciech Penczek

Professor of Computer Science, ICS PAS (Warsaw)

Verified email at ipipan.waw.pl

Model checking Formal methods Petri Nets Real-time systems Multi-agent systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Verifying epistemic properties of multi-agent systems via bounded model checking W Penczek, A Lomuscio Fundamenta Informaticae 55 (2), 167-185, 2003	216	2003
Bounded model checking for the universal fragment of CTL W Penczek, B Woźna, A Zbrzezny Fundamenta Informaticae 51 (1-2), 135-156, 2002	135	2002
A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Proceedings Third Israel Symposium on the Theory of Computing and Systems …, 1995	122	1995
Model-checking of causality properties R Alur, D Peled, W Penczek Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 90-100, 1995	120	1995
Verics 2007-a model checker for knowledge and real-time M Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Półrola, ... Fundamenta Informaticae 85 (1-4), 313-328, 2008	112	2008
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach W Penczek, A Półrola Studies in Computational Intelligence 20, Springer 2006, 2006	102*	2006
A partial order approach to branching time logic model checking R Gerth, R Kuiper, D Peled, W Penczek Information and Computation 150 (2), 132-152, 1999	96	1999
√ erics: A Tool for Verifying Timed Automata and Estelle Specifications P Dembiński, A Janowska, P Janowski, W Penczek, A Półrola, M Szreter, ... International Conference on Tools and Algorithms for the Construction and …, 2003	86	2003
Verification of multiagent systems via unbounded model checking M Kacprzak, A Lomuscio, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004	80	2004
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems A Lomuscio, W Penczek, H Qu Fundamenta Informaticae 101 (1-2), 71-90, 2010	74	2010
A temporal logic for event structures W Penczek Mathematical Logic, 327-338, 1990	67	1990
Checking reachability properties for timed automata via SAT B Woźna, A Zbrzezny, W Penczek Fundamenta Informaticae 55 (2), 223-241, 2003	65	2003
Propositional temporal logics and equivalences U Goltz, R Kuiper, W Penczek International Conference on Concurrency Theory, 222-236, 1992	64	1992
Specification and model checking of temporal properties in time Petri nets and timed automata W Penczek, A Półrola International Conference on Application and Theory of Petri Nets, 37-76, 2004	61	2004
Towards bounded model checking for the universal fragment of TCTL W Penczek, B Woźna, A Zbrzezny International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002	59	2002
Branching time and partial order in temporal logics W Penczek Time and Logic: A Computational Approach, 179-228, 1995	53	1995
Bounded model checking for knowledge and real time A Lomuscio, W Penczek, B Woźna Artificial Intelligence 171 (16-17), 1011-1038, 2007	51	2007
Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol M Kacprzak, A Lomuscio, A Niewiadomski, W Penczek, F Raimondi, ... Fundamenta Informaticae 72 (1-3), 215-234, 2006	50	2006
Temporal logics for trace systems: On automated verification W Penczek International Journal of Foundations of Computer Science 4 (01), 31-67, 1993	42	1993
Concurrent systems and inevitability A Mazurkiewicz, E Ochmański, W Penczek Theoretical Computer Science 64 (3), 281-304, 1989	41	1989

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors