31. SOFSEM 2005:
Liptovský Ján,
Slovakia
Peter Vojtás, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora (Eds.):
SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings.
Lecture Notes in Computer Science 3381 Springer 2005, ISBN 3-540-24302-X BibTeX
Invited Talks
Full Contributed Papers
- Cristina Bazgan, Jérôme Monnot, Vangelis Th. Paschos, Fabrice Serrière:
Greedy Differential Approximations for Min Set Cover.
62-71
Electronic Edition (link) BibTeX
- Anna E. Bobkowska:
A Methodology of Visual Modeling Language Evaluation.
72-81
Electronic Edition (link) BibTeX
- Jérémie Chalopin:
Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem.
82-91
Electronic Edition (link) BibTeX
- Jiu Jun Chen, Ji Gao, Jun Hu, Bei Shui Liao:
A Hierarchical Markovian Mining Approach for Favorite Navigation Patterns.
92-95
Electronic Edition (link) BibTeX
- Markus Chimani, Gunnar W. Klau, René Weiskircher:
Non-planar Orthogonal Drawings with Fixed Topology.
96-105
Electronic Edition (link) BibTeX
- Emilio Di Giacomo, Walter Didimo, Luca Grilli, Giuseppe Liotta:
A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines.
106-116
Electronic Edition (link) BibTeX
- Walter Didimo:
Computing Upward Planar Drawings Using Switch-Regularity Heuristics.
117-126
Electronic Edition (link) BibTeX
- Kayhan Erciyes, Ali Alp, Geoffrey Marshall:
Serial and Parallel Multilevel Graph Partitioning Using Fixed Centers.
127-136
Electronic Edition (link) BibTeX
- Henning Fernau:
Two-Layer Planarization: Improving on Parameterized Algorithmics.
137-146
Electronic Edition (link) BibTeX
- Luca Forlizzi, Juraj Hromkovic, Guido Proietti, Sebastian Seibert:
On the Stability of Approximation for Hamiltonian Path Problems.
147-156
Electronic Edition (link) BibTeX
- Hacène Fouchal, Antoine Rollet, Abbas Tarhini:
Robustness of Composed Timed Systems.
157-166
Electronic Edition (link) BibTeX
- György Frivolt, Mária Bieliková:
Topology Generation for Web Communities Modeling.
167-177
Electronic Edition (link) BibTeX
- Hans Hüttel, Jirí Srba:
Recursion Versus Replication in Simple Cryptographic Protocols.
178-187
Electronic Edition (link) BibTeX
- Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankiewicz, Kazimierz Subieta:
Modeling Data Integration with Updateable Object Views.
188-198
Electronic Edition (link) BibTeX
- Patrick Healy, Karol Lynch:
Fixed-Parameter Tractable Algorithms for Testing Upward Planarity.
199-208
Electronic Edition (link) BibTeX
- Prasad Jayanti, Srdjan Petrovic, Neha Narula:
Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion.
209-218
Electronic Edition (link) BibTeX
- Przemyslaw Kazienko, Mariusz Matrejek:
Adjustment of Indirect Association Rules for the Web.
219-228
Electronic Edition (link) BibTeX
- Marek Klonowski, Miroslaw Kutylowski, Filip Zagórski:
Anonymous Communication with On-line and Off-line Onion Encoding.
229-238
Electronic Edition (link) BibTeX
- Antonín Kucera, Jan Strejcek:
Characteristic Patterns for LTL.
239-249
Electronic Edition (link) BibTeX
- Maciej Kurowski:
Planar Straight-Line Drawing in an O(n)×O(n) Grid with Angular Resolution Omega(1/n).
250-258
Electronic Edition (link) BibTeX
- Olli Luoma:
Modeling Nested Relationships in XML Documents Using Relational Databases.
259-268
Electronic Edition (link) BibTeX
- Hamid Nazerzadeh, Mohammad Ghodsi:
RAQ: A Range-Queriable Distributed Data Structure.
269-277
Electronic Edition (link) BibTeX
- Stefan Porschen:
On Some Weighted Satisfiability and Graph Problems.
278-287
Electronic Edition (link) BibTeX
- Dominik Raub, Rainer Steinwandt, Jörn Müller-Quade:
On the Security and Composability of the One Time Pad.
288-297
Electronic Edition (link) BibTeX
- Daniel Sawitzki:
Lower Bounds on the OBDD Size of Graphs of Some Popular Functions.
298-309
Electronic Edition (link) BibTeX
- Robert Steele, William Gardner, Tharam S. Dillon, Abdelkarim Erradi:
XML-Based Declarative Access Control.
310-319
Electronic Edition (link) BibTeX
- David Safránek, Jirí Simsa:
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures.
320-329
Electronic Edition (link) BibTeX
- Satoshi Tayu, Turki Ghazi Al-Mutairi, Shuichi Ueno:
Cost-Constrained Minimum-Delay Multicasting.
330-339
Electronic Edition (link) BibTeX
- Xuefeng Zhu, Zhi Jin:
Ontology-Based Inconsistency Management of Software Requirements Specifications.
340-349
Electronic Edition (link) BibTeX
The Best Student Paper
Short Contributed Papers
- Radoslaw Adamus, Kazimierz Subieta:
Tier Aspect Model Based on Updatable Views.
360-363
Electronic Edition (link) BibTeX
- Liliana Favre:
Well-Founded Metamodeling for Model-Driven Architecture.
364-367
Electronic Edition (link) BibTeX
- Jun Feng, Naoto Mukai, Toyohide Watanabe:
Stepwise Optimization Method for k-CNN Search for Location-Based Service.
368-371
Electronic Edition (link) BibTeX
- Roman Filkorn, Pavol Návrat:
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture.
372-375
Electronic Edition (link) BibTeX
- Radoslav Fulek, Hongmei He, Ondrej Sýkora, Imrich Vrto:
Outerplanar Crossing Numbers of 3-Row Meshes, Halin Graphs and Complete p-Partite Graphs.
376-379
Electronic Edition (link) BibTeX
- Heikki Hyyrö, Yoan J. Pinzon, Ayumi Shinohara:
Fast Bit-Vector Algorithms for Approximate String Matching Under Indel Distance.
380-384
Electronic Edition (link) BibTeX
- Marcel Jirina, Marcel Jirina Jr.:
Feature Selection by Reordering.
385-389
Electronic Edition (link) BibTeX
- Friedrich Mayer-Lindenberg:
A Management Scheme for the Basic Types in High Level Languages.
390-393
Electronic Edition (link) BibTeX
- Ana Cristina Vieira de Melo, Adilson de J. Sanchez:
Bayesian Networks in Software Maintenance Management.
394-398
Electronic Edition (link) BibTeX
- Ngoc Thanh Nguyen, Adam Blazowski, Michal Malowiecki:
A Multiagent System Aiding Information Retrieval in Internet Using Consensus Methods.
399-402
Electronic Edition (link) BibTeX
- Adam Niewiadomski:
Interval-Valued Data Structures and Their Application to e-Learning.
403-407
Electronic Edition (link) BibTeX
- Raitis Ozols, Rusins Freivalds, Jevgenijs Ivanovs, Elina Kalnina, Lelde Lace, Masahiro Miyakawa, Hisayuki Tatsumi, Daina Taimina:
Boolean Functions with a Low Polynomial Degree and Quantum Query Algorithms.
408-412
Electronic Edition (link) BibTeX
- Aneta Poniszewska-Maranda, Gilles Goncalves, Fred Hemery:
Representation of Extended RBAC Model Using UML Language.
413-417
Electronic Edition (link) BibTeX
- Nele Smeets, Eric Steegmans:
A Methodology for Writing Class Contracts.
418-422
Electronic Edition (link) BibTeX
- Lubomir Torok:
Volumes of 3D Drawings of Homogenous Product Graphs.
423-426
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:41:55 2009
by Michael Ley (ley@uni-trier.de)
