Wojciech Penczek - Concepedia

Author

Wojciech Penczek

Also Known As

Darondeau, Philippe, Koutny, Maciej, M. Sergotdepartment Of Computing, Penczek, W, Penczek, Wojciech, W Penczek, W. Penczek, WOJCIECH PENCZEK, Wojciech Penczek

223

Publications

6.4K

Citations

H-Index

Concepts

All Affiliations

Institute of Computer Science Polish Academy of Sciences Jan Długosz University Institute of Mathematics University of Siedlce

About

Wojciech Penczek is an author at Institute of Computer Science specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	34	5.2K
2	Business	2	2	99
3	Management	1	1	11
4	Public Health	1	1	87
5	Communication	1	1	4K

Wojciech Penczek

Publications

5.4K

Citations

H-Index

Page 1

	Year	Citations
Communication and concurrency Wojciech Penczek Science of Computer Programming EngineeringConcurrency TheoryConcurrency (Computer Science)Parallel ProgrammingComputer Science	1990	4K
Verifying epistemic properties of multi-agent systems via bounded model checking Wojciech Penczek, Alessio Lomuscio Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 Normative Multi-agent SystemEngineeringAutomated ReasoningMulti-agent SystemsVerification	2003	126
Bounded Model Checking for the Universal Fragment of CTL Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny Bounded Model CheckingEngineeringAutomated ReasoningUniversal FragmentVerification	2002	102
A Partial Order Approach to Branching Time Logic Model Checking Rob Gerth, Ruurd Kuiper, Doron Peled, Information and Computation EngineeringProgram AnalysisAutomated ReasoningPartial Order ApproachVerification	1999	101
VerICS 2007 - a Model Checker for Knowledge and Real-Time Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski, Fundamenta Informaticae Verics 2007EngineeringVerificationComputer-aided VerificationSoftware Engineering	2008	88
Model-checking of causality properties Rajeev Alur, Doron Peled, Wojciech Penczek EngineeringVerificationModel CheckingSoftware AnalysisFormal Verification	2002	87
Verifying epistemic properties of multi-agent systems via bounded model checking Wojciech Penczek, Alessio Lomuscio Normative Multi-agent SystemEngineeringAutomated ReasoningMulti-agent SystemsVerification	2003	80
A partial order approach to branching time logic model checking Rob Gerth, Ruurd Kuiper, Doron Peled, EngineeringPartial Order ApproachVerificationComputer-aided VerificationModel Checking	2002	66
Bounded model checking for knowledge and real time Alessio Lomuscio, Wojciech Penczek, Bożena Woźna-Szcześniak Artificial Intelligence EngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided Verification	2007	51
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, UCL Discovery (University College London) Anonymity RequirementsEngineeringInformation SecurityDining Cryptographers ProtocolVerification	2006	46

Page 1