Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030025076, 9783030025083

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic Computation via Program Transformation

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_17 ◽

2018 ◽

pp. 313-332 ◽

Cited By ~ 7

Author(s):

Henrich Lauko ◽

Petr Ročkai ◽

Jiří Barnat

Keyword(s):

Symbolic Computation ◽

Program Transformation

Download Full-text

Double Applicative Functors

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_18 ◽

2018 ◽

pp. 333-353 ◽

Cited By ~ 1

Author(s):

Härmel Nestra

Download Full-text

Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_15 ◽

2018 ◽

pp. 273-291 ◽

Cited By ~ 1

Author(s):

Martin Jonáš ◽

Jan Strejček

Keyword(s):

Smt Solvers ◽

Bit Vector

Download Full-text

Fast Computations on Ordered Nominal Sets

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_26 ◽

2018 ◽

pp. 493-512

Author(s):

David Venhoek ◽

Joshua Moerman ◽

Jurriaan Rot

Keyword(s):

Nominal Sets

Download Full-text

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_21 ◽

2018 ◽

pp. 396-414 ◽

Cited By ~ 4

Author(s):

Mikhail Rybakov ◽

Dmitry Shkatov

Keyword(s):

Temporal Logics

Download Full-text

Explicit Auditing

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_20 ◽

2018 ◽

pp. 376-395

Author(s):

Wilmer Ricciotti ◽

James Cheney

Download Full-text

Information Flow Certificates

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_23 ◽

2018 ◽

pp. 435-454

Author(s):

Manuel Töws ◽

Heike Wehrheim

Keyword(s):

Information Flow

Download Full-text

Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_4 ◽

2018 ◽

pp. 62-79

Author(s):

Éric Badouel ◽

Rodrigue Aimé Djeumen Djatcha

Keyword(s):

Modular Design ◽

Domain Specific Languages ◽

Domain Specific

Download Full-text

Checking Modal Contracts for Virtually Timed Ambients

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_14 ◽

2018 ◽

pp. 252-272 ◽

Cited By ~ 2

Author(s):

Einar Broch Johnsen ◽

Martin Steffen ◽

Johanna Beate Stumpf ◽

Lars Tveito

Download Full-text

An Automata-Based View on Configurability and Uncertainty

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_5 ◽

2018 ◽

pp. 80-98

Author(s):

Martin Berglund ◽

Ina Schaefer

Download Full-text

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Symbolic Computation via Program Transformation

Double Applicative Functors

Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

Fast Computations on Ordered Nominal Sets

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

Explicit Auditing

Information Flow Certificates

Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms

Checking Modal Contracts for Virtually Timed Ambients

An Automata-Based View on Configurability and Uncertainty

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science
Latest Publications