| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesco Dagnino, Amin Farjudian, Eugenio Moggi |
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.  |
ICTAC  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan L. Kuznetsov |
On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Giulio Guerrieri, Maico Leberle |
Strong Call-by-Value and Multi Types. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker |
Synchronous Agents, Verification, and Blame - A Deontic View. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Gustavo López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto |
A Dynamic Temporal Logic for Quality of Service in Choreographic Models. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadine Karsten, Uwe Nestmann |
Store Locally, Prove Globally. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Rolf Hennicker, José Proença |
Realisability of Global Models of Interaction. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Dorfhuber, Julia Eisentraut, Jan Kretínský |
Learning Attack Trees by Genetic Algorithms. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini |
Towards the Complexity Analysis of Programming Language Proof Methods. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn J. H. Heule |
Without Loss of Satisfaction. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziggy Attala, Ana Cavalcanti 0001, Jim Woodcock 0001 |
Modelling and Verifying Robotic Software that Uses Neural Networks. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen |
Algorithms for Checking Intersection Non-emptiness of Regular Expressions. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele |
Simplifying Process Parameters by Unfolding Algebraic Data Types. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski |
Closure and Decision Properties for Higher-Dimensional Automata. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa (eds.) |
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler |
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz 0001 |
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
Modular Soundness Checking of Feature Model Evolution Plans. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio |
Optimal Route Synthesis in Space DTN Using Markov Decision Processes. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom T. P. Franken, Thomas Neele, Jan Friso Groote |
An Autonomous Data Language. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Tusil, Péter Bereczky, Dániel Horpácsi |
Interactive Matching Logic Proofs in Coq. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen |
Denotational Semantics for Symbolic Execution. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Suthee Ruangwises |
The Landscape of Computing Symmetric n-Variable Functions with 2n Cards. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matías Brizzio, César Sánchez 0001 |
Efficient Reactive Synthesis Using Mode Decomposition. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ella Gale, Leo Lobski, Fabio Zanasi |
A Categorical Approach to Synthetic Chemistry. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels F. W. Voorneveld |
Runners for Interleaving Algebraic Effects. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Mündler, Tobias Nipkow |
A Verified Implementation of B+-Trees in Isabelle/HOL. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Kikuchi |
Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Daniel Ventura |
Quantitative Weak Linearisation. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoyuki Yamakami |
Formal Grammars for Turn-Bounded Deterministic Context-Free Languages. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider 0001, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
VeriMon: A Formally Verified Monitoring Tool. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Firsov, Sven Laur, Ekaterina Zhuchko |
Unsatisfiability of Comparison-Based Non-malleability for Commitments. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai Lin 0005, Christopher Lynch |
Local XOR Unification: Definitions, Algorithms and Application to Cryptography. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningning Chen, Huibiao Zhu |
Denotational and Algebraic Semantics for the CaIT Calculus. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lungu Alexandru-Ioan, Dorel Lucanu |
A Matching Logic Foundation for Alk. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Mário Florido |
Structural Rules and Algebraic Properties of Intersection Types. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Dien, Antoine Genitrini, Frédéric Peschanski |
A Combinatorial Study of Async/Await Processes. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Miaomiao Zhang, Wanwei Liu, Xiaochen Tang, Bowen Du 0002, Zhiming Liu 0001 |
Human-Cyber-Physical Automata and Their Synthesis. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott |
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Manfred Kufleitner |
Reachability Games and Parity Games. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
Active Learning for Deterministic Bottom-Up Nominal Tree Automata. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Ângelo 0002, Mário Florido |
Type Inference for Rank-2 Intersection Types Using Set Unification. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
Functional Choreographic Programming. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dylan McDermott, Yasuaki Morita, Tarmo Uustalu |
A Type System with Subtyping for WebAssembly's Stack Polymorphism. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiyue Zhang, Xiaohong Chen 0002, Meng Sun 0002 |
Towards a Unifying Logical Framework for Neural Networks. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Seidl, Zhiming Liu 0001, Corina S. Pasareanu (eds.) |
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Nalpon, Cyril Allignol, Célia Picard |
Towards a User Interface Description Language Based on Bigraphs. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yehia Abd Alrahman, Mauricio Martel, Nir Piterman |
A PO Characterisation of Reconfiguration. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski |
A Specification Logic for Programs in the Probabilistic Guarded Command Language. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen Huang, Bo Li, Dehui Du, Qin Li 0002 |
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes |
Reconciling Communication Delays and Negation. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyuan Gao, Sanjay Jain 0001, Zeyong Li, Ammar Fathin Sabili, Frank Stephan 0001 |
Alternating Automatic Register Machines. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Bischopink, Ernst-Rüdiger Olderog |
Spatial and Timing Properties in Highway Traffic. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hayato Shikata, Kodai Toyoda, Daiki Miyahara, Takaaki Mizuki |
Card-Minimal Protocols for Symmetric Boolean Functions of More than Seven Inputs. |
ICTAC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Eisentraut, Stephan Holzer, Katharina Klioba, Jan Kretínský, Lukas Pin, Alexander Wagner |
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst |
Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Horne, Sjouke Mauw, Semen Yurkov |
Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan J. Dix |
Qualitative-Quantitative Reasoning: Thinking Informally About Formal Things. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen |
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rick Erkens, Jan Friso Groote |
A Set Automaton to Locate All Pattern Matches in a Term. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyi Li 0002, Elsa L. Gunter |
A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki |
Reactive Synthesis from Visibly Register Pushdown Automata. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshifumi Manabe, Hibiki Ono |
Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marino Miculan, Michele Pasqua |
A Calculus for Attribute-Based Memory Updates. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Díaz-Caro, Gilles Dowek |
A New Connective in Natural Deduction, and Its Application to Quantum Computing. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Henrique Bustamante, Ana Teresa C. Martins |
Some Aspects of the Database Resilience. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin |
A Mechanically Verified Theory of Contracts. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabela Dramnesc, Tudor Jebelean |
AlCons : Deductive Synthesis of Sorting Algorithms in Theorema. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Peter Csaba Ölveczky (eds.) |
Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
Certifying Choreography Compilation. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen König, Heike Wehrheim |
On the Correctness Problem for Serializability. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto 0001 |
A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiva Prasad, R. Madhukar Yerraguntla |
Normalising Lustre Preserves Security. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yati Phyo, Canh Minh Do, Kazuhiro Ogata 0001 |
A Divide & Conquer Approach to Conditional Stable Model Checking. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Hannan Khan, Osman Hassan, Shahid Khan 0002 |
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Chu, Shuo Chen 0010, Marcello M. Bonsangue |
Learning Probabilistic Automata Using Residuals. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi |
An Incentive Mechanism for Trading Personal Data in Data Markets. |
ICTAC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barenbaum, Federico Lochbaum, Mariana Milicich |
Semantics of a Relational λ-Calculus. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Wu, Yuxin Deng, Ming Xu 0010, Wenjie Du |
Qsimulation V2.0: An Optimized Quantum Simulator. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
On Two Characterizations of Feature Models. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001, Kazuhiro Ogata 0001 |
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn |
Compositionality of Safe Communication in Systems of Team Automata. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi |
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Laura Kovács, Miroslav Stankovic |
Analysis of Bayesian Networks via Prob-Solvable Loops. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohsen Safari, Marieke Huisman |
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Violet Ka I Pun, Volker Stolz, Adenilso Simão (eds.) |
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Arve Gengelbach, Tjark Weber |
Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Genitrini, Martin Pépin, Frédéric Peschanski |
Statistical Analysis of Non-deterministic Fork-Join Processes. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeny Erofeev, Ronny Tredup |
Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Goncharov 0001, Renato Neves, José Proença |
Implementing Hybrid Semantics: From Functional to Imperative. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager, Abhisek Midya |
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino |
Implementation Correctness for Replicated Data Types, Categorically. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Tredup, Evgeny Erofeev |
The Complexity of Boolean State Separation. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Elif Kürklü, Klaus Havelund |
A Flight Rule Checker for the LADEE Lunar Spacecraft. |
ICTAC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstin Peters, Christoph Wagner, Uwe Nestmann |
Taming Concurrency for Verification Using Multiparty Session Types. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot |
Calculational Design of a Regular Model Checker by Abstract Interpretation. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade 0001, Riadh Robbana |
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain. |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mohamed Mosbah 0001 (eds.) |
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings |
ICTAC |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license