default search action

combined dblp search
author search
venue search
publication search

ask others

17th ICTAC 2020: Macau, China

> Home > Conferences and Workshops > ICTAC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2020
Violet Ka I Pun, Volker Stolz, Adenilso Simão:
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings. Lecture Notes in Computer Science 12545, Springer 2020, ISBN 978-3-030-64275-4

Keynote Paper

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/KurkluH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/KurkluH20
Elif Kürklü, Klaus Havelund:
A Flight Rule Checker for the LADEE Lunar Spacecraft. 3-20

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/GengelbachW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/GengelbachW20
Arve Gengelbach, Tjark Weber:
Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. 23-42
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/VaandragerM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/VaandragerM20
Frits W. Vaandrager, Abhisek Midya:
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. 43-63
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/0001020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/0001020
Adrián Riesco, Kazuhiro Ogata:
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. 64-82
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/GenitriniPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/GenitriniPP20
Antoine Genitrini, Martin Pépin, Frédéric Peschanski:
Statistical Analysis of Non-deterministic Fork-Join Processes. 83-102
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DamianiLP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DamianiLP20
Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
On Two Characterizations of Feature Models. 103-122
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/TredupE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/TredupE20
Ronny Tredup, Evgeny Erofeev:
The Complexity of Boolean State Separation. 123-142
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/ErofeevT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/ErofeevT20
Evgeny Erofeev, Ronny Tredup:
Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm. 143-160
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/MandrioliPC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/MandrioliPC20
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi:
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. 161-180
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/SafariH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/SafariH20
Mohsen Safari, Marieke Huisman:
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. 181-199
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BeekHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BeekHK20
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn:
Compositionality of Safe Communication in Systems of Team Automata. 200-220
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BartocciKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BartocciKS20
Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Analysis of Bayesian Networks via Prob-Solvable Loops. 221-241
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BarenbaumLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BarenbaumLM20
Pablo Barenbaum, Federico Lochbaum, Mariana Milicich:
Semantics of a Relational λ-Calculus. 242-261
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/0001NP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/0001NP20
Sergey Goncharov, Renato Neves, José Proença:
Implementing Hybrid Semantics: From Functional to Imperative. 262-282
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/GadducciMRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/GadducciMRS20
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Implementation Correctness for Replicated Data Types, Categorically. 283-303

Tool Paper

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/WuDXD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/WuDXD20
Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du:
Qsimulation V2.0: An Optimized Quantum Simulator. 307-316

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.