34. SOFSEM 2008:
Novy Smokovec,
High Tatras,
Slovakia
Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková (Eds.):
SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings.
Lecture Notes in Computer Science 4910 Springer 2008, ISBN 978-3-540-77565-2 BibTeX
Invited Talks
Foundations of Computer Science
- Fabio Alessi, Paula Severi:
Recursive Domain Equations of Filter Models.
124-135
Electronic Edition (link) BibTeX
- V. Arvind, Pushkar S. Joglekar:
Algorithmic Problems for Metrics on Permutation Groups.
136-147
Electronic Edition (link) BibTeX
- Paul Bell, Igor Potapov:
Periodic and Infinite Traces in Matrix Semigroups.
148-161
Electronic Edition (link) BibTeX
- Julien Bernet, David Janin:
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.
162-173
Electronic Edition (link) BibTeX
- Beate Bollig, Niko Range, Ingo Wegener:
Exact OBDD Bounds for Some Fundamental Functions.
174-185
Electronic Edition (link) BibTeX
- Nieves R. Brisaboa, Oscar Pedreira, Diego Seco, Roberto Solar, Roberto Uribe:
Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers.
186-197
Electronic Edition (link) BibTeX
- Michael J. Burrell, James H. Andrews, Mark Daley:
A Useful Bounded Resource Functional Language.
198-210
Electronic Edition (link) BibTeX
- Julien Cristau, Florian Horn:
On Reachability Games of Ordinal Length.
211-221
Electronic Edition (link) BibTeX
- Boguslaw Cyganek:
An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points.
222-233
Electronic Edition (link) BibTeX
- Jurek Czyzowicz, Stefan Dobrev, Evangelos Kranakis, Danny Krizanc:
The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring.
234-246
Electronic Edition (link) BibTeX
- Stefan Dobrev, Rastislav Kralovic, Dana Pardubská:
How Much Information about the Future Is Needed?
247-258
Electronic Edition (link) BibTeX
- Cezara Dragoi, Gheorghe Stefanescu:
On Compiling Structured Interactive Programs with Registers and Voices.
259-270
Electronic Edition (link) BibTeX
- Lech Duraj, Grzegorz Gutowski:
Optimal Orientation On-Line.
271-279
Electronic Edition (link) BibTeX
- Bruno Escoffier, Jérôme Monnot, Olivier Spanjaard:
Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality.
280-291
Electronic Edition (link) BibTeX
- Peter Gazi, Branislav Rovan:
Assisted Problem Solving and Decompositions of Finite Automata.
292-303
Electronic Edition (link) BibTeX
- Christian Gunia:
Energy-Efficient Windows Scheduling.
304-315
Electronic Edition (link) BibTeX
- Costas S. Iliopoulos, M. Sohel Rahman:
A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns.
316-327
Electronic Edition (link) BibTeX
- Adam Koprowski, Hans Zantema:
Certification of Proving Termination of Term Rewriting by Matrix Interpretations.
328-339
Electronic Edition (link) BibTeX
- Marián Lekavý, Pavol Návrat:
Extension of Rescheduling Based on Minimal Graph Cut.
340-351
Electronic Edition (link) BibTeX
- Mila E. Majster-Cederbaum, Christoph Minnameier:
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.
352-363
Electronic Edition (link) BibTeX
- Wataru Matsubara, Shunsuke Inenaga, Akira Ishino, Ayumi Shinohara, Tomoyuki Nakamura, Kazuo Hashimoto:
Computing Longest Common Substring and All Palindromes from Compressed Strings.
364-375
Electronic Edition (link) BibTeX
- Neza Mramor-Kosta, Eva Trenklerová:
Basic Sets in the Digital Plane.
376-387
Electronic Edition (link) BibTeX
- Radim Nedbal:
Algebraic Optimization of Relational Queries with Various Kinds of Preferences.
388-399
Electronic Edition (link) BibTeX
- C. Nuccio, E. Rodaro:
Mortality Problem for 2×2 Integer Matrices.
400-405
Electronic Edition (link) BibTeX
- Holger Petersen:
Element Distinctness and Sorting on One-Tape Off-Line Turing Machines.
406-417
Electronic Edition (link) BibTeX
- Holger Petersen:
Improved Bounds for Range Mode and Range Median Queries.
418-423
Electronic Edition (link) BibTeX
- Frank G. Radmacher:
An Automata Theoretic Approach to Rational Tree Relations.
424-435
Electronic Edition (link) BibTeX
- Astrid Rakow:
Slicing Petri Nets with an Application to Workflow Verification.
436-447
Electronic Edition (link) BibTeX
- Adam Roman, Wit Forys:
Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata.
448-459
Electronic Edition (link) BibTeX
- Antti Siirtola, Michal Valenta:
Verifying Parameterized taDOM+ Lock Managers.
460-472
Electronic Edition (link) BibTeX
- Andreas Spillner, Alexander Wolff:
Untangling a Planar Graph.
473-484
Electronic Edition (link) BibTeX
Computing by Nature
Networks,
Security,
and Cryptography
- Dusan Bernát:
Domain Name System as a Memory and Communication Medium.
560-571
Electronic Edition (link) BibTeX
- Feng Cheng, Christoph Meinel:
Strong Authentication over Lock-Keeper.
572-584
Electronic Edition (link) BibTeX
- Jacek Cichon, Miroslaw Kutylowski, Bogdan Weglorz:
Short Ballot Assumption and Threeballot Voting Protocol.
585-598
Electronic Edition (link) BibTeX
- Marek Klonowski, Przemyslaw Kubiak, Miroslaw Kutylowski:
Practical Deniable Encryption.
599-609
Electronic Edition (link) BibTeX
- Matej Kosík:
Taming of Pict.
610-621
Electronic Edition (link) BibTeX
- Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements.
622-633
Electronic Edition (link) BibTeX
- Jordi Pont-Tuset, Pau Medrano-Gracia, Jordi Nin, Josep-Lluis Larriba-Pey, Victor Muntés-Mulero:
ONN the Use of Neural Networks for Data Privacy.
634-645
Electronic Edition (link) BibTeX
- Peishun Wang, Huaxiong Wang, Josef Pieprzyk:
Threshold Privacy Preserving Keyword Searches.
646-658
Electronic Edition (link) BibTeX
Web Technologies
- Khadija Abied Ali, Jaroslav Pokorný:
3D_XML: A Three-Dimensional XML-Based Model.
659-671
Electronic Edition (link) BibTeX
- Jirí Dokulil, Jana Katreniaková:
Visual Exploration of RDF Data.
672-683
Electronic Edition (link) BibTeX
- György Frivolt, Ján Suchal, Richard Vesely, Peter Vojtek, Oto Vozár, Mária Bieliková:
Creation, Population and Preprocessing of Experimental Data Sets for Evaluation of Applications for the Semantic Web.
684-695
Electronic Edition (link) BibTeX
- Piotr Kalita, Igor T. Podolak, Adam Roman, Bartosz Bierkowski:
Algorithm for Intelligent Prediction of Requests in Business Systems.
696-707
Electronic Edition (link) BibTeX
- Przemyslaw Kazienko, Katarzyna Musial:
Mining Personal Social Features in the Community of Email Users.
708-719
Electronic Edition (link) BibTeX
- Marek Klonowski, Tomasz Struminski:
Proofs of Communication and Its Application for Fighting Spam.
720-730
Electronic Edition (link) BibTeX
- Milos Kudelka, Václav Snásel, Ondrej Lehecka, Eyas El-Qawasmeh, Jaroslav Pokorný:
Web Pages Reordering and Clustering Based on Web Patterns.
731-742
Electronic Edition (link) BibTeX
- Radovan Sesták, Jan Lansky:
Compression of Concatenated Web Pages Using XBW.
743-754
Electronic Edition (link) BibTeX
- Hyun Woong Shin, Eduard H. Hovy, Dennis McLeod:
The Dynamic Web Presentations with a Generality Model on the News Domain.
755-765
Electronic Edition (link) BibTeX
- Przemyslaw Skibinski, Jakub Swacha, Szymon Grabowski:
A Highly Efficient XML Compression Scheme for the Web.
766-777
Electronic Edition (link) BibTeX
- Michal Tvarozek, Michal Barla, György Frivolt, Marek Tomsa, Mária Bieliková:
Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation.
778-789
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:41:56 2009
by Michael Ley (ley@uni-trier.de)
