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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030642754, 9783030642761

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading

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

10.1007/978-3-030-64276-1_2 ◽

2020 ◽

pp. 23-42

Author(s):

Arve Gengelbach ◽

Tjark Weber

Keyword(s):

Ad Hoc ◽

Conservative Extension

Download Full-text

Compositionality of Safe Communication in Systems of Team Automata

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

10.1007/978-3-030-64276-1_11 ◽

2020 ◽

pp. 200-220

Author(s):

Maurice H. ter Beek ◽

Rolf Hennicker ◽

Jetty Kleijn

Download Full-text

Statistical Analysis of Non-deterministic Fork-Join Processes

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

10.1007/978-3-030-64276-1_5 ◽

2020 ◽

pp. 83-102

Author(s):

Antoine Genitrini ◽

Martin Pépin ◽

Frédéric Peschanski

Keyword(s):

Statistical Analysis

Download Full-text

The Complexity of Boolean State Separation

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

10.1007/978-3-030-64276-1_7 ◽

2020 ◽

pp. 123-142

Author(s):

Ronny Tredup ◽

Evgeny Erofeev

Keyword(s):

State Separation

Download Full-text

CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

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

10.1007/978-3-030-64276-1_4 ◽

2020 ◽

pp. 64-82

Author(s):

Adrián Riesco ◽

Kazuhiro Ogata

Download Full-text

Qsimulation V2.0: An Optimized Quantum Simulator

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

10.1007/978-3-030-64276-1_16 ◽

2020 ◽

pp. 307-316

Author(s):

Hua Wu ◽

Yuxin Deng ◽

Ming Xu ◽

Wenjie Du

Keyword(s):

Quantum Simulator

Download Full-text

Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages

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

10.1007/978-3-030-64276-1_9 ◽

2020 ◽

pp. 161-180

Author(s):

Dino Mandrioli ◽

Matteo Pradella ◽

Stefano Crespi Reghizzi

Keyword(s):

First Order ◽

Context Free ◽

First Order Definability

Download Full-text

Implementing Hybrid Semantics: From Functional to Imperative

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

10.1007/978-3-030-64276-1_14 ◽

2020 ◽

pp. 262-282

Author(s):

Sergey Goncharov ◽

Renato Neves ◽

José Proença

Download Full-text

On Two Characterizations of Feature Models

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

10.1007/978-3-030-64276-1_6 ◽

2020 ◽

pp. 103-122

Author(s):

Ferruccio Damiani ◽

Michael Lienhardt ◽

Luca Paolini

Keyword(s):

Feature Models

Download Full-text

Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm

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

10.1007/978-3-030-64276-1_8 ◽

2020 ◽

pp. 143-160

Author(s):

Evgeny Erofeev ◽

Ronny Tredup

Keyword(s):

Petri Net ◽

Fixed Parameter ◽

Fixed Parameter Algorithm ◽

Petri Net Synthesis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading

Compositionality of Safe Communication in Systems of Team Automata

Statistical Analysis of Non-deterministic Fork-Join Processes

The Complexity of Boolean State Separation

CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

Qsimulation V2.0: An Optimized Quantum Simulator

Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages

Implementing Hybrid Semantics: From Functional to Imperative

On Two Characterizations of Feature Models

Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm

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