![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/sofsem/sofsem2008.bht:"
@inproceedings{DBLP:conf/sofsem/AlessiS08, author = {Fabio Alessi and Paula Severi}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Recursive Domain Equations of Filter Models}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {124--135}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_11}, doi = {10.1007/978-3-540-77566-9\_11}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/AlessiS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/AliP08, author = {Khadija Abied Ali and Jaroslav Pokorn{\'{y}}}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {3D{\_}XML: {A} Three-Dimensional XML-Based Model}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {659--671}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_57}, doi = {10.1007/978-3-540-77566-9\_57}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/AliP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Ambainis08, author = {Andris Ambainis}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Quantum Random Walks - New Method for Designing Quantum Algorithms}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {1--4}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_1}, doi = {10.1007/978-3-540-77566-9\_1}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Ambainis08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/AmbainisR08, author = {Andris Ambainis and Alexander Rivosh}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Quantum Walks with Multiple or Moving Marked Locations}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {485--496}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_42}, doi = {10.1007/978-3-540-77566-9\_42}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/AmbainisR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ArvindJ08, author = {Vikraman Arvind and Pushkar S. Joglekar}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Algorithmic Problems for Metrics on Permutation Groups}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {136--147}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_12}, doi = {10.1007/978-3-540-77566-9\_12}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ArvindJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BellP08, author = {Paul Bell and Igor Potapov}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Periodic and Infinite Traces in Matrix Semigroups}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {148--161}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_13}, doi = {10.1007/978-3-540-77566-9\_13}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BellP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Bernat08, author = {Dusan Bern{\'{a}}t}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Domain Name System as a Memory and Communication Medium}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {560--571}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_49}, doi = {10.1007/978-3-540-77566-9\_49}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Bernat08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BernetJ08, author = {Julien Bernet and David Janin}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {From Asynchronous to Synchronous Specifications for Distributed Program Synthesis}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {162--173}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_14}, doi = {10.1007/978-3-540-77566-9\_14}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BernetJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BockenhauerHMW08, author = {Hans{-}Joachim B{\"{o}}ckenhauer and Juraj Hromkovic and Tobias M{\"{o}}mke and Peter Widmayer}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {On the Hardness of Reoptimization}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {50--65}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_5}, doi = {10.1007/978-3-540-77566-9\_5}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/BockenhauerHMW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BolligRW08, author = {Beate Bollig and Niko Range and Ingo Wegener}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Exact {OBDD} Bounds for Some Fundamental Functions}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {174--185}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_15}, doi = {10.1007/978-3-540-77566-9\_15}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BolligRW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BrisaboaPSSU08, author = {Nieves R. Brisaboa and Oscar Pedreira and Diego Seco and Roberto Solar and Roberto Uribe}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {186--197}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_16}, doi = {10.1007/978-3-540-77566-9\_16}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BrisaboaPSSU08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Brusilovsky08, author = {Peter Brusilovsky}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Social Information Access: The Other Side of the Social Web}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {5--22}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_2}, doi = {10.1007/978-3-540-77566-9\_2}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Brusilovsky08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BurrellAD08, author = {Michael J. Burrell and James H. Andrews and Mark Daley}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {A Useful Bounded Resource Functional Language}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {198--210}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_17}, doi = {10.1007/978-3-540-77566-9\_17}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BurrellAD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/CeccatoOT08, author = {Mariano Ceccato and Yoram Ofek and Paolo Tonella}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Remote Entrusting by Run-Time Software Authentication}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {83--97}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_8}, doi = {10.1007/978-3-540-77566-9\_8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/CeccatoOT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ChengM08, author = {Feng Cheng and Christoph Meinel}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Strong Authentication over Lock-Keeper}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {572--584}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_50}, doi = {10.1007/978-3-540-77566-9\_50}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ChengM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/CichonKW08, author = {Jacek Cichon and Miroslaw Kutylowski and Bogdan Weglorz}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Short Ballot Assumption and Threeballot Voting Protocol}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {585--598}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_51}, doi = {10.1007/978-3-540-77566-9\_51}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/CichonKW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/CristauH08, author = {Julien Cristau and Florian Horn}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {On Reachability Games of Ordinal Length}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {211--221}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_18}, doi = {10.1007/978-3-540-77566-9\_18}, timestamp = {Sun, 05 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/CristauH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Cyganek08, author = {Boguslaw Cyganek}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {222--233}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_19}, doi = {10.1007/978-3-540-77566-9\_19}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Cyganek08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/CzyzowiczDKK08, author = {Jurek Czyzowicz and Stefan Dobrev and Evangelos Kranakis and Danny Krizanc}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {234--246}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_20}, doi = {10.1007/978-3-540-77566-9\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/CzyzowiczDKK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Dabrowski08, author = {Jacek Dabrowski}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Parallel Immune System for Graph Coloring}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {497--505}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_43}, doi = {10.1007/978-3-540-77566-9\_43}, timestamp = {Wed, 30 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/Dabrowski08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DobrevKP08, author = {Stefan Dobrev and Rastislav Kralovic and Dana Pardubsk{\'{a}}}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {How Much Information about the Future Is Needed?}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {247--258}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_21}, doi = {10.1007/978-3-540-77566-9\_21}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/DobrevKP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DokulilK08, author = {Jir{\'{\i}} Dokulil and Jana Katreniakov{\'{a}}}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Visual Exploration of {RDF} Data}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {672--683}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_58}, doi = {10.1007/978-3-540-77566-9\_58}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DokulilK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Dolog08, author = {Peter Dolog}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Designing Adaptive Web Applications}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {23--33}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_3}, doi = {10.1007/978-3-540-77566-9\_3}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Dolog08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DornT08, author = {Sebastian D{\"{o}}rn and Thomas Thierauf}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {The Quantum Complexity of Group Testing}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {506--518}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_44}, doi = {10.1007/978-3-540-77566-9\_44}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DornT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DragoiS08, author = {Cezara Dragoi and Gheorghe Stefanescu}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {On Compiling Structured Interactive Programs with Registers and Voices}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {259--270}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_22}, doi = {10.1007/978-3-540-77566-9\_22}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DragoiS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DurajG08, author = {Lech Duraj and Grzegorz Gutowski}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Optimal Orientation On-Line}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {271--279}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_23}, doi = {10.1007/978-3-540-77566-9\_23}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DurajG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Dzbor08, author = {Martin Dzbor}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {34--49}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_4}, doi = {10.1007/978-3-540-77566-9\_4}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Dzbor08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/EscoffierMS08, author = {Bruno Escoffier and J{\'{e}}r{\^{o}}me Monnot and Olivier Spanjaard}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {280--291}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_24}, doi = {10.1007/978-3-540-77566-9\_24}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/EscoffierMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/FalcoT08, author = {Diego de Falco and Dario Tamascelli}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Quantum Walks: {A} Markovian Perspective}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {519--530}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_45}, doi = {10.1007/978-3-540-77566-9\_45}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/FalcoT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/FrivoltSVVVB08, author = {Gy{\"{o}}rgy Frivolt and J{\'{a}}n Suchal and Richard Vesely and Peter Vojtek and Oto Voz{\'{a}}r and M{\'{a}}ria Bielikov{\'{a}}}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Creation, Population and Preprocessing of Experimental Data Sets for Evaluation of Applications for the Semantic Web}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {684--695}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_59}, doi = {10.1007/978-3-540-77566-9\_59}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/FrivoltSVVVB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/GaziR08, author = {Peter Gazi and Branislav Rovan}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Assisted Problem Solving and Decompositions of Finite Automata}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {292--303}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_25}, doi = {10.1007/978-3-540-77566-9\_25}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/GaziR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Gunia08, author = {Christian Gunia}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Energy-Efficient Windows Scheduling}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {304--315}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_26}, doi = {10.1007/978-3-540-77566-9\_26}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Gunia08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/IliopoulosR08, author = {Costas S. Iliopoulos and M. Sohel Rahman}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {316--327}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_27}, doi = {10.1007/978-3-540-77566-9\_27}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/IliopoulosR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/JonoskaM08, author = {Natasa Jonoska and Gregory L. McColm}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Describing Self-assembly of Nanostructures}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {66--73}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_6}, doi = {10.1007/978-3-540-77566-9\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/JonoskaM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KalitaPRB08, author = {Piotr Kalita and Igor T. Podolak and Adam Roman and Bartosz Bierkowski}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Algorithm for Intelligent Prediction of Requests in Business Systems}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {696--707}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_60}, doi = {10.1007/978-3-540-77566-9\_60}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/KalitaPRB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Kari08, author = {Jarkko Kari}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {On the Undecidability of the Tiling Problem}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {74--82}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_7}, doi = {10.1007/978-3-540-77566-9\_7}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Kari08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KazienkoM08, author = {Przemyslaw Kazienko and Katarzyna Musial}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Mining Personal Social Features in the Community of Email Users}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {708--719}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_61}, doi = {10.1007/978-3-540-77566-9\_61}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KazienkoM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KlonowskiKK08, author = {Marek Klonowski and Przemyslaw Kubiak and Miroslaw Kutylowski}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Practical Deniable Encryption}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {599--609}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_52}, doi = {10.1007/978-3-540-77566-9\_52}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KlonowskiKK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KlonowskiS08, author = {Marek Klonowski and Tomasz Struminski}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Proofs of Communication and Its Application for Fighting Spam}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {720--730}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_62}, doi = {10.1007/978-3-540-77566-9\_62}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KlonowskiS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KoprowskiZ08, author = {Adam Koprowski and Hans Zantema}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Certification of Proving Termination of Term Rewriting by Matrix Interpretations}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {328--339}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_28}, doi = {10.1007/978-3-540-77566-9\_28}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KoprowskiZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Kosik08, author = {Matej Kos{\'{\i}}k}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Taming of Pict}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {610--621}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_53}, doi = {10.1007/978-3-540-77566-9\_53}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Kosik08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Kretowski08, author = {Marek Kretowski}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {A Memetic Algorithm for Global Induction of Decision Trees}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {531--540}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_46}, doi = {10.1007/978-3-540-77566-9\_46}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/Kretowski08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KudelkaSLEP08, author = {Milos Kudelka and V{\'{a}}clav Sn{\'{a}}sel and Ondrej Lehecka and Eyas El{-}Qawasmeh and Jaroslav Pokorn{\'{y}}}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Web Pages Reordering and Clustering Based on Web Patterns}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {731--742}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_63}, doi = {10.1007/978-3-540-77566-9\_63}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KudelkaSLEP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KurkovaS08, author = {Vera Kurkov{\'{a}} and Marcello Sanguineti}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Geometric Rates of Approximation by Neural Networks}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {541--550}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_47}, doi = {10.1007/978-3-540-77566-9\_47}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KurkovaS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/LekavyN08, author = {Mari{\'{a}}n Lekav{\'{y}} and Pavol N{\'{a}}vrat}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Extension of Rescheduling Based on Minimal Graph Cut}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {340--351}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_29}, doi = {10.1007/978-3-540-77566-9\_29}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/LekavyN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Majster-CederbaumM08, author = {Mila E. Majster{-}Cederbaum and Christoph Minnameier}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {352--363}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_30}, doi = {10.1007/978-3-540-77566-9\_30}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Majster-CederbaumM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/MatsubaraIISNH08, author = {Wataru Matsubara and Shunsuke Inenaga and Akira Ishino and Ayumi Shinohara and Tomoyuki Nakamura and Kazuo Hashimoto}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Computing Longest Common Substring and All Palindromes from Compressed Strings}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {364--375}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_31}, doi = {10.1007/978-3-540-77566-9\_31}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/MatsubaraIISNH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/MorimotoSGC08, author = {Shoichi Morimoto and Shinjiro Shigematsu and Yuichi Goto and Jingde Cheng}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Classification, Formalization and Verification of Security Functional Requirements}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {622--633}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_54}, doi = {10.1007/978-3-540-77566-9\_54}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/MorimotoSGC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Mramor-KostaT08, author = {Neza Mramor{-}Kosta and Eva Trenklerov{\'{a}}}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Basic Sets in the Digital Plane}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {376--387}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_32}, doi = {10.1007/978-3-540-77566-9\_32}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Mramor-KostaT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Nedbal08, author = {Radim Nedbal}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Algebraic Optimization of Relational Queries with Various Kinds of Preferences}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {388--399}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_33}, doi = {10.1007/978-3-540-77566-9\_33}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Nedbal08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/NuccioR08, author = {C. Nuccio and Emanuele Rodaro}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Mortality Problem for 2{\texttimes}2 Integer Matrices}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {400--405}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_34}, doi = {10.1007/978-3-540-77566-9\_34}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/NuccioR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Petersen08, author = {Holger Petersen}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Element Distinctness and Sorting on One-Tape Off-Line Turing Machines}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {406--417}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_35}, doi = {10.1007/978-3-540-77566-9\_35}, timestamp = {Fri, 15 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/Petersen08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Petersen08a, author = {Holger Petersen}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Improved Bounds for Range Mode and Range Median Queries}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {418--423}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_36}, doi = {10.1007/978-3-540-77566-9\_36}, timestamp = {Fri, 15 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/Petersen08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/PinteaCDP08, author = {Camelia{-}Mihaela Pintea and Camelia Chira and D. Dumitrescu and Petrica C. Pop}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {A Sensitive Metaheuristic for Solving a Large Optimization Problem}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {551--559}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_48}, doi = {10.1007/978-3-540-77566-9\_48}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/PinteaCDP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Pont-TusetMNLM08, author = {Jordi Pont{-}Tuset and Pau Medrano{-}Gracia and Jordi Nin and Josep Llu{\'{\i}}s Larriba{-}Pey and Victor Munt{\'{e}}s{-}Mulero}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {{ONN} the Use of Neural Networks for Data Privacy}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {634--645}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_55}, doi = {10.1007/978-3-540-77566-9\_55}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Pont-TusetMNLM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Radmacher08, author = {Frank G. Radmacher}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {An Automata Theoretic Approach to Rational Tree Relations}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {424--435}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_37}, doi = {10.1007/978-3-540-77566-9\_37}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Radmacher08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Rakow08, author = {Astrid Rakow}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Slicing Petri Nets with an Application to Workflow Verification}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {436--447}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_38}, doi = {10.1007/978-3-540-77566-9\_38}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Rakow08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/RomanF08, author = {Adam Roman and Wit Forys}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {448--459}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_39}, doi = {10.1007/978-3-540-77566-9\_39}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/RomanF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Sadeghi08, author = {Ahmad{-}Reza Sadeghi}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Trusted Computing - Special Aspects and Challenges}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {98--117}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_9}, doi = {10.1007/978-3-540-77566-9\_9}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Sadeghi08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SestakL08, author = {Radovan Sest{\'{a}}k and Jan Lansky}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Compression of Concatenated Web Pages Using {XBW}}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {743--754}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_64}, doi = {10.1007/978-3-540-77566-9\_64}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SestakL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ShinHM08, author = {Hyun Woong Shin and Eduard H. Hovy and Dennis McLeod}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {The Dynamic Web Presentations with a Generality Model on the News Domain}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {755--765}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_65}, doi = {10.1007/978-3-540-77566-9\_65}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ShinHM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SiirtolaV08, author = {Antti Siirtola and Michal Valenta}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Verifying Parameterized taDOM+ Lock Managers}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {460--472}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_40}, doi = {10.1007/978-3-540-77566-9\_40}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SiirtolaV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SkibinskiSG08, author = {Przemyslaw Skibinski and Jakub Swacha and Szymon Grabowski}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {A Highly Efficient {XML} Compression Scheme for the Web}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {766--777}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_66}, doi = {10.1007/978-3-540-77566-9\_66}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SkibinskiSG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SpillnerW08, author = {Andreas Spillner and Alexander Wolff}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Untangling a Planar Graph}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {473--484}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_41}, doi = {10.1007/978-3-540-77566-9\_41}, timestamp = {Sun, 04 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SpillnerW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Thomas08, author = {Wolfgang Thomas}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Optimizing Winning Strategies in Regular Infinite Games}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {118--123}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_10}, doi = {10.1007/978-3-540-77566-9\_10}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Thomas08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/TvarozekBFTB08, author = {Michal Tvarozek and Michal Barla and Gy{\"{o}}rgy Frivolt and Marek Tomsa and M{\'{a}}ria Bielikov{\'{a}}}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {778--789}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_67}, doi = {10.1007/978-3-540-77566-9\_67}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/TvarozekBFTB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/WangWP08, author = {Peishun Wang and Huaxiong Wang and Josef Pieprzyk}, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {Threshold Privacy Preserving Keyword Searches}, booktitle = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, pages = {646--658}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9\_56}, doi = {10.1007/978-3-540-77566-9\_56}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/WangWP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sofsem/2008, editor = {Viliam Geffert and Juhani Karhum{\"{a}}ki and Alberto Bertoni and Bart Preneel and Pavol N{\'{a}}vrat and M{\'{a}}ria Bielikov{\'{a}}}, title = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}} Smokovec, Slovakia, January 19-25, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4910}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-77566-9}, doi = {10.1007/978-3-540-77566-9}, isbn = {978-3-540-77565-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.