default search action
Acta Informatica, Volume 60
Volume 60, Number 1, March 2023
- Haiyan Guo
, Bo Zhou
Minimum status of trees with a given degree sequence. 1-10 - Rob van Glabbeek:
Reactive bisimulation semantics for a process algebra with timeouts. 11-57 - Shlomi Dolev, Yin Li
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs. 59-78 - Dietrich Kuske, Christian Schwarz:
Alternating complexity of counting first-order logic for the subword order. 79-100
Volume 60, Number 2, June 2023
- Asaf Levin
Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times. 101-122 - Giovanni Pighizzini
Pushdown automata and constant height: decidability and bounds. 123-144 - Mahboubeh Samadi, Fatemeh Ghassemi
Decentralized runtime verification of message sequences in message-based systems. 145-178 - Ivano Lodato, Snehal M. Shekatkar, Tian An Wong:
On partial information retrieval: the unconstrained 100 prisoner problem. 179-208
Volume 60, Number 3, September 2023
- Besma Khaireddine, Aleksandr Zakharchenko
Toward a theory of program repair. 209-255 - Jingnan Xie
On the undecidability and descriptional complexity of synchronized regular expressions. 257-278 - Niklas Kochdumper
Constrained polynomial zonotopes. 279-316 - Pál Dömösi, Géza Horváth, Norbert Tihanyi
Simple chain automaton random number generator for IoT devices. 317-329
Volume 60, Number 4, December 2023
- Henning Fernau:
Editorial 2023: changes and invariants. 331-333 - Farnaz Sheikhi
Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms. 335-359 - Richard Lassaigne, Michel de Rougemont
Testing membership for timed automata. 361-384 - Luca Aceto, Ian Cassar
On first-order runtime enforcement of branching-time properties. 385-451 - Chunhua Cao, Jiao Xu, Lei Liao, Di Yang, Guichuan Jia, Qian Du:
The second step in characterizing a three-word code. 453-465
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.
last updated on 2024-12-26 00:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: