Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Agata Pólrola

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Agata Pólrola

download as .bib file

@article{DBLP:journals/asc/NiewiadomskiPSS17,
  author       = {Artur Niewiadomski and
                  Wojciech Penczek and
                  Jaroslaw Skaruz and
                  Maciej Szreter and
                  Agata P{\'{o}}lrola},
  title        = {Combining ontology reductions with new approaches to automated abstract
                  planning of Planics},
  journal      = {Appl. Soft Comput.},
  volume       = {53},
  pages        = {352--379},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.asoc.2017.01.007},
  doi          = {10.1016/J.ASOC.2017.01.007},
  timestamp    = {Mon, 16 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/asc/NiewiadomskiPSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PolrolaCM14,
  author       = {Agata P{\'{o}}lrola and
                  Piotr Cybula and
                  Artur Meski},
  title        = {SMT-Based Reachability Checking for Bounded Time Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {135},
  number       = {4},
  pages        = {467--482},
  year         = {2014},
  url          = {https://doi.org/10.3233/FI-2014-1135},
  doi          = {10.3233/FI-2014-1135},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PolrolaCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/JanowskaPPZ13,
  author       = {Agata Janowska and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Andrzej Zbrzezny},
  title        = {Using Integer Time Steps for Checking Branching Time Properties of
                  Time Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {8},
  pages        = {89--105},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40465-8\_5},
  doi          = {10.1007/978-3-642-40465-8\_5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/JanowskaPPZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csp/PolrolaCM13,
  author       = {Agata P{\'{o}}lrola and
                  Piotr Cybula and
                  Artur Meski},
  editor       = {Marcin S. Szczuka and
                  Ludwik Czaja and
                  Magdalena Kacprzak},
  title        = {SMT-Based Reachability Checking for Bounded Time Petri Nets},
  booktitle    = {Proceedings of the 22nd International Workshop on Concurrency, Specification
                  and Programming, Warsaw, Poland},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1032},
  pages        = {332--341},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1032/paper-29.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csp/PolrolaCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NiewiadomskiPASZ12,
  author       = {Artur Niewiadomski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Maciej Szreter and
                  Andrzej Zbrzezny},
  title        = {Towards Automatic Composition of Web Services: SAT-Based Concretisation
                  of Abstract Scenarios},
  journal      = {Fundam. Informaticae},
  volume       = {120},
  number       = {2},
  pages        = {181--203},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-756},
  doi          = {10.3233/FI-2012-756},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NiewiadomskiPASZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/JanowskaPPZ12,
  author       = {Agata Janowska and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Andrzej Zbrzezny},
  editor       = {Lawrence Cabac and
                  Michael Duvigneau and
                  Daniel Moldt},
  title        = {Using Integer Time Steps for Checking Branching Time Properties of
                  Time Petri Nets},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Hamburg, Germany, June 25-26, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {851},
  pages        = {15--31},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-851/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/JanowskaPPZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zeus/DoliwaHJNPPS12,
  author       = {Dariusz Doliwa and
                  Wojciech Horzelski and
                  Mariusz Jarocki and
                  Artur Niewiadomski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Jaroslaw Skaruz},
  editor       = {Andreas Sch{\"{o}}nberger and
                  Oliver Kopp and
                  Niels Lohmann},
  title        = {HarmonICS - a Tool for Composing Medical Services},
  booktitle    = {Proceedings of the 4\({}^{\mbox{th}}\) Central-European Workshop on
                  Services and their Composition, ZEUS-2012, Bamberg, Germany, February
                  23-24, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {847},
  pages        = {25--33},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-847/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:18 +0100},
  biburl       = {https://dblp.org/rec/conf/zeus/DoliwaHJNPPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MeskiPP11,
  author       = {Artur Meski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  title        = {BDD-based Bounded Model Checking for Temporal Properties of 1-Safe
                  Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {305--321},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-513},
  doi          = {10.3233/FI-2011-513},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MeskiPP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DoliwaHJNPPSZ11,
  author       = {Dariusz Doliwa and
                  Wojciech Horzelski and
                  Mariusz Jarocki and
                  Artur Niewiadomski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Maciej Szreter and
                  Andrzej Zbrzezny},
  title        = {PlanICS - a Web Service Composition Toolset},
  journal      = {Fundam. Informaticae},
  volume       = {112},
  number       = {1},
  pages        = {47--71},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-578},
  doi          = {10.3233/FI-2011-578},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DoliwaHJNPPSZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/MeskiPPWZ11,
  author       = {Artur Meski and
                  Agata P{\'{o}}lrola and
                  Wojciech Penczek and
                  Bozena Wozna{-}Szczesniak and
                  Andrzej Zbrzezny},
  editor       = {Michael Duvigneau and
                  Daniel Moldt and
                  Kunihiko Hiraishi},
  title        = {Bounded Model Checking Approaches for Verification of Distributed
                  Time Petri Nets},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering, Newcastle upon Tyne, UK, June 20-21, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {723},
  pages        = {72--91},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-723/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/MeskiPPWZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KnapikPSP10,
  author       = {Michal Knapik and
                  Wojciech Penczek and
                  Maciej Szreter and
                  Agata P{\'{o}}lrola},
  title        = {Bounded Parametric Verification for Distributed Time Petri Nets with
                  Discrete-Time Semantics},
  journal      = {Fundam. Informaticae},
  volume       = {101},
  number       = {1-2},
  pages        = {9--27},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-272},
  doi          = {10.3233/FI-2010-272},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KnapikPSP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/PenczekPZ10,
  author       = {Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Andrzej Zbrzezny},
  title        = {SAT-Based (Parametric) Reachability for a Class of Distributed Time
                  Petri Nets},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {4},
  pages        = {72--97},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18222-8\_4},
  doi          = {10.1007/978-3-642-18222-8\_4},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/PenczekPZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/KnapikNPPSZ10,
  author       = {Michal Knapik and
                  Artur Niewiadomski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Maciej Szreter and
                  Andrzej Zbrzezny},
  title        = {Parametric Model Checking with VerICS},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {4},
  pages        = {98--120},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18222-8\_5},
  doi          = {10.1007/978-3-642-18222-8\_5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/topnoc/KnapikNPPSZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/PenczekPZ10,
  author       = {Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Andrzej Zbrzezny},
  editor       = {Susanna Donatelli and
                  Jetty Kleijn and
                  Ricardo Jorge Machado and
                  Jo{\~{a}}o M. Fernandes},
  title        = {Towards Automatic Composition of Web Services: {A} SAT-Based Phase},
  booktitle    = {Proceedings of the Workshops of the 31st International Conference
                  on Application and Theory of Petri Nets and Other Models of Concurrency
                  {(PETRI} {NETS} 2010) and of the 10th International Conference on
                  Application of Concurrency to System Design {(ACSD} 2010), Braga,
                  Portugal, June, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {827},
  pages        = {453--473},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-827/34\_WojciechPenczek\_article.pdf},
  timestamp    = {Wed, 09 Aug 2023 08:39:51 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/PenczekPZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KacprzakNNPPSWZ08,
  author       = {Magdalena Kacprzak and
                  Wojciech Nabialek and
                  Artur Niewiadomski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Maciej Szreter and
                  Bozena Wozna and
                  Andrzej Zbrzezny},
  title        = {VerICS 2007 - a Model Checker for Knowledge and Real-Time},
  journal      = {Fundam. Informaticae},
  volume       = {85},
  number       = {1-4},
  pages        = {313--328},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-22},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KacprzakNNPPSWZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ZbrzeznyP07,
  author       = {Andrzej Zbrzezny and
                  Agata P{\'{o}}lrola},
  title        = {SAT-Based Reachability Checking for Timed Automata with Discrete Data},
  journal      = {Fundam. Informaticae},
  volume       = {79},
  number       = {3-4},
  pages        = {579--593},
  year         = {2007},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-24},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ZbrzeznyP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/sci/2006-20,
  author       = {Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  title        = {Advances in Verification of Time Petri Nets and Timed Automata: {A}
                  Temporal Logic Approach},
  series       = {Studies in Computational Intelligence},
  volume       = {20},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-32870-4},
  doi          = {10.1007/978-3-540-32870-4},
  isbn         = {978-3-540-32869-8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sci/2006-20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PolrolaP04,
  author       = {Agata P{\'{o}}lrola and
                  Wojciech Penczek},
  title        = {Minimization Algorithms for Time Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {60},
  number       = {1-4},
  pages        = {307--331},
  year         = {2004},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-21},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PolrolaP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PenczekP04,
  author       = {Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  editor       = {Jordi Cortadella and
                  Wolfgang Reisig},
  title        = {Specification and Model Checking of Temporal Properties in Time Petri
                  Nets and Timed Automata},
  booktitle    = {Applications and Theory of Petri Nets 2004, 25th International Conference,
                  {ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3099},
  pages        = {37--76},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27793-4\_4},
  doi          = {10.1007/978-3-540-27793-4\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PenczekP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PolrolaPS03,
  author       = {Agata P{\'{o}}lrola and
                  Wojciech Penczek and
                  Maciej Szreter},
  title        = {Reachability Analysis for Timed Automata Using Partitioning Algorithms},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {203--221},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PolrolaPS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/PolrolaPS03,
  author       = {Agata P{\'{o}}lrola and
                  Wojciech Penczek and
                  Maciej Szreter},
  editor       = {Kim Guldstrand Larsen and
                  Peter Niebert},
  title        = {Towards Efficient Partition Refinement for Checking Reachability in
                  Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems: First International
                  Workshop, {FORMATS} 2003, Marseille, France, September 6-7, 2003.
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2791},
  pages        = {2--17},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-40903-8\_2},
  doi          = {10.1007/978-3-540-40903-8\_2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/PolrolaPS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/DembinskiJJPPSWZ03,
  author       = {Piotr Dembinski and
                  Agata Janowska and
                  Pawel Janowski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola and
                  Maciej Szreter and
                  Bozena Wozna and
                  Andrzej Zbrzezny},
  editor       = {Hubert Garavel and
                  John Hatcliff},
  title        = {Verics: {A} Tool for Verifying Timed Automata and Estelle Specifications},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  9th International Conference, {TACAS} 2003, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2003,
                  Warsaw, Poland, April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2619},
  pages        = {278--283},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36577-X\_20},
  doi          = {10.1007/3-540-36577-X\_20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DembinskiJJPPSWZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DembinskiPP02,
  author       = {Piotr Dembinski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  title        = {Verification of Timed Automata Based on Similarity},
  journal      = {Fundam. Informaticae},
  volume       = {51},
  number       = {1-2},
  pages        = {59--89},
  year         = {2002},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DembinskiPP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PenczekP01,
  author       = {Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  editor       = {Jos{\'{e}} Manuel Colom and
                  Maciej Koutny},
  title        = {Abstractions and Partial Order Reductions for Checking Branching Properties
                  of Time Petri Nets},
  booktitle    = {Application and Theory of Petri Nets 2001, 22nd International Conference,
                  {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2075},
  pages        = {323--342},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45740-2\_19},
  doi          = {10.1007/3-540-45740-2\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PenczekP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppam/DembinskiPP01,
  author       = {Piotr Dembinski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  editor       = {Roman Wyrzykowski and
                  Jack J. Dongarra and
                  Marcin Paprzycki and
                  Jerzy Wasniewski},
  title        = {Automated Verification of Infinite State Concurrent Systems},
  booktitle    = {Parallel Processing and Applied Mathematics, 4th International Conference,
                  {PPAM} 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2328},
  pages        = {247--255},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-48086-2\_27},
  doi          = {10.1007/3-540-48086-2\_27},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppam/DembinskiPP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.