default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sofsem/sofsem2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/sofsem/AnderssonW09,
author = {Arne Andersson and
Jim Wilenius},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A New Analysis of Expected Revenue},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {1--2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_1},
doi = {10.1007/978-3-540-95891-8\_1},
timestamp = {Fri, 30 Aug 2019 10:02:27 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AnderssonW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AndovaG09,
author = {Suzana Andova and
Sonja Georgievska},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On Compositionality, Efficiency, and Applicability of Abstraction
in Probabilistic Systems},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {67--78},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_10},
doi = {10.1007/978-3-540-95891-8\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AndovaG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AnselmoJM09,
author = {Marcella Anselmo and
Natasha Jonoska and
Maria Madonia},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Framed Versus Unframed Two-Dimensional Languages},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {79--92},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_11},
doi = {10.1007/978-3-540-95891-8\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AnselmoJM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AratsuHK09,
author = {Taku Aratsu and
Kouichi Hirata and
Tetsuji Kuboyama},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Approximating Tree Edit Distance through String Edit Distance for
Binary Tree Codes},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {93--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_12},
doi = {10.1007/978-3-540-95891-8\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AratsuHK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Attiogbe09,
author = {J. Christian Attiogb{\'{e}}},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Can Component/Service-Based Systems Be Proved Correct?},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {3--18},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_2},
doi = {10.1007/978-3-540-95891-8\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Attiogbe09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BachmannRSS09,
author = {Jens Bachmann and
Martin Riedl and
Johann Schuster and
Markus Siegle},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {An Efficient Symbolic Elimination Algorithm for the Stochastic Process
Algebra Tool {CASPA}},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {485--496},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_44},
doi = {10.1007/978-3-540-95891-8\_44},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BachmannRSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BaierBG09,
author = {Christel Baier and
Nathalie Bertrand and
Marcus Gr{\"{o}}{\ss}er},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Probabilistic Acceptors for Languages over Infinite Words},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {19--33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_3},
doi = {10.1007/978-3-540-95891-8\_3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BaierBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BauerDDW09,
author = {Reinhard Bauer and
Gianlorenzo D'Angelo and
Daniel Delling and
Dorothea Wagner},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {The Shortcut Problem - Complexity and Approximation},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {105--116},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_13},
doi = {10.1007/978-3-540-95891-8\_13},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BauerDDW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Berdine09,
author = {Josh Berdine},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Automatic Verification of Heap Manipulation Using Separation Logic},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {34},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_4},
doi = {10.1007/978-3-540-95891-8\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Berdine09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BinderS09,
author = {Walter Binder and
Niranjan Suri},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Green Computing: Energy Consumption Optimized Service Hosting},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {117--128},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_14},
doi = {10.1007/978-3-540-95891-8\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BinderS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Bollig09,
author = {Beate Bollig},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On the {OBDD} Complexity of Threshold Functions and the Variable Ordering
Problem},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {129--140},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_15},
doi = {10.1007/978-3-540-95891-8\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Bollig09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CantoneF09,
author = {Domenico Cantone and
Simone Faro},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Pattern Matching with Swaps for Short Patterns in Linear Time},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {255--266},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_25},
doi = {10.1007/978-3-540-95891-8\_25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/CantoneF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CaronCM09,
author = {Pascal Caron and
Jean{-}Marc Champarnaud and
Ludovic Mignot},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A New Family of Regular Operators Fitting with the Position Automaton
Computation},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {645--655},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_57},
doi = {10.1007/978-3-540-95891-8\_57},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/CaronCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChatainGS09,
author = {Thomas Chatain and
Paul Gastin and
Nathalie Sznajder},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Natural Specifications Yield Decidability for Distributed Synthesis
of Asynchronous Systems},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {141--152},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_16},
doi = {10.1007/978-3-540-95891-8\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChatainGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChatzikokolakisKP09,
author = {Konstantinos Chatzikokolakis and
Sophia Knight and
Prakash Panangaden},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Epistemic Strategies and Games on Concurrent Processes},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {153--166},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_17},
doi = {10.1007/978-3-540-95891-8\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/ChatzikokolakisKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChenFG09,
author = {Taolue Chen and
Wan J. Fokkink and
Rob J. van Glabbeek},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On Finite Bases for Weak Semantics: Failures Versus Impossible Futures},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {167--180},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_18},
doi = {10.1007/978-3-540-95891-8\_18},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChenFG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/CorradiniBV09,
author = {Flavio Corradini and
Maria Rita Di Berardini and
Walter Vogler},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Time and Fairness in a Process Algebra with Non-blocking Reading},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {193--204},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_20},
doi = {10.1007/978-3-540-95891-8\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/CorradiniBV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DaigoH09,
author = {Taishin Daigo and
Kouichi Hirata},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {181--192},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_19},
doi = {10.1007/978-3-540-95891-8\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/DaigoH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DietzfelbingerS09,
author = {Martin Dietzfelbinger and
Ulf Schellbach},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The
Case of Large Universes},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {217--228},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_22},
doi = {10.1007/978-3-540-95891-8\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/DietzfelbingerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Dominguez-JimenezEM09,
author = {Juan Jos{\'{e}} Dom{\'{\i}}nguez{-}Jim{\'{e}}nez and
Antonia Estero{-}Botaro and
Inmaculada Medina{-}Bulo},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A Framework for Mutant Genetic Generation for {WS-BPEL}},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {229--240},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_23},
doi = {10.1007/978-3-540-95891-8\_23},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Dominguez-JimenezEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/DoschS09,
author = {Walter Dosch and
Annette St{\"{u}}mpel},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Implementing Services by Partial State Machines},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {241--254},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_24},
doi = {10.1007/978-3-540-95891-8\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/DoschS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FehnkerHST09,
author = {Ansgar Fehnker and
Ralf Huuck and
Bastian Schlich and
Michael Tapp},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Automatic Bug Detection in Microcontroller Software by Static Program
Analysis},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {267--278},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_26},
doi = {10.1007/978-3-540-95891-8\_26},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/FehnkerHST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Frutos-EscrigGP09,
author = {David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Miguel Palomino},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On the Unification of Process Semantics: Observational Semantics},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {279--290},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_27},
doi = {10.1007/978-3-540-95891-8\_27},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Frutos-EscrigGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GeffertP09,
author = {Viliam Geffert and
Dana Pardubsk{\'{a}}},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Factoring and Testing Primes in Small Space},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {291--302},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_28},
doi = {10.1007/978-3-540-95891-8\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GeffertP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GiustoGM09,
author = {Cinzia Di Giusto and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Expressiveness of Multiple Heads in {CHR}},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {205--216},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_21},
doi = {10.1007/978-3-540-95891-8\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GiustoGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GonenP09,
author = {Rica Gonen and
Elan Pavlov},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Adaptive Incentive-Compatible Sponsored Search Auction},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {303--316},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_29},
doi = {10.1007/978-3-540-95891-8\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GonenP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GourvesLMM09,
author = {Laurent Gourv{\`{e}}s and
Adria Lyra and
Carlos A. J. Martinhon and
J{\'{e}}r{\^{o}}me Monnot},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {The Minimum Reload s-tPath/Trail/Walk Problems},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {621--632},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_55},
doi = {10.1007/978-3-540-95891-8\_55},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GourvesLMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/HabalaPRB09,
author = {Ondrej Habala and
Marek Paralic and
Viera Rozinajov{\'{a}} and
Peter Bartalos},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Semantically-Aided Data-Aware Service Workflow Composition},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {317--328},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_30},
doi = {10.1007/978-3-540-95891-8\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/HabalaPRB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Immorlica09,
author = {Nicole Immorlica},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Technology Diffusion in Social Networks},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {35--36},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_5},
doi = {10.1007/978-3-540-95891-8\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Immorlica09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Janecek09,
author = {Radovan Janecek},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Service Oriented Architecture Pitfalls},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {37--45},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_6},
doi = {10.1007/978-3-540-95891-8\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Janecek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Jezabek09,
author = {Jan Jezabek},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Increasing Machine Speed in On-Line Scheduling of Weighted Unit-Length
Jobs in Slotted Time},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {329--340},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_31},
doi = {10.1007/978-3-540-95891-8\_31},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Jezabek09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Jurdzinski09,
author = {Marcin Jurdzinski},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Algorithms for Solving Infinite Games},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {46--48},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_7},
doi = {10.1007/978-3-540-95891-8\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Jurdzinski09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KonigMT09,
author = {Robert K{\"{o}}nig and
Ueli M. Maurer and
Stefano Tessaro},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Abstract Storage Devices},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {341--352},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_32},
doi = {10.1007/978-3-540-95891-8\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KonigMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KutribMO09,
author = {Martin Kutrib and
Hartmut Messerschmidt and
Friedrich Otto},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On Stateless Deterministic Restarting Automata},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {353--364},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_33},
doi = {10.1007/978-3-540-95891-8\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KutribMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KwakLKL09,
author = {Dongpil Kwak and
Joongsoo Lee and
Dohyun Kim and
Younghee Lee},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {User Care Preference-Based Semantic Service Discovery in a Ubiquitous
Environment},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {365--375},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_34},
doi = {10.1007/978-3-540-95891-8\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KwakLKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Longo09,
author = {Giuseppe Longo},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Randomness and Determination, from Physics and Computing towards Biology},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {49--61},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_8},
doi = {10.1007/978-3-540-95891-8\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Longo09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LorenzJM09,
author = {Robert Lorenz and
Gabriel Juh{\'{a}}s and
Sebastian Mauser},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Partial Order Semantics of Types of Nets},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {388--400},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_36},
doi = {10.1007/978-3-540-95891-8\_36},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/LorenzJM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LuttgenV09,
author = {Gerald L{\"{u}}ttgen and
Walter Vogler},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Safe Reasoning with Logic {LTS}},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {376--387},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_35},
doi = {10.1007/978-3-540-95891-8\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/LuttgenV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MayordomoM09,
author = {Elvira Mayordomo and
Philippe Moser},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown
Compression},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {633--644},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_56},
doi = {10.1007/978-3-540-95891-8\_56},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MayordomoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Moser09,
author = {Hannes Moser},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A Problem Kernelization for Graph Packing},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {401--412},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_37},
doi = {10.1007/978-3-540-95891-8\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Moser09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/OkhotinR09,
author = {Alexander Okhotin and
Christian Reitwie{\ss}ner},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Conjunctive Grammars with Restricted Disjunction},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {425--436},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_39},
doi = {10.1007/978-3-540-95891-8\_39},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/OkhotinR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Parkes09,
author = {David C. Parkes},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {When Analysis Fails: Heuristic Mechanism Design via Self-correcting
Procedures},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {62--66},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_9},
doi = {10.1007/978-3-540-95891-8\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Parkes09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/PeschanskiB09,
author = {Fr{\'{e}}d{\'{e}}ric Peschanski and
Jo{\"{e}}l{-}Alexis Bialkiewicz},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Modelling and Verifying Mobile Systems Using pi-Graphs},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {437--448},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_40},
doi = {10.1007/978-3-540-95891-8\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/PeschanskiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/PorschenS09,
author = {Stefan Porschen and
Tatjana Schmidt},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On Some SAT-Variants over Linear Formulas},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {449--460},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_41},
doi = {10.1007/978-3-540-95891-8\_41},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/PorschenS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Reinhardt09,
author = {Klaus Reinhardt},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {The Simple Reachability Problem in Switch Graphs},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {461--472},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_42},
doi = {10.1007/978-3-540-95891-8\_42},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Reinhardt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Schneider09,
author = {Johannes C. Schneider},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Unambiguous Erasing Morphisms in Free Monoids},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {473--484},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_43},
doi = {10.1007/978-3-540-95891-8\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Schneider09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Stachowiak09,
author = {Grzegorz Stachowiak},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Asynchronous Deterministic Rendezvous on the Line},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {497--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_45},
doi = {10.1007/978-3-540-95891-8\_45},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Stachowiak09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/SusantoTCL09,
author = {Kong Woei Susanto and
Tim Todman and
Jos{\'{e}} Gabriel F. Coutinho and
Wayne Luk},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Design Validation by Symbolic Simulation and Equivalence Checking:
{A} Case Study in Memory Optimization for Image Manipulation},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {509--520},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_46},
doi = {10.1007/978-3-540-95891-8\_46},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/SusantoTCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/TangO09,
author = {Nguyen Van Tang and
Mizuhito Ogawa},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Event-Clock Visibly Pushdown Automata},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {558--569},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_50},
doi = {10.1007/978-3-540-95891-8\_50},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/TangO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/TarasovsF09,
author = {Ruslans Tarasovs and
Rusins Freivalds},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Group Input Machine},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {521--532},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_47},
doi = {10.1007/978-3-540-95891-8\_47},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/TarasovsF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Thang09,
author = {Kim Thang Nguyen},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {-Hardness of Pure Nash Equilibrium in Scheduling and Connection Games},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {413--424},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_38},
doi = {10.1007/978-3-540-95891-8\_38},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Thang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Thiemann09,
author = {Ren{\'{e}} Thiemann},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {From Outermost Termination to Innermost Termination},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {533--545},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_48},
doi = {10.1007/978-3-540-95891-8\_48},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Thiemann09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Tholey09,
author = {Torsten Tholey},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Improved Algorithms for the 2-Vertex Disjoint Paths Problem},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {546--557},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_49},
doi = {10.1007/978-3-540-95891-8\_49},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Tholey09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/VogelsJP09,
author = {Fr{\'{e}}d{\'{e}}ric Vogels and
Bart Jacobs and
Frank Piessens},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A Machine Checked Soundness Proof for an Intermediate Verification
Language},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {570--581},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_51},
doi = {10.1007/978-3-540-95891-8\_51},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/VogelsJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/WanC09,
author = {Min Wan and
Gianfranco Ciardo},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Symbolic State-Space Generation of Asynchronous Systems Using Extensible
Decision Diagrams},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {582--594},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_52},
doi = {10.1007/978-3-540-95891-8\_52},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/WanC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/WanC09a,
author = {Min Wan and
Gianfranco Ciardo},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {Symbolic Reachability Analysis of Integer Timed Petri Nets},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {595--608},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_53},
doi = {10.1007/978-3-540-95891-8\_53},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/WanC09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/WanMA09,
author = {Kaiyu Wan and
Mubarak Mohammad and
Vasu S. Alagar},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {A Formal Model of Business Application Integration from Web Services
(Position Paper)},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {656--667},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_58},
doi = {10.1007/978-3-540-95891-8\_58},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/WanMA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Wunderlich09,
author = {Henning Wunderlich},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On Toda's Theorem in Structural Communication Complexity},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {609--620},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_54},
doi = {10.1007/978-3-540-95891-8\_54},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Wunderlich09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2009,
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8},
doi = {10.1007/978-3-540-95891-8},
isbn = {978-3-540-95890-1},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-09-19 08:17 CEST from data curated 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:
