All Stories

  1. Preface

    Article • Fundamenta Informaticae, March 2021, IOS Press

    Professor Wojciech Penczek

  2. Preface

    Article • Fundamenta Informaticae, October 2019, IOS Press

    Professor Wojciech Penczek

  3. Preface

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Professor Wojciech Penczek, Piotr Wasilewski

  4. Applying modern SAT-solvers to solving hard problems

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  5. Preface

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Professor Wojciech Penczek, prof.dr.ir. Wil van der Aalst

  6. Preface

    Article • Fundamenta Informaticae, January 2018, IOS Press

    Professor Wojciech Penczek

  7. TripICS - a Web Service Composition System for Planning Trips and Travels

    Article • Fundamenta Informaticae, January 2018, IOS Press

    Professor Wojciech Penczek

  8. Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations

    Article • Fundamenta Informaticae, August 2017, IOS Press

    Professor Wojciech Penczek, Maciej Koutny

  9. Preface

    Article • Fundamenta Informaticae, November 2016, IOS Press

    Professor Wojciech Penczek

  10. Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing*

    Article • Fundamenta Informaticae, November 2016, IOS Press

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  11. Preface

    Article • Fundamenta Informaticae, September 2016, IOS Press

    Professor Wojciech Penczek

  12. Preface

    Article • Fundamenta Informaticae, February 2016, IOS Press

    Professor Wojciech Penczek

  13. Action Synthesis for Branching Time Logic

    Article • ACM Transactions on Embedded Computing Systems, September 2015, ACM (Association for Computing Machinery)

    Professor Wojciech Penczek

  14. Fixed-Point Methods in Parametric Model Checking

    Article • January 2015, Springer Science + Business Media

    Professor Wojciech Penczek

  15. Action Synthesis for Branching Time Logic: Theory and Applications

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Wojciech Penczek

  16. Evolutionary Algorithms for Abstract Planning

    Article • January 2014, Springer Science + Business Media

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  17. Automated abstract planning with use of genetic algorithms

    Article • July 2013, ACM (Association for Computing Machinery)

    PhD Artur Niewiadomski, Professor Wojciech Penczek

  18. Applying Timed Automata to Model Checking of Security Protocols

    Article • October 2012, Taylor & Francis

    Professor Wojciech Penczek

  19. Towards Checking Parametric Reachability for UML State Machines

    Article • January 2010, Springer Science + Business Media

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  20. Model checking for multivalued logic of knowledge and time

    Article • January 2006, ACM (Association for Computing Machinery)

    Professor Wojciech Penczek

  21. Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

    Article • January 2004, Springer Science + Business Media

    Professor Wojciech Penczek

  22. Automated Verification of Infinite State Concurrent Systems

    Article • January 2002, Springer Science + Business Media

    Professor Wojciech Penczek

  23. Reducing Model Checking from Multi-valued CTL* to CTL*

    Article • January 2002, Springer Science + Business Media

    Professor Wojciech Penczek

  24. Towards Formal Specification and Verification in Cyberspace

    Article • January 2001, Springer Science + Business Media

    Professor Wojciech Penczek

  25. Model checking of causal knowledge formulas

    Article • Electronic Notes in Theoretical Computer Science, January 2000, Elsevier

    Professor Wojciech Penczek

  26. Communication and concurrency

    Article • Science of Computer Programming, May 1990, Elsevier

    Professor Wojciech Penczek

  27. Is Your Security Protocol on Time ?

    Article • Springer Science + Business Media

    Professor Wojciech Penczek