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 all top 5 Fields 1,536 Computer science (68-XX) 132 Mathematical logic and foundations (03-XX) 88 Combinatorics (05-XX) 64 Operations research, mathematical programming (90-XX) 64 Information and communication theory, circuits (94-XX) 40 Probability theory and stochastic processes (60-XX) 29 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 General and overarching topics; collections (00-XX) 19 Group theory and generalizations (20-XX) 14 Number theory (11-XX) 13 Numerical analysis (65-XX) 10 Systems theory; control (93-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 9 Category theory; homological algebra (18-XX) 7 History and biography (01-XX) 7 General algebraic systems (08-XX) 7 Biology and other natural sciences (92-XX) 4 Quantum theory (81-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Convex and discrete geometry (52-XX) 3 Statistics (62-XX) 2 Commutative algebra (13-XX) 2 Geometry (51-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral transforms, operational calculus (44-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications 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 theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072 Sangiorgi, Davide 73 1996 A fast algorithm for Steiner trees. Zbl 0445.68051 Kou, L.; Markowsky, G.; Berman, L. 73 1981 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 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 Affine relationships among variables of a program. Zbl 0358.68025 Karr, Michael 58 1976 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 Contextual nets. Zbl 0835.68084 Montanari, Ugo; Rossi, Francesca 51 1995 Plain CHOCS. A second generation calculus for higher order processes. Zbl 0790.68069 Thomsen, Bent 51 1993 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 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 The algebraic specification of abstract data types. Zbl 0369.68010 Guttag, J. V.; Horning, J. J. 40 1978 Partial (set) 2-structures. I: Basic notions and the representation problems. Zbl 0696.68082 Ehrenfeucht, A.; Rozenberg, G. 39 1990 Partial abstract types. Zbl 0494.68020 Broy, Manfred; Wirsing, Martin 38 1982 On random 2-3 trees. Zbl 0369.05024 Yao, Andrew Chi-Chih 38 1978 Petri net algorithms in the theory of matrix grammars. Zbl 0834.68064 Hauschildt, Dirk; Jantzen, Matthias 37 1994 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103 Boreale, Michele; Sangiorgi, Davide 35 1998 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 Efficient algorithms for finding maximum matchings in convex bipartite graphs and related problems. Zbl 0445.68052 Lipski, W. jun.; Preparata, F. P. 35 1981 A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039 Duan, Zhenhua; Tian, Cong; Zhang, Li 34 2008 A longest common subsequence algorithm suitable for similar text strings. Zbl 0493.68041 Nakatsu, Narao; Kambayashi, Yahiko; Yajima, Shuzo 33 1982 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 On the valuedness of finite transducers. Zbl 0672.68027 Weber, Andreas 32 1990 Finite complete rewriting systems and the complexity of word problem. Zbl 0535.68019 Bauer, G.; Otto, F. 32 1984 Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046 Esparza, Javier 32 1997 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 Canonical prefixes of Petri net unfoldings. Zbl 1072.68072 Khomenko, Victor; Koutny, Maciej; Vogler, Walter 32 2003 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 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 Monotone data flow analysis frameworks. Zbl 0375.68020 Kam, John B.; Ullman, Jeffrey D. 30 1977 Hex ist Pspace-vollständig. (Hex is Pspace-complete). Zbl 0431.90103 Reisch, Stefan 30 1981 Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024 Queille, J. P.; Sifakis, J. 29 1983 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 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 Distance measures for point sets and their computation. Zbl 0865.51011 Eiter, Thomas; Mannila, Heikki 27 1997 The network complexity and the Turing machine complexity of finite functions. Zbl 0338.02019 Schnorr, C. P. 27 1976 Networks of evolutionary processors. Zbl 1060.68046 Castellanos, Juan; Martín-Vide, Carlos; Mitrana, Victor; Sempere, José M. 27 2003 Describing an algorithm by Hopcroft. Zbl 0242.94042 Gries, David 27 1973 The analysis of Quicksort programs. Zbl 0325.68016 Sedgewick, Robert 27 1977 \(M/M/1\) retrial queue with working vacations. Zbl 1185.90046 Do, Tien Van 26 2010 Trading polarizations for labels in P systems with active membranes. Zbl 1101.68028 Alhazov, Artiom; Pan, Linqiang; Păun, Gheorghe 26 2004 The average number of registers needed to evaluate a binary tree optimally. Zbl 0395.68059 Kemp, R. 26 1979 Amounts of nondeterminism in finite automata. Zbl 0423.68016 Kintala, Chandra M. R.; Wotschke, Detlef 26 1980 Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208 Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 26 2014 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 Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. Zbl 0548.68044 Mehlhorn, Kurt; Vishkin, Uzi 25 1984 Persistence of vector replacement systems is decidable. Zbl 0454.68048 Mayr, Ernst 25 1981 A calculus of refinements for program derivations. Zbl 0658.68018 Back, R. J. R. 24 1988 Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026 Asarin, Eugene; Dang, Thao; Girard, Antoine 24 2007 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 Special factors, periodicity, and an application to Sturmian words. Zbl 0956.68119 Carpi, Arturo; de Luca, Aldo 24 2000 Development systems with locally catenative formulas. Zbl 0304.68076 Rozenberg, G.; Lindenmayer, A. 24 1973 Efficient worst-case data structures for range searching. Zbl 0423.68029 Bentley, Jon Louis; Maurer, H. A. 24 1980 Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077 Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej 24 1992 Timing and causality in process algebra. Zbl 0858.68036 Aceto, Luca; Murphy, David 24 1996 Membrane systems with promoters/inhibitors. Zbl 1034.68038 Bottoni, Paolo; Martín-Vide, Carlos; Păun, Gheorghe; Rozenberg, Grzegorz 24 2002 The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0545.68051 Valk, Rudiger; Jantzen, Matthias 23 1985 The synthesis problem of Petri nets. Zbl 0849.68085 Desel, Jörg; Reisig, Wolfgang 23 1996 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 Constrained polynomial zonotopes. Zbl 07727460 Kochdumper, Niklas; Althoff, Matthias 2 2023 Toward a theory of program repair. Zbl 07727458 Khaireddine, Besma; Zakharchenko, Aleksandr; Martinez, Matias; Mili, Ali 1 2023 Minimum status of trees with a given degree sequence. Zbl 1508.05151 Guo, Haiyan; Zhou, Bo 1 2023 Pushdown automata and constant height: decidability and bounds. Zbl 07686409 Pighizzini, Giovanni; Prigioniero, Luca 1 2023 An automated system repair framework with signal temporal logic. Zbl 07528109 Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru 3 2022 Operational complexity and pumping lemmas. Zbl 07578090 Dassow, Jürgen; Jecker, Ismaël 2 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 Proportional lumpability and proportional bisimilarity. Zbl 07528110 Marin, Andrea; Piazza, Carla; Rossi, Sabina 1 2022 Exploration of \(k\)-edge-deficient temporal graphs. Zbl 07578092 Erlebach, Thomas; Spooner, Jakob T. 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 Sound reasoning in tock-CSP. Zbl 1483.68223 Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana 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 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 Complement for two-way alternating automata. Zbl 1528.68184 Geffert, Viliam; Kapoutsis, Christos A.; Zakzok, Mohammad 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 Aggregation-based minimization of finite state automata. Zbl 1490.68125 Björklund, Johanna; Cleophas, Loek 1 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 Practical synthesis of reactive systems from LTL specifications via parity games. Zbl 1435.68200 Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon 9 2020 Synthesis from hyperproperties. Zbl 1435.68194 Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander 5 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 Performance heuristics for GR(1) synthesis and related algorithms. Zbl 1435.68195 Firman, Elizabeth; Maoz, Shahar; Ringert, Jan Oliver 3 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 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 Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Zbl 1441.93131 Girard, Antoine; Gössler, Gregor 1 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 Reversible sessions with flexible choices. Zbl 1462.68121 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 8 2019 On the hardness of analyzing probabilistic programs. Zbl 1417.68054 Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 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 Using contracted solution graphs for solving reconfiguration problems. Zbl 1431.90161 Bonsma, Paul; Paulusma, Daniël 2 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 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 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114 Baldan, Paolo; Gadducci, Fabio 1 2019 The model checking fingerprints of CTL operators. Zbl 1423.68288 Krebs, Andreas; Meier, Arne; Mundhenk, Martin 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 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 Multiparty session types as coherence proofs. Zbl 1371.68049 Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko 5 2017 Reactive synthesis without regret. Zbl 1364.68263 Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François 3 2017 Characteristic bisimulation for higher-order session processes. Zbl 1380.68297 Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko 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 cited Publications top 5 cited Publications 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