33. SOFSEM 2007:
Harrachov, Czech Republic
Jan van Leeuwen,
Giuseppe F. Italiano,
Wiebe van der Hoek,
Christoph Meinel,
Harald Sack,
Frantisek Plasil:
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. Lecture Notes in Computer Science 4362,
Springer 2007, ISBN
978-3-540-69506-6
Thomas A. Henzinger:
Games, Time, and Probability: Graph Models for System Design and Analysis. 103-110 Heinz W. Schmidt:
Architecture-Based Reasoning About Performability in Component-Based Systems. 130-137
Foundations of Computer Science
Mika Hirvensalo:
Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. 309-319 David Janin:
On the (High) Undecidability of Distributed Synthesis Problems. 320-329 Vera Kurková:
Estimates of Data Complexity in Neural-Network Learning. 377-387 Ivan Lanese:
Concurrent and Located Synchronizations in pi-Calculus. 388-399 Jirí Síma,
Stanislav Zák:
A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3. 522-531
Byungryong Kim:
Protecting Agent from Attack in Grid ComputingIII. 636-643
Emerging Web Technologies
Hyunho Lee,
Wonsuk Lee:
Runtime-Efficient Approach for Multiple Continuous Filtering in XML Message Brokers. 738-749 Josep Silva:
A Program Slicing Based Method to Filter XML/DTD Documents. 771-782
Dependable Software and Systems
Yunja Choi:
Checking Interaction Consistency in MARMOT Component Refinements. 832-843 Harksoo Kim:
A Dialogue-Based NLIDB System in a Schedule Management Domain. 869-877 Ian D. Peake,
Heinz W. Schmidt:
Parameterised Extra-Functional Prediction of Component-Based Control Systems - Industrial Experience. 911-922
maintained by

, founded at
