Penczek, Wojciech.
Penczek, Wojciech, 19..-....
Wojciech Penczek
VIAF ID: 72100002 ( Personal )
Permalink: http://viaf.org/viaf/72100002
Preferred Forms
- 200 _ | ‡a Penczek ‡b Wojciech
-
- 100 1 0 ‡a Penczek, Wojciech
-
-
- 100 1 _ ‡a Penczek, Wojciech
-
-
-
- 100 1 _ ‡a Penczek, Wojciech
- 100 1 _ ‡a Penczek, Wojciech
- 100 1 _ ‡a Penczek, Wojciech, ‡d 19..-....
-
- 100 0 _ ‡a Wojciech Penczek
4xx's: Alternate Name Forms (5)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Advances in verification of time petri nets and timed automata : a temporal logic approach | |
Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings | |
Architectural specifications and their verification | |
Challenging Problems and Solutions in Intelligent Systems | |
Combining SMT and Simulated Annealing into a Hybrid Planning Method | |
Distributed games : local interactions, explicit communication, and casual knowledge | |
Ethics of Petri net processes in the light of trace theory | |
Etyka procesów sieci Petriego w świetle teorii śladów | |
First-order temporal logic over trace systems / Wojciech Penczek and Marian Srebrny. - Warszawa, 1995. | |
Generowanie automatów czasowych dla systemów czasu rzeczywistego | |
Half a century of inspirational research / ed. by Wojciech Penczek and Grzegorz Rozenberg. - Amsterdam [etc.], 2007. | |
Half a century of inspirational research : honoring the scientific influence of Antoni Mazurkiewicz | |
Inevitability in diamond-discrete systems | |
Matematyczne metody modelowania i analizy systemów współbieżnych : MASYW 2010, Tleń nad Wdą, 19-23 lipca 2010 | |
Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings | |
MFCS'96 | |
Model checking security protocols : a multi-agent system approach | |
Model checking temporal properties of reaction systems | |
Modeling rational BDI-agents within the framework of asynchronous automata | |
On the connection of partial order logics and partial order reduction methods | |
Proceedings of the Multi-Agent Day : Warszawa, Poland, the 1st of June 1998 | |
Reachability analysis for timed automata based on partitioning | |
Results on modal reasoning with applications to modal deductive databases | |
Rozwój aplikacji logik temporalnych w zastosowaniach informatycznych : rozprawa doktorska | |
Semantyka operacyjna wybranych diagramów UML* | |
SMT-based abstract planning in planics ontology | |
Team formation in a distributed environment : the idea and algorithms | |
The temporal logic for event structures | |
Towards automated abstract planning based on a genetic algorithm | |
Towards partial order reductions for fragments of alternating-time temporal logic | |
Towards scenarios of external attacks upon security protocols | |
Traces and logic | |
Transactions on Petri Nets and other models of Concurrency IV | |
Unbounded model checking for knowledge and time | |
Vérification efficace des automates temporisés paramétrés. | |
Verifying timed properties of security protocols | |
Weryfikacja specyfikacji architekturalnych |