Search - Theoretical Computer Science

	For these 26 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Treewidth Computation and Kernelization in the Parallel External Memory Model Riko Jacob , Tobias Lieber , Matthias Mnich 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.78-89, ⟨10.1007/978-3-662-44602-7_7⟩ Conference papers hal-01402030v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract) Tomoyuki Yamakami 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.136-150, ⟨10.1007/978-3-662-44602-7_12⟩ Conference papers hal-01402038v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs Bugra Caskurlu , Vahan Mkrtchyan , Ojas Parekh , K. Subramani 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.13-26, ⟨10.1007/978-3-662-44602-7_2⟩ Conference papers hal-01402014v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Towards a Coalgebraic Chomsky Hierarchy Sergey Goncharov , Stefan Milius , Alexandra Silva 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.265-280, ⟨10.1007/978-3-662-44602-7_21⟩ Conference papers hal-01402071v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Quantitative Types for the Linear Substitution Calculus Delia Kesner , Daniel Ventura 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.296-310, ⟨10.1007/978-3-662-44602-7_23⟩ Conference papers hal-01402078v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Lazy Matroid Problem Laurent Gourvès , Jérôme Monnot , Aris T. Pagourtzis 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.66-77, ⟨10.1007/978-3-662-44602-7_6⟩ Conference papers hal-01402029v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds’ Algorithm Jiří Wiedermann 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.123-135, ⟨10.1007/978-3-662-44602-7_11⟩ Conference papers hal-01402036v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Subshifts, MSO Logic, and Collapsing Hierarchies Ilkka Törmä 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.111-122, ⟨10.1007/978-3-662-44602-7_10⟩ Conference papers hal-01402035v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Inhabitation Problem for Non-idempotent Intersection Types Antonio Bucciarelli , Delia Kesner , Simona Ronchi Della Rocca 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.341-354, ⟨10.1007/978-3-662-44602-7_26⟩ Conference papers hal-01402082v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Specifying and Verifying Properties of Space Vincenzo Ciancia , Diego Latella , Michele Loreti , Mieke Massink 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩ Conference papers hal-01402045v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus Patrick Baillot , Erika de Benedetti , Simona Ronchi Della Rocca 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩ Conference papers hal-01015171v2	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs Jon Haël Brenas , Rachid Echahed , Martin Strecker 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩ Conference papers hal-01402040v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics Helle Hvid Hansen , Clemens Kupke , Raul Andres Leal 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.281-295, ⟨10.1007/978-3-662-44602-7_22⟩ Conference papers hal-01402072v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic Jeremy E. Dawson , Ranald Clouston , Rajeev Goré , Alwen Tiu 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.250-264, ⟨10.1007/978-3-662-44602-7_20⟩ Conference papers hal-01402048v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic Martin Lange , Etienne Lozes 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.90-103, ⟨10.1007/978-3-662-44602-7_8⟩ Conference papers hal-01402031v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Tropical Two-Way Automata Vincent Carnino , Sylvain Lombardy 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.195-206, ⟨10.1007/978-3-662-44602-7_16⟩ Conference papers hal-01069637v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata Barbara König , Sebastian Küpper 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.311-325, ⟨10.1007/978-3-662-44602-7_24⟩ Conference papers hal-01402080v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions Hiroki Morizumi 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.104-110, ⟨10.1007/978-3-662-44602-7_9⟩ Conference papers hal-01402033v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Parametric LTL on Markov Chains Souymodip Chakraborty , Joost-Pieter Katoen 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.207-221, ⟨10.1007/978-3-662-44602-7_17⟩ Conference papers hal-01402042v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Termination Analysis for Graph Transformation Systems H. Sander Bruggink , Barbara König , Hans Zantema 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.179-194, ⟨10.1007/978-3-662-44602-7_15⟩ Conference papers hal-01402041v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Looking at Separation Algebras with Boolean BI-eyes Dominique Larchey-Wendling , Didier Galmiche 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp. 326-340, ⟨10.1007/978-3-662-44602-7_25⟩ Conference papers hal-01256804v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Online Scheduling of Unit Length Jobs with Commitment and Penalties Stanley Y. Fung 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.54-65, ⟨10.1007/978-3-662-44602-7_5⟩ Conference papers hal-01402028v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks Fei Chen , Xiaowei Wu 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.27-38, ⟨10.1007/978-3-662-44602-7_3⟩ Conference papers hal-01402025v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		The Shortest Path Game: Complexity and Algorithms Andreas Darmann , Ulrich Pferschy , Joachim Schauer 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.39-53, ⟨10.1007/978-3-662-44602-7_4⟩ Conference papers hal-01402026v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults Anna Bernasconi , Valentina Ciriani 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩ Conference papers hal-01402013v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Primal Infon Logic with Conjunctions as Sets Carlos Cotrini , Yuri Gurevich , Ori Lahav , Artem Melentyev 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.236-249, ⟨10.1007/978-3-662-44602-7_19⟩ Conference papers hal-01402046v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More

Treewidth Computation and Kernelization in the Parallel External Memory Model

Riko Jacob , Tobias Lieber , Matthias Mnich

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.78-89, ⟨10.1007/978-3-662-44602-7_7⟩

Conference papers hal-01402030v1

Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract)

Tomoyuki Yamakami

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.136-150, ⟨10.1007/978-3-662-44602-7_12⟩

Conference papers hal-01402038v1

On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs

Bugra Caskurlu , Vahan Mkrtchyan , Ojas Parekh , K. Subramani

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.13-26, ⟨10.1007/978-3-662-44602-7_2⟩

Conference papers hal-01402014v1

Towards a Coalgebraic Chomsky Hierarchy

Sergey Goncharov , Stefan Milius , Alexandra Silva

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.265-280, ⟨10.1007/978-3-662-44602-7_21⟩

Conference papers hal-01402071v1

Quantitative Types for the Linear Substitution Calculus

Delia Kesner , Daniel Ventura

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.296-310, ⟨10.1007/978-3-662-44602-7_23⟩

Conference papers hal-01402078v1

The Lazy Matroid Problem

Laurent Gourvès , Jérôme Monnot , Aris T. Pagourtzis

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.66-77, ⟨10.1007/978-3-662-44602-7_6⟩

Conference papers hal-01402029v1

Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds’ Algorithm

Jiří Wiedermann

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.123-135, ⟨10.1007/978-3-662-44602-7_11⟩

Conference papers hal-01402036v1

Subshifts, MSO Logic, and Collapsing Hierarchies

Ilkka Törmä

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.111-122, ⟨10.1007/978-3-662-44602-7_10⟩

Conference papers hal-01402035v1

The Inhabitation Problem for Non-idempotent Intersection Types

Antonio Bucciarelli , Delia Kesner , Simona Ronchi Della Rocca

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.341-354, ⟨10.1007/978-3-662-44602-7_26⟩

Conference papers hal-01402082v1

Specifying and Verifying Properties of Space

Vincenzo Ciancia , Diego Latella , Michele Loreti , Mieke Massink

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩

Conference papers hal-01402045v1

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

Patrick Baillot , Erika de Benedetti , Simona Ronchi Della Rocca

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩

Conference papers hal-01015171v2

A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs

Jon Haël Brenas , Rachid Echahed , Martin Strecker

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩

Conference papers hal-01402040v1

Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics

Helle Hvid Hansen , Clemens Kupke , Raul Andres Leal

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.281-295, ⟨10.1007/978-3-662-44602-7_22⟩

Conference papers hal-01402072v1

From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic

Jeremy E. Dawson , Ranald Clouston , Rajeev Goré , Alwen Tiu

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.250-264, ⟨10.1007/978-3-662-44602-7_20⟩

Conference papers hal-01402048v1

Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic

Martin Lange , Etienne Lozes

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.90-103, ⟨10.1007/978-3-662-44602-7_8⟩

Conference papers hal-01402031v1

Tropical Two-Way Automata

Vincent Carnino , Sylvain Lombardy

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.195-206, ⟨10.1007/978-3-662-44602-7_16⟩

Conference papers hal-01069637v1

Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata

Barbara König , Sebastian Küpper

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.311-325, ⟨10.1007/978-3-662-44602-7_24⟩

Conference papers hal-01402080v1

Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions

Hiroki Morizumi

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.104-110, ⟨10.1007/978-3-662-44602-7_9⟩

Conference papers hal-01402033v1

Parametric LTL on Markov Chains

Souymodip Chakraborty , Joost-Pieter Katoen

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.207-221, ⟨10.1007/978-3-662-44602-7_17⟩

Conference papers hal-01402042v1

Termination Analysis for Graph Transformation Systems

H. Sander Bruggink , Barbara König , Hans Zantema

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.179-194, ⟨10.1007/978-3-662-44602-7_15⟩

Conference papers hal-01402041v1

Looking at Separation Algebras with Boolean BI-eyes

Dominique Larchey-Wendling , Didier Galmiche

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp. 326-340, ⟨10.1007/978-3-662-44602-7_25⟩

Conference papers hal-01256804v1

Online Scheduling of Unit Length Jobs with Commitment and Penalties

Stanley Y. Fung

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.54-65, ⟨10.1007/978-3-662-44602-7_5⟩

Conference papers hal-01402028v1

Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks

Fei Chen , Xiaowei Wu

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.27-38, ⟨10.1007/978-3-662-44602-7_3⟩

Conference papers hal-01402025v1

The Shortest Path Game: Complexity and Algorithms

Andreas Darmann , Ulrich Pferschy , Joachim Schauer

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.39-53, ⟨10.1007/978-3-662-44602-7_4⟩

Conference papers hal-01402026v1

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

Anna Bernasconi , Valentina Ciriani

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩

Conference papers hal-01402013v1

Primal Infon Logic with Conjunctions as Sets

Carlos Cotrini , Yuri Gurevich , Ori Lahav , Artem Melentyev

8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.236-249, ⟨10.1007/978-3-662-44602-7_19⟩

Conference papers hal-01402046v1

Filter your results