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

TOTAL DOCUMENTS

16

(FIVE YEARS 16)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030642754, 9783030642761

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

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

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

A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages

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

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

2020 ◽

pp. 43-63

Author(s):

Frits Vaandrager ◽

Abhisek Midya

Download Full-text