default search action

combined dblp search
author search
venue search
publication search

ask others

15th ICTAC 2018: Stellenbosch, South Africa

> 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2018
Bernd Fischer, Tarmo Uustalu:
Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings. Lecture Notes in Computer Science 11187, Springer 2018, ISBN 978-3-030-02507-6

Invited Talks (Papers)

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Bertot18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Bertot18
Yves Bertot:
Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs. 3-10
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/SulzmannT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/SulzmannT18
Martin Sulzmann, Peter Thiemann:
LTL Semantic Tableaux and Alternating \omega ω -automata via Linear Factors. 11-34

Contributed Talks

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Accattoli18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Accattoli18
Beniamino Accattoli:
Proof Nets and the Linear Substitution Calculus. 37-61
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BadouelD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BadouelD18
Éric Badouel, Rodrigue Aimé Djeumen Djatcha:
Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms. 62-79
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BerglundS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BerglundS18
Martin Berglund, Ina Schaefer:
An Automata-Based View on Configurability and Uncertainty. 80-98
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BerglundBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BerglundBM18
Martin Berglund, Willem Bester, Brink van der Merwe:
Formalising Boost POSIX Regular Expression Matching. 99-115
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/ChantawibulS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/ChantawibulS18
Apiwat Chantawibul, Pawel Sobocinski:
Monoidal Multiplexing. 116-131
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DArgenioM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DArgenioM18
Pedro R. D'Argenio, Raúl E. Monti:
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. 132-152
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DahlqvistP018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DahlqvistP018
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva:
Layer by Layer - Combining Monads. 153-172
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ictac/FelgenhauerR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FelgenhauerR18
Bertram Felgenhauer, Franziska Rapp:
Layer Systems for Confluence - Formalized. 173-190
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/0001RS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/0001RS18
Sergey Goncharov, Christoph Rauch, Lutz Schröder:
A Metalanguage for Guarded Iteration. 191-210
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/HarmseBG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/HarmseBG18
Henriette Harmse, Katarina Britz, Aurona Gerber:
Generating Armstrong ABoxes for ALC ALC TBoxes. 211-230
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Janin18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Janin18
David Janin:
Spatio-Temporal Domains: An Overview. 231-251
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/JohnsenSST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/JohnsenSST18
Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
Checking Modal Contracts for Virtually Timed Ambients. 252-272
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/JonasS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/JonasS18
Martin Jonás, Jan Strejcek:
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. 273-291
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LanotteT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LanotteT18
Ruggero Lanotte, Simone Tini:
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. 292-312
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/LaukoRB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/LaukoRB18
Henrich Lauko, Petr Rockai, Jiri Barnat:
Symbolic Computation via Program Transformation. 313-332
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Nestra18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Nestra18
Härmel Nestra:
Double Applicative Functors. 333-353
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Nguena-TimoPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Nguena-TimoPR18
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh:
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. 354-375
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/RicciottiC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/RicciottiC18
Wilmer Ricciotti, James Cheney:
Explicit Auditing. 376-395
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/RybakovS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/RybakovS18
Mikhail N. Rybakov, Dmitry Shkatov:
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. 396-414
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/SendaTS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/SendaTS18
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki:
Complexity Results on Register Context-Free Grammars and Register Tree Automata. 415-434
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/TowsW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/TowsW18
Manuel Töws, Heike Wehrheim:
Information Flow Certificates. 435-454
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/UmeoKF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/UmeoKF18
Hiroshi Umeo, Naoki Kamikawa, Gen Fujita:
The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers. 455-471
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/HeerdtHO018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/HeerdtHO018
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. 472-492
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/VenhoekMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/VenhoekMR18
David Venhoek, Joshua Moerman, Jurriaan Rot:
Fast Computations on Ordered Nominal Sets. 493-512
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/XiaoJLF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/XiaoJLF18
Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng:
Non-preemptive Semantics for Data-Race-Free Programs. 513-531

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.