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

scholarly journals Compositionality of Safe Communication in Systems of Team Automata

2020 ◽  
pp. 200-220
Author(s):  
Maurice H. ter Beek ◽  
Rolf Hennicker ◽  
Jetty Kleijn

scholarly journals Statistical Analysis of Non-deterministic Fork-Join Processes

2020 ◽  
pp. 83-102
Author(s):  
Antoine Genitrini ◽  
Martin Pépin ◽  
Frédéric Peschanski
Keyword(s):  
Statistical Analysis

The Complexity of Boolean State Separation

2020 ◽  
pp. 123-142
Author(s):  
Ronny Tredup ◽  
Evgeny Erofeev
Keyword(s):  
State Separation

Qsimulation V2.0: An Optimized Quantum Simulator

2020 ◽  
pp. 307-316
Author(s):  
Hua Wu ◽  
Yuxin Deng ◽  
Ming Xu ◽  
Wenjie Du
Keyword(s):  
Quantum Simulator

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

2020 ◽  
pp. 161-180
Author(s):  
Dino Mandrioli ◽  
Matteo Pradella ◽  
Stefano Crespi Reghizzi
Keyword(s):  
First Order ◽  
Context Free ◽  
First Order Definability

scholarly journals Implementing Hybrid Semantics: From Functional to Imperative

2020 ◽  
pp. 262-282
Author(s):  
Sergey Goncharov ◽  
Renato Neves ◽  
José Proença

scholarly journals On Two Characterizations of Feature Models

2020 ◽  
pp. 103-122
Author(s):  
Ferruccio Damiani ◽  
Michael Lienhardt ◽  
Luca Paolini
Keyword(s):  
Feature Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document