| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tonatiuh Tapia-Flores, Ernesto López-Mellado |
Discovering workflow nets of concurrent iterative processes.  |
Acta Informatica  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyan Liu, Rongdong Cui, Tianjie Zhang |
n-PS-codes, 2-infix-outfix codes and some related classes of codes. |
Acta Informatica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada 0001 |
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications. |
Acta Informatica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wu, Yu-Fang Chen 0001, Zhilin Wu, Bican Xia, Naijun Zhan |
A decision procedure for string constraints with string/integer conversion and flat regular constraints. |
Acta Informatica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuyang Gao, Leen Hatem, Hosam M. Mahmoud |
Balancing m-ary search trees with compressions on the fringe. |
Acta Informatica |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi |
Decentralized runtime verification of message sequences in message-based systems. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Kochdumper, Matthias Althoff |
Constrained polynomial zonotopes. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Yin Li 0001 |
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Pighizzini, Luca Prigioniero |
Pushdown automata and constant height: decidability and bounds. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Farnaz Sheikhi, Behnam Zeraatkar, Sama Hanaie |
Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Asaf Levin, Tal Shusterman |
Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyan Guo, Bo Zhou 0007 |
Minimum status of trees with a given degree sequence. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau |
Editorial 2023: changes and invariants. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pál Dömösi, Géza Horváth, Norbert Tihanyi |
Simple chain automaton random number generator for IoT devices. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob van Glabbeek |
Reactive bisimulation semantics for a process algebra with timeouts. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunhua Cao, Jiao Xu, Lei Liao, Di Yang, Guichuan Jia, Qian Du 0013 |
The second step in characterizing a three-word code. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivano Lodato, Snehal M. Shekatkar, Tian An Wong |
On partial information retrieval: the unconstrained 100 prisoner problem. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Christian Schwarz |
Alternating complexity of counting first-order logic for the subword order. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lassaigne, Michel de Rougemont |
Testing membership for timed automata. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili 0001 |
Toward a theory of program repair. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingnan Xie, Harry B. Hunt |
On the undecidability and descriptional complexity of synchronized regular expressions. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
On first-order runtime enforcement of branching-time properties. |
Acta Informatica |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender, Archit Chauhan, Samir Datta |
Depth-first search in directed planar graphs, revisited. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Baxter 0001, Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
Correction to: Sound reasoning in tock-CSP. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Baxter 0001, Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
Sound reasoning in tock-CSP. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumyadip Bandyopadhyay, Dipankar Sarkar 0001, Chittaranjan A. Mandal, Holger Giese |
Translation validation of coloured Petri net models of programs on integers. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert, Christos A. Kapoutsis, Mohammad Zakzok |
Improved complement for two-way alternating automata. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Henning Fernau, Petra Wolf 0002 |
Properties of graphs specified by a regular language. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Radim Kocman, Zbynek Krivka, Alexander Meduna, Benedek Nagy |
A jumping $5'\rightarrow 3'$ Watson-Crick finite automata model. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Erlebach, Jakob T. Spooner |
Exploration of k-edge-deficient temporal graphs. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaoru Fujioka, Fumiya Okubo, Takashi Yokomori |
ℒ-reduction computation revisited. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith |
Reoptimization of parameterized problems. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamás Tóth, István Majzik |
Configurable verification of timed automata with discrete variables. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Chrobak, Mordecai J. Golin, J. Ian Munro, Neal E. Young |
On Huang and Wong's algorithm for generalized binary split trees. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol |
An automated system repair framework with signal temporal logic. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayleen Schinko, Walter Vogler, Johannes Gareis, N. Tri Nguyen, Gerald Lüttgen |
Interface Automata for Shared Memory. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Wolf 0002 |
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Markus Holzer 0001, Petra Wolf 0002 |
Preface to Klaus-Jörn Lange Festschrift. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Cadilhac, Charles Paperman |
The regular languages of wire linear AC0. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger |
Index appearance record with preorders. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Marin, Carla Piazza, Sabina Rossi |
Proportional lumpability and proportional bisimilarity. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr Elmasry, Jyrki Katajainen |
Regular numeral systems for data structures. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Hunter, Guillermo A. Pérez 0001, Jean-François Raskin |
Correction to: Reactive synthesis without regret. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Bille, Inge Li Gørtz |
From regular expression matching to parsing. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Michalak 0001 |
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain 0001, Birzhan Moldagaliyev, Frank Stephan 0001, Tien Dat Tran |
Lamplighter groups and automata. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Cano, Hugo A. López 0001, Jorge A. Pérez 0001, Camilo Rueda |
Session-based concurrency, declaratively. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow, Ismaël Jecker |
Operational complexity and pumping lemmas. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanan Shabana, Mikhail V. Volkov 0001 |
Careful synchronization of partial deterministic finite automata. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher, Christian Schneider |
Finite automata with undirected state graphs. |
Acta Informatica |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge |
Equilibria for games with combined qualitative and quantitative objectives. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Björklund, Loek Cleophas |
Aggregation-based minimization of finite state automata. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Bhattacharyya 0001, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai |
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Litan Kumar Das, Kumar Sankar Ray |
Bitopological duality for algebras of Fitting's logic and natural duality extension. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
A deterministic parsing algorithm for ambiguous regular expressions. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Umeo, Naoki Kamikawa, Gen Fujita |
A new class of the smallest FSSP partial solutions for 1D rings of length n=2k-1. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedek Nagy, Shaghayegh Parchami |
On deterministic sensing $5'\rightarrow 3'$ Watson-Crick finite automata: a full hierarchy in 2detLIN. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Morita |
An instruction set for reversible Turing machines. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Jakobi, Katja Meckel, Carlo Mereghetti, Beatrice Palano |
The descriptional power of queue automata of constant length. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis |
On the size of partial derivatives and the word membership problem. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri |
Team bisimilarity, and its associated modal logic, for BPP nets. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Engels, Tony Tan, Jan Van den Bussche |
Subsequence versus substring constraints in sequence pattern languages. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Andreas Malcher, Giovanni Pighizzini |
Preface to Martin Kutrib Festschrift. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Vogler, Gerald Lüttgen |
Correction to: A linear-time branching-time perspective on interface automata. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer 0001 |
On the number of active states in finite automata. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rabia Mazhar, Muddassar Azam Sindhu |
DKL: an efficient algorithm for learning deterministic Kripke structures. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Ostovar, Suna Bensch, Thomas Hellström |
Natural language guided object retrieval in images. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto, Matthias Wendlandt |
Reversibility for stateless ordered RRWW-automata. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann |
Correction to: Solving high-level Petri games. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Debayan Ganguly, Kingshuk Chatterjee, Kumar Sankar Ray |
Watson-Crick quantum finite automata. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Worsch |
A faster algorithm for the Birthday Song Singers Synchronization Problem (FSSP) in one-dimensional CA with multiple speeds. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Xu 0010, Cheng-Chao Huang, Yuan Feng 0001 |
Measuring the constrained reachability in quantum Markov chains. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Kazuhiro Inaba, Sebastian Maneth |
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dassow |
Operational complexity and right linear grammars. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Supreeti Kamilya, Jarkko Kari |
Nilpotency and periodic points in non-uniform cellular automata. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Doriana Medic, Claudio Antares Mezzina |
Static versus dynamic reversibility in CCS. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, György Vaszil |
Reversible parallel communicating finite automata systems. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert, Christos A. Kapoutsis, Mohammad Zakzok |
Complement for two-way alternating automata. |
Acta Informatica |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Mouhammad Sakr |
A symbolic algorithm for lazy synthesis of eager strategies. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann |
Solving high-level Petri games. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Mestel, A. W. Roscoe 0001 |
Translating between models of concurrency. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
Off-the-shelf automated analysis of liveness properties for just paths. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker |
Out for coffee: with Rob. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Hüttel |
Using session types for reasoning about boundedness in the π-calculus. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Vogler, Gerald Lüttgen |
A linear-time branching-time perspective on interface automata. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour |
Parameterized synthesis of self-stabilizing protocols in symmetric networks. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Jasper, Maximilian Schlüter, Bernhard Steffen |
Characteristic invariants in Hennessy-Milner logic. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Pedro R. D'Argenio, Holger Hermanns |
On the probabilistic bisimulation spectrum with silent moves. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ursula Goltz, Jens-Wolfhard Schicke-Uffmann |
Synchronous and asynchronous communication(s) between three parties. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Gazda, Wan J. Fokkink, Vittorio Massaro |
Congruence from the operator's point of view. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard, Gregor Gößler |
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Paulo Tabuada |
Preface for the SYNT. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Arithmetical datatypes with true fractions. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Neider, Alexander Weinert, Martin Zimmermann 0002 |
Synthesizing optimally resilient controllers. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Jan Willem Klop, Rena Bakhshi |
Transducer degrees: atoms, infima and suprema. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstin Peters, Simone Tini |
Preface to special issue: EXPRESS/SOS 2016 + 2017. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Höfner, Carroll Morgan, Vaughan R. Pratt |
Preface. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
Automated formal synthesis of provably safe digital controllers for continuous plants. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang 0002 |
SMT-based generation of symbolic automata. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license