Theoretical Computer Science

4

click to vote

SOFSEM
2009
Springer

73views Theoretical Computer Science» more SOFSEM 2009»

Safe Reasoning with Logic LTS

14 years 1 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

8

click to vote

SOFSEM
2010
Springer

166views Theoretical Computer Science» more SOFSEM 2010»

Finding and Certifying Loops

14 years 1 months ago

Download cl-informatik.uibk.ac.at

Abstract. The ﬁrst part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...

Harald Zankl, Christian Sternagel, Dieter Hofbauer...

claim paper

Read More »

10

click to vote

SOFSEM
2010
Springer

130views Theoretical Computer Science» more SOFSEM 2010»

Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations

14 years 1 months ago

Download www.sofsem.cz

Giorgio Gnecco, Marcello Sanguineti

claim paper

Read More »

9

click to vote

SOFSEM
2010
Springer

175views Theoretical Computer Science» more SOFSEM 2010»

Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs

14 years 1 months ago

Download www.sofsem.cz

Frank S. de Boer, Immo Grabe

claim paper

Read More »

11

click to vote

SOFSEM
2010
Springer

112views Theoretical Computer Science» more SOFSEM 2010»

New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes

14 years 1 months ago

Download www.sofsem.cz

Robert Ganian, Petr Hlinený

claim paper

Read More »

13

click to vote

SOFSEM
2010
Springer

140views Theoretical Computer Science» more SOFSEM 2010»

Maintaining XML Data Integrity in Programs

14 years 1 months ago

Download www.sofsem.cz

ACT DATATYPE APPROACH Patrick Michel Arnd Poetzsch-Heﬀter

Patrick Michel, Arnd Poetzsch-Heffter

claim paper

Read More »

10

click to vote

SOFSEM
2010
Springer

193views Theoretical Computer Science» more SOFSEM 2010»

Dynamic Edit Distance Table under a General Weighted Cost Function

14 years 1 months ago

Download www.ssp.isee.kyushu-u.ac.jp

Heikki Hyyrö, Kazuyuki Narisawa, Shunsuke Ine...

claim paper

Read More »

12

click to vote

SOFSEM
2010
Springer

118views Theoretical Computer Science» more SOFSEM 2010»

Fast Arc-Annotated Subsequence Matching in Linear Space

14 years 1 months ago

Download www2.imm.dtu.dk

An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...

Philip Bille, Inge Li Gørtz

claim paper

Read More »

9

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

14 years 1 months ago

Download www.sofsem.cz

Filip Zelezný, Ondrej Kuzelka

claim paper