Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Maciej Szreter
@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}
}
@inproceedings{DBLP:conf/csp/Szreter16,
author = {Maciej Szreter},
editor = {Bernd{-}Holger Schlingloff},
title = {A Graph-based Reduction in Planics Abstract Planning, Based on Partial
Orders of Services (extended abstract)},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {165--170},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_15\_Szreter\_A-graph-based-reduction-in-Planics-abstract-planning-based-on-partial-orders-of-services.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Szreter16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Szreter15,
author = {Maciej Szreter},
editor = {Manuel Mazzara and
Andrei Voronkov},
title = {Automated Two-Phase Composition of Timed Web Services},
booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9609},
pages = {260--275},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-41579-6\_20},
doi = {10.1007/978-3-319-41579-6\_20},
timestamp = {Sun, 02 Jun 2019 21:19:59 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Szreter15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MeskiPSWZ14,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
title = {BDD-versus SAT-based bounded model checking for the existential fragment
of linear temporal logic with knowledge: algorithms and their performance},
journal = {Auton. Agents Multi Agent Syst.},
volume = {28},
number = {4},
pages = {558--604},
year = {2014},
url = {https://doi.org/10.1007/s10458-013-9232-2},
doi = {10.1007/S10458-013-9232-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/MeskiPSWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiSPSJ14,
author = {Artur Niewiadomski and
Jaroslaw Skaruz and
Wojciech Penczek and
Maciej Szreter and
Mariusz Jarocki},
title = {{SMT} Versus Genetic and OpenOpt Algorithms: Concrete Planning in
the PlanICS Framework},
journal = {Fundam. Informaticae},
volume = {135},
number = {4},
pages = {451--466},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1134},
doi = {10.3233/FI-2014-1134},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiSPSJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JamrogaMS13,
author = {Wojciech Jamroga and
Artur Meski and
Maciej Szreter},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Modularity and Openness in Modeling Multi-Agent Systems},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {224--239},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.19},
doi = {10.4204/EPTCS.119.19},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/JamrogaMS13.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/aamas/MeskiPSWZ12,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Bounded model checking for knowledge and linear time},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {1447--1448},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2344054},
timestamp = {Thu, 19 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aamas/MeskiPSWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/MeskiPS12,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter},
editor = {Andrew V. Jones},
title = {Bounded Model Checking for Linear Time Temporal-Epistemic Logic},
booktitle = {2012 Imperial College Computing Student Workshop, {ICCSW} 2012, September
27-28, 2012, London, United Kingdom},
series = {OASIcs},
volume = {28},
pages = {88--94},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.ICCSW.2012.88},
doi = {10.4230/OASICS.ICCSW.2012.88},
timestamp = {Tue, 15 Feb 2022 09:40:03 +0100},
biburl = {https://dblp.org/rec/conf/iccsw/MeskiPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/MeskiPSWZ12,
author = {Artur Meski and
Wojciech Penczek and
Maciej Szreter and
Bozena Wozna{-}Szczesniak and
Andrzej Zbrzezny},
editor = {Gordan Jezic and
Mario Kusek and
Ngoc Thanh Nguyen and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Two Approaches to Bounded Model Checking for Linear Time Logic with
Knowledge},
booktitle = {Agent and Multi-Agent Systems. Technologies and Applications - 6th
{KES} International Conference, {KES-AMSTA} 2012,Dubrovnik, Croatia,
June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7327},
pages = {514--523},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30947-2\_56},
doi = {10.1007/978-3-642-30947-2\_56},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/MeskiPSWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LomuscioPSS11,
author = {Alessio Lomuscio and
Wojciech Penczek and
Monika Solanki and
Maciej Szreter},
title = {Runtime Monitoring of Contract Regulated Web Services},
journal = {Fundam. Informaticae},
volume = {111},
number = {3},
pages = {339--355},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-566},
doi = {10.3233/FI-2011-566},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LomuscioPSS11.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}
}
@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/KnapikSP10,
author = {Michal Knapik and
Maciej Szreter and
Wojciech Penczek},
title = {Bounded Parametric Model Checking for Elementary Net Systems},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {4},
pages = {42--71},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18222-8\_3},
doi = {10.1007/978-3-642-18222-8\_3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KnapikSP10.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/atal/LomuscioSPS10,
author = {Alessio Lomuscio and
Monika Solanki and
Wojciech Penczek and
Maciej Szreter},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Runtime monitoring of contract regulated web services},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1449--1450},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838426},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/LomuscioSPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JakubowskaDPS09,
author = {Gizela Jakubowska and
Piotr Dembinski and
Wojciech Penczek and
Maciej Szreter},
title = {Simulation of Security Protocols based on Scenarios of Attacks},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {185--203},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0096},
doi = {10.3233/FI-2009-0096},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JakubowskaDPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/NiewiadomskiPS09,
author = {Artur Niewiadomski and
Wojciech Penczek and
Maciej Szreter},
title = {A New Approach to Model Checking of {UML} State Machines},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {289--303},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0103},
doi = {10.3233/FI-2009-0103},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/NiewiadomskiPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/NiewiadomskiPS09,
author = {Artur Niewiadomski and
Wojciech Penczek and
Maciej Szreter},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Towards Checking Parametric Reachability for {UML} State Machines},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {319--330},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_27},
doi = {10.1007/978-3-642-11486-1\_27},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ershov/NiewiadomskiPS09.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/PenczekS08,
author = {Wojciech Penczek and
Maciej Szreter},
title = {SAT-based Unbounded Model Checking of Timed Automata},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {425--440},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-29},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PenczekS07,
author = {Wojciech Penczek and
Maciej Szreter},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {SAT-based Unbounded Model Checking of Timed Automata},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {236--237},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.63},
doi = {10.1109/ACSD.2007.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PenczekS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KacprzakLNPRS06,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
Artur Niewiadomski and
Wojciech Penczek and
Franco Raimondi and
Maciej Szreter},
title = {Comparing {BDD} and {SAT} Based Techniques for Model Checking Chaum's
Dining Cryptographers Protocol},
journal = {Fundam. Informaticae},
volume = {72},
number = {1-3},
pages = {215--234},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-16},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KacprzakLNPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Szreter05,
author = {Maciej Szreter},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Selective Search in Bounded Model Checking of Reachability Properties},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {159--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_14},
doi = {10.1007/11562948\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Szreter05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/KacprzakLLPS04,
author = {Magdalena Kacprzak and
Alessio Lomuscio and
T. Lasica and
Wojciech Penczek and
Maciej Szreter},
editor = {Michael G. Hinchey and
James L. Rash and
Walt Truszkowski and
Christopher A. Rouff},
title = {Verifying Multi-agent Systems via Unbounded Model Checking},
booktitle = {Formal Approaches to Agent-Based Systems, Third InternationalWorkshop,
{FAABS} 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3228},
pages = {189--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30960-4\_13},
doi = {10.1007/978-3-540-30960-4\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faabs/KacprzakLLPS04.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/PenczekSGK00,
author = {Wojciech Penczek and
Maciej Szreter and
Rob Gerth and
Ruurd Kuiper},
title = {Improving Partial Order Reductions for Universal Branching Time Properties},
journal = {Fundam. Informaticae},
volume = {43},
number = {1-4},
pages = {245--267},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-43123413},
doi = {10.3233/FI-2000-43123413},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/PenczekSGK00.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.
last updated on 2023-11-22 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
