35. SOFSEM 2009:
Spindleruv Mlýn,
Czech Republic
Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia (Eds.):
SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings.
Lecture Notes in Computer Science 5404 Springer 2009, ISBN 978-3-540-95890-1 BibTeX
Invited Talks
Regular Papers
- Suzana Andova, Sonja Georgievska:
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.
67-78
Electronic Edition (link) BibTeX
- Marcella Anselmo, Natasha Jonoska, Maria Madonia:
Framed Versus Unframed Two-Dimensional Languages.
79-92
Electronic Edition (link) BibTeX
- Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama:
Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes.
93-104
Electronic Edition (link) BibTeX
- Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delling, Dorothea Wagner:
The Shortcut Problem - Complexity and Approximation.
105-116
Electronic Edition (link) BibTeX
- Walter Binder, Niranjan Suri:
Green Computing: Energy Consumption Optimized Service Hosting.
117-128
Electronic Edition (link) BibTeX
- Beate Bollig:
On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem.
129-140
Electronic Edition (link) BibTeX
- Thomas Chatain, Paul Gastin, Nathalie Sznajder:
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.
141-152
Electronic Edition (link) BibTeX
- Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes.
153-166
Electronic Edition (link) BibTeX
- Taolue Chen, Wan Fokkink, Rob J. van Glabbeek:
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.
167-180
Electronic Edition (link) BibTeX
- Taishin Daigo, Kouichi Hirata:
On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay.
181-192
Electronic Edition (link) BibTeX
- Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Time and Fairness in a Process Algebra with Non-blocking Reading.
193-204
Electronic Edition (link) BibTeX
- Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo:
Expressiveness of Multiple Heads in CHR.
205-216
Electronic Edition (link) BibTeX
- Martin Dietzfelbinger, Ulf Schellbach:
Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The Case of Large Universes.
217-228
Electronic Edition (link) BibTeX
- Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo:
A Framework for Mutant Genetic Generation for WS-BPEL.
229-240
Electronic Edition (link) BibTeX
- Walter Dosch, Annette Stümpel:
Implementing Services by Partial State Machines.
241-254
Electronic Edition (link) BibTeX
- Domenico Cantone, Simone Faro:
Pattern Matching with Swaps for Short Patterns in Linear Time.
255-266
Electronic Edition (link) BibTeX
- Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp:
Automatic Bug Detection in Microcontroller Software by Static Program Analysis.
267-278
Electronic Edition (link) BibTeX
- David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
On the Unification of Process Semantics: Observational Semantics.
279-290
Electronic Edition (link) BibTeX
- Viliam Geffert, Dana Pardubská:
Factoring and Testing Primes in Small Space.
291-302
Electronic Edition (link) BibTeX
- Rica Gonen, Elan Pavlov:
Adaptive Incentive-Compatible Sponsored Search Auction.
303-316
Electronic Edition (link) BibTeX
- Ondrej Habala, Marek Paralic, Viera Rozinajová, Peter Bartalos:
Semantically-Aided Data-Aware Service Workflow Composition.
317-328
Electronic Edition (link) BibTeX
- Jan Jezabek:
Increasing Machine Speed in On-Line Scheduling of Weighted Unit-Length Jobs in Slotted Time.
329-340
Electronic Edition (link) BibTeX
- Robert König, Ueli M. Maurer, Stefano Tessaro:
Abstract Storage Devices.
341-352
Electronic Edition (link) BibTeX
- Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto:
On Stateless Deterministic Restarting Automata.
353-364
Electronic Edition (link) BibTeX
- Dongpil Kwak, Joongsoo Lee, Dohyun Kim, Younghee Lee:
User Care Preference-Based Semantic Service Discovery in a Ubiquitous Environment.
365-375
Electronic Edition (link) BibTeX
- Gerald Lüttgen, Walter Vogler:
Safe Reasoning with Logic LTS.
376-387
Electronic Edition (link) BibTeX
- Robert Lorenz, Gabriel Juhás, Sebastian Mauser:
Partial Order Semantics of Types of Nets.
388-400
Electronic Edition (link) BibTeX
- Hannes Moser:
A Problem Kernelization for Graph Packing.
401-412
Electronic Edition (link) BibTeX
- Nguyen Kim Thang:
-Hardness of Pure Nash Equilibrium in Scheduling and Connection Games.
413-424
Electronic Edition (link) BibTeX
- Alexander Okhotin, Christian Reitwießner:
Conjunctive Grammars with Restricted Disjunction.
425-436
Electronic Edition (link) BibTeX
- Frédéric Peschanski, Joël-Alexis Bialkiewicz:
Modelling and Verifying Mobile Systems Using pi-Graphs.
437-448
Electronic Edition (link) BibTeX
- Stefan Porschen, Tatjana Schmidt:
On Some SAT-Variants over Linear Formulas.
449-460
Electronic Edition (link) BibTeX
- Klaus Reinhardt:
The Simple Reachability Problem in Switch Graphs.
461-472
Electronic Edition (link) BibTeX
- Johannes C. Schneider:
Unambiguous Erasing Morphisms in Free Monoids.
473-484
Electronic Edition (link) BibTeX
- Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle:
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.
485-496
Electronic Edition (link) BibTeX
- Grzegorz Stachowiak:
Asynchronous Deterministic Rendezvous on the Line.
497-508
Electronic Edition (link) BibTeX
- Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk:
Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation.
509-520
Electronic Edition (link) BibTeX
- Ruslans Tarasovs, Rusins Freivalds:
Group Input Machine.
521-532
Electronic Edition (link) BibTeX
- René Thiemann:
From Outermost Termination to Innermost Termination.
533-545
Electronic Edition (link) BibTeX
- Torsten Tholey:
Improved Algorithms for the 2-Vertex Disjoint Paths Problem.
546-557
Electronic Edition (link) BibTeX
- Nguyen Van Tang, Mizuhito Ogawa:
Event-Clock Visibly Pushdown Automata.
558-569
Electronic Edition (link) BibTeX
- Frédéric Vogels, Bart Jacobs, Frank Piessens:
A Machine Checked Soundness Proof for an Intermediate Verification Language.
570-581
Electronic Edition (link) BibTeX
- Min Wan, Gianfranco Ciardo:
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.
582-594
Electronic Edition (link) BibTeX
- Min Wan, Gianfranco Ciardo:
Symbolic Reachability Analysis of Integer Timed Petri Nets.
595-608
Electronic Edition (link) BibTeX
- Henning Wunderlich:
On Toda's Theorem in Structural Communication Complexity.
609-620
Electronic Edition (link) BibTeX
- Laurent Gourvès, Adria Lyra, Carlos A. J. Martinhon, Jérôme Monnot:
The Minimum Reload s-tPath/Trail/Walk Problems.
621-632
Electronic Edition (link) BibTeX
- Elvira Mayordomo, Philippe Moser:
Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression.
633-644
Electronic Edition (link) BibTeX
- Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot:
A New Family of Regular Operators Fitting with the Position Automaton Computation.
645-655
Electronic Edition (link) BibTeX
- Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar:
A Formal Model of Business Application Integration from Web Services (Position Paper).
656-667
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:41:56 2009
by Michael Ley (ley@uni-trier.de)