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,615 Publications (since 1971) References Indexed: 1,098 Publications with 24,162 References. all top 5 Latest Issues 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) 44, No. 6 (2007) ...and 194 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 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 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 Aceto, Luca 5 Boasson, Luc 5 Bruno, John L. 5 Dassow, Jürgen 5 de Luca, Aldo 5 Dolev, Shlomi 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 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 Majumdar, Rupak 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,023 more Authors all top 5 Fields 1,532 Computer science (68-XX) 131 Mathematical logic and foundations (03-XX) 87 Combinatorics (05-XX) 64 Operations research, mathematical programming (90-XX) 64 Information and communication theory, circuits (94-XX) 39 Probability theory and stochastic processes (60-XX) 28 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 General and overarching topics; collections (00-XX) 18 Group theory and generalizations (20-XX) 14 Number theory (11-XX) 13 Numerical analysis (65-XX) 10 Systems theory; control (93-XX) 9 Category theory; homological algebra (18-XX) 8 Order, lattices, ordered algebraic structures (06-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,197 Publications have been cited 10,056 times in 7,663 Documents Cited by ▼ Year ▼ The method of forced enumeration for nondeterministic automata. Zbl 0638.68046Szelepcsényi, Róbert 122 1988 Organization and maintenance of large ordered indexes. Zbl 0226.68008Bayer, R.; McCreight, E. 121 1971 An axiomatic proof technique for parallel programs. Zbl 0312.68011Owicki, Susan; Gries, David 115 1976 On fast multiplication of polynomials over arbitrary algebras. Zbl 0766.68055Cantor, David G.; Kaltofen, Erich 110 1991 Proof of correctness of data representations. Zbl 0244.68009Hoare, C. A. R. 106 1972 Quad trees: A data structure for retrieval by composite keys. Zbl 0278.68030Finkel, Raphael Ari; Bentley, Jon Louis 104 1974 Optimal scheduling for two-processor systems. Zbl 0248.68023Coffman, E. G. jun.; Graham, R. L. 102 1971 The complexity of combinatorial problems with succinct input representation. Zbl 0621.68032Wagner, Klaus W. 97 1986 Subtyping for session types in the pi calculus. Zbl 1079.68065Gay, Simon; Hole, Malcolm 89 2005 Single machine flow-time scheduling with a single breakdown. Zbl 0657.68033Adiri, Igal; Bruno, John; Frostig, Esther; Rinnooy Kan, A. H. G. 83 1989 Optimum binary search trees. Zbl 0233.68010Knuth, D. E. 76 1971 A fast algorithm for Steiner trees. Zbl 0445.68051Kou, L.; Markowsky, G.; Berman, L. 72 1981 A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072Sangiorgi, Davide 71 1996 NP-hard problems in hierarchical-tree clustering. Zbl 0644.68055Křivánek, Mirko; Morávek, Jaroslav 69 1986 Single machine flow-time scheduling with scheduled maintenance. Zbl 0738.68043Lee, Chung-Yee; Liman, Surya Danusaputro 64 1992 Specification-oriented semantics for communicating processes. Zbl 0569.68019Olderog, E.-R.; Hoare, Tony 62 1986 Symmetric binary B-trees: Data structure and maintenance algorithms. Zbl 0233.68009Bayer, Rudolf 60 1972 Branching processes of Petri nets. Zbl 0743.68106Engelfriet, Joost 58 1991 Affine relationships among variables of a program. Zbl 0358.68025Karr, Michael 56 1976 The temporal logic of branching time. Zbl 0533.68036Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar 56 1983 Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081van Glabbeek, Rob; Goltz, Ursula 55 2001 Fast multiplication of polynomials over fields of characteristic 2. (Schnelle Multiplikation von Polynomen über Körpern der Charakteristik 2.) Zbl 0362.65011Schönhage, A. 54 1977 A bi-criterion single-machine scheduling problem with learning considerations. Zbl 1137.90500Lee, Wen-Chiung; Wu, Chin-Chia; Sung, Hua-Jung 54 2004 On real-time cellular automata and trellis automata. Zbl 0534.68039Choffrut, C.; Čulik, Karel II 52 1984 Machine scheduling with availability constraints. Zbl 0917.68018Sanlaville, Eric; Schmidt, Günter 51 1998 Branching processes in the analysis of the heights of trees. Zbl 0643.60065Devroye, L. 50 1987 Fast computation of continued fraction expansions. (Schnelle Berechnung von Kettenbruchentwicklungen.) Zbl 0223.68008Schönhage, A. 49 1971 Contextual nets. Zbl 0835.68084Montanari, Ugo; Rossi, Francesca 48 1995 Plain CHOCS. A second generation calculus for higher order processes. Zbl 0790.68069Thomsen, Bent 48 1993 On non-determinacy in simple computing devices. Zbl 0229.68014Hartmanis, J. 46 1972 Extensional equivalences for transition systems. Zbl 0636.68069De Nicola, Rocco 45 1987 Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008Huet, Gerard; Lang, Bernard 45 1978 Partial (set) 2-structures. II: State spaces of concurrent systems. Zbl 0696.68083Ehrenfeucht, A.; Rozenberg, G. 42 1990 An efficiency preorder for processes. Zbl 0790.68039Arun-Kumar, S.; Hennessy, M. 42 1992 A distributed operational semantics of CCS based on condition/event systems. Zbl 0656.68061Degano, Pierpaolo; De Nicola, Rocco; Montanari, Ugo 40 1988 A new data structure for representing sorted lists. Zbl 0481.68061Huddleston, Scott; Mehlhorn, Kurt 40 1982 A logic covering undefinedness in program proofs. Zbl 0534.68024Barringer, H.; Cheng, J. H.; Jones, C. B. 40 1984 Ramsey numbers and an approximation algorithm for the vertex cover problem. Zbl 0558.05044Monien, Burkhard; Speckenmeyer, Ewald 39 1985 Concurrent bisimulations in Petri nets. Zbl 0718.68034Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia 39 1991 Partial abstract types. Zbl 0494.68020Broy, Manfred; Wirsing, Martin 38 1982 Petri net algorithms in the theory of matrix grammars. Zbl 0834.68064Hauschildt, Dirk; Jantzen, Matthias 37 1994 On random 2-3 trees. Zbl 0369.05024Yao, Andrew Chi-Chih 37 1978 On sufficient-completeness and related properties of term rewriting systems. Zbl 0594.68035Kapur, Deepak; Narendran, Paliath; Zhang, Hantao 36 1987 Partial (set) 2-structures. I: Basic notions and the representation problems. Zbl 0696.68082Ehrenfeucht, A.; Rozenberg, G. 36 1990 The algebraic specification of abstract data types. Zbl 0369.68010Guttag, J. V.; Horning, J. J. 36 1978 Toward formal development of programs from algebraic specifications: Implementations revisited. Zbl 0621.68004Sannella, Donald; Tarlecki, Andrzej 35 1988 Edge-disjoint spanning trees and depth-first search. Zbl 0307.05104Tarjan, Robert Endre 35 1976 A decision procedure for propositional projection temporal logic with infinite models. Zbl 1141.68039Duan, Zhenhua; Tian, Cong; Zhang, Li 34 2008 Efficient algorithms for finding maximum matchings in convex bipartite graphs and related problems. Zbl 0445.68052Lipski, W. jun.; Preparata, F. P. 34 1981 A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103Boreale, Michele; Sangiorgi, Davide 34 1998 An axiomatic definition of the programming language Pascal. Zbl 0261.68040Hoare, C. A. R.; Wirth, N. 33 1974 Nearly optimal binary search trees. Zbl 0333.68028Mehlhorn, Kurt 32 1975 EOL forms. Zbl 0348.68046Maurer, H. A.; Salomaa, A.; Wood, D. 32 1977 A longest common subsequence algorithm suitable for similar text strings. Zbl 0493.68041Nakatsu, Narao; Kambayashi, Yahiko; Yajima, Shuzo 32 1982 Canonical prefixes of Petri net unfoldings. Zbl 1072.68072Khomenko, Victor; Koutny, Maciej; Vogler, Walter 32 2003 On the valuedness of finite transducers. Zbl 0672.68027Weber, Andreas 31 1990 Decidability of model checking for infinite-state concurrent systems. Zbl 0865.68046Esparza, Javier 31 1997 Sur diverses familles de langages fermées par transduction rationnelle. Zbl 0242.68037Boasson, L.; Nivat, M. 31 1973 Bin stretching revisited. Zbl 1034.68039Epstein, Leah 31 2003 Finite complete rewriting systems and the complexity of word problem. Zbl 0535.68019Bauer, G.; Otto, F. 31 1984 Synthesizing robust systems. Zbl 1302.93079Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert 30 2014 Tableau-based model checking in the propositional mu-calculus. Zbl 0676.03033Cleaveland, Rance 30 1990 Hex ist Pspace-vollständig. (Hex is Pspace-complete). Zbl 0431.90103Reisch, Stefan 30 1981 Short proofs for tricky formulas. Zbl 0552.03009Krishnamurthy, Balakrishnan 29 1985 Applications of the theory of records in the study of random trees. Zbl 0656.68065Devroye, Luc 29 1988 Monotone data flow analysis frameworks. Zbl 0375.68020Kam, John B.; Ullman, Jeffrey D. 29 1977 Fairness and related properties in transition systems - a temporal logic to deal with fairness. Zbl 0489.68024Queille, J. P.; Sifakis, J. 29 1983 The programming language Pascal. Zbl 0205.18603Wirth, N. 28 1971 Top-down syntax nalysis. Zbl 0233.68022Knuth, Donald E. 28 1971 Endliche Automaten und Zufallsfolgen. Zbl 0238.68017Schnorr, C. P.; Stimm, H. 28 1972 Memory requirements for silent stabilization. Zbl 0933.68156Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco 28 1999 Distance measures for point sets and their computation. Zbl 0865.51011Eiter, Thomas; Mannila, Heikki 27 1997 Networks of evolutionary processors. Zbl 1060.68046Castellanos, Juan; Martín-Vide, Carlos; Mitrana, Victor; Sempere, José M. 27 2003 The network complexity and the Turing machine complexity of finite functions. Zbl 0338.02019Schnorr, C. P. 27 1976 Describing an algorithm by Hopcroft. Zbl 0242.94042Gries, David 27 1973 The analysis of Quicksort programs. Zbl 0325.68016Sedgewick, Robert 27 1977 Amounts of nondeterminism in finite automata. Zbl 0423.68016Kintala, Chandra M. R.; Wotschke, Detlef 26 1980 The average number of registers needed to evaluate a binary tree optimally. Zbl 0395.68059Kemp, R. 25 1979 Persistence of vector replacement systems is decidable. Zbl 0454.68048Mayr, Ernst 25 1981 Systolic automata for VLSI on balanced trees. Zbl 0493.68054Culik, Karel II; Gruska, J.; Salomaa, A. 25 1983 Trading polarizations for labels in P systems with active membranes. Zbl 1101.68028Alhazov, Artiom; Pan, Linqiang; Păun, Gheorghe 25 2004 Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. Zbl 0548.68044Mehlhorn, Kurt; Vishkin, Uzi 24 1984 Strategy synthesis for multi-dimensional quantitative objectives. Zbl 1360.68208Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François 24 2014 \(M/M/1\) retrial queue with working vacations. Zbl 1185.90046Do, Tien Van 24 2010 Efficient worst-case data structures for range searching. Zbl 0423.68029Bentley, Jon Louis; Maurer, H. A. 24 1980 Special factors, periodicity, and an application to Sturmian words. Zbl 0956.68119Carpi, Arturo; de Luca, Aldo 24 2000 Lower bounds for on-line two-dimensional packing algorithms. Zbl 0493.68042Brown, Donna J.; Baker, Brenda S.; Katseff, Howard P. 24 1982 Development systems with locally catenative formulas. Zbl 0304.68076Rozenberg, G.; Lindenmayer, A. 24 1973 On the performance evaluation of extendible hashing and trie searching. Zbl 0515.68048Flajolet, Philippe 24 1983 Timing and causality in process algebra. Zbl 0858.68036Aceto, Luca; Murphy, David 23 1996 A calculus of refinements for program derivations. Zbl 0658.68018Back, R. J. R. 23 1988 Toward formal development of programs from algebraic specifications: Parameterisation revisited. Zbl 0790.68077Sannella, Donald; Sokołowski, Stefan; Tarlecki, Andrzej 23 1992 Berechnung und Programm. I. Zbl 0252.68018Strassen, V. 23 1972 Consistent and complementary formal theories of the semantics of programming languages. Zbl 0264.68006Hoare, C. A. R.; Lauer, P. E. 23 1974 On sentential forms of context-free grammars. Zbl 0264.68029Salomaa, A. 23 1973 Membrane systems with promoters/inhibitors. Zbl 1034.68038Bottoni, Paolo; Martín-Vide, Carlos; Păun, Gheorghe; Rozenberg, Grzegorz 23 2002 The synthesis problem of Petri nets. Zbl 0849.68085Desel, Jörg; Reisig, Wolfgang 22 1996 Hybridization methods for the analysis of nonlinear systems. Zbl 1134.93026Asarin, Eugene; Dang, Thao; Girard, Antoine 22 2007 On alternation. Zbl 0437.68025Paul, Wolfgang J.; Prauß, Ernst J.; Reischuk, Rüdiger 22 1980 The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0545.68051Valk, Rudiger; Jantzen, Matthias 22 1985 Pushdown automata and constant height: decidability and bounds. Zbl 07686409Pighizzini, Giovanni; Prigioniero, Luca 1 2023 Toward a theory of program repair. Zbl 07727458Khaireddine, Besma; Zakharchenko, Aleksandr; Martinez, Matias; Mili, Ali 1 2023 Sound reasoning in tock-CSP. Zbl 1483.68223Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana 1 2022 Operational complexity and pumping lemmas. Zbl 07578090Dassow, Jürgen; Jecker, Ismaël 1 2022 Exploration of \(k\)-edge-deficient temporal graphs. Zbl 07578092Erlebach, Thomas; Spooner, Jakob T. 1 2022 Interface automata for shared memory. Zbl 07592342Schinko, Ayleen; Vogler, Walter; Gareis, Johannes; N. Tri Nguyen; Lüttgen, Gerald 1 2022 A jumping \(5'\rightarrow 3'\) Watson-Crick finite automata model. Zbl 07592343Kocman, Radim; Křivka, Zbyněk; Meduna, Alexander; Nagy, Benedek 1 2022 An automated system repair framework with signal temporal logic. Zbl 07528109Ergurtuna, Mert; Yalcinkaya, Beyazit; Aydin Gol, Ebru 1 2022 Static versus dynamic reversibility in CCS. Zbl 1475.68126Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares 10 2021 Team bisimilarity, and its associated modal logic, for BPP nets. Zbl 1497.68339Gorrieri, Roberto 4 2021 Complement for two-way alternating automata. Zbl 07404756Geffert, Viliam; Kapoutsis, Christos A.; Zakzok, Mohammad 2 2021 On deterministic sensing \(5'\rightarrow 3'\) Watson-Crick finite automata: a full hierarchy in 2detLIN. Zbl 1487.68152Nagy, Benedek; Parchami, Shaghayegh 2 2021 Operational complexity and right linear grammars. Zbl 1522.68262Dassow, Jürgen 2 2021 The descriptional power of queue automata of constant length. Zbl 1520.68058Jakobi, Sebastian; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice 2 2021 On the size of partial derivatives and the word membership problem. Zbl 1520.68060Konstantinidis, Stavros; Machiavelo, António; Moreira, Nelma; Reis, Rogério 2 2021 Aggregation-based minimization of finite state automata. Zbl 1490.68125Björklund, Johanna; Cleophas, Loek 1 2021 Equilibria for games with combined qualitative and quantitative objectives. Zbl 1483.68193Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael 1 2021 Measuring the constrained reachability in quantum Markov chains. Zbl 1483.68140Xu, Ming; Huang, Cheng-Chao; Feng, Yuan 1 2021 Synthesis from hyperproperties. Zbl 1435.68194Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander 5 2020 Practical synthesis of reactive systems from LTL specifications via parity games. Zbl 1435.68200Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon 4 2020 Off-the-shelf automated analysis of liveness properties for just paths. Zbl 1443.68109Bouwman, Mark; Luttik, Bas; Willemse, Tim 4 2020 Performance heuristics for GR(1) synthesis and related algorithms. Zbl 1435.68195Firman, Elizabeth; Maoz, Shahar; Ringert, Jan Oliver 2 2020 A symbolic algorithm for lazy synthesis of eager strategies. Zbl 1435.68198Jacobs, Swen; Sakr, Mouhammad 2 2020 Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk 2 2020 Synthesizing optimally resilient controllers. Zbl 1435.68066Neider, Daniel; Weinert, Alexander; Zimmermann, Martin 2 2020 Automated formal synthesis of provably safe digital controllers for continuous plants. Zbl 1441.93171Abate, Alessandro; Bessa, Iury; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel; Polgreen, Elizabeth 2 2020 Coupled similarity: the first 32 years. Zbl 1476.68166Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin 2 2020 Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Zbl 1441.93131Girard, Antoine; Gössler, Gregor 1 2020 My time with Rob. Zbl 1443.68011Pratt, Vaughan 1 2020 Out for coffee: with Rob. Zbl 1443.68008Fehnker, Ansgar 1 2020 Congruence from the operator’s point of view. Syntactic requirements on modal characterizations. Zbl 1443.68111Gazda, Maciej; Fokkink, Wan; Massaro, Vittorio 1 2020 Translating between models of concurrency. Zbl 1465.68181Mestel, David; Roscoe, A. W. 1 2020 A linear-time branching-time perspective on interface automata. Zbl 1443.68099Vogler, Walter; Lüttgen, Gerald 1 2020 Solving high-level Petri games. Zbl 1443.68112Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick 1 2020 SMT-based generation of symbolic automata. Zbl 1443.68114Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min 1 2020 Characteristic invariants in Hennessy-Milner logic. Zbl 1443.68113Jasper, Marc; Schlüter, Maximilian; Steffen, Bernhard 1 2020 On the hardness of analyzing probabilistic programs. Zbl 1417.68054Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph 7 2019 Reversible sessions with flexible choices. Zbl 1462.68121Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 6 2019 On path-controlled insertion-deletion systems. Zbl 1410.68188Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi 3 2019 On the decidability of the existence of polyhedral invariants in transition systems. Zbl 1421.68097Monniaux, David 3 2019 Parikh matrices for powers of words. Zbl 1423.68364Atanasiu, Adrian; Poovanandran, Ghajendran; Teh, Wen Chean 2 2019 A generalised theory of interface automata, component compatibility and error. Zbl 1421.68093Fendrich, Sascha; Lüttgen, Gerald 2 2019 Red-black trees with constant update time. Zbl 1423.68124Elmasry, Amr; Kahla, Mostafa; Ahdy, Fady; Hashem, Mahmoud 1 2019 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114Baldan, Paolo; Gadducci, Fabio 1 2019 The model checking fingerprints of CTL operators. Zbl 1423.68288Krebs, Andreas; Meier, Arne; Mundhenk, Martin 1 2019 Equivalence checking of Petri net models of programs using static and dynamic cut-points. Zbl 1430.68159Bandyopadhyay, Soumyadip; Sarkar, Dipankar; Mandal, Chittaranjan 1 2019 Negotiation as concurrency primitive. Zbl 1422.68168Desel, Jörg; Esparza, Javier; Hoffmann, Philipp 1 2019 Associative composition of components with double-sided interfaces. Zbl 1431.68081Reisig, Wolfgang 1 2019 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 15 2018 Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo 13 2018 Bounded choice-free Petri net synthesis: algorithmic issues. Zbl 1400.68131Best, Eike; Devillers, Raymond; Schlachter, Uli 10 2018 Algorithms for monitoring real-time properties. Zbl 1395.68185Basin, David; Klaedtke, Felix; Zălinescu, Eugen 7 2018 Sparsification and subexponential approximation. Zbl 1408.68068Bonnet, Édouard; Paschos, Vangelis Th. 6 2018 Parameterized linear temporal logics meet costs: still not costlier than LTL. Zbl 1390.68445Zimmermann, Martin 4 2018 Looking at mean payoff through foggy windows. Zbl 1408.91045Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François 3 2018 Hierarchical information and the synthesis of distributed strategies. Zbl 1408.91004Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie 2 2018 Spanning the spectrum from safety to liveness. Zbl 1408.68096Faran, Rachel; Kupferman, Orna 2 2018 Factorisation of transition systems. Zbl 1395.68196Devillers, Raymond 2 2018 Event algebra for transition systems composition application to timed automata. Zbl 1398.68340Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun 2 2018 Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374Zhang, 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.68090Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca 2 2018 Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385Dimitrova, Rayna; Majumdar, Rupak 1 2018 Fast deterministic parsers for transition networks. Zbl 1400.68093Borsotti, 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.60142Zhang, Hongbo 1 2018 A first step in characterizing three-element codes. Zbl 1398.68351Chunhua, Cao; Qing, Lu; Di, Yang 1 2018 Replication, refinement & reachability: complexity in dynamic condition-response graphs. Zbl 1398.68094Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs 1 2018 Verification of population protocols. Zbl 1364.68081Esparza, Javier; Ganty, Pierre; Leroux, Jérôme; Majumdar, Rupak 17 2017 A general account of coinduction up-to. Zbl 1371.68186Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 15 2017 A theory of formal synthesis via inductive learning. Zbl 1380.68124Jha, Susmit; Seshia, Sanjit A. 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 Assume-admissible synthesis. Zbl 1362.68202Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan 10 2017 Stateless model checking for TSO and PSO. Zbl 1380.68265Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos 9 2017 On the relations between Markov chain lumpability and reversibility. Zbl 1398.60085Marin, A.; Rossi, S. 6 2017 Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Zbl 1362.68203Brihaye, Thomas; Geeraerts, Gilles; Haddad, Axel; Monmege, Benjamin 6 2017 Efficiently solving the bin packing problem through bio-inspired mobility. Zbl 1371.68079Aman, Bogdan; Ciobanu, Gabriel 5 2017 Efficient and secure attribute-based signature for monotone predicates. Zbl 1377.94050Gu, Ke; Jia, Weijia; Wang, Guojun; Wen, Sheng 4 2017 Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak 4 2017 Multiparty session types as coherence proofs. Zbl 1371.68049Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko 4 2017 Safraless LTL synthesis considering maximal realizability. Zbl 1380.68285Tomita, Takashi; Ueno, Atsushi; Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki 2 2017 Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak 2 2017 Model checking the evolution of gene regulatory networks. Zbl 1380.68273Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana 2 2017 Characteristic bisimulation for higher-order session processes. Zbl 1380.68297Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko 2 2017 Reversible Watson-Crick automata. Zbl 1378.68102Chatterjee, Kingshuk; Ray, Kumar Sankar 1 2017 Reactive synthesis without regret. Zbl 1364.68263Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François 1 2017 Disjunctivity and other properties of sets of pseudo-bordered words. Zbl 1371.68222Kari, Lila; Kulkarni, Manasi S. 1 2017 Checking interval properties of computations. Zbl 1350.68184Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano 19 2016 A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases. Zbl 1339.03018Aceto, Luca; Della Monica, Dario; Goranko, Valentin; Ingólfsdóttir, Anna; Montanari, Angelo; Sciavicco, Guido 9 2016 Concurrent abstract state machines. Zbl 1352.68176Börger, Egon; Schewe, Klaus-Dieter 8 2016 Planning and execution with flexible timelines: a formal account. Zbl 1351.90092Cialdea Mayer, Marta; Orlandini, Andrea; Umbrico, Alessandro 6 2016 Dynamic controllability via timed game automata. Zbl 1350.68251Cimatti, 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.68230Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi 6 2016 Step traces. Zbl 1335.68173Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz 5 2016 Extracting unsatisfiable cores for LTL via temporal resolution. Zbl 1338.68170Schuppan, Viktor 5 2016 Guiding Craig interpolation with domain-specific abstractions. Zbl 1344.68139Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle 4 2016 On reversible Turing machines and their function universality. Zbl 1348.68051Axelsen, Holger Bock; Glück, Robert 4 2016 Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification. Zbl 1350.68252Nilsson, Mikael; Kvarnström, Jonas; Doherty, Patrick 4 2016 State complexity of deletion and bipolar deletion. Zbl 1335.68121Han, Yo-Sub; Ko, Sang-Ki; Salomaa, Kai 4 2016 Efficient execution of dynamically controllable simple temporal networks with uncertainty. Zbl 1336.68250Hunsberger, Luke 3 2016 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136Abdulla, 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.68088Combi, Carlo; Sala, Pietro 1 2016 ...and 1097 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 8,445 Authors 73 Rozenberg, Grzegorz 49 Engelfriet, Joost 46 Wood, Derick 40 Ibarra, Oscar H. 39 Otto, Friedrich 37 Montanari, Ugo G. 37 Vogler, Walter 36 Koutny, Maciej 36 Kutrib, Martin 31 Salomaa, Arto Kustaa 30 Yoshida, Nobuko 29 Culik, Karel II 29 Duan, Zhenhua 29 Meduna, Alexander 29 Mitrana, Victor 28 Hesselink, Wim H. 26 Bergstra, Jan A. 25 Aceto, Luca 25 Kleijn, Jetty 25 Păun, Gheorghe 24 Devroye, Luc P. J. A. 24 Fernau, Henning 23 Baldan, Paolo 23 Best, Eike 23 Devillers, Raymond 23 Ehrenfeucht, Andrzej 23 Hemaspaandra, Lane A. 23 Tian, Cong 23 van Glabbeek, Robert Jan 22 Epstein, Leah 22 Holzer, Markus 22 Ingólfsdóttir, Anna 22 Maurer, Hermann A. 22 Okhotin, Alexander 21 Cheng, Tai-Chiu Edwin 21 Gorrieri, Roberto 21 Mahmoud, Hosam M. 21 Montanari, Angelo 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 Geffert, Viliam 18 Malcher, Andreas 17 Berghammer, Rudolf 17 Bruni, Roberto 17 Flajolet, Philippe 17 Hennicker, Rolf 17 Tan, Zhiyi 17 Vogler, Heiko 17 Yen, Hsuchun 16 Bozzelli, Laura 16 Ciobanu, Gabriel 16 Corradini, Flavio 16 Elmasry, Amr 16 Fu, Yuxi 16 He, Yong 16 Katoen, Joost-Pieter 16 Larsen, Kim Skak 16 Link, Sebastian 16 Sannella, Donald T. 16 Stølting Brodal, Gerth 16 Tarlecki, Andrzej 15 Chatterjee, Krishnendu 15 Dezani-Ciancaglini, Mariangiola 15 Mäkinen, Erkki 15 Maletti, Andreas 15 Olderog, Ernst-Rüdiger 15 Ottmann, Thomas A. 15 Peron, Adriano 15 Randour, Mickael 14 Gadducci, Fabio 14 Harju, Tero 14 Hennessy, Matthew C. B. 14 Janicki, Ryszard 14 Jiang, Yiwei 14 Meseguer Guaita, José 14 Middelburg, Cornelis A. 14 Pérez, Jorge A. 14 Phillips, Iain W. 14 Pnueli, Amir 14 Raskin, Jean-François 14 Seidl, Helmut 14 Tarjan, Robert Endre 14 von zur Gathen, Joachim 14 Zhang, Nan 13 Aman, Bogdan 13 Barbuti, Roberto 13 Corradini, Andrea 13 Csuhaj-Varjú, Erzsébet 13 Darondeau, Philippe 13 Hoare, C. A. R. Tony 13 Italiano, Giuseppe Francesco 13 Katajainen, Jyrki 13 Larsen, Kim Guldstrand 13 Lecerf, Grégoire ...and 8,345 more Authors all top 5 Cited in 395 Journals 1,280 Theoretical Computer Science 510 Acta Informatica 384 Information Processing Letters 332 Information and Computation 242 Journal of Computer and System Sciences 147 Formal Aspects of Computing 134 Discrete Applied Mathematics 114 Algorithmica 114 International Journal of Foundations of Computer Science 108 International Journal of Computer Mathematics 98 European Journal of Operational Research 95 Information Sciences 85 Journal of Symbolic Computation 74 Journal of Logical and Algebraic Methods in Programming 71 Theory of Computing Systems 70 Mathematical Systems Theory 67 Computers & Operations Research 65 Distributed Computing 62 MSCS. Mathematical Structures in Computer Science 57 RAIRO. Informatique Théorique et Applications 57 Logical Methods in Computer Science 49 The Journal of Logic and Algebraic Programming 48 BIT 45 Journal of Combinatorial Optimization 43 Formal Methods in System Design 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 29 Discrete Mathematics 29 Science of Computer Programming 29 Random Structures & Algorithms 27 Operations Research Letters 26 Mathematics of Computation 26 Journal of Functional Programming 25 International Journal of Computer & Information Sciences 25 Computational Geometry 24 Fundamenta Informaticae 24 Journal of Discrete Algorithms 22 Applied Mathematics and Computation 22 Applied Mathematical Modelling 22 Computational Complexity 21 Annals of Pure and Applied Logic 21 BIT. Nordisk Tidskrift for Informationsbehandling 20 Journal of Complexity 19 Natural Computing 18 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 17 ACM Transactions on Computational Logic 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 New Generation Computing 10 Mathematical and Computer Modelling 10 Linear Algebra and its Applications 10 Pattern Recognition 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 9 Nonlinear Analysis. Hybrid Systems 8 Advances in Applied Probability 8 Programming and Computer Software 8 Mathematical Programming. Series A. Series B 8 ACM Journal of Experimental Algorithmics 8 Journal of Applied Logic 7 Journal of Computational Physics 7 Journal of Information & Optimization Sciences 7 Journal of Global Optimization 7 Journal of Automata, Languages and Combinatorics ...and 295 more Journals all top 5 Cited in 53 Fields 6,505 Computer science (68-XX) 861 Operations research, mathematical programming (90-XX) 848 Mathematical logic and foundations (03-XX) 549 Combinatorics (05-XX) 283 Probability theory and stochastic processes (60-XX) 198 Information and communication theory, circuits (94-XX) 158 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 149 Numerical analysis (65-XX) 146 Number theory (11-XX) 102 Group theory and generalizations (20-XX) 83 Systems theory; control (93-XX) 75 Biology and other natural sciences (92-XX) 72 Category theory; homological algebra (18-XX) 58 Statistics (62-XX) 56 Order, lattices, ordered algebraic structures (06-XX) 41 Field theory and polynomials (12-XX) 36 Commutative algebra (13-XX) 34 Quantum theory (81-XX) 32 General algebraic systems (08-XX) 30 Linear and multilinear algebra; matrix theory (15-XX) 30 Dynamical systems and ergodic theory (37-XX) 26 Convex and discrete geometry (52-XX) 23 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) 9 Mechanics of deformable solids (74-XX) 8 Statistical mechanics, structure of matter (82-XX) 7 Partial differential equations (35-XX) 6 Geometry (51-XX) 5 Ordinary differential equations (34-XX) 5 Calculus of variations and optimal control; optimization (49-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 Operator theory (47-XX) 2 Mechanics of particles and systems (70-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 Geophysics (86-XX) 1 Mathematics education (97-XX) Citations by Year