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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030325046, 9783030325053
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Computing Branching Distances Using Quantitative Games

2019 ◽  
pp. 59-75 ◽  
Author(s):  
Uli Fahrenberg ◽  
Axel Legay ◽  
Karin Quaas

scholarly journals Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks

2019 ◽  
pp. 313-331 ◽  
Author(s):  
Daniele Gorla ◽  
Federica Granese ◽  
Catuscia Palamidessi
Keyword(s):  
Continuous Time ◽  
Diffusion Networks

scholarly journals LTL to Smaller Self-Loop Alternating Automata and Back

2019 ◽  
pp. 152-171 ◽  
Author(s):  
František Blahoudek ◽  
Juraj Major ◽  
Jan Strejček
Keyword(s):  
Alternating Automata

Solving of Regular Equations Revisited

2019 ◽  
pp. 392-409
Author(s):  
Martin Sulzmann ◽  
Kenny Zhuo Ming Lu

Taming Concurrency for Verification Using Multiparty Session Types

2019 ◽  
pp. 196-215 ◽  
Author(s):  
Kirstin Peters ◽  
Christoph Wagner ◽  
Uwe Nestmann
Keyword(s):  
Session Types
Load More ...
Sign in / Sign up

Export Citation Format

Share Document