×

Acta Informatica

Short Title: Acta Inf.
Publisher: Springer, Berlin/Heidelberg
ISSN: 0001-5903; 1432-0525/e
Online: http://link.springer.com/journal/volumesAndIssues/236
Comments: Indexed cover-to-cover
Documents Indexed: 1,595 Publications (since 1971)
References Indexed: 1,074 Publications with 23,430 References.
all top 5

Latest Issues

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)
44, No. 6 (2007)
44, No. 5 (2007)
44, No. 3-4 (2007)
44, No. 2 (2007)
44, No. 1 (2007)
43, No. 8 (2007)
...and 189 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 Mitrana, Victor
8 Otto, Friedrich
8 Păun, Gheorghe
7 Bergstra, Jan A.
7 Corradini, Flavio
7 Devillers, Raymond
7 Hoare, C. A. R. Tony
7 Koutny, Maciej
7 Larsen, Kim Skak
7 Mahmoud, Hosam M.
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 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 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 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 Woeginger, Gerhard Johannes
4 Aceto, Luca
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 Dolev, Shlomi
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 Majumdar, Rupak
4 Middelburg, Cornelis A.
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
4 Sánchez, César
4 Santone, Antonella
4 Silberschatz, Abraham
...and 1,977 more Authors

Publications by Year

Citations contained in zbMATH Open

1,162 Publications have been cited 8,771 times in 7,029 Documents Cited by Year
The method of forced enumeration for nondeterministic automata. Zbl 0638.68046
Szelepcsényi, Róbert
112
1988
Organization and maintenance of large ordered indexes. Zbl 0226.68008
Bayer, R.; McCreight, E.
109
1971
Proof of correctness of data representations. Zbl 0244.68009
Hoare, C. A. R.
101
1972
On fast multiplication of polynomials over arbitrary algebras. Zbl 0766.68055
Cantor, David G.; Kaltofen, Erich
100
1991
Optimal scheduling for two-processor systems. Zbl 0248.68023
Coffman, E. G. jun.; Graham, R. L.
97
1971
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
97
1976
Quad trees: A data structure for retrieval by composite keys. Zbl 0278.68030
Finkel, Raphael Ari; Bentley, Jon Louis
94
1974
The complexity of combinatorial problems with succinct input representation. Zbl 0621.68032
Wagner, Klaus W.
90
1986
Single machine flow-time scheduling with a single breakdown. Zbl 0657.68033
Adiri, Igal; Bruno, John; Frostig, Esther; Rinnooy Kan, A. H. G.
81
1989
Subtyping for session types in the pi calculus. Zbl 1079.68065
Gay, Simon; Hole, Malcolm
75
2005
Optimum binary search trees. Zbl 0233.68010
Knuth, D. E.
69
1971
A fast algorithm for Steiner trees. Zbl 0445.68051
Kou, L.; Markowsky, G.; Berman, L.
66
1981
A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072
Sangiorgi, Davide
65
1996
Single machine flow-time scheduling with scheduled maintenance. Zbl 0738.68043
Lee, Chung-Yee; Liman, Surya Danusaputro
61
1992
NP-hard problems in hierarchical-tree clustering. Zbl 0644.68055
Křivánek, Mirko; Morávek, Jaroslav
58
1986
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
57
1986
Symmetric binary B-trees: Data structure and maintenance algorithms. Zbl 0233.68009
Bayer, Rudolf
54
1972
A bi-criterion single-machine scheduling problem with learning considerations. Zbl 1137.90500
Lee, Wen-Chiung; Wu, Chin-Chia; Sung, Hua-Jung
53
2004
Branching processes of Petri nets. Zbl 0743.68106
Engelfriet, Joost
50
1991
On real-time cellular automata and trellis automata. Zbl 0534.68039
Choffrut, C.; Čulik, Karel II
49
1984
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula
49
2001
Machine scheduling with availability constraints. Zbl 0917.68018
Sanlaville, Eric; Schmidt, Günter
48
1998
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.
48
1977
Branching processes in the analysis of the heights of trees. Zbl 0643.60065
Devroye, L.
47
1987
Fast computation of continued fraction expansions. (Schnelle Berechnung von Kettenbruchentwicklungen.) Zbl 0223.68008
Schönhage, A.
47
1971
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
46
1983
Plain CHOCS. A second generation calculus for higher order processes. Zbl 0790.68069
Thomsen, Bent
44
1993
Extensional equivalences for transition systems. Zbl 0636.68069
De Nicola, Rocco
42
1987
Affine relationships among variables of a program. Zbl 0358.68025
Karr, Michael
42
1976
On non-determinacy in simple computing devices. Zbl 0229.68014
Hartmanis, J.
41
1972
Contextual nets. Zbl 0835.68084
Montanari, Ugo; Rossi, Francesca
40
1995
An efficiency preorder for processes. Zbl 0790.68039
Arun-Kumar, S.; Hennessy, M.
38
1992
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
38
1978
On random 2-3 trees. Zbl 0369.05024
Yao, Andrew Chi-Chih
36
1978
Petri net algorithms in the theory of matrix grammars. Zbl 0834.68064
Hauschildt, Dirk; Jantzen, Matthias
35
1994
Partial (set) 2-structures. II: State spaces of concurrent systems. Zbl 0696.68083
Ehrenfeucht, A.; Rozenberg, G.
35
1990
A new data structure for representing sorted lists. Zbl 0481.68061
Huddleston, Scott; Mehlhorn, Kurt
35
1982
Ramsey numbers and an approximation algorithm for the vertex cover problem. Zbl 0558.05044
Monien, Burkhard; Speckenmeyer, Ewald
34
1985
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
34
1982
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo
33
1988
A logic covering undefinedness in program proofs. Zbl 0534.68024
Barringer, H.; Cheng, J. H.; Jones, C. B.
33
1984
An axiomatic definition of the programming language Pascal. Zbl 0261.68040
Hoare, C. A. R.; Wirth, N.
33
1974
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
32
1988
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide
32
1998
EOL forms. Zbl 0348.68046
Maurer, H. A.; Salomaa, A.; Wood, D.
32
1977
Concurrent bisimulations in Petri nets. Zbl 0718.68034
Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia
32
1991
Efficient algorithms for finding maximum matchings in convex bipartite graphs and related problems. Zbl 0445.68052
Lipski, W. jun.; Preparata, F. P.
32
1981
A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039
Duan, Zhenhua; Tian, Cong; Zhang, Li
32
2008
Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037
Boasson, L.; Nivat, M.
31
1973
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J.
31
1978
Nearly optimal binary search trees. Zbl 0333.68028
Mehlhorn, Kurt
31
1975
Tableau-based model checking in the propositional mu-calculus. Zbl 0676.03033
Cleaveland, Rance
30
1990
Edge-disjoint spanning trees and depth-first search. Zbl 0307.05104
Tarjan, Robert Endre
30
1976
Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046
Esparza, Javier
30
1997
Bin stretching revisited. Zbl 1034.68039
Epstein, Leah
29
2003
Partial (set) 2-structures. I: Basic notions and the representation problems. Zbl 0696.68082
Ehrenfeucht, A.; Rozenberg, G.
29
1990
A longest common subsequence algorithm suitable for similar text strings. Zbl 0493.68041
Nakatsu, Narao; Kambayashi, Yahiko; Yajima, Shuzo
28
1982
Finite complete rewriting systems and the complexity of word problem. Zbl 0535.68019
Bauer, G.; Otto, F.
27
1984
Hex ist Pspace-vollständig. (Hex is Pspace-complete). Zbl 0431.90103
Reisch, Stefan
27
1981
On the valuedness of finite transducers. Zbl 0672.68027
Weber, Andreas
26
1990
The programming language Pascal. Zbl 0205.18603
Wirth, N.
26
1971
The network complexity and the Turing machine complexity of finite functions. Zbl 0338.02019
Schnorr, C. P.
26
1976
On sufficient-completeness and related properties of term rewriting systems. Zbl 0594.68035
Kapur, Deepak; Narendran, Paliath; Zhang, Hantao
25
1987
Applications of the theory of records in the study of random trees. Zbl 0656.68065
Devroye, Luc
25
1988
Canonical prefixes of Petri net unfoldings. Zbl 1072.68072
Khomenko, Victor; Koutny, Maciej; Vogler, Walter
25
2003
Top-down syntax nalysis. Zbl 0233.68022
Knuth, Donald E.
25
1971
Endliche Automaten und Zufallsfolgen. Zbl 0238.68017
Schnorr, C. P.; Stimm, H.
25
1972
Persistence of vector replacement systems is decidable. Zbl 0454.68048
Mayr, Ernst
25
1981
Monotone data flow analysis frameworks. Zbl 0375.68020
Kam, John B.; Ullman, Jeffrey D.
25
1977
The analysis of Quicksort programs. Zbl 0325.68016
Sedgewick, Robert
25
1977
Lower bounds for on-line two-dimensional packing algorithms. Zbl 0493.68042
Brown, Donna J.; Baker, Brenda S.; Katseff, Howard P.
24
1982
Networks of evolutionary processors. Zbl 1060.68046
Castellanos, Juan; Martín-Vide, Carlos; Mitrana, Victor; Sempere, José M.
24
2003
Memory requirements for silent stabilization. Zbl 0933.68156
Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco
24
1999
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J.
24
1983
The average number of registers needed to evaluate a binary tree optimally. Zbl 0395.68059
Kemp, R.
24
1979
Amounts of nondeterminism in finite automata. Zbl 0423.68016
Kintala, Chandra M. R.; Wotschke, Detlef
24
1980
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
24
2014
Short proofs for tricky formulas. Zbl 0552.03009
Krishnamurthy, Balakrishnan
23
1985
Timing and causality in process algebra. Zbl 0858.68036
Aceto, Luca; Murphy, David
23
1996
Trading polarizations for labels in P systems with active membranes. Zbl 1101.68028
Alhazov, Artiom; Pan, Linqiang; Păun, Gheorghe
23
2004
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David
23
1973
Berechnung und Programm. I. Zbl 0252.68018
Strassen, V.
23
1972
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
Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. Zbl 0548.68044
Mehlhorn, Kurt; Vishkin, Uzi
22
1984
Systolic automata for VLSI on balanced trees. Zbl 0493.68054
Culik, Karel II; Gruska, J.; Salomaa, A.
22
1983
Membrane systems with promoters/inhibitors. Zbl 1034.68038
Bottoni, Paolo; Martín-Vide, Carlos; Păun, Gheorghe; Rozenberg, Grzegorz
22
2002
\(M/M/1\) retrial queue with working vacations. Zbl 1185.90046
Do, Tien Van
22
2010
On the performance evaluation of extendible hashing and trie searching. Zbl 0515.68048
Flajolet, Philippe
22
1983
On alternation. Zbl 0437.68025
Paul, Wolfgang J.; Prauß, Ernst J.; Reischuk, Rüdiger
22
1980
Development systems with locally catenative formulas. Zbl 0304.68076
Rozenberg, G.; Lindenmayer, A.
22
1973
The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0545.68051
Valk, Rudiger; Jantzen, Matthias
21
1985
A calculus of refinements for program derivations. Zbl 0658.68018
Back, R. J. R.
21
1988
Approximate analysis of exponential queueing systems with blocking. Zbl 0442.60091
Boxma, Onno J.; Konheim, Alan G.
21
1981
Efficient worst-case data structures for range searching. Zbl 0423.68029
Bentley, Jon Louis; Maurer, H. A.
21
1980
Drawing plane graphs nicely. Zbl 0545.68057
Chiba, Norishige; Onoguchi, Kazunori; Nishizeki, Takao
20
1985
High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073
Engelfriet, Joost; Vogler, Heiko
20
1988
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
20
1992
Data refinement by calculation. Zbl 0699.68029
Morgan, Carroll; Gardiner, P. H. B.
20
1990
Bin packing: Maximizing the number of pieces packed. Zbl 0421.68065
Coffman, E.; Leung, J. Y.-T.; Ting, D. W.
20
1978
An automated system repair framework with signal temporal logic. Zbl 07528109
Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru
1
2022
Static versus dynamic reversibility in CCS. Zbl 1475.68126
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
6
2021
Team bisimilarity, and its associated modal logic, for BPP nets. Zbl 07404758
Gorrieri, Roberto
3
2021
On deterministic sensing \(5'\rightarrow 3'\) Watson-Crick finite automata: a full hierarchy in 2detLIN. Zbl 1487.68152
Nagy, Benedek; Parchami, Shaghayegh
2
2021
Complement for two-way alternating automata. Zbl 07404756
Geffert, Viliam; Kapoutsis, Christos A.; Zakzok, Mohammad
1
2021
Aggregation-based minimization of finite state automata. Zbl 1490.68125
Björklund, Johanna; Cleophas, Loek
1
2021
Operational complexity and right linear grammars. Zbl 07374545
Dassow, Jürgen
1
2021
The descriptional power of queue automata of constant length. Zbl 07374548
Jakobi, Sebastian; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice
1
2021
On the size of partial derivatives and the word membership problem. Zbl 07374549
Konstantinidis, Stavros; Machiavelo, António; Moreira, Nelma; Reis, Rogério
1
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
1
2021
Off-the-shelf automated analysis of liveness properties for just paths. Zbl 1443.68109
Bouwman, Mark; Luttik, Bas; Willemse, Tim
3
2020
Synthesis from hyperproperties. Zbl 1435.68194
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander
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
Coupled similarity: the first 32 years. Zbl 1476.68166
Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin
2
2020
Characteristic invariants in Hennessy-Milner logic. Zbl 1443.68113
Jasper, Marc; Schlüter, Maximilian; Steffen, Bernhard
2
2020
Practical synthesis of reactive systems from LTL specifications via parity games. Zbl 1435.68200
Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon
2
2020
Synthesizing optimally resilient controllers. Zbl 1435.68066
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin
2
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
Performance heuristics for GR(1) synthesis and related algorithms. Zbl 1435.68195
Firman, Elizabeth; Maoz, Shahar; Ringert, Jan Oliver
1
2020
Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk
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
6
2019
Reversible sessions with flexible choices. Zbl 1462.68121
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
5
2019
On path-controlled insertion-deletion systems. Zbl 1410.68188
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
3
2019
A generalised theory of interface automata, component compatibility and error. Zbl 1421.68093
Fendrich, Sascha; Lüttgen, Gerald
2
2019
On the decidability of the existence of polyhedral invariants in transition systems. Zbl 1421.68097
Monniaux, David
2
2019
Parikh matrices for powers of words. Zbl 1423.68364
Atanasiu, Adrian; Poovanandran, Ghajendran; Teh, Wen Chean
2
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
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
Negotiation as concurrency primitive. Zbl 1422.68168
Desel, Jörg; Esparza, Javier; Hoffmann, Philipp
1
2019
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
11
2018
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
10
2018
Bounded choice-free Petri net synthesis: algorithmic issues. Zbl 1400.68131
Best, Eike; Devillers, Raymond; Schlachter, Uli
7
2018
Algorithms for monitoring real-time properties. Zbl 1395.68185
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
6
2018
Sparsification and subexponential approximation. Zbl 1408.68068
Bonnet, Édouard; Paschos, Vangelis Th.
4
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
2
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
Fast deterministic parsers for transition networks. Zbl 1400.68093
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo
1
2018
Looking at mean payoff through foggy windows. Zbl 1408.91045
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
1
2018
Hierarchical information and the synthesis of distributed strategies. Zbl 1408.91004
Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie
1
2018
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
Descending chains and narrowing on template abstract domains. Zbl 1398.68090
Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca
1
2018
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
12
2017
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
11
2017
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
8
2017
A theory of formal synthesis via inductive learning. Zbl 1380.68124
Jha, Susmit; Seshia, Sanjit A.
8
2017
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
7
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
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
6
2017
On the relations between Markov chain lumpability and reversibility. Zbl 1398.60085
Marin, A.; Rossi, S.
5
2017
Efficiently solving the bin packing problem through bio-inspired mobility. Zbl 1371.68079
Aman, Bogdan; Ciobanu, Gabriel
4
2017
Efficient and secure attribute-based signature for monotone predicates. Zbl 1377.94050
Gu, Ke; Jia, Weijia; Wang, Guojun; Wen, Sheng
4
2017
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko
3
2017
Characteristic bisimulation for higher-order session processes. Zbl 1380.68297
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
2
2017
Safraless LTL synthesis considering maximal realizability. Zbl 1380.68285
Tomita, Takashi; Ueno, Atsushi; Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki
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
Disjunctivity and other properties of sets of pseudo-bordered words. Zbl 1371.68222
Kari, Lila; Kulkarni, Manasi S.
1
2017
Reversible Watson-Crick automata. Zbl 1378.68102
Chatterjee, Kingshuk; Ray, Kumar Sankar
1
2017
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
1
2017
Checking interval properties of computations. Zbl 1350.68184
Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
15
2016
Concurrent abstract state machines. Zbl 1352.68176
Börger, Egon; Schewe, Klaus-Dieter
6
2016
Planning and execution with flexible timelines: a formal account. Zbl 1351.90092
Cialdea Mayer, Marta; Orlandini, Andrea; Umbrico, Alessandro
6
2016
Dynamic controllability via timed game automata. Zbl 1350.68251
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
6
2016
A tool for deciding the satisfiability of continuous-time metric temporal logic. Zbl 1336.68230
Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi
6
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
5
2016
Guiding Craig interpolation with domain-specific abstractions. Zbl 1344.68139
Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle
4
2016
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
4
2016
On reversible Turing machines and their function universality. Zbl 1348.68051
Axelsen, Holger Bock; Glück, Robert
3
2016
State complexity of deletion and bipolar deletion. Zbl 1335.68121
Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai
3
2016
Efficient execution of dynamically controllable simple temporal networks with uncertainty. Zbl 1336.68250
Hunsberger, Luke
3
2016
Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. Zbl 1350.68252
Nilsson, Mikael; Kvarnström, Jonas; Doherty, Patrick
2
2016
Extracting unsatisfiable cores for LTL via temporal resolution. Zbl 1338.68170
Schuppan, Viktor
2
2016
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
1
2016
Mining approximate interval-based temporal dependencies. Zbl 1350.68088
Combi, Carlo; Sala, Pietro
1
2016
Metric propositional neighborhood logic with an equivalence relation. Zbl 1350.68185
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
1
2016
Characterizations of \(k\)-comma codes and \(k\)-comma intercodes. Zbl 1361.94034
Cao, Chunhua; Liu, Haiyan; Yang, Di
1
2016
Optimization in temporal qualitative constraint networks. Zbl 1336.68244
Condotta, Jean-François; Kaci, Souhila; Salhi, Yakoub
1
2016
Metric temporal logic revisited. Zbl 1339.03019
Reynolds, Mark
1
2016
CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Zbl 1327.68171
van Glabbeek, Rob J.; Höfner, Peter
12
2015
Compositional verification of asynchronous concurrent systems using CADP. Zbl 1410.68250
Garavel, Hubert; Lang, Frédéric; Mateescu, Radu
7
2015
Deterministic ordered restarting automata for picture languages. Zbl 1330.68174
Otto, Friedrich; Mráz, František
7
2015
Gray code orders for \(q\)-ary words avoiding a given factor. Zbl 1330.68230
Bernini, A.; Bilotta, S.; Pinzani, R.; Sabri, A.; Vajnovszki, V.
5
2015
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2015
State space axioms for T-systems. Zbl 1317.68129
Best, Eike; Devillers, Raymond
5
2015
Richer interface automata with optimistic and pessimistic compatibility. Zbl 1325.68161
Lüttgen, Gerald; Vogler, Walter; Fendrich, Sascha
4
2015
Synthesis and reengineering of persistent systems. Zbl 1310.68148
Best, Eike; Devillers, Raymond
4
2015
Contextual hyperedge replacement. Zbl 1329.68153
Drewes, Frank; Hoffmann, Berthold
3
2015
Revisiting causality, coalgebraically. Zbl 1307.68053
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
Moving from interface theories to assembly theories. Zbl 1309.68047
Hennicker, Rolf; Knapp, Alexander
2
2015
Refinement checking on parametric modal transition systems. Zbl 1309.68130
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří
2
2015
Special issue on “Combining compositionality and concurrency”. II. Zbl 1315.00128
1
2015
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. Zbl 1325.68135
Aguado, Joaquín; Mendler, Michael; von Hanxleden, Reinhard; Fuhrmann, Insa
1
2015
Special issue on “Combining compositionality and concurrency”. I. Zbl 1315.00129
1
2015
Some properties of involution binary relations. Zbl 1329.68174
Fan, Chen-Ming; Wang, Jen-Tse; Huang, Cheng-Chih
1
2015
...and 1062 more Documents
all top 5

Cited by 7,873 Authors

73 Rozenberg, Grzegorz
48 Engelfriet, Joost
45 Wood, Derick
39 Ibarra, Oscar H.
37 Otto, Friedrich
36 Vogler, Walter
34 Montanari, Ugo G.
31 Salomaa, Arto Kustaa
29 Culik, Karel II
29 Kutrib, Martin
28 Hesselink, Wim H.
28 Koutny, Maciej
28 Yoshida, Nobuko
27 Duan, Zhenhua
27 Meduna, Alexander
27 Mitrana, Victor
26 Bergstra, Jan A.
25 Păun, Gheorghe
24 Devroye, Luc P. J. A.
24 Fernau, Henning
23 Ehrenfeucht, Andrzej
23 Hemaspaandra, Lane A.
23 Kleijn, Jetty
22 Maurer, Hermann A.
21 Cheng, Tai-Chiu Edwin
21 Sangiorgi, Davide
21 Tian, Cong
20 Aceto, Luca
20 Epstein, Leah
20 Holzer, Markus
20 Mahmoud, Hosam M.
20 Okhotin, Alexander
19 Baldan, Paolo
19 Best, Eike
19 Salomaa, Kai T.
19 Schost, Éric
19 van der Hoeven, Joris
18 Dassow, Jürgen
18 Devillers, Raymond
18 Geffert, Viliam
18 van Glabbeek, Robert Jan
17 Flajolet, Philippe
17 Gorrieri, Roberto
17 Ingólfsdóttir, Anna
17 Tan, Zhiyi
17 Yen, Hsuchun
16 Corradini, Flavio
16 Fu, Yuxi
16 He, Yong
16 Kari, Lila
16 Montanari, Angelo
16 Tarlecki, Andrzej
16 Vogler, Heiko
15 Bruni, Roberto
15 Elmasry, Amr
15 Hennicker, Rolf
15 Link, Sebastian
15 Mäkinen, Erkki
15 Malcher, Andreas
15 Sannella, Donald T.
14 Alhazov, Artiom
14 Berghammer, Rudolf
14 Bozzelli, Laura
14 Chatterjee, Krishnendu
14 Ciobanu, Gabriel
14 Drewes, Frank
14 Harju, Tero
14 Jiang, Yiwei
14 Larsen, Kim Skak
14 Middelburg, Cornelis A.
14 Olderog, Ernst-Rüdiger
14 Ottmann, Thomas A.
14 Phillips, Iain W.
14 Pnueli, Amir
14 Tarjan, Robert Endre
14 von zur Gathen, Joachim
13 Dezani-Ciancaglini, Mariangiola
13 Hennessy, Matthew C. B.
13 Hoare, C. A. R. Tony
13 Italiano, Giuseppe Francesco
13 Katoen, Joost-Pieter
13 Lee, Chung-Yee
13 Lohrey, Markus
13 Maletti, Andreas
13 Meseguer Guaita, José
13 Pan, Linqiang
13 Peron, Adriano
13 Yu, Sheng
13 Zhang, Nan
12 Back, Ralph-Johan
12 Barbuti, Roberto
12 Boreale, Michele
12 Corradini, Andrea
12 Csuhaj-Varjú, Erzsébet
12 Dósa, György
12 Inoue, Katsushi
12 Larsen, Kim Guldstrand
12 Lecerf, Grégoire
12 Madlener, Klaus E.
12 Majster-Cederbaum, Mila E.
...and 7,773 more Authors
all top 5

Cited in 380 Journals

1,258 Theoretical Computer Science
495 Acta Informatica
379 Information Processing Letters
320 Information and Computation
239 Journal of Computer and System Sciences
147 Formal Aspects of Computing
132 Discrete Applied Mathematics
112 Algorithmica
108 International Journal of Computer Mathematics
103 International Journal of Foundations of Computer Science
95 European Journal of Operational Research
91 Information Sciences
83 Journal of Symbolic Computation
70 Mathematical Systems Theory
68 Theory of Computing Systems
67 Journal of Logical and Algebraic Methods in Programming
65 Distributed Computing
64 Computers & Operations Research
61 MSCS. Mathematical Structures in Computer Science
57 RAIRO. Informatique Théorique et Applications
49 The Journal of Logic and Algebraic Programming
48 BIT
45 Logical Methods in Computer Science
44 Journal of Combinatorial Optimization
41 Formal Methods in System Design
40 RAIRO, Informatique Théorique
39 Queueing Systems
38 Artificial Intelligence
38 Computing
36 Annals of Operations Research
35 Journal of Automated Reasoning
35 RAIRO. Theoretical Informatics and Applications
34 Journal of Scheduling
33 Annals of Mathematics and Artificial Intelligence
32 Computers & Mathematics with Applications
29 Discrete Mathematics
29 Science of Computer Programming
26 Operations Research Letters
26 Random Structures & Algorithms
26 Journal of Functional Programming
25 Mathematics of Computation
25 International Journal of Computer & Information Sciences
24 Journal of Discrete Algorithms
23 Computational Geometry
22 Applied Mathematics and Computation
22 Applied Mathematical Modelling
21 Computational Complexity
21 BIT. Nordisk Tidskrift for Informationsbehandling
20 Annals of Pure and Applied Logic
19 Journal of Complexity
19 Fundamenta Informaticae
17 Kybernetika
17 Journal of Computer Science and Technology
17 Discrete Event Dynamic Systems
17 Natural Computing
16 Cybernetics
16 The Annals of Applied Probability
16 International Journal of Algebra and Computation
16 RAIRO. Theoretical Informatics and Applications
15 Journal of Soviet Mathematics
14 SIAM Journal on Computing
14 International Journal of Parallel Programming
14 Parallel Algorithms and Applications
13 Combinatorics, Probability and Computing
13 Mathematical Problems in Engineering
13 Higher-Order and Symbolic Computation
12 SIAM Journal on Algebraic and Discrete Methods
12 Asia-Pacific Journal of Operational Research
12 Journal of Membrane Computing
11 Fuzzy Sets and Systems
11 Journal of Combinatorial Theory. Series A
11 Applicable Algebra in Engineering, Communication and Computing
11 Cybernetics and Systems Analysis
11 Probability in the Engineering and Informational Sciences
11 RAIRO. Operations Research
11 ACM Transactions on Computational Logic
11 Discrete Optimization
10 Automatica
10 New Generation Computing
10 International Journal of Approximate Reasoning
10 Mathematical and Computer Modelling
10 Linear Algebra and its Applications
10 Pattern Recognition
10 Computer Science Review
9 International Journal of Systems Science
9 Journal of Computational and Applied Mathematics
9 Semigroup Forum
9 Advances in Applied Mathematics
9 The Electronic Journal of Combinatorics
9 Journal of Applied Mathematics and Computing
8 Advances in Applied Probability
8 Programming and Computer Software
8 Mathematical Programming. Series A. Series B
8 Journal of Applied Logic
8 Nonlinear Analysis. Hybrid Systems
7 Journal of Information & Optimization Sciences
7 Journal of Global Optimization
7 ACM Journal of Experimental Algorithmics
6 International Journal of General Systems
6 Journal of Computational Physics
...and 280 more Journals
all top 5

Cited in 53 Fields

5,942 Computer science (68-XX)
820 Operations research, mathematical programming (90-XX)
745 Mathematical logic and foundations (03-XX)
509 Combinatorics (05-XX)
262 Probability theory and stochastic processes (60-XX)
181 Information and communication theory, circuits (94-XX)
141 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
140 Numerical analysis (65-XX)
137 Number theory (11-XX)
96 Group theory and generalizations (20-XX)
78 Systems theory; control (93-XX)
66 Category theory; homological algebra (18-XX)
66 Biology and other natural sciences (92-XX)
54 Order, lattices, ordered algebraic structures (06-XX)
50 Statistics (62-XX)
40 Field theory and polynomials (12-XX)
34 Commutative algebra (13-XX)
32 General algebraic systems (08-XX)
27 Linear and multilinear algebra; matrix theory (15-XX)
27 Quantum theory (81-XX)
26 Dynamical systems and ergodic theory (37-XX)
25 Convex and discrete geometry (52-XX)
20 History and biography (01-XX)
18 General topology (54-XX)
14 General and overarching topics; collections (00-XX)
14 Algebraic geometry (14-XX)
14 Associative rings and algebras (16-XX)
12 Measure and integration (28-XX)
12 Approximations and expansions (41-XX)
11 Fluid mechanics (76-XX)
8 Mechanics of deformable solids (74-XX)
7 Partial differential equations (35-XX)
7 Geometry (51-XX)
6 Statistical mechanics, structure of matter (82-XX)
5 Calculus of variations and optimal control; optimization (49-XX)
4 Special functions (33-XX)
4 Ordinary differential equations (34-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 Operator theory (47-XX)
2 Optics, electromagnetic theory (78-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Sequences, series, summability (40-XX)
1 Functional analysis (46-XX)
1 Differential geometry (53-XX)
1 Mechanics of particles and systems (70-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year