IFIP TCS

Publications

2014

Sergey Goncharov, Stefan Milius, Alexandra Silva
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract). IFIP TCS (2014)
Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. IFIP TCS (2014)
Anna Bernasconi, Valentina Ciriani
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults. IFIP TCS (2014)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
The Inhabitation Problem for Non-idempotent Intersection Types. IFIP TCS (2014)
Martin Lange, Étienne Lozes
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic. IFIP TCS (2014)
Fei Chen, Xiaowei Wu
Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks. IFIP TCS (2014)
Dominique Larchey-Wendling, Didier Galmiche
Looking at Separation Algebras with Boolean BI-eyes. IFIP TCS (2014)
Riko Jacob, Tobias Lieber, Matthias Mnich
Treewidth Computation and Kernelization in the Parallel External Memory Model. IFIP TCS (2014)
Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev
Primal Infon Logic with Conjunctions as Sets. IFIP TCS (2014)
Ilkka Törmä
Subshifts, MSO Logic, and Collapsing Hierarchies. IFIP TCS (2014)
Vincent Carnino, Sylvain Lombardy
Tropical Two-Way Automata. IFIP TCS (2014)
Laurent Gourvès, Jérôme Monnot, Aris Pagourtzis
The Lazy Matroid Problem. IFIP TCS (2014)
Delia Kesner, Daniel Ventura
Quantitative Types for the Linear Substitution Calculus. IFIP TCS (2014)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS (2014)
Jirí Wiedermann
Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm. IFIP TCS (2014)
Tomoyuki Yamakami
Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract). IFIP TCS (2014)
H. J. Sander Bruggink, Barbara König, Hans Zantema
Termination Analysis for Graph Transformation Systems. IFIP TCS (2014)
Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. IFIP TCS (2014)
Stanley P. Y. Fung
Online Scheduling of Unit Length Jobs with Commitment and Penalties. IFIP TCS (2014)
Bugra Caskurlu, Vahan Mkrtchyan, Ojas Parekh, K. Subramani
On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs. IFIP TCS (2014)
Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus. IFIP TCS (2014)
Souymodip Chakraborty, Joost-Pieter Katoen
Parametric LTL on Markov Chains. IFIP TCS (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space. IFIP TCS (2014)
Andreas Darmann, Ulrich Pferschy, Joachim Schauer
The Shortest Path Game: Complexity and Algorithms. IFIP TCS (2014)
Hiroki Morizumi
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions. IFIP TCS (2014)
Barbara König, Sebastian Küpper
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. IFIP TCS (2014)

volume 8705, 2014

Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings IFIP TCS 8705 (2014)

2012

volume 7604, 2012

Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings IFIP TCS 7604 (2012)