Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sofsem/sofsem2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/sofsem/AfsarmaneshKH01,
author = {Hamideh Afsarmanesh and
Ersin Cem Kaletas and
Louis O. Hertzberger},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {The Potential of Grid, Virtual Laboratories and Virtual Organizations
for Bio-sciences},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {1--9},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_1},
doi = {10.1007/3-540-45627-9\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AfsarmaneshKH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Aho01,
author = {Isto Aho},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {On the Approximability of Interactive Knapsack Problems},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {152--159},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_12},
doi = {10.1007/3-540-45627-9\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Aho01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ArgonDMP01,
author = {Pablo Arg{\'{o}}n and
Giorgio Delzanno and
Supratik Mukhopadhyay and
Andreas Podelski},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Model Checking Communication Protocols},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {160--170},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_13},
doi = {10.1007/3-540-45627-9\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ArgonDMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Beran01,
author = {Martin Beran},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Pipelined Decomposable {BSP} Computers},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {171--180},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_14},
doi = {10.1007/3-540-45627-9\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Beran01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BonnerFK01,
author = {Richard F. Bonner and
Rusins Freivalds and
Maksim Kravtsev},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Quantum versus Probabilistic One-Way Finite Automata with Counter},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {181--190},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_15},
doi = {10.1007/3-540-45627-9\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BonnerFK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimCKP01,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavel Krc{\'{a}}l and
Radek Pel{\'{a}}nek},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {How to Employ Reverse Search in Distributed Single Source Shortest
Paths},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {191--200},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_16},
doi = {10.1007/3-540-45627-9\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrimCKP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrimGJK01,
author = {Lubos Brim and
David R. Gilbert and
Jean{-}Marie Jacquet and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Multi-agent Systems as Concurrent Constraint Processes},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {201--210},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_17},
doi = {10.1007/3-540-45627-9\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BrimGJK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Charron-Bost01,
author = {Bernadette Charron{-}Bost},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Agreement Problems in Fault-Tolerant Distributed Systems},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {10--32},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_2},
doi = {10.1007/3-540-45627-9\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Charron-Bost01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Fernau01,
author = {Henning Fernau},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Approximative Learning of Regular Languages},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {223--232},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_19},
doi = {10.1007/3-540-45627-9\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Fernau01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FreivaldsW01,
author = {Rusins Freivalds and
Andreas J. Winter},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Quantum Finite State Transducers},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {233--242},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_20},
doi = {10.1007/3-540-45627-9\_20},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/FreivaldsW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Galambos01,
author = {Leo Galambos},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Lemmatizer for Document Information Retrieval Systems in {JAVA}},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {243--252},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_21},
doi = {10.1007/3-540-45627-9\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Galambos01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Gebala01,
author = {Maciej Gebala},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {The Reconstruction of Polyominoes from Approximately Orthogonal Projections},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {253--260},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_22},
doi = {10.1007/3-540-45627-9\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Gebala01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/GroskyZ01,
author = {William I. Grosky and
Rong Zhao},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {33--52},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_3},
doi = {10.1007/3-540-45627-9\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/GroskyZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/JayantiTFK01,
author = {Prasad Jayanti and
King Tan and
Gregory Friedland and
Amir Katz},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Bounding Lamport's Bakery Algorithm},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {261--270},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_23},
doi = {10.1007/3-540-45627-9\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/JayantiTFK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Jenei01,
author = {S{\'{a}}ndor Jenei},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Inference in Rule-Based Systems by Interpolation and Extrapolation
Revisited},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {53--57},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_4},
doi = {10.1007/3-540-45627-9\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Jenei01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Kaklamanis01,
author = {Christos Kaklamanis},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Recent Advances in Wavelength Routing},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {58--72},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_5},
doi = {10.1007/3-540-45627-9\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Kaklamanis01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KocsorC01,
author = {Andr{\'{a}}s Kocsor and
J{\'{a}}nos Csirik},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Fast Independent Component Analysis in Kernel Feature Spaces},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {271--281},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_24},
doi = {10.1007/3-540-45627-9\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KocsorC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Kralovic01,
author = {Rastislav Kralovic},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {On Majority Voting Games in Trees},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {282--291},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_25},
doi = {10.1007/3-540-45627-9\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/Kralovic01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Kralovic01a,
author = {Richard Kr{\'{a}}lovic},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Time and Space Complexity of Reversible Pebbling},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {292--303},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_26},
doi = {10.1007/3-540-45627-9\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Kralovic01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Laforenza01,
author = {Domenico Laforenza},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {From Metacomputing to Grid Computing: Evolution or Revolution?},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {73--74},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_6},
doi = {10.1007/3-540-45627-9\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Laforenza01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Lambert01,
author = {Simon C. Lambert},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Knowledge-Based Control Systems},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {75--89},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_7},
doi = {10.1007/3-540-45627-9\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Lambert01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/LeeuwenW01,
author = {Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Beyond the Turing Limit: Evolving Interactive Systems},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {90--109},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_8},
doi = {10.1007/3-540-45627-9\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/LeeuwenW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/PasqualeN01,
author = {Adriano Di Pasquale and
Enrico Nardelli},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {{ADST:} An Order Preserving Scalable Distributed Data Structure with
Constant Access Costs},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {211--222},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_18},
doi = {10.1007/3-540-45627-9\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/PasqualeN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/PlachetkaSA01,
author = {Tom{\'{a}}s Plachetka and
Olaf Schmidt and
Frank Albracht},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {The HiQoS Rendering System},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {304--315},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_27},
doi = {10.1007/3-540-45627-9\_27},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofsem/PlachetkaSA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Platek01,
author = {Martin Pl{\'{a}}tek},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Two-Way Restarting Automata and J-Monotonicity},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {316--325},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_28},
doi = {10.1007/3-540-45627-9\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Platek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Pratt01,
author = {Vaughan R. Pratt},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Software Geography: Physical and Economic Aspects},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {336--346},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_30},
doi = {10.1007/3-540-45627-9\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Pratt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Santoro01,
author = {Nicola Santoro},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Distributed Computations by Autonomous Mobile Robots},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {110--115},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_9},
doi = {10.1007/3-540-45627-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Santoro01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/SawaJ01,
author = {Zdenek Sawa and
Petr Jancar},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {P-Hardness of Equivalence Testing on Finite-State Processes},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {326--335},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_29},
doi = {10.1007/3-540-45627-9\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/SawaJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Slobodova01,
author = {Anna Slobodov{\'{a}}},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Formal Verification Methods for Industrial Hardware Design},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {116--135},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_10},
doi = {10.1007/3-540-45627-9\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Slobodova01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Watanabe01,
author = {Osamu Watanabe},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {How Can Computer Science Contribute to Knowledge Discovery?},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {136--151},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_11},
doi = {10.1007/3-540-45627-9\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Watanabe01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2001,
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9},
doi = {10.1007/3-540-45627-9},
isbn = {3-540-42912-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2001.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.
retrieved on 2024-05-03 08:05 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:
