×

zbMATH — the first resource for mathematics

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,568 Publications (since 1971)
References Indexed: 1,050 Publications with 22,608 References.
all top 5

Latest Issues

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)
43, No. 7 (2007)
43, No. 6 (2007)
43, No. 5 (2006)
43, No. 4 (2006)
43, No. 3 (2006)
...and 184 more Volumes
all top 5

Authors

25 Rozenberg, Grzegorz
17 Engelfriet, Joost
13 Vogler, Walter
11 Hesselink, Wim H.
10 Coffman, Edward Grady jun.
10 Culik, Karel II
9 Ehrenfeucht, Andrzej
9 Gelenbe, Sami Erol
9 Meduna, Alexander
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
6 Back, Ralph-Johan
6 Baier, Christel
6 Bozapalidis, Symeon
6 Devroye, Luc P. J. A.
6 Epstein, Leah
6 Fan, Chen-Ming
6 Kouvatsos, Demetres D.
6 Manna, Zohar
6 Maurer, Hermann A.
6 Paul, Wolfgang Jakob
6 Pnueli, Amir
6 Raskin, Jean-François
5 Boasson, Luc
5 Bruno, John L.
5 de Luca, Aldo
5 Ehrich, Hans-Dieter
5 Gries, David
5 Hehner, Eric C. R.
5 Hennessy, Matthew C. B.
5 Honkala, Juha
5 Huang, Cheng-Chih
5 Latteux, Michel
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 Dassow, Jürgen
4 De Francesco, Nicoletta
4 De Nicola, Rocco
4 Degano, Pierpaolo
4 Dolev, Shlomi
4 Elmasry, Amr
4 Esparza, Javier
4 Fernau, Henning
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 Kutrib, Martin
4 Langmaack, Hans
4 Larsen, Kim Guldstrand
4 Lauer, Peter Ernst
4 Lengauer, Christian
4 Lüttgen, Gerald
4 Majster-Cederbaum, Mila E.
4 Majumdar, Rupak
4 Malcher, Andreas
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
4 van Glabbeek, Robert Jan
4 Varricchio, Stefano
...and 1,924 more Authors

Publications by Year

Citations contained in zbMATH Open

1,128 Publications have been cited 8,150 times in 6,532 Documents Cited by Year
Organization and maintenance of large ordered indexes. Zbl 0226.68008
Bayer, R.; McCreight, E.
107
1971
The method of forced enumeration for nondeterministic automata. Zbl 0638.68046
Szelepcsényi, Róbert
104
1988
Proof of correctness of data representations. Zbl 0244.68009
Hoare, C. A. R.
98
1972
Optimal scheduling for two-processor systems. Zbl 0248.68023
Coffman, E. G. jun.; Graham, R. L.
96
1971
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
92
1976
On fast multiplication of polynomials over arbitrary algebras. Zbl 0766.68055
Cantor, David G.; Kaltofen, Erich
91
1991
The complexity of combinatorial problems with succinct input representation. Zbl 0621.68032
Wagner, Klaus W.
85
1986
Quad trees: A data structure for retrieval by composite keys. Zbl 0278.68030
Finkel, Raphael Ari; Bentley, Jon Louis
84
1974
Single machine flow-time scheduling with a single breakdown. Zbl 0657.68033
Adiri, Igal; Bruno, John; Frostig, Esther; Rinnooy Kan, A. H. G.
77
1989
Optimum binary search trees. Zbl 0233.68010
Knuth, D. E.
66
1971
A fast algorithm for Steiner trees. Zbl 0445.68051
Kou, L.; Markowsky, G.; Berman, L.
64
1981
A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072
Sangiorgi, Davide
61
1996
Subtyping for session types in the pi calculus. Zbl 1079.68065
Gay, Simon; Hole, Malcolm
60
2005
Single machine flow-time scheduling with scheduled maintenance. Zbl 0738.68043
Lee, Chung-Yee; Liman, Surya Danusaputro
59
1992
Specification-oriented semantics for communicating processes. Zbl 0569.68019
Olderog, E.-R.; Hoare, Tony
55
1986
Symmetric binary B-trees: Data structure and maintenance algorithms. Zbl 0233.68009
Bayer, Rudolf
54
1972
NP-hard problems in hierarchical-tree clustering. Zbl 0644.68055
Křivánek, Mirko; Morávek, Jaroslav
54
1986
A bi-criterion single-machine scheduling problem with learning considerations. Zbl 1137.90500
Lee, Wen-Chiung; Wu, Chin-Chia; Sung, Hua-Jung
50
2004
Branching processes in the analysis of the heights of trees. Zbl 0643.60065
Devroye, L.
47
1987
Branching processes of Petri nets. Zbl 0743.68106
Engelfriet, Joost
46
1991
Fast computation of continued fraction expansions. (Schnelle Berechnung von Kettenbruchentwicklungen.) Zbl 0223.68008
Schönhage, A.
45
1971
Machine scheduling with availability constraints. Zbl 0917.68018
Sanlaville, Eric; Schmidt, Günter
45
1998
On real-time cellular automata and trellis automata. Zbl 0534.68039
Choffrut, C.; Čulik, Karel II
45
1984
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
44
1983
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.
44
1977
Extensional equivalences for transition systems. Zbl 0636.68069
De Nicola, Rocco
42
1987
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula
42
2001
On non-determinacy in simple computing devices. Zbl 0229.68014
Hartmanis, J.
41
1972
Plain CHOCS. A second generation calculus for higher order processes. Zbl 0790.68069
Thomsen, Bent
41
1993
Affine relationships among variables of a program. Zbl 0358.68025
Karr, Michael
38
1976
An efficiency preorder for processes. Zbl 0790.68039
Arun-Kumar, S.; Hennessy, M.
36
1992
On random 2-3 trees. Zbl 0369.05024
Yao, Andrew Chi-Chih
36
1978
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
35
1978
Contextual nets. Zbl 0835.68084
Montanari, Ugo; Rossi, Francesca
34
1995
An axiomatic definition of the programming language Pascal. Zbl 0261.68040
Hoare, C. A. R.; Wirth, N.
33
1974
A new data structure for representing sorted lists. Zbl 0481.68061
Huddleston, Scott; Mehlhorn, Kurt
33
1982
Ramsey numbers and an approximation algorithm for the vertex cover problem. Zbl 0558.05044
Monien, Burkhard; Speckenmeyer, Ewald
33
1985
EOL forms. Zbl 0348.68046
Maurer, H. A.; Salomaa, A.; Wood, D.
32
1977
Efficient algorithms for finding maximum matchings in convex bipartite graphs and related problems. Zbl 0445.68052
Lipski, W. jun.; Preparata, F. P.
32
1981
Partial abstract types. Zbl 0494.68020
Broy, Manfred; Wirsing, Martin
32
1982
Petri net algorithms in the theory of matrix grammars. Zbl 0834.68064
Hauschildt, Dirk; Jantzen, Matthias
32
1994
A logic covering undefinedness in program proofs. Zbl 0534.68024
Barringer, H.; Cheng, J. H.; Jones, C. B.
32
1984
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
Partial (set) 2-structures. II: State spaces of concurrent systems. Zbl 0696.68083
Ehrenfeucht, A.; Rozenberg, G.
31
1990
A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061
Degano, Pierpaolo; Di Nicola, Rocco; Montanari, Ugo
31
1988
Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046
Esparza, Javier
30
1997
Tableau-based model checking in the propositional mu-calculus. Zbl 0676.03033
Cleaveland, Rance
30
1990
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide
30
1998
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J.
30
1978
Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004
Sannella, Donald; Tarlecki, Andrzej
30
1988
Nearly optimal binary search trees. Zbl 0333.68028
Mehlhorn, Kurt
29
1975
Bin stretching revisited. Zbl 1034.68039
Epstein, Leah
28
2003
Concurrent bisimulations in Petri nets. Zbl 0718.68034
Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia
28
1991
Finite complete rewriting systems and the complexity of word problem. Zbl 0535.68019
Bauer, G.; Otto, F.
27
1984
Partial (set) 2-structures. I: Basic notions and the representation problems. Zbl 0696.68082
Ehrenfeucht, A.; Rozenberg, G.
26
1990
The network complexity and the Turing machine complexity of finite functions. Zbl 0338.02019
Schnorr, C. P.
26
1976
Persistence of vector replacement systems is decidable. Zbl 0454.68048
Mayr, Ernst
25
1981
Canonical prefixes of Petri net unfoldings. Zbl 1072.68072
Khomenko, Victor; Koutny, Maciej; Vogler, Walter
25
2003
Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024
Queille, J. P.; Sifakis, J.
24
1983
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 valuedness of finite transducers. Zbl 0672.68027
Weber, Andreas
24
1990
The programming language Pascal. Zbl 0205.18603
Wirth, N.
24
1971
Top-down syntax nalysis. Zbl 0233.68022
Knuth, Donald E.
23
1971
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
Timing and causality in process algebra. Zbl 0858.68036
Aceto, Luca; Murphy, David
23
1996
The analysis of Quicksort programs. Zbl 0325.68016
Sedgewick, Robert
23
1977
Monotone data flow analysis frameworks. Zbl 0375.68020
Kam, John B.; Ullman, Jeffrey D.
23
1977
The average number of registers needed to evaluate a binary tree optimally. Zbl 0395.68059
Kemp, R.
23
1979
On sufficient-completeness and related properties of term rewriting systems. Zbl 0594.68035
Kapur, Deepak; Narendran, Paliath; Zhang, Hantao
23
1987
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David
22
1973
On sentential forms of context-free grammars. Zbl 0264.68029
Salomaa, A.
22
1973
A longest common subsequence algorithm suitable for similar text strings. Zbl 0493.68041
Nakatsu, Narao; Kambayashi, Yahiko; Yajima, Shuzo
22
1982
On the performance evaluation of extendible hashing and trie searching. Zbl 0515.68048
Flajolet, Philippe
22
1983
Networks of evolutionary processors. Zbl 1060.68046
Castellanos, Juan; Martín-Vide, Carlos; Mitrana, Victor; Sempere, José M.
22
2003
Applications of the theory of records in the study of random trees. Zbl 0656.68065
Devroye, Luc
22
1988
Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. Zbl 0548.68044
Mehlhorn, Kurt; Vishkin, Uzi
22
1984
Memory requirements for silent stabilization. Zbl 0933.68156
Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco
21
1999
Endliche Automaten und Zufallsfolgen. Zbl 0238.68017
Schnorr, C. P.; Stimm, H.
21
1972
On alternation. Zbl 0437.68025
Paul, Wolfgang J.; Prauß, Ernst J.; Reischuk, Rüdiger
21
1980
Approximate analysis of exponential queueing systems with blocking. Zbl 0442.60091
Boxma, Onno J.; Konheim, Alan G.
21
1981
Systolic automata for VLSI on balanced trees. Zbl 0493.68054
Culik, Karel II; Gruska, J.; Salomaa, A.
21
1983
Development systems with locally catenative formulas. Zbl 0304.68076
Rozenberg, G.; Lindenmayer, A.
21
1973
Edge-disjoint spanning trees and depth-first search. Zbl 0307.05104
Tarjan, Robert Endre
21
1976
Amounts of nondeterminism in finite automata. Zbl 0423.68016
Kintala, Chandra M. R.; Wotschke, Detlef
21
1980
Efficient worst-case data structures for range searching. Zbl 0423.68029
Bentley, Jon Louis; Maurer, H. A.
21
1980
Hex ist Pspace-vollständig. (Hex is Pspace-complete). Zbl 0431.90103
Reisch, Stefan
21
1981
A calculus of refinements for program derivations. Zbl 0658.68018
Back, R. J. R.
21
1988
Membrane systems with promoters/inhibitors. Zbl 1034.68038
Bottoni, Paolo; Martín-Vide, Carlos; Păun, Gheorghe; Rozenberg, Grzegorz
20
2002
Trading polarizations for labels in P systems with active membranes. Zbl 1101.68028
Alhazov, Artiom; Pan, Linqiang; Păun, Gheorghe
20
2004
Data refinement by calculation. Zbl 0699.68029
Morgan, Carroll; Gardiner, P. H. B.
20
1990
\(M/M/1\) retrial queue with working vacations. Zbl 1185.90046
Do, Tien Van
20
2010
Concurrency of operations on B-trees. Zbl 0343.68022
Bayer, R.; Schkolnick, M.
19
1977
Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077
Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej
19
1992
Bin packing: Maximizing the number of pieces packed. Zbl 0421.68065
Coffman, E.; Leung, J. Y.-T.; Ting, D. W.
19
1978
On counting and approximation. Zbl 0663.03025
Köbler, Johannes; Schöning, Uwe; Toran, Jacobo
19
1989
Short proofs for tricky formulas. Zbl 0552.03009
Krishnamurthy, Balakrishnan
19
1985
Program proving: KJumps and functions. Zbl 0229.68003
Clint, M.; Hoare, C. A. R.
18
1971
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
18
2014
Static versus dynamic reversibility in CCS. Zbl 07340917
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
1
2021
Aggregation-based minimization of finite state automata. Zbl 07362509
Björklund, Johanna; Cleophas, Loek
1
2021
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
Synthesis from hyperproperties. Zbl 1435.68194
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander
1
2020
Synthesizing optimally resilient controllers. Zbl 1435.68066
Neider, Daniel; Weinert, Alexander; Zimmermann, Martin
1
2020
Reversible sessions with flexible choices. Zbl 1462.68121
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
2
2019
On the hardness of analyzing probabilistic programs. Zbl 1417.68054
Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph
2
2019
Parikh matrices for powers of words. Zbl 1423.68364
Atanasiu, Adrian; Poovanandran, Ghajendran; Teh, Wen Chean
1
2019
On path-controlled insertion-deletion systems. Zbl 1410.68188
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi
1
2019
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
A generalised theory of interface automata, component compatibility and error. Zbl 1421.68093
Fendrich, Sascha; Lüttgen, Gerald
1
2019
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
7
2018
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
7
2018
Algorithms for monitoring real-time properties. Zbl 1395.68185
Basin, David; Klaedtke, Felix; Zălinescu, Eugen
5
2018
Sparsification and subexponential approximation. Zbl 1408.68068
Bonnet, Édouard; Paschos, Vangelis Th.
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
1
2018
Fast deterministic parsers for transition networks. Zbl 1400.68093
Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo
1
2018
Bounded choice-free Petri net synthesis: algorithmic issues. Zbl 1400.68131
Best, Eike; Devillers, Raymond; Schlachter, Uli
1
2018
Looking at mean payoff through foggy windows. Zbl 1408.91045
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François
1
2018
Parameterized linear temporal logics meet costs: still not costlier than LTL. Zbl 1390.68445
Zimmermann, Martin
1
2018
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
A theory of formal synthesis via inductive learning. Zbl 1380.68124
Jha, Susmit; Seshia, Sanjit A.
7
2017
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
5
2017
Verification of population protocols. Zbl 1364.68081
Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak
5
2017
Efficient and secure attribute-based signature for monotone predicates. Zbl 1377.94050
Gu, Ke; Jia, Weijia; Wang, Guojun; Wen, Sheng
4
2017
Precise parameter synthesis for stochastic biochemical systems. Zbl 1373.92038
Češka, Milan; Dannenberg, Frits; Paoletti, Nicola; Kwiatkowska, Marta; Brim, Luboš
4
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
4
2017
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko
3
2017
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
3
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
3
2017
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
On the relations between Markov chain lumpability and reversibility. Zbl 1398.60085
Marin, A.; Rossi, S.
2
2017
Safraless LTL synthesis considering maximal realizability. Zbl 1380.68285
Tomita, Takashi; Ueno, Atsushi; Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki
2
2017
Efficiently solving the bin packing problem through bio-inspired mobility. Zbl 1371.68079
Aman, Bogdan; Ciobanu, Gabriel
2
2017
Characteristic bisimulation for higher-order session processes. Zbl 1380.68297
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko
2
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
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
10
2016
A tool for deciding the satisfiability of continuous-time metric temporal logic. Zbl 1336.68230
Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi
5
2016
Concurrent abstract state machines. Zbl 1352.68176
Börger, Egon; Schewe, Klaus-Dieter
4
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
4
2016
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz
4
2016
Planning and execution with flexible timelines: a formal account. Zbl 1351.90092
Cialdea Mayer, Marta; Orlandini, Andrea; Umbrico, Alessandro
3
2016
Dynamic controllability via timed game automata. Zbl 1350.68251
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco
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
On reversible Turing machines and their function universality. Zbl 1348.68051
Axelsen, Holger Bock; Glück, Robert
2
2016
Extracting unsatisfiable cores for LTL via temporal resolution. Zbl 1338.68170
Schuppan, Viktor
2
2016
State complexity of deletion and bipolar deletion. Zbl 1335.68121
Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai
2
2016
Metric propositional neighborhood logic with an equivalence relation. Zbl 1350.68185
Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
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
Characterizations of \(k\)-comma codes and \(k\)-comma intercodes. Zbl 1361.94034
Cao, Chunhua; Liu, Haiyan; Yang, Di
1
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
Guiding Craig interpolation with domain-specific abstractions. Zbl 1344.68139
Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle
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
6
2015
State space axioms for T-systems. Zbl 1317.68129
Best, Eike; Devillers, Raymond
5
2015
Deterministic ordered restarting automata for picture languages. Zbl 1330.68174
Otto, Friedrich; Mráz, František
5
2015
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2015
Richer interface automata with optimistic and pessimistic compatibility. Zbl 1325.68161
Lüttgen, Gerald; Vogler, Walter; Fendrich, Sascha
4
2015
Compositional verification of asynchronous concurrent systems using CADP. Zbl 1410.68250
Garavel, Hubert; Lang, Frédéric; Mateescu, Radu
3
2015
Revisiting causality, coalgebraically. Zbl 1307.68053
Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo
2
2015
Synthesis and reengineering of persistent systems. Zbl 1310.68148
Best, Eike; Devillers, Raymond
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
Contextual hyperedge replacement. Zbl 1329.68153
Drewes, Frank; Hoffmann, Berthold
2
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.
2
2015
Modal algebra and Petri nets. Zbl 1410.68249
Dang, Han-Hing; Möller, Bernhard
1
2015
On constructibility and unconstructibility of LTS operators from other LTS operators. Zbl 1328.68140
Valmari, Antti
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
van Glabbeek, Rob J.; Goltz, Ursula; Olderog, Ernst-Rüdiger
1
2015
Some properties of involution binary relations. Zbl 1329.68174
Fan, Chen-Ming; Wang, Jen-Tse; Huang, Cheng-Chih
1
2015
Parametrized invariance for infinite state processes. Zbl 1329.68171
Sánchez, Alejandro; Sánchez, César
1
2015
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
18
2014
Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208
Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
11
2014
Parameterized complexity of three edge contraction problems with degree constraints. Zbl 1360.68489
Belmonte, Rémy; Golovach, Petr A.; van ’t Hof, Pim; Paulusma, Daniël
7
2014
General quantitative specification theories with modal transition systems. Zbl 1360.68585
Fahrenberg, Uli; Legay, Axel
4
2014
Visibly rational expressions. Zbl 1354.68148
Bozzelli, Laura; Sánchez, César
3
2014
Trace- and failure-based semantics for responsiveness. Zbl 1304.68033
Vogler, Walter; Stahl, Christian; Müller, Richard
2
2014
Head and state hierarchies for unary multi-head finite automata. Zbl 1304.68110
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias
2
2014
Forward and backward application of symbolic tree transducers. Zbl 1307.68047
Fülöp, Zoltán; Vogler, Heiko
1
2014
Some kinds of primitive and non-primitive words. Zbl 1360.68656
Chunhua, Cao; Shuang, Yang; Di, Yang
1
2014
Formal communication elimination and sequentialization equivalence proofs for distributed system models. Zbl 1360.68471
Bertran, Miquel; Babot, Francesc; Climent, August
1
2014
Exploiting a hypergraph model for finding Golomb rulers. Zbl 1360.68520
Sorge, Manuel; Moser, Hannes; Niedermeier, Rolf; Weller, Mathias
1
2014
Termination of nondeterministic quantum programs. Zbl 1359.68092
Li, Yangjia; Yu, Nengkun; Ying, Mingsheng
1
2014
Distributed synthesis for regular and contextfree specifications. Zbl 1360.68587
Fridman, Wladimir; Puchala, Bernd
1
2014
Networks of evolutionary processors: the power of subregular filters. Zbl 1272.68128
Dassow, Jürgen; Manea, Florin; Truthe, Bianca
5
2013
Avoiding cross-bifix-free binary words. Zbl 1310.68171
Bilotta, Stefano; Grazzini, Elisabetta; Pergola, Elisa; Pinzani, Renzo
4
2013
Conjunctive grammars and alternating pushdown automata. Zbl 1358.68155
Aizikowitz, Tamar; Kaminski, Michael
3
2013
Online multi-coloring on the path revisited. Zbl 1286.68509
Christ, Marie G.; Favrholdt, Lene M.; Larsen, Kim S.
2
2013
Compositional type checking of delta-oriented software product lines. Zbl 1448.68212
Bettini, Lorenzo; Damiani, Ferruccio; Schaefer, Ina
2
2013
Step semantics of Boolean nets. Zbl 1272.68307
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta; Rozenberg, Grzegorz
2
2013
New proof for the undecidability of the circular PCP. Zbl 1359.03033
Halava, Vesa; Harju, Tero
1
2013
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. Zbl 1312.68153
Hesselink, Wim H.
1
2013
On the hierarchy of distribution-sensitive properties for data structures. Zbl 1270.68096
Elmasry, Amr; Farzan, Arash; Iacono, John
1
2013
Algebras for iteration and infinite computations. Zbl 1279.68078
Guttmann, Walter
7
2012
...and 1028 more Documents
all top 5

Cited by 7,308 Authors

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

Cited in 361 Journals

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

Cited in 51 Fields

5,517 Computer science (68-XX)
792 Operations research, mathematical programming (90-XX)
673 Mathematical logic and foundations (03-XX)
473 Combinatorics (05-XX)
246 Probability theory and stochastic processes (60-XX)
170 Information and communication theory, circuits (94-XX)
134 Numerical analysis (65-XX)
130 Number theory (11-XX)
116 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
94 Group theory and generalizations (20-XX)
72 Systems theory; control (93-XX)
61 Category theory; homological algebra (18-XX)
61 Biology and other natural sciences (92-XX)
45 Order, lattices, ordered algebraic structures (06-XX)
43 Statistics (62-XX)
39 Field theory and polynomials (12-XX)
31 General algebraic systems (08-XX)
31 Commutative algebra (13-XX)
26 Linear and multilinear algebra; matrix theory (15-XX)
25 Dynamical systems and ergodic theory (37-XX)
24 Convex and discrete geometry (52-XX)
20 History and biography (01-XX)
19 Quantum theory (81-XX)
16 General topology (54-XX)
14 Associative rings and algebras (16-XX)
13 Algebraic geometry (14-XX)
12 General and overarching topics; collections (00-XX)
12 Measure and integration (28-XX)
11 Approximations and expansions (41-XX)
9 Fluid mechanics (76-XX)
7 Partial differential equations (35-XX)
7 Mechanics of deformable solids (74-XX)
6 Geometry (51-XX)
4 Special functions (33-XX)
4 Calculus of variations and optimal control; optimization (49-XX)
4 Statistical mechanics, structure of matter (82-XX)
3 Real functions (26-XX)
3 Functions of a complex variable (30-XX)
3 Ordinary differential equations (34-XX)
3 Manifolds and cell complexes (57-XX)
2 Harmonic analysis on Euclidean spaces (42-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 Classical thermodynamics, heat transfer (80-XX)
1 Mathematics education (97-XX)

Citations by Year