×

Acta Informatica

Short Title: Acta Inf.
Publisher: Springer, Berlin/Heidelberg
ISSN: 0001-5903; 1432-0525/e
Online: https://link.springer.com/journal/236/volumes-and-issues
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 1,620 Publications (since 1971)
References Indexed: 1,103 Publications with 24,274 References.
all top 5

Latest Issues

61, No. 1 (2024)
60, No. 4 (2023)
60, No. 3 (2023)
60, No. 2 (2023)
60, No. 1 (2023)
59, No. 6 (2022)
59, No. 5 (2022)
59, No. 4 (2022)
59, No. 2-3 (2022)
59, No. 1 (2022)
58, No. 6 (2021)
58, No. 5 (2021)
58, No. 4 (2021)
58, No. 3 (2021)
58, No. 1-2 (2021)
57, No. 6 (2020)
57, No. 3-5 (2020)
57, No. 1-2 (2020)
56, No. 7-8 (2019)
56, No. 6 (2019)
56, No. 5 (2019)
56, No. 4 (2019)
56, No. 3 (2019)
56, No. 2 (2019)
56, No. 1 (2019)
55, No. 8 (2018)
55, No. 7 (2018)
55, No. 6 (2018)
55, No. 5 (2018)
55, No. 4 (2018)
55, No. 3 (2018)
55, No. 2 (2018)
55, No. 1 (2018)
54, No. 8 (2017)
54, No. 7 (2017)
54, No. 6 (2017)
54, No. 5 (2017)
54, No. 4 (2017)
54, No. 3 (2017)
54, No. 2 (2017)
54, No. 1 (2017)
53, No. 6-8 (2016)
53, No. 5 (2016)
53, No. 4 (2016)
53, No. 3 (2016)
53, No. 2 (2016)
53, No. 1 (2016)
52, No. 7-8 (2015)
52, No. 6 (2015)
52, No. 4-5 (2015)
52, No. 2-3 (2015)
52, No. 1 (2015)
51, No. 8 (2014)
51, No. 7 (2014)
51, No. 6 (2014)
51, No. 5 (2014)
51, No. 3-4 (2014)
51, No. 2 (2014)
51, No. 1 (2014)
50, No. 7-8 (2013)
50, No. 5-6 (2013)
50, No. 4 (2013)
50, No. 3 (2013)
50, No. 2 (2013)
50, No. 1 (2013)
49, No. 7-8 (2012)
49, No. 6 (2012)
49, No. 5 (2012)
49, No. 4 (2012)
49, No. 3 (2012)
49, No. 2 (2012)
49, No. 1 (2012)
48, No. 7-8 (2011)
48, No. 5-6 (2011)
48, No. 4 (2011)
48, No. 3 (2011)
48, No. 2 (2011)
48, No. 1 (2011)
47, No. 7-8 (2010)
47, No. 5-6 (2010)
47, No. 4 (2010)
47, No. 3 (2010)
47, No. 2 (2010)
47, No. 1 (2010)
46, No. 8 (2009)
46, No. 7 (2009)
46, No. 6 (2009)
46, No. 5 (2009)
46, No. 4 (2009)
46, No. 3 (2009)
46, No. 2 (2009)
46, No. 1 (2009)
45, No. 7-8 (2008)
45, No. 6 (2008)
45, No. 5 (2008)
45, No. 4 (2008)
45, No. 3 (2008)
45, No. 2 (2008)
45, No. 1 (2008)
44, No. 7-8 (2007)
...and 195 more Volumes
all top 5

Authors

25 Rozenberg, Grzegorz
17 Engelfriet, Joost
14 Vogler, Walter
11 Hesselink, Wim H.
10 Coffman, Edward Grady jun.
10 Culik, Karel II
10 Meduna, Alexander
9 Ehrenfeucht, Andrzej
9 Gelenbe, Sami Erol
9 Salomaa, Arto Kustaa
9 Wood, Derick
8 Best, Eike
8 Mahmoud, Hosam M.
8 Mitrana, Victor
8 Otto, Friedrich
8 Păun, Gheorghe
8 Wong, Chak-Kuen
7 Bergstra, Jan A.
7 Corradini, Flavio
7 Devillers, Raymond
7 Hoare, C. A. R. Tony
7 Koutny, Maciej
7 Larsen, Kim Skak
7 Mehlhorn, Kurt
7 Olderog, Ernst-Rüdiger
7 Raskin, Jean-François
6 Back, Ralph-Johan
6 Baier, Christel
6 Bozapalidis, Symeon
6 Devroye, Luc P. J. A.
6 Dolev, Shlomi
6 Epstein, Leah
6 Fan, Chen-Ming
6 Fernau, Henning
6 Kouvatsos, Demetres D.
6 Manna, Zohar
6 Maurer, Hermann A.
6 Paul, Wolfgang Jakob
6 Pnueli, Amir
5 Aceto, Luca
5 Boasson, Luc
5 Bruno, John L.
5 Dassow, Jürgen
5 de Luca, Aldo
5 Ehrich, Hans-Dieter
5 Elmasry, Amr
5 Gries, David
5 Hehner, Eric C. R.
5 Hennessy, Matthew C. B.
5 Honkala, Juha
5 Huang, Cheng-Chih
5 Kemp, Rainer
5 Kleijn, Jetty
5 Kutrib, Martin
5 Latteux, Michel
5 Lüttgen, Gerald
5 Malcher, Andreas
5 Martín-Vide, Carlos
5 Morris, Joseph M.
5 Overmars, Mark H.
5 Shyr, Huei-Jan
5 Soisalon-Soininen, Eljas
5 Van den Bussche, Jan
5 van Glabbeek, Robert Jan
5 Woeginger, Gerhard
4 Autebert, Jean-Michel
4 Baeza-Yates, Ricardo A.
4 Book, Ronald Vernon
4 Carpi, Arturo
4 De Francesco, Nicoletta
4 De Nicola, Rocco
4 Degano, Pierpaolo
4 Diekert, Volker
4 Esparza, Javier
4 Francez, Nissim
4 Fülöp, Zoltán
4 Goltz, Ursula
4 Harju, Tero
4 Heilbrunner, Stephan
4 Hernández, Héctor J.
4 Hoogeboom, Hendrik Jan
4 Janicki, Ryszard
4 Kari, Lila
4 Kastens, Uwe
4 Kucera, Antonin
4 Langmaack, Hans
4 Larsen, Kim Guldstrand
4 Lauer, Peter Ernst
4 Lengauer, Christian
4 Majster-Cederbaum, Mila E.
4 Middelburg, Cornelis A.
4 Mili, Ali
4 Monien, Burkhard
4 Montanari, Angelo
4 Montanari, Ugo G.
4 Morita, Kenichi
4 Nielsen, Mogens
4 Ottmann, Thomas A.
4 Pergola, Elisa
4 Reisig, Wolfgang
...and 2,038 more Authors

Publications by Year

Citations contained in zbMATH Open

1,212 Publications have been cited 10,380 times in 7,926 Documents Cited by Year
The method of forced enumeration for nondeterministic automata. Zbl 0638.68046
Szelepcsényi, Róbert
124
1988
Organization and maintenance of large ordered indexes. Zbl 0226.68008
Bayer, R.; McCreight, E.
124
1971
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
120
1976
On fast multiplication of polynomials over arbitrary algebras. Zbl 0766.68055
Cantor, David G.; Kaltofen, Erich
114
1991
Quad trees: A data structure for retrieval by composite keys. Zbl 0278.68030
Finkel, Raphael Ari; Bentley, Jon Louis
108
1974
Proof of correctness of data representations. Zbl 0244.68009
Hoare, C. A. R.
107
1972
Optimal scheduling for two-processor systems. Zbl 0248.68023
Coffman, E. G. jun.; Graham, R. L.
103
1971
The complexity of combinatorial problems with succinct input representation. Zbl 0621.68032
Wagner, Klaus W.
100
1986
Subtyping for session types in the pi calculus. Zbl 1079.68065
Gay, Simon; Hole, Malcolm
90
2005
Single machine flow-time scheduling with a single breakdown. Zbl 0657.68033
Adiri, Igal; Bruno, John; Frostig, Esther; Rinnooy Kan, A. H. G.
83
1989
Optimum binary search trees. Zbl 0233.68010
Knuth, D. E.
77
1971
A fast algorithm for Steiner trees. Zbl 0445.68051
Kou, L.; Markowsky, G.; Berman, L.
73
1981
A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072
Sangiorgi, Davide
73
1996
NP-hard problems in hierarchical-tree clustering. Zbl 0644.68055
Křivánek, Mirko; Morávek, Jaroslav
70
1986
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
68
1986
Single machine flow-time scheduling with scheduled maintenance. Zbl 0738.68043
Lee, Chung-Yee; Liman, Surya Danusaputro
64
1992
Branching processes of Petri nets. Zbl 0743.68106
Engelfriet, Joost
64
1991
Symmetric binary B-trees: Data structure and maintenance algorithms. Zbl 0233.68009
Bayer, Rudolf
63
1972
Affine relationships among variables of a program. Zbl 0358.68025
Karr, Michael
58
1976
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
58
1983
On real-time cellular automata and trellis automata. Zbl 0534.68039
Choffrut, C.; Čulik, Karel II
58
1984
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula
55
2001
A bi-criterion single-machine scheduling problem with learning considerations. Zbl 1137.90500
Lee, Wen-Chiung; Wu, Chin-Chia; Sung, Hua-Jung
55
2004
Fast multiplication of polynomials over fields of characteristic 2. (Schnelle Multiplikation von Polynomen über Körpern der Charakteristik 2.) Zbl 0362.65011
Schönhage, A.
54
1977
Machine scheduling with availability constraints. Zbl 0917.68018
Sanlaville, Eric; Schmidt, Günter
52
1998
Branching processes in the analysis of the heights of trees. Zbl 0643.60065
Devroye, L.
51
1987
Plain CHOCS. A second generation calculus for higher order processes. Zbl 0790.68069
Thomsen, Bent
51
1993
Contextual nets. Zbl 0835.68084
Montanari, Ugo; Rossi, Francesca
51
1995
Fast computation of continued fraction expansions. (Schnelle Berechnung von Kettenbruchentwicklungen.) Zbl 0223.68008
Schönhage, A.
49
1971
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
48
1978
On non-determinacy in simple computing devices. Zbl 0229.68014
Hartmanis, J.
47
1972
Extensional equivalences for transition systems. Zbl 0636.68069
De Nicola, Rocco
46
1987
Partial (set) 2-structures. II: State spaces of concurrent systems. Zbl 0696.68083
Ehrenfeucht, A.; Rozenberg, G.
45
1990
An efficiency preorder for processes. Zbl 0790.68039
Arun-Kumar, S.; Hennessy, M.
43
1992
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo
42
1988
Ramsey numbers and an approximation algorithm for the vertex cover problem. Zbl 0558.05044
Monien, Burkhard; Speckenmeyer, Ewald
42
1985
On sufficient-completeness and related properties of term rewriting systems. Zbl 0594.68035
Kapur, Deepak; Narendran, Paliath; Zhang, Hantao
41
1987
Concurrent bisimulations in Petri nets. Zbl 0718.68034
Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia
41
1991
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J.
40
1978
A new data structure for representing sorted lists. Zbl 0481.68061
Huddleston, Scott; Mehlhorn, Kurt
40
1982
A logic covering undefinedness in program proofs. Zbl 0534.68024
Barringer, H.; Cheng, J. H.; Jones, C. B.
40
1984
Partial (set) 2-structures. I: Basic notions and the representation problems. Zbl 0696.68082
Ehrenfeucht, A.; Rozenberg, G.
39
1990
On random 2-3 trees. Zbl 0369.05024
Yao, Andrew Chi-Chih
38
1978
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
38
1982
Petri net algorithms in the theory of matrix grammars. Zbl 0834.68064
Hauschildt, Dirk; Jantzen, Matthias
37
1994
Efficient algorithms for finding maximum matchings in convex bipartite graphs and related problems. Zbl 0445.68052
Lipski, W. jun.; Preparata, F. P.
35
1981
Edge-disjoint spanning trees and depth-first search. Zbl 0307.05104
Tarjan, Robert Endre
35
1976
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
35
1988
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide
35
1998
A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039
Duan, Zhenhua; Tian, Cong; Zhang, Li
34
2008
An axiomatic definition of the programming language Pascal. Zbl 0261.68040
Hoare, C. A. R.; Wirth, N.
33
1974
Nearly optimal binary search trees. Zbl 0333.68028
Mehlhorn, Kurt
33
1975
A longest common subsequence algorithm suitable for similar text strings. Zbl 0493.68041
Nakatsu, Narao; Kambayashi, Yahiko; Yajima, Shuzo
33
1982
EOL forms. Zbl 0348.68046
Maurer, H. A.; Salomaa, A.; Wood, D.
32
1977
Synthesizing robust systems. Zbl 1302.93079
Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert
32
2014
On the valuedness of finite transducers. Zbl 0672.68027
Weber, Andreas
32
1990
Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046
Esparza, Javier
32
1997
Canonical prefixes of Petri net unfoldings. Zbl 1072.68072
Khomenko, Victor; Koutny, Maciej; Vogler, Walter
32
2003
Finite complete rewriting systems and the complexity of word problem. Zbl 0535.68019
Bauer, G.; Otto, F.
32
1984
Short proofs for tricky formulas. Zbl 0552.03009
Krishnamurthy, Balakrishnan
31
1985
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M.
31
1973
Bin stretching revisited. Zbl 1034.68039
Epstein, Leah
31
2003
Hex ist Pspace-vollständig. (Hex is Pspace-complete). Zbl 0431.90103
Reisch, Stefan
30
1981
Monotone data flow analysis frameworks. Zbl 0375.68020
Kam, John B.; Ullman, Jeffrey D.
30
1977
Applications of the theory of records in the study of random trees. Zbl 0656.68065
Devroye, Luc
30
1988
Tableau-based model checking in the propositional mu-calculus. Zbl 0676.03033
Cleaveland, Rance
30
1990
Memory requirements for silent stabilization. Zbl 0933.68156
Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco
29
1999
Top-down syntax nalysis. Zbl 0233.68022
Knuth, Donald E.
29
1971
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J.
29
1983
Endliche Automaten und Zufallsfolgen. Zbl 0238.68017
Schnorr, C. P.; Stimm, H.
29
1972
The programming language Pascal. Zbl 0205.18603
Wirth, N.
28
1971
The analysis of Quicksort programs. Zbl 0325.68016
Sedgewick, Robert
27
1977
The network complexity and the Turing machine complexity of finite functions. Zbl 0338.02019
Schnorr, C. P.
27
1976
Distance measures for point sets and their computation. Zbl 0865.51011
Eiter, Thomas; Mannila, Heikki
27
1997
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David
27
1973
Networks of evolutionary processors. Zbl 1060.68046
Castellanos, Juan; Martín-Vide, Carlos; Mitrana, Victor; Sempere, José M.
27
2003
Amounts of nondeterminism in finite automata. Zbl 0423.68016
Kintala, Chandra M. R.; Wotschke, Detlef
26
1980
The average number of registers needed to evaluate a binary tree optimally. Zbl 0395.68059
Kemp, R.
26
1979
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
26
2014
Trading polarizations for labels in P systems with active membranes. Zbl 1101.68028
Alhazov, Artiom; Pan, Linqiang; Păun, Gheorghe
26
2004
\(M/M/1\) retrial queue with working vacations. Zbl 1185.90046
Do, Tien Van
26
2010
Persistence of vector replacement systems is decidable. Zbl 0454.68048
Mayr, Ernst
25
1981
Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. Zbl 0548.68044
Mehlhorn, Kurt; Vishkin, Uzi
25
1984
Systolic automata for VLSI on balanced trees. Zbl 0493.68054
Culik, Karel II; Gruska, J.; Salomaa, A.
25
1983
Drawing plane graphs nicely. Zbl 0545.68057
Chiba, Norishige; Onoguchi, Kazunori; Nishizeki, Takao
25
1985
Efficient worst-case data structures for range searching. Zbl 0423.68029
Bentley, Jon Louis; Maurer, H. A.
24
1980
Development systems with locally catenative formulas. Zbl 0304.68076
Rozenberg, G.; Lindenmayer, A.
24
1973
Special factors, periodicity, and an application to Sturmian words. Zbl 0956.68119
Carpi, Arturo; de Luca, Aldo
24
2000
Timing and causality in process algebra. Zbl 0858.68036
Aceto, Luca; Murphy, David
24
1996
A calculus of refinements for program derivations. Zbl 0658.68018
Back, R. J. R.
24
1988
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
24
1992
Lower bounds for on-line two-dimensional packing algorithms. Zbl 0493.68042
Brown, Donna J.; Baker, Brenda S.; Katseff, Howard P.
24
1982
On the performance evaluation of extendible hashing and trie searching. Zbl 0515.68048
Flajolet, Philippe
24
1983
Membrane systems with promoters/inhibitors. Zbl 1034.68038
Bottoni, Paolo; Martín-Vide, Carlos; Păun, Gheorghe; Rozenberg, Grzegorz
24
2002
Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026
Asarin, Eugene; Dang, Thao; Girard, Antoine
24
2007
Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006
Hoare, C. A. R.; Lauer, P. E.
23
1974
On sentential forms of context-free grammars. Zbl 0264.68029
Salomaa, A.
23
1973
Berechnung und Programm. I. Zbl 0252.68018
Strassen, V.
23
1972
The synthesis problem of Petri nets. Zbl 0849.68085
Desel, Jörg; Reisig, Wolfgang
23
1996
The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0545.68051
Valk, Rudiger; Jantzen, Matthias
23
1985
Constrained polynomial zonotopes. Zbl 07727460
Kochdumper, Niklas; Althoff, Matthias
2
2023
Pushdown automata and constant height: decidability and bounds. Zbl 07686409
Pighizzini, Giovanni; Prigioniero, Luca
1
2023
Minimum status of trees with a given degree sequence. Zbl 1508.05151
Guo, Haiyan; Zhou, Bo
1
2023
Toward a theory of program repair. Zbl 07727458
Khaireddine, Besma; Zakharchenko, Aleksandr; Martinez, Matias; Mili, Ali
1
2023
An automated system repair framework with signal temporal logic. Zbl 07528109
Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru
3
2022
A jumping \(5'\rightarrow 3'\) Watson-Crick finite automata model. Zbl 07592343
Kocman, Radim; Křivka, Zbyněk; Meduna, Alexander; Nagy, Benedek
2
2022
Operational complexity and pumping lemmas. Zbl 07578090
Dassow, Jürgen; Jecker, Ismaël
2
2022
Sound reasoning in tock-CSP. Zbl 1483.68223
Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana
1
2022
Interface automata for shared memory. Zbl 07592342
Schinko, Ayleen; Vogler, Walter; Gareis, Johannes; N. Tri Nguyen; Lüttgen, Gerald
1
2022
On Huang and Wong’s algorithm for generalized binary split trees. Zbl 07605996
Chrobak, Marek; Golin, Mordecai; Munro, J. Ian; Young, Neal E.
1
2022
Exploration of \(k\)-edge-deficient temporal graphs. Zbl 07578092
Erlebach, Thomas; Spooner, Jakob T.
1
2022
Proportional lumpability and proportional bisimilarity. Zbl 07528110
Marin, Andrea; Piazza, Carla; Rossi, Sabina
1
2022
Static versus dynamic reversibility in CCS. Zbl 1475.68126
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
11
2021
On deterministic sensing \(5'\rightarrow 3'\) Watson-Crick finite automata: a full hierarchy in 2detLIN. Zbl 1487.68152
Nagy, Benedek; Parchami, Shaghayegh
5
2021
Team bisimilarity, and its associated modal logic, for BPP nets. Zbl 1497.68339
Gorrieri, Roberto
4
2021
Complement for two-way alternating automata. Zbl 1528.68184
Geffert, Viliam; Kapoutsis, Christos A.; Zakzok, Mohammad
2
2021
Equilibria for games with combined qualitative and quantitative objectives. Zbl 1483.68193
Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael
2
2021
Measuring the constrained reachability in quantum Markov chains. Zbl 1483.68140
Xu, Ming; Huang, Cheng-Chao; Feng, Yuan
2
2021
Operational complexity and right linear grammars. Zbl 1522.68262
Dassow, Jürgen
2
2021
The descriptional power of queue automata of constant length. Zbl 1520.68058
Jakobi, Sebastian; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice
2
2021
On the size of partial derivatives and the word membership problem. Zbl 1520.68060
Konstantinidis, Stavros; Machiavelo, António; Moreira, Nelma; Reis, Rogério
2
2021
Indecision and delays are the parents of failure – taming them algorithmically by synthesizing delay-resilient control. Zbl 1528.68214
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
1
2021
Aggregation-based minimization of finite state automata. Zbl 1490.68125
Björklund, Johanna; Cleophas, Loek
1
2021
Practical synthesis of reactive systems from LTL specifications via parity games. Zbl 1435.68200
Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon
9
2020
Coupled similarity: the first 32 years. Zbl 1476.68166
Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin
5
2020
Off-the-shelf automated analysis of liveness properties for just paths. Zbl 1443.68109
Bouwman, Mark; Luttik, Bas; Willemse, Tim
5
2020
Synthesis from hyperproperties. Zbl 1435.68194
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander
5
2020
Performance heuristics for GR(1) synthesis and related algorithms. Zbl 1435.68195
Firman, Elizabeth; Maoz, Shahar; Ringert, Jan Oliver
3
2020
Congruence from the operator’s point of view. Syntactic requirements on modal characterizations. Zbl 1443.68111
Gazda, Maciej; Fokkink, Wan; Massaro, Vittorio
2
2020
Characteristic invariants in Hennessy-Milner logic. Zbl 1443.68113
Jasper, Marc; Schlüter, Maximilian; Steffen, Bernhard
2
2020
A symbolic algorithm for lazy synthesis of eager strategies. Zbl 1435.68198
Jacobs, Swen; Sakr, Mouhammad
2
2020
Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk
2
2020
Synthesizing optimally resilient controllers. Zbl 1435.68066
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin
2
2020
Automated formal synthesis of provably safe digital controllers for continuous plants. Zbl 1441.93171
Abate, Alessandro; Bessa, Iury; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel; Polgreen, Elizabeth
2
2020
My time with Rob. Zbl 1443.68011
Pratt, Vaughan
1
2020
Out for coffee: with Rob. Zbl 1443.68008
Fehnker, Ansgar
1
2020
Arithmetical datatypes with true fractions. Zbl 1448.68323
Bergstra, Jan A.; Ponse, Alban
1
2020
Translating between models of concurrency. Zbl 1465.68181
Mestel, David; Roscoe, A. W.
1
2020
A linear-time branching-time perspective on interface automata. Zbl 1443.68099
Vogler, Walter; Lüttgen, Gerald
1
2020
Solving high-level Petri games. Zbl 1443.68112
Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick
1
2020
SMT-based generation of symbolic automata. Zbl 1443.68114
Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min
1
2020
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Zbl 1441.93131
Girard, Antoine; Gössler, Gregor
1
2020
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
8
2019
Reversible sessions with flexible choices. Zbl 1462.68121
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
8
2019
On path-controlled insertion-deletion systems. Zbl 1410.68188
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
4
2019
On the decidability of the existence of polyhedral invariants in transition systems. Zbl 1421.68097
Monniaux, David
3
2019
Parikh matrices for powers of words. Zbl 1423.68364
Atanasiu, Adrian; Poovanandran, Ghajendran; Teh, Wen Chean
3
2019
A generalised theory of interface automata, component compatibility and error. Zbl 1421.68093
Fendrich, Sascha; Lüttgen, Gerald
2
2019
Structural liveness of Petri nets is ExpSpace-hard and decidable. Zbl 1425.68296
Jančar, Petr; Purser, David
2
2019
Using contracted solution graphs for solving reconfiguration problems. Zbl 1431.90161
Bonsma, Paul; Paulusma, Daniël
2
2019
Negotiation as concurrency primitive. Zbl 1422.68168
Desel, Jörg; Esparza, Javier; Hoffmann, Philipp
1
2019
Associative composition of components with double-sided interfaces. Zbl 1431.68081
Reisig, Wolfgang
1
2019
Equivalence checking of Petri net models of programs using static and dynamic cut-points. Zbl 1430.68159
Bandyopadhyay, Soumyadip; Sarkar, Dipankar; Mandal, Chittaranjan
1
2019
Red-black trees with constant update time. Zbl 1423.68124
Elmasry, Amr; Kahla, Mostafa; Ahdy, Fady; Hashem, Mahmoud
1
2019
The model checking fingerprints of CTL operators. Zbl 1423.68288
Krebs, Andreas; Meier, Arne; Mundhenk, Martin
1
2019
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
16
2018
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
13
2018
Bounded choice-free Petri net synthesis: algorithmic issues. Zbl 1400.68131
Best, Eike; Devillers, Raymond; Schlachter, Uli
11
2018
Algorithms for monitoring real-time properties. Zbl 1395.68185
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
8
2018
Sparsification and subexponential approximation. Zbl 1408.68068
Bonnet, Édouard; Paschos, Vangelis Th.
6
2018
Parameterized linear temporal logics meet costs: still not costlier than LTL. Zbl 1390.68445
Zimmermann, Martin
4
2018
Factorisation of transition systems. Zbl 1395.68196
Devillers, Raymond
3
2018
Looking at mean payoff through foggy windows. Zbl 1408.91045
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
3
2018
Event algebra for transition systems composition application to timed automata. Zbl 1398.68340
Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun
2
2018
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
Descending chains and narrowing on template abstract domains. Zbl 1398.68090
Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca
2
2018
Hierarchical information and the synthesis of distributed strategies. Zbl 1408.91004
Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie
2
2018
Spanning the spectrum from safety to liveness. Zbl 1408.68096
Faran, Rachel; Kupferman, Orna
2
2018
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
The complexity of counting models of linear-time temporal logic. Zbl 1390.68441
Torfah, Hazem; Zimmermann, Martin
1
2018
A first step in characterizing three-element codes. Zbl 1398.68351
Chunhua, Cao; Qing, Lu; Di, Yang
1
2018
Replication, refinement & reachability: complexity in dynamic condition-response graphs. Zbl 1398.68094
Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs
1
2018
Fast deterministic parsers for transition networks. Zbl 1400.68093
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo
1
2018
An analysis of the \(M^X/M/1\) queue with multiple working vacations by \(GI/M/1\) type Markov process. Zbl 1404.60142
Zhang, Hongbo
1
2018
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
20
2017
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
16
2017
A theory of formal synthesis via inductive learning. Zbl 1380.68124
Jha, Susmit; Seshia, Sanjit A.
12
2017
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
12
2017
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
11
2017
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
11
2017
On the relations between Markov chain lumpability and reversibility. Zbl 1398.60085
Marin, A.; Rossi, S.
7
2017
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203
Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin
7
2017
Efficiently solving the bin packing problem through bio-inspired mobility. Zbl 1371.68079
Aman, Bogdan; Ciobanu, Gabriel
6
2017
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko
5
2017
Efficient and secure attribute-based signature for monotone predicates. Zbl 1377.94050
Gu, Ke; Jia, Weijia; Wang, Guojun; Wen, Sheng
5
2017
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
5
2017
Characteristic bisimulation for higher-order session processes. Zbl 1380.68297
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
3
2017
Reactive synthesis without regret. Zbl 1364.68263
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
3
2017
Safraless LTL synthesis considering maximal realizability. Zbl 1380.68285
Tomita, Takashi; Ueno, Atsushi; Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki
2
2017
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
Model checking the evolution of gene regulatory networks. Zbl 1380.68273
Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana
2
2017
Reversible Watson-Crick automata. Zbl 1378.68102
Chatterjee, Kingshuk; Ray, Kumar Sankar
1
2017
Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^2)\) messages, and constant time. Zbl 1378.68019
Mostéfaoui, Achour; Raynal, Michel
1
2017
Disjunctivity and other properties of sets of pseudo-bordered words. Zbl 1371.68222
Kari, Lila; Kulkarni, Manasi S.
1
2017
Checking interval properties of computations. Zbl 1350.68184
Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
21
2016
Concurrent abstract state machines. Zbl 1352.68176
Börger, Egon; Schewe, Klaus-Dieter
10
2016
A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018
Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido
9
2016
Planning and execution with flexible timelines: a formal account. Zbl 1351.90092
Cialdea Mayer, Marta; Orlandini, Andrea; Umbrico, Alessandro
7
2016
Dynamic controllability via timed game automata. Zbl 1350.68251
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
7
2016
...and 1112 more Documents
all top 5

Cited by 8,716 Authors

73 Rozenberg, Grzegorz
50 Engelfriet, Joost
46 Wood, Derick
41 Ibarra, Oscar H.
40 Kutrib, Martin
40 Otto, Friedrich
38 Vogler, Walter
37 Montanari, Ugo G.
36 Koutny, Maciej
31 Salomaa, Arto Kustaa
31 Yoshida, Nobuko
29 Culik, Karel II
29 Duan, Zhenhua
29 Meduna, Alexander
29 Mitrana, Victor
28 Hesselink, Wim H.
27 Bergstra, Jan A.
26 Aceto, Luca
26 Kleijn, Jetty
25 Devillers, Raymond
25 Fernau, Henning
25 Okhotin, Alexander
25 Păun, Gheorghe
25 van Glabbeek, Robert Jan
24 Best, Eike
24 Devroye, Luc P. J. A.
24 Holzer, Markus
24 Montanari, Angelo
23 Baldan, Paolo
23 Ehrenfeucht, Andrzej
23 Epstein, Leah
23 Hemaspaandra, Lane A.
23 Tian, Cong
22 Gorrieri, Roberto
22 Ingólfsdóttir, Anna
22 Mahmoud, Hosam M.
22 Maurer, Hermann A.
21 Cheng, Tai-Chiu Edwin
21 Malcher, Andreas
21 Salomaa, Kai T.
21 Sangiorgi, Davide
21 Schost, Éric
21 van der Hoeven, Joris
20 Dassow, Jürgen
19 Drewes, Frank
19 Kari, Lila
18 Alhazov, Artiom
18 Bozzelli, Laura
18 Bruni, Roberto
18 Geffert, Viliam
18 Hennicker, Rolf
18 Peron, Adriano
18 Yen, Hsuchun
17 Berghammer, Rudolf
17 Ciobanu, Gabriel
17 Flajolet, Philippe
17 Larsen, Kim Skak
17 Stølting Brodal, Gerth
17 Tan, Zhiyi
17 Tarlecki, Andrzej
17 Vogler, Heiko
16 Corradini, Flavio
16 Elmasry, Amr
16 Fu, Yuxi
16 Harju, Tero
16 He, Yong
16 Katoen, Joost-Pieter
16 Link, Sebastian
16 Olderog, Ernst-Rüdiger
16 Randour, Mickael
16 Sannella, Donald T.
15 Chatterjee, Krishnendu
15 Dezani-Ciancaglini, Mariangiola
15 Janicki, Ryszard
15 Mäkinen, Erkki
15 Maletti, Andreas
15 Ottmann, Thomas A.
15 Phillips, Iain W.
15 Tarjan, Robert Endre
14 Aman, Bogdan
14 Csuhaj-Varjú, Erzsébet
14 Esparza, Javier
14 Gadducci, Fabio
14 Hennessy, Matthew C. B.
14 Hoare, C. A. R. Tony
14 Jiang, Yiwei
14 Meseguer Guaita, José
14 Middelburg, Cornelis A.
14 Pérez, Jorge A.
14 Pinna, G. Michele
14 Pnueli, Amir
14 Raskin, Jean-François
14 von zur Gathen, Joachim
14 Zhang, Nan
13 Allender, Eric W.
13 Barbuti, Roberto
13 Boreale, Michele
13 Corradini, Andrea
13 Darondeau, Philippe
13 Droste, Manfred
...and 8,616 more Authors
all top 5

Cited in 400 Journals

1,289 Theoretical Computer Science
514 Acta Informatica
384 Information Processing Letters
335 Information and Computation
243 Journal of Computer and System Sciences
147 Formal Aspects of Computing
134 Discrete Applied Mathematics
118 Algorithmica
116 International Journal of Foundations of Computer Science
108 International Journal of Computer Mathematics
100 Information Sciences
98 European Journal of Operational Research
86 Journal of Symbolic Computation
77 Journal of Logical and Algebraic Methods in Programming
73 Theory of Computing Systems
70 Mathematical Systems Theory
68 Logical Methods in Computer Science
67 Computers & Operations Research
65 MSCS. Mathematical Structures in Computer Science
65 Distributed Computing
57 RAIRO. Informatique Théorique et Applications
49 The Journal of Logic and Algebraic Programming
48 BIT
48 Formal Methods in System Design
45 Journal of Combinatorial Optimization
42 Artificial Intelligence
40 RAIRO, Informatique Théorique
39 Computing
39 Queueing Systems
36 Journal of Automated Reasoning
36 Annals of Operations Research
35 Journal of Scheduling
35 RAIRO. Theoretical Informatics and Applications
33 Computers & Mathematics with Applications
33 Annals of Mathematics and Artificial Intelligence
30 Natural Computing
29 Discrete Mathematics
29 Science of Computer Programming
29 Random Structures & Algorithms
27 Operations Research Letters
27 Fundamenta Informaticae
26 Mathematics of Computation
26 Journal of Functional Programming
25 International Journal of Computer & Information Sciences
25 Computational Geometry
24 Journal of Discrete Algorithms
22 Applied Mathematics and Computation
22 Applied Mathematical Modelling
22 Computational Complexity
22 ACM Transactions on Computational Logic
21 Annals of Pure and Applied Logic
21 Journal of Complexity
21 BIT. Nordisk Tidskrift for Informationsbehandling
19 RAIRO. Theoretical Informatics and Applications
17 Kybernetika
17 Journal of Computer Science and Technology
17 The Annals of Applied Probability
17 Discrete Event Dynamic Systems
16 Cybernetics
16 International Journal of Algebra and Computation
16 Journal of Membrane Computing
15 Journal of Soviet Mathematics
15 SIAM Journal on Computing
14 Fuzzy Sets and Systems
14 International Journal of Parallel Programming
14 Combinatorics, Probability and Computing
14 Mathematical Problems in Engineering
14 Parallel Algorithms and Applications
13 Higher-Order and Symbolic Computation
12 SIAM Journal on Algebraic and Discrete Methods
12 International Journal of Approximate Reasoning
12 Asia-Pacific Journal of Operational Research
12 Probability in the Engineering and Informational Sciences
11 Automatica
11 Journal of Combinatorial Theory. Series A
11 Applicable Algebra in Engineering, Communication and Computing
11 Cybernetics and Systems Analysis
11 RAIRO. Operations Research
11 Discrete Optimization
11 Computer Science Review
10 Advances in Applied Mathematics
10 New Generation Computing
10 Mathematical and Computer Modelling
10 Linear Algebra and its Applications
10 Pattern Recognition
10 Nonlinear Analysis. Hybrid Systems
9 International Journal of Systems Science
9 Journal of Computational and Applied Mathematics
9 Semigroup Forum
9 Mathematical Programming. Series A. Series B
9 The Electronic Journal of Combinatorics
9 Journal of Applied Mathematics and Computing
9 ACM Journal of Experimental Algorithmics
8 Advances in Applied Probability
8 Networks
8 Programming and Computer Software
8 Theory and Practice of Logic Programming
8 Journal of Applied Logic
7 Journal of Computational Physics
7 Journal of Information & Optimization Sciences
...and 300 more Journals
all top 5

Cited in 54 Fields

6,746 Computer science (68-XX)
888 Mathematical logic and foundations (03-XX)
874 Operations research, mathematical programming (90-XX)
567 Combinatorics (05-XX)
288 Probability theory and stochastic processes (60-XX)
204 Information and communication theory, circuits (94-XX)
173 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
153 Numerical analysis (65-XX)
150 Number theory (11-XX)
104 Group theory and generalizations (20-XX)
93 Systems theory; control (93-XX)
78 Biology and other natural sciences (92-XX)
75 Category theory; homological algebra (18-XX)
59 Statistics (62-XX)
58 Order, lattices, ordered algebraic structures (06-XX)
42 Field theory and polynomials (12-XX)
39 Quantum theory (81-XX)
35 Commutative algebra (13-XX)
33 General algebraic systems (08-XX)
31 Linear and multilinear algebra; matrix theory (15-XX)
31 Dynamical systems and ergodic theory (37-XX)
26 Convex and discrete geometry (52-XX)
24 History and biography (01-XX)
18 General topology (54-XX)
17 General and overarching topics; collections (00-XX)
15 Algebraic geometry (14-XX)
15 Associative rings and algebras (16-XX)
14 Measure and integration (28-XX)
13 Fluid mechanics (76-XX)
12 Approximations and expansions (41-XX)
10 Mechanics of deformable solids (74-XX)
8 Statistical mechanics, structure of matter (82-XX)
7 Partial differential equations (35-XX)
7 Calculus of variations and optimal control; optimization (49-XX)
6 Geometry (51-XX)
5 Ordinary differential equations (34-XX)
4 Special functions (33-XX)
3 Real functions (26-XX)
3 Functions of a complex variable (30-XX)
3 Harmonic analysis on Euclidean spaces (42-XX)
3 Manifolds and cell complexes (57-XX)
2 Integral transforms, operational calculus (44-XX)
2 Functional analysis (46-XX)
2 Operator theory (47-XX)
2 Mechanics of particles and systems (70-XX)
2 Optics, electromagnetic theory (78-XX)
2 Classical thermodynamics, heat transfer (80-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Difference and functional equations (39-XX)
1 Sequences, series, summability (40-XX)
1 Differential geometry (53-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year