default search action
Search dblp for Publications
export results for "toc:db/conf/sofsem/sofsem2007.bht:"
@inproceedings{DBLP:conf/sofsem/AgadzanyanF07, author = {Ruben Agadzanyan and Rusins Freivalds}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Size of Quantum Finite State Transducers}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {155--163}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_12}, doi = {10.1007/978-3-540-69507-3\_12}, timestamp = {Fri, 21 Oct 2022 16:47:28 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/AgadzanyanF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/AsahiroMMY07, author = {Yuichi Asahiro and Eiji Miyano and Shuichi Miyazaki and Takuro Yoshimuta}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {164--175}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_13}, doi = {10.1007/978-3-540-69507-3\_13}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/AsahiroMMY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Baeza-Yates07, author = {Ricardo A. Baeza{-}Yates}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Graphs from Search Engine Queries}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {1--8}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_1}, doi = {10.1007/978-3-540-69507-3\_1}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Baeza-Yates07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BartalosBFTABN07, author = {Peter Bartalos and Michal Barla and Gy{\"{o}}rgy Frivolt and Michal Tvarozek and Anton Andrejko and M{\'{a}}ria Bielikov{\'{a}} and Pavol N{\'{a}}vrat}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Building an Ontological Base for Experimental Evaluation of Semantic Web Applications}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {682--692}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_59}, doi = {10.1007/978-3-540-69507-3\_59}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BartalosBFTABN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BeregVWZ07, author = {Sergey Bereg and Markus V{\"{o}}lker and Alexander Wolff and Yuanyi Zhang}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Straightening Drawings of Clustered Hierarchical Graphs}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {176--187}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_14}, doi = {10.1007/978-3-540-69507-3\_14}, timestamp = {Sun, 04 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BeregVWZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BrimK07, author = {Lubos Brim and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Model-Checking Large Finite-State Systems and Beyond}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {9--28}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_2}, doi = {10.1007/978-3-540-69507-3\_2}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BrimK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/BroersmaMPS07, author = {Hajo Broersma and Bert Marchal and Dani{\"{e}}l Paulusma and A. N. M. Salman}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Improved Upper Bounds for \emph{lambda} -Backbone Colorings Along Matchings and Stars}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {188--199}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_15}, doi = {10.1007/978-3-540-69507-3\_15}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/BroersmaMPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Broy07, author = {Manfred Broy}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Interaction and Realizability}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {29--50}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_3}, doi = {10.1007/978-3-540-69507-3\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Broy07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ChalopinGMT07, author = {J{\'{e}}r{\'{e}}mie Chalopin and Emmanuel Godard and Yves M{\'{e}}tivier and Gerard Tel}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {About the Termination Detection in the Asynchronous Message Passing Model}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {200--211}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_16}, doi = {10.1007/978-3-540-69507-3\_16}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ChalopinGMT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ChenLM07, author = {Xin Chen and Zhiming Liu and Vladimir Mencl}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Separation of Concerns and Consistent Integration in Requirements Modelling}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {819--831}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_71}, doi = {10.1007/978-3-540-69507-3\_71}, timestamp = {Thu, 18 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ChenLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ChevaleyreELM07, author = {Yann Chevaleyre and Ulle Endriss and J{\'{e}}r{\^{o}}me Lang and Nicolas Maudet}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Short Introduction to Computational Social Choice}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {51--69}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_4}, doi = {10.1007/978-3-540-69507-3\_4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ChevaleyreELM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Choi07, author = {Yunja Choi}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Checking Interaction Consistency in {MARMOT} Component Refinements}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {832--843}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_72}, doi = {10.1007/978-3-540-69507-3\_72}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Choi07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/CliffordS07, author = {Rapha{\"{e}}l Clifford and Benjamin Sach}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Fast Approximate Point Set Matching for Information Retrieval}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {212--223}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_17}, doi = {10.1007/978-3-540-69507-3\_17}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/CliffordS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ColletOR07, author = {Philippe Collet and Alain Ozanne and Nicolas Rivierre}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Towards a Versatile Contract Model to Organize Behavioral Specifications}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {844--855}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_73}, doi = {10.1007/978-3-540-69507-3\_73}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ColletOR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/CubillosGS07, author = {Claudio Cubillos and Franco Guidi{-}Polanco and Ricardo Soto}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Performance Analysis of a Multiagent Architecture for Passenger Transportation}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {591--600}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_51}, doi = {10.1007/978-3-540-69507-3\_51}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/CubillosGS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DagdevirenE07, author = {Orhan Dagdeviren and Kayhan Erciyes}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {224--234}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_18}, doi = {10.1007/978-3-540-69507-3\_18}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/DagdevirenE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DelprattRR07, author = {O'Neil Delpratt and Naila Rahman and Rajeev Raman}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Compressed Prefix Sums}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {235--247}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_19}, doi = {10.1007/978-3-540-69507-3\_19}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DelprattRR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DinitzS07, author = {Yefim Dinitz and Shay Solomon}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {On Optimal Solutions for the Bottleneck Tower of Hanoi Problem}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {248--259}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_20}, doi = {10.1007/978-3-540-69507-3\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DinitzS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DrazanM07, author = {Jaroslav Drazan and Vladimir Mencl}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Improved Processing of Textual Use Cases: Deriving Behavior Specifications}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {856--868}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_74}, doi = {10.1007/978-3-540-69507-3\_74}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DrazanM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/DyniaKK07, author = {Miroslaw Dynia and Miroslaw Korzeniowski and Jaroslaw Kutylowski}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {260--271}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_21}, doi = {10.1007/978-3-540-69507-3\_21}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/DyniaKK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/EbrahimpourKY07, author = {Reza Ebrahimpour and Ehsanollah Kabir and Mohammad Reza Yousefi}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Teacher-Directed Learning with Mixture of Experts for View-Independent Face Recognition}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {601--611}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_52}, doi = {10.1007/978-3-540-69507-3\_52}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/EbrahimpourKY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/EfrimaP07, author = {Asaf Efrima and David Peleg}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Distributed Models and Algorithms for Mobile Robot Systems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {70--87}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_5}, doi = {10.1007/978-3-540-69507-3\_5}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/EfrimaP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/FurerK07, author = {Martin F{\"{u}}rer and Shiva Prasad Kasiviswanathan}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Exact Max 2-Sat: Easier and Faster}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {272--283}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_22}, doi = {10.1007/978-3-540-69507-3\_22}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/FurerK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/GalcikS07, author = {Frantisek Galc{\'{\i}}k and Gabriel Semanisin}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Maximum Finding in the Symmetric Radio Networks with Collision Detection}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {284--294}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_23}, doi = {10.1007/978-3-540-69507-3\_23}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/GalcikS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Goldberg07, author = {Andrew V. Goldberg}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Point-to-Point Shortest Path Algorithms with Preprocessing}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {88--102}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_6}, doi = {10.1007/978-3-540-69507-3\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Goldberg07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/GosslerGMMS07, author = {Gregor G{\"{o}}{\ss}ler and Susanne Graf and Mila E. Majster{-}Cederbaum and Moritz Martens and Joseph Sifakis}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {An Approach to Modelling and Verification of Component Based Systems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {295--308}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_24}, doi = {10.1007/978-3-540-69507-3\_24}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/GosslerGMMS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Henzinger07, author = {Thomas A. Henzinger}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Games, Time, and Probability: Graph Models for System Design and Analysis}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {103--110}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_7}, doi = {10.1007/978-3-540-69507-3\_7}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Henzinger07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Hirvensalo07, author = {Mika Hirvensalo}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {309--319}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_25}, doi = {10.1007/978-3-540-69507-3\_25}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Hirvensalo07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Janin07, author = {David Janin}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {On the (High) Undecidability of Distributed Synthesis Problems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {320--329}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_26}, doi = {10.1007/978-3-540-69507-3\_26}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Janin07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Jennings07, author = {Nicholas R. Jennings}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Agreement Technologies}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {111--113}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_8}, doi = {10.1007/978-3-540-69507-3\_8}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Jennings07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KangHPN07, author = {Mi{-}Young Kang and Omar F. Hamad and Choung{-}Ung Pom and Ji{-}Seung Nam}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {FTTH-Enhanced Mini-System \emph{m } TBCP-Based Overlay Construction and Evaluation}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {612--623}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_53}, doi = {10.1007/978-3-540-69507-3\_53}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KangHPN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KarpowiczM07, author = {Michal P. Karpowicz and Krzysztof Malinowski}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {On Efficient Resource Allocation in Communication Networks}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {624--635}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_54}, doi = {10.1007/978-3-540-69507-3\_54}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KarpowiczM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KatzGW07, author = {Bastian Katz and Marco Gaertler and Dorothea Wagner}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Maximum Rigid Components as Means for Direction-Based Localization in Sensor Networks}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {330--341}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_27}, doi = {10.1007/978-3-540-69507-3\_27}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KatzGW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Kim07, author = {Byungryong Kim}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Protecting Agent from Attack in Grid Computing\({}^{\mbox{III}}\)}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {636--643}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_55}, doi = {10.1007/978-3-540-69507-3\_55}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Kim07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Kim07a, author = {Harksoo Kim}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Dialogue-Based {NLIDB} System in a Schedule Management Domain}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {869--877}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_75}, doi = {10.1007/978-3-540-69507-3\_75}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/Kim07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KimJLJ07, author = {Heung{-}Nam Kim and Ae{-}Ttie Ji and Soon{-}Geun Lee and GeunSik Jo}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Semantic Web Approach in Designing a Collaborative E-Item Bank System}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {693--704}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_60}, doi = {10.1007/978-3-540-69507-3\_60}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KimJLJ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KimK07, author = {Sungwook Kim and Sungchun Kim}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Online Service Management Algorithm for Cellular/WALN Multimedia Networks}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {342--346}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_28}, doi = {10.1007/978-3-540-69507-3\_28}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KimK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KimK07a, author = {Pok{-}Son Kim and Arne Kutzner}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Simple Algorithm for Stable Minimum Storage Merging}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {347--356}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_29}, doi = {10.1007/978-3-540-69507-3\_29}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KimK07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KimLY07, author = {Jai Wug Kim and Jongpil Lee and Heon Young Yeom}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Experimental Assessment of the Practicality of a Fault-Tolerant System}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {878--887}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_76}, doi = {10.1007/978-3-540-69507-3\_76}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KimLY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KimSL07, author = {Deok{-}Hwan Kim and Jae{-}Won Song and Ju{-}Hong Lee}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Hybrid Region Weighting Approach for Relevance Feedback in Region-Based Image Search on the Web}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {705--715}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_61}, doi = {10.1007/978-3-540-69507-3\_61}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KimSL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KimYLLS07, author = {Sang{-}Wook Kim and Seok{-}Ho Yoon and Sang{-}Cheol Lee and Junghoon Lee and Miyoung Shin}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Generating High Dimensional Data and Query Sets}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {357--366}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_30}, doi = {10.1007/978-3-540-69507-3\_30}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KimYLLS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/KneisMR07, author = {Joachim Kneis and Daniel M{\"{o}}lle and Peter Rossmanith}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Partial vs. Complete Domination: t-Dominating Set}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {367--376}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_31}, doi = {10.1007/978-3-540-69507-3\_31}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/KneisMR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Kurkova07, author = {Vera Kurkov{\'{a}}}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Estimates of Data Complexity in Neural-Network Learning}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {377--387}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_32}, doi = {10.1007/978-3-540-69507-3\_32}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Kurkova07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Lanese07, author = {Ivan Lanese}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Concurrent and Located Synchronizations in \emph{pi}-Calculus}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {388--399}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_33}, doi = {10.1007/978-3-540-69507-3\_33}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Lanese07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/LealD07, author = {Jos{\'{e}} Paulo Leal and Marcos Aur{\'{e}}lio Domingues}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Rapid Development of Web Interfaces to Heterogeneous Systems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {716--725}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_62}, doi = {10.1007/978-3-540-69507-3\_62}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/LealD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/LeeKY07, author = {Daesung Lee and Ki{-}Chang Kim and Year Back Yoo}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Enhancing Security by Embedding Biometric Data in {IP} Header}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {726--737}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_63}, doi = {10.1007/978-3-540-69507-3\_63}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/LeeKY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/LeeL07, author = {Hyunho Lee and Wonsuk Lee}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Runtime-Efficient Approach for Multiple Continuous Filtering in {XML} Message Brokers}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {738--749}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_64}, doi = {10.1007/978-3-540-69507-3\_64}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/LeeL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/LeeLL07, author = {Su{-}Mi Lee and Su Youn Lee and Dong Hoon Lee}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Efficient Group Key Agreement for Dynamic {TETRA} Networks}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {400--409}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_34}, doi = {10.1007/978-3-540-69507-3\_34}, timestamp = {Mon, 31 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/LeeLL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/LiYSS07, author = {Yong Li and Fangchun Yang and Kai Shuang and Sen Su}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Semantic Peer-to-Peer Overlay for Web Services Discovery}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {750--760}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_65}, doi = {10.1007/978-3-540-69507-3\_65}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/LiYSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/MaierMW07, author = {Markus Maier and Steffen Mecke and Dorothea Wagner}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Algorithmic Aspects of Minimum Energy Edge-Disjoint Paths in Wireless Networks}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {410--421}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_35}, doi = {10.1007/978-3-540-69507-3\_35}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/MaierMW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Majster-CederbaumMM07, author = {Mila E. Majster{-}Cederbaum and Moritz Martens and Christoph Minnameier}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {888--899}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_77}, doi = {10.1007/978-3-540-69507-3\_77}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Majster-CederbaumMM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/MatousekZ07, author = {Tomas Matousek and Filip Zavoral}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Extracting Zing Models from {C} Source Code}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {900--910}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_78}, doi = {10.1007/978-3-540-69507-3\_78}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/MatousekZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/MeyerCLL07, author = {Bertrand Meyer and Ilinca Ciupa and Andreas Leitner and Lisa Ling Liu}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Automatic Testing of Object-Oriented Software}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {114--129}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_9}, doi = {10.1007/978-3-540-69507-3\_9}, timestamp = {Mon, 30 Oct 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofsem/MeyerCLL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/MonnotT07, author = {J{\'{e}}r{\^{o}}me Monnot and Sophie Toulouse}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {The P\({}_{\mbox{k}}\) Partition Problem and Related Problems in Bipartite Graphs}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {422--433}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_36}, doi = {10.1007/978-3-540-69507-3\_36}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/MonnotT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ParkLKA07, author = {Sun Park and Ju{-}Hong Lee and Deok{-}Hwan Kim and Chan{-}Min Ahn}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Multi-document Summarization Based on Cluster Using Non-negative Matrix Factorization}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {761--770}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_66}, doi = {10.1007/978-3-540-69507-3\_66}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ParkLKA07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/PeakeS07, author = {Ian D. Peake and Heinz W. Schmidt}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {911--922}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_79}, doi = {10.1007/978-3-540-69507-3\_79}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/PeakeS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/PedreiraB07, author = {Oscar Pedreira and Nieves R. Brisaboa}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {434--445}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_37}, doi = {10.1007/978-3-540-69507-3\_37}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/PedreiraB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/PetruW07, author = {Luk{\'{a}}s Petru and Jir{\'{\i}} Wiedermann}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Model of an Amorphous Computer and Its Communication Protocol}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {446--455}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_38}, doi = {10.1007/978-3-540-69507-3\_38}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/PetruW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/QuadriST07, author = {Dominique Quadri and {\'{E}}ric Soutif and Pierre Tolla}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Branch-and-Bound Algorithm to Solve Large Scale Integer Quadratic Multi-Knapsack Problems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {456--464}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_39}, doi = {10.1007/978-3-540-69507-3\_39}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/QuadriST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/RahmanI07a, author = {M. Sohel Rahman and Costas S. Iliopoulos}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Indexing Factors with Gaps}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {465--474}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_40}, doi = {10.1007/978-3-540-69507-3\_40}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/RahmanI07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Ratsaby07, author = {Joel Ratsaby}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Information Efficiency}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {475--487}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_41}, doi = {10.1007/978-3-540-69507-3\_41}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Ratsaby07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/RavikumarS07, author = {Bala Ravikumar and Nicolae Santean}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Deterministic Simulation of a {NFA} with \emph{k} -Symbol Lookahead}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {488--497}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_42}, doi = {10.1007/978-3-540-69507-3\_42}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/RavikumarS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SafaeiG07, author = {Javad Safaei and Gholamreza Ghassem{-}Sani}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Incremental Learning of Planning Operators in Stochastic Domains}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {644--655}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_56}, doi = {10.1007/978-3-540-69507-3\_56}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SafaeiG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Schmidt07, author = {Heinz W. Schmidt}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Architecture-Based Reasoning About Performability in Component-Based Systems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {130--137}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_10}, doi = {10.1007/978-3-540-69507-3\_10}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Schmidt07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SchreinerG07, author = {Dietmar Schreiner and Karl M. G{\"{o}}schka}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {923--934}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_80}, doi = {10.1007/978-3-540-69507-3\_80}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SchreinerG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SeoL07, author = {Jae{-}Kwon Seo and Kyung{-}Geun Lee}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Mobility Management Using Virtual Domain in IPv6-Based Cellular Networks}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {498--509}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_43}, doi = {10.1007/978-3-540-69507-3\_43}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SeoL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Silva07, author = {Josep Silva}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Program Slicing Based Method to Filter {XML/DTD} Documents}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {771--782}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_67}, doi = {10.1007/978-3-540-69507-3\_67}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Silva07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/SimaZ07, author = {Jiv{r}'{i} v{S}'{i}ma and Stanislav Z{\'{a}}k}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {522--531}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_45}, doi = {10.1007/978-3-540-69507-3\_45}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/SimaZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/StamerO07, author = {Heiko Stamer and Friedrich Otto}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Restarting Tree Automata}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {510--521}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_44}, doi = {10.1007/978-3-540-69507-3\_44}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/StamerO07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/TekliCY07, author = {Joe Tekli and Richard Chbeir and Kokou Y{\'{e}}tongnon}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Hybrid Approach for {XML} Similarity}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {783--795}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_68}, doi = {10.1007/978-3-540-69507-3\_68}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/TekliCY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/TvarozekBB07, author = {Michal Tvarozek and Michal Barla and M{\'{a}}ria Bielikov{\'{a}}}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Personalized Presentation in Web-Based Information Systems}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {796--807}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_69}, doi = {10.1007/978-3-540-69507-3\_69}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/TvarozekBB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/VagnerM07, author = {Ladislav Vagner and Borivoj Melichar}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Formal Translation Directed by Parallel \emph{LLP} Parsing}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {532--543}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_46}, doi = {10.1007/978-3-540-69507-3\_46}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/VagnerM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/Veltkamp07, author = {Remco C. Veltkamp}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Multimedia Retrieval Algorithmics}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {138--154}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_11}, doi = {10.1007/978-3-540-69507-3\_11}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/Veltkamp07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/VokrinekBHVP07, author = {Jir{\'{\i}} Vokr{\'{\i}}nek and Jir{\'{\i}} B{\'{\i}}ba and Jir{\'{\i}} Hod{\'{\i}}k and Jarom{\'{\i}}r Vyb{\'{\i}}hal and Michal Pechoucek}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Competitive Contract Net Protocol}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {656--668}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_57}, doi = {10.1007/978-3-540-69507-3\_57}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/VokrinekBHVP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/WangGM07, author = {Hua Wang and Zuquan Ge and Jun Ma}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Self-adaptive Lagrange Relaxation Algorithm for Aggregated Multicast}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {544--553}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_47}, doi = {10.1007/978-3-540-69507-3\_47}, timestamp = {Fri, 21 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/WangGM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/XiaoRY07, author = {Qingjun Xiao and Ruonan Rao and Jinyuan You}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {A Language for Reliable Service Composition}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {554--565}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_48}, doi = {10.1007/978-3-540-69507-3\_48}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/XiaoRY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/XiaoZY07, author = {Xue Xiao and Zeng Zhifeng and Cui Ying}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Agent Oriented Methodology Construction and Customization with {HDA}}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {669--681}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_58}, doi = {10.1007/978-3-540-69507-3\_58}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/XiaoZY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/YangD07, author = {Xiaoxiao Yang and Zhenhua Duan}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Operational Semantics of Framed Temporal Logic Programs}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {566--578}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_49}, doi = {10.1007/978-3-540-69507-3\_49}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/YangD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ZanklHM07, author = {Harald Zankl and Nao Hirokawa and Aart Middeldorp}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Constraints for Argument Filterings}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {579--590}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_50}, doi = {10.1007/978-3-540-69507-3\_50}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ZanklHM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/ZhangYSS07, author = {Jianyin Zhang and Fangchun Yang and Kai Shuang and Sen Su}, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {Immune-Inspired Online Method for Service Interactions Detection}, booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, pages = {808--818}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3\_70}, doi = {10.1007/978-3-540-69507-3\_70}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/ZhangYSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sofsem/2007, editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Pl{\'{a}}sil}, title = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4362}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-69507-3}, doi = {10.1007/978-3-540-69507-3}, isbn = {978-3-540-69506-6}, timestamp = {Fri, 21 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/2007.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.