SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

67

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540775652, 9783540775669

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mining Personal Social Features in the Community of Email Users

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_61 ◽

2008 ◽

pp. 708-719 ◽

Author(s):

Przemysıaw Kazienko ◽

Katarzyna Musiał

Keyword(s):

Social Features

Download Full-text

On the Hardness of Reoptimization

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_5 ◽

2008 ◽

pp. 50-65 ◽

Author(s):

Hans-Joachim Böckenhauer ◽

Juraj Hromkovič ◽

Tobias Mömke ◽

Peter Widmayer

Download Full-text

Domain Name System as a Memory and Communication Medium

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_49 ◽

2008 ◽

pp. 560-571 ◽

Author(s):

Dušan Bernát

Keyword(s):

Domain Name System ◽

Domain Name ◽

Communication Medium

Download Full-text

Geometric Rates of Approximation by Neural Networks

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_47 ◽

2008 ◽

pp. 541-550 ◽

Author(s):

Věra Kůrková ◽

Marcello Sanguineti

Keyword(s):

Neural Networks

Download Full-text

Slicing Petri Nets with an Application to Workflow Verification

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_38 ◽

2008 ◽

pp. 436-447 ◽

Author(s):

Astrid Rakow

Keyword(s):

Workflow Verification

Download Full-text

Extension of Rescheduling Based on Minimal Graph Cut

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_29 ◽

2008 ◽

pp. 340-351

Author(s):

Marián Lekavý ◽

Pavol Návrat

Keyword(s):

Graph Cut ◽

Download Full-text

From Asynchronous to Synchronous Specifications for Distributed Program Synthesis

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_14 ◽

2008 ◽

pp. 162-173

Author(s):

Julien Bernet ◽

David Janin

Keyword(s):

Program Synthesis

Download Full-text

Trusted Computing — Special Aspects and Challenges

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_9 ◽

2008 ◽

pp. 98-117 ◽

Author(s):

Ahmad-Reza Sadeghi

Keyword(s):

Trusted Computing

Download Full-text

Assisted Problem Solving and Decompositions of Finite Automata

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_25 ◽

2008 ◽

pp. 292-303 ◽

Author(s):

Peter Gaži ◽

Branislav Rovan

Keyword(s):

Problem Solving ◽

Finite Automata

Download Full-text

Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality

SOFSEM 2008: Theory and Practice of Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77566-9_24 ◽

2008 ◽

pp. 280-291

Author(s):

Bruno Escoffier ◽

Jérôme Monnot ◽

Olivier Spanjaard

Keyword(s):

Interval Data ◽

Bounded Distance ◽

Download Full-text