Logical Methods in Computer Science Short Title: Log. Methods Comput. Sci. Publisher: Logical Methods in Computer Science c/o Institute of Theoretical Computer Science, Technical University of Braunschweig, Braunschweig ISSN: 1860-5974/e Online: https://lmcs.episciences.org/browse/regularissueshttp://www.lmcs-online.org/ Comments: Journal; Indexed cover-to-cover; Published electronic only as of Vol. 1 (2005). This journal is available open access. Documents Indexed: 1,450 Publications (since 2005) References Indexed: 705 Publications with 25,379 References. all top 5 Latest Issues 20, No. 4 (2024) 20, No. 3 (2024) 20, No. 2 (2024) 20, No. 1 (2024) 19, No. 4 (2023) 19, No. 3 (2023) 19, No. 2 (2023) 19, No. 1 (2023) 18, No. 4 (2022) 18, No. 3 (2022) 18, No. 2 (2022) 18, No. 1 (2022) 17, No. 4 (2021) 17, No. 3 (2021) 17, No. 2 (2021) 17, No. 1 (2021) 16, No. 4 (2020) 16, No. 3 (2020) 16, No. 2 (2020) 16, No. 1 (2020) 15, No. 4 (2019) 15, No. 3 (2019) 15, No. 2 (2019) 15, No. 1 (2019) 14, No. 4 (2018) 14, No. 3 (2018) 14, No. 2 (2018) 14, No. 1 (2018) 13, No. 4 (2017) 13, No. 3 (2017) 13, No. 2 (2017) 13, No. 1 (2017) 12, No. 4 (2016) 12, No. 3 (2016) 12, No. 2 (2016) 12, No. 1 (2016) 11, No. 4 (2015) 11, No. 3 (2015) 11, No. 2 (2015) 11, No. 1 (2015) 10, No. 4 (2014) 10, No. 3 (2014) 10, No. 2 (2014) 10, No. 1 (2014) 9, No. 4 (2013) 9, No. 3 (2013) 9, No. 2 (2013) 9, No. 1 (2013) 8, No. 4 (2012) 8, No. 3 (2012) 8, No. 2 (2012) 8, No. 1 (2012) 7, No. 4 (2011) 7, No. 3 (2011) 7, No. 2 (2011) 7, No. 1 (2011) 6, No. 4 (2010) 6, No. 3 (2010) 6, No. 2 (2010) 6, No. 1 (2010) 5, No. 4 (2009) 5, No. 3 (2009) 5, No. 2 (2009) 5, No. 1 (2009) 4, No. 4 (2008) 4, No. 3 (2008) 4, No. 2 (2008) 4, No. 1 (2008) 3, No. 4 (2007) 3, No. 3 (2007) 3, No. 2 (2007) 3, No. 1 (2007) 2, No. 5 (2006) 2, No. 4 (2006) 2, No. 3 (2006) 2, No. 2 (2006) 2, No. 1 (2006) 1, No. 3 (2005) 1, No. 2 (2005) 1, No. 1 (2005) all top 5 Authors 12 Bojańczyk, Mikołaj 11 Segoufin, Luc 10 Birkedal, Lars 10 Chatterjee, Krishnendu 10 Kurz, Alexander 10 Schröder, Lutz 9 Henzinger, Thomas A. 9 Jacobs, Bart 9 Larsen, Kim Guldstrand 9 Mayr, Richard M. 9 Milius, Stefan 9 Place, Thomas 9 Pous, Damien 9 Vardi, Moshe Ya’akov 9 Worrell, James Benjamin 8 Bollig, Benedikt 8 Bouyer, Patricia 8 Colcombet, Thomas 8 Finkel, Alain 8 Grohe, Martin 8 Hennessy, Matthew C. B. 8 Kesner, Delia 8 Mardare, Radu 8 Rabinovich, Alexander 7 Abdulla, Parosh Aziz 7 Blumensath, Achim 7 Bodirsky, Manuel 7 Bonchi, Filippo 7 Coquand, Thierry 7 Dal Lago, Ugo 7 Endrullis, Jörg 7 Lasota, Sławomir 7 Loreti, Michele 7 Luttik, Bas 7 Walukiewicz, Igor 7 Yoshida, Nobuko 6 Adámek, Jiří 6 Bartoletti, Massimo 6 Biernacki, Dariusz 6 Brihaye, Thomas 6 Clairambault, Pierre 6 Fijalkow, Nathanaël 6 Filiot, Emmanuel 6 Goubault-Larrecq, Jean 6 Hirschowitz, Tom 6 König, Barbara 6 Kupke, Clemens 6 Lehtinen, Karoliina 6 Lutz, Carsten 6 Melgratti, Hernán 6 Møgelberg, Rasmus Ejlers 6 Muscholl, Anca 6 Ouaknine, Joel O. 6 Pattinson, Dirk 6 Plotkin, Gordon D. 6 Raskin, Jean-François 6 Silva, Alexandra 6 Straßburger, Lutz 6 van Glabbeek, Robert Jan 6 Venema, Yde 6 Zanasi, Fabio 6 Zimmermann, Martin 5 Aceto, Luca 5 Ahrens, Benedikt 5 Ben-Amram, Amir M. 5 Blondin, Michael 5 Carton, Olivier 5 Conradie, Willem 5 Courcelle, Bruno 5 Demri, Stéphane P. 5 Dezani-Ciancaglini, Mariangiola 5 Ehrhard, Thomas 5 Figueira, Diego 5 Ghani, Neil 5 Gimbert, Hugo 5 Hermanns, Holger 5 Jančar, Petr 5 Kiefer, Stefan 5 Kimelfeld, Benny 5 Klin, Bartek 5 Kobayashi, Naoki 5 Kopczyński, Eryk 5 Krajíček, Jan 5 Lenglet, Sergueï 5 Leroux, Jérôme 5 Manzonetto, Giulio 5 Markey, Nicolas 5 Metcalfe, George 5 Mio, Matteo 5 Montanari, Angelo 5 Montanari, Ugo G. 5 Neumann, Eike 5 Normann, Dag 5 Padovani, Luca 5 Parrow, Joachim 5 Pauly, Arno M. 5 Perdrix, Simon 5 Polesiuk, Piotr 5 Polonsky, Andrew 5 Rot, Jurriaan ...and 1,984 more Authors all top 5 Fields 1,116 Computer science (68-XX) 813 Mathematical logic and foundations (03-XX) 129 Category theory; homological algebra (18-XX) 70 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 47 Order, lattices, ordered algebraic structures (06-XX) 33 Combinatorics (05-XX) 27 General algebraic systems (08-XX) 24 General topology (54-XX) 24 Probability theory and stochastic processes (60-XX) 20 Quantum theory (81-XX) 17 Information and communication theory, circuits (94-XX) 16 Operations research, mathematical programming (90-XX) 13 Algebraic topology (55-XX) 11 Group theory and generalizations (20-XX) 8 Functional analysis (46-XX) 7 Number theory (11-XX) 6 Measure and integration (28-XX) 6 Systems theory; control (93-XX) 5 Ordinary differential equations (34-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Numerical analysis (65-XX) 2 Associative rings and algebras (16-XX) 2 Real functions (26-XX) 2 Operator theory (47-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Functions of a complex variable (30-XX) 1 Partial differential equations (35-XX) 1 Integral equations (45-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Classical thermodynamics, heat transfer (80-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,071 Publications have been cited 6,509 times in 4,590 Documents Cited by ▼ Year ▼ From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067 Piterman, Nir 65 2007 Generic trace semantics via coinduction. Zbl 1131.68058 Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana 65 2007 Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Zbl 1239.08002 Barto, Libor; Kozik, Marcin 62 2012 Automata theory in nominal sets. Zbl 1338.68140 Bojańczyk, Mikołaj; Klin, Bartek; Lasota, Sławomir 55 2014 Psi-calculi: a framework for mobile processes with nominal data and logic. Zbl 1213.68399 Bengtson, Jesper; Johansson, Magnus; Parrow, Joachim; Victor, Björn 46 2011 First steps in synthetic guarded domain theory: step-indexing in the topos of trees. Zbl 1269.03035 Birkedal, Lars; Møgelberg, Rasmus Ejlers; Schwinghammer, Jan; Støvring, Kristian 45 2012 Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035 Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C. 40 2008 Handling algebraic effects. Zbl 1314.68191 Plotkin, Gordon D.; Pretnar, Matija 39 2013 Algorithms for omega-regular games with imperfect information. Zbl 1125.91028 Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 39 2007 Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011 Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric 38 2009 On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008 Ouaknine, Joel O.; Worrell, James B. 37 2007 Model checking probabilistic pushdown automata. Zbl 1126.68053 Kučera, Antonín; Esparza, Javier; Mayr, Richard 36 2006 Multi-objective model checking of Markov decision processes. Zbl 1161.68565 Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis 34 2008 Automatic structures: richness and limitations. Zbl 1128.03028 Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank 34 2007 A characterisation of first-order constraint satisfaction problems. Zbl 1131.68098 Larose, Benoit; Loten, Cynthia; Tardif, Claude 34 2007 Algorithmic correspondence and completeness in modal logic. I: The core algorithm SQEMA. Zbl 1126.03018 Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter 33 2006 Generalizing determinization from automata to coalgebras. Zbl 1262.18002 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 33 2013 New directions in categorical logic, for classical, probabilistic and quantum logic. Zbl 1338.03117 Jacobs, Bart 32 2015 General recursion via coinductive types. Zbl 1125.68038 Capretta, Venanzio 31 2005 Monads need not be endofunctors. Zbl 1448.18007 Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo 31 2015 First-order and temporal logics for nested words. Zbl 1159.03018 Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid 30 2008 Cores of countably categorical structures. Zbl 1128.03021 Bodirsky, Manuel 30 2007 On the algebraic structure of Weihrauch degrees. Zbl 1454.03053 Brattka, Vasco; Pauly, Arno 30 2018 Computational problems in metric fixed point theory and their Weihrauch degrees. Zbl 1351.03054 Neumann, Eike 28 2015 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 27 2010 Pebble games, proof complexity, and time-space trade-offs. Zbl 1285.03070 Nordstrom, Jakob 26 2013 Relating coalgebraic notions of bisimulation. Zbl 1247.68192 Staton, Sam 25 2011 Game refinement relations and metrics. Zbl 1147.68056 de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle 24 2008 Separating regular languages with first-order logic. Zbl 1448.68273 Place, Thomas; Zeitoun, Marc 24 2016 On global types and multi-party sessions. Zbl 1238.68026 Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca 24 2012 Modalities in homotopy type theory. Zbl 1489.03005 Rijke, Egbert; Shulman, Michael; Spitters, Bas 24 2020 Linear encodings of bounded LTL model checking. Zbl 1127.68057 Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor 23 2006 Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002 Keimel, Klaus; Plotkin, Gordon D. 23 2017 Linear dependent types and relative completeness. Zbl 1261.03073 Dal Lago, Ugo; Gaboardi, Marco 23 2012 Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574 Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois 22 2008 Parity and Streett games with costs. Zbl 1335.68137 Fijalkow, Nathanaël; Zimmermann, Martin 22 2014 Shrub-depth: capturing height of dense graphs. Zbl 1515.03150 Ganian, Robert; Hliněný, Petr; Nešetřil, Jaroslav; Obdržálek, Jan; Ossona de Mendez, Patrice 21 2019 Querying the guarded fragment. Zbl 1314.68146 Bárány, Vince; Gottlob, Georg; Otto, Martin 21 2014 Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044 Colcombet, Thomas 21 2013 On the preciseness of subtyping in session types. Zbl 1398.68360 Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko 21 2017 Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408 Dalmau, Victor 20 2005 Markov decision processes with multiple long-run average objectives. Zbl 1326.90101 Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín 20 2014 Normalisation control in deep inference via atomic flows. Zbl 1142.03033 Guglielmi, Alessio; Gundersen, Tom 19 2008 Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010 Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 19 2015 Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379 Ghilardi, Silvio; Ranise, Silvio 19 2010 Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Zbl 1241.68096 Cohen, Cyril; Mahboubi, Assia 19 2012 Non-idempotent intersection types and strong normalisation. Zbl 1297.03010 Bernadet, Alexis; Lengrand, Stéphane Jean 19 2013 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224 Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 19 2013 Semantics of separation-logic typing and higher-order frame rules for Algol-like languages. Zbl 1127.68019 Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok 18 2006 Axioms for modelling cubical type theory in a topos. Zbl 1509.03054 Orton, Ian; Pitts, Andrew M. 18 2018 Size, cost, and capacity: a semantic technique for hard random QBFs. Zbl 1515.03213 Beyersdorff, Olaf; Blinkhorn, Joshua; Hinde, Luke 18 2019 Epistemic updates on algebras. Zbl 1330.03035 Kurz, Alexander; Palmigiano, Alessandra 18 2013 Computability of 1-manifolds. Zbl 1315.03118 Burnik, Konrad; Iljazovic, Zvonko 18 2014 Towards 3-dimensional rewriting theory. Zbl 1314.68172 Mimram, Samuel 18 2014 Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365 Gebler, Daniel; Larsen, Kim G.; Tini, Simone 18 2016 Weak omega-categories from intensional type theory. Zbl 1250.03127 Lumsdaine, Peter LeFanu 18 2010 General bindings and alpha-equivalence in Nominal Isabelle. Zbl 1242.68283 Urban, Christian; Kaliszyk, Cezary 18 2012 Coalgebraic behavioral metrics. Zbl 1515.68199 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 18 2018 Resolution trees with lemmas: resolution refinements that characterize DLL algorithms with clause learning. Zbl 1159.03009 Buss, Samuel R.; Hoffmann, Jan; Johannsen, Jan 17 2008 (Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137 Accattoli, Beniamino; Dal Lago, Ugo 17 2016 Model checking of continuous-time Markov chains against timed automata specifications. Zbl 1233.68156 Chen, Taolue; Han, Tingting; Katoen, Joost-Pieter; Mereacre, Alexandru 17 2011 The height of piecewise-testable languages and the complexity of the logic of subwords. Zbl 1421.68063 Karandikar, Prateek; Schnoebelen, Philippe 17 2019 The complexity of Nash equilibria in stochastic multiplayer games. Zbl 1238.91025 Ummels, Michael; Wojtczak, Dominik 17 2011 The degree structure of Weihrauch-reducibility. Zbl 1271.03057 Higuchi, Kojiro; Pauly, Arno 17 2013 Lower bounds for complementation of \(\omega \)-automata via the full automata technique. Zbl 1158.68022 Yan, Qiqi 16 2008 The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016 Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y. 16 2008 Interpolation in local theory extensions. Zbl 1170.03018 Sofronie-Stokkermans, Viorica 16 2008 An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050 Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier 16 2005 Elgot algebras. Zbl 1127.68058 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 16 2006 The complexity of model checking higher-order fixpoint logic. Zbl 1128.68051 Axelsson, Roland; Lange, Martin; Somla, Rafał 16 2007 The Ho-Zhao problem. Zbl 1459.06003 Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong 16 2018 Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. Zbl 1168.03019 Weis, Philipp; Immerman, Neil 16 2009 Reversing place transition nets. Zbl 1534.68128 Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek 16 2020 Towards a proof theory of Gödel modal logics. Zbl 1266.03044 Metcalfe, George; Olivetti, Nicola 16 2011 A proof of Kamp’s theorem. Zbl 1326.03024 Rabinovich, Alexander 16 2014 Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1237.68056 Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz 16 2011 Quantified CTL: expressiveness and complexity. Zbl 1448.68304 Laroussinie, François; Markey, Nicolas 16 2014 Alternating register automata on finite words and trees. Zbl 1238.68074 Figueira, Diego 16 2012 Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 16 2017 On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062 Bodirsky, Manuel; Hils, Martin; Martin, Barnaby 16 2012 Representations of stream processors using nested fixed points. Zbl 1189.68031 Hancock, Peter G.; Ghani, Neil; Pattinson, Dirk 15 2009 Expressiveness of metric modalities for continuous time. Zbl 1128.03007 Hirshfeld, Yoram; Rabinovich, Alexander 15 2007 Transforming structures by set interpretations. Zbl 1128.03026 Colcombet, Thomas; Löding, Christof 15 2007 Computation tree logic with deadlock detection. Zbl 1200.68166 van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola 15 2009 Efficient reduction of nondeterministic automata with application to language inclusion testing. Zbl 1515.68159 Clemente, Lorenzo; Mayr, Richard 15 2019 Compact manifolds with computable boundaries. Zbl 1315.03119 Iljazovic, Zvonko 15 2013 Linear usage of state. Zbl 1326.68070 Møgelberg, Rasmus Ejlers; Staton, Sam 15 2014 On irrelevance and algorithmic equality in predicative type theory. Zbl 1238.03028 Abel, Andreas; Scherer, Gabriel 15 2012 Lineal: a linear-algebraic \(\lambda\)-calculus. Zbl 1448.68206 Arrighi, Pablo; Dowek, Gilles 15 2017 Feasible interpolation for QBF resolution calculi. Zbl 1448.68456 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 15 2017 Strongly complete logics for coalgebras. Zbl 1263.03063 Kurz, Alexander; Rosický, Jiří 15 2012 Reachability analysis of communicating pushdown systems. Zbl 1248.68330 Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 15 2012 Environment and classical channels in categorical quantum mechanics. Zbl 1259.81019 Coecke, Bob; Perdrix, Simon 15 2012 Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034 David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek 15 2013 Model checking one-clock priced timed automata. Zbl 1149.68401 Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 14 2008 Coalgebraic automata theory: basic results. Zbl 1161.18001 Kupke, Clemens; Venema, Yde 14 2008 Classical BI: its semantics and proof theory. Zbl 1198.03028 Brotherston, James; Calcagno, Cristiano 14 2010 The succinctness of first-order logic on linear orders. Zbl 1125.03024 Grohe, Martin; Schweikardt, Nicole 14 2005 Logic meets algebra: the case of regular languages. Zbl 1128.03029 Tesson, Pascal; Thérien, Denis 14 2007 Algebraic notions of termination. Zbl 1214.68185 Desharnais, Jules; Möller, Bernhard; Struth, Georg 14 2011 The pebble-relation comonad in finite model theory. Zbl 07872356 Montacute, Yoàv; Shah, Nihil 2 2024 On tools for completeness of Kleene algebra with hypotheses. Zbl 07872355 Pous, Damien; Rot, Jurriaan; Wagemaker, Jana 1 2024 Operations on fixpoint equation systems. Zbl 07906367 Neele, Thomas; van de Pol, Jaco 1 2024 Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi. Zbl 07906371 Hausmann, Daniel; Schröder, Lutz 1 2024 Isolated suborders and their application to counting closure operators. Zbl 07906373 Glück, Roland 1 2024 Controller synthesis for timeline-based games. Zbl 07906379 Acampora, Renato; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Picotti, Valentino 1 2024 Linear programs with conjunctive database queries. Zbl 07814917 Capelli, Florent; Crosetti, Nicolas; Niehren, Joachim; Ramon, Jan 1 2024 Galois connecting call-by-value and call-by-name. Zbl 07814921 McDermott, Dylan; Mycroft, Alan 1 2024 Trade-offs in static and dynamic evaluation of hierarchical queries. Zbl 07731939 Kara, Ahmet; Nikolic, Milos; Olteanu, Dan; Zhang, Haozhe 5 2023 Deconfined global types for asynchronous sessions. Zbl 07667093 Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola 5 2023 A first-order logic characterization of safety and co-safety languages. Zbl 07731941 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano 4 2023 Understanding the relative strength of QBF CDCL solvers and QBF resolution. Zbl 07731913 Beyersdorff, Olaf; Böhm, Benjamin 3 2023 HyperATL\(^*\): A logic for hyperproperties in multi-agent systems. Zbl 07731924 Beutner, Raven; Finkbeiner, Bernd 3 2023 A spatial logic for simplicial models. Zbl 07731936 Loreti, Michele; Quadrini, Michela 3 2023 Smart choices and the selection monad. Zbl 07731914 Abadi, Martín; Plotkin, Gordon 2 2023 Bridging causal reversibility and time reversibility: a stochastic process algebraic approach. Zbl 07731917 Bernardo, Marco; Mezzina, Claudio A. 2 2023 A coinductive reformulation of Milner’s proof system for regular expressions modulo bisimilarity. Zbl 07731928 Grabmayer, Clemens 2 2023 A framework to measure the robustness of programs in the unpredictable environment. Zbl 07731930 Castiglioni, Valentina; Loreti, Michele; Tini, Simone 2 2023 Separating sessions smoothly. Zbl 07731931 Fowler, Simon; Kokke, Wen; Dardha, Ornela; Lindley, Sam; Morris, J. Garrett 2 2023 Learning of structurally unambiguous probabilistic grammars. Zbl 07667083 Fisman, Dana; Nitay, Dolav; Ziv-Ukelson, Michal 2 2023 A modular construction of type theories. Zbl 1522.03041 Blanqui, Frédéric; Dowek, Gilles; Grienenberger, Emilie; Hondet, Gabriel; Thiré, François 2 2023 Fine-grained complexity of regular path queries. Zbl 07788987 Casel, Katrin; Schmid, Markus L. 2 2023 LNL polycategories and doctrines of linear logic. Zbl 07731912 Shulman, Michael 1 2023 Stateful realizers for nonstandard analysis. Zbl 07731918 Dinis, Bruno; Miquey, Étienne 1 2023 SAT-inspired higher-order eliminations. Zbl 07731920 Blanchette, Jasmin; Vukmirović, Petar 1 2023 Lowerbounds for bisimulation by partition refinement. Zbl 07731921 Groote, Jan Friso; Martens, Jan; de Vink, Erik P. 1 2023 Lacon-, shrub- and parity-decompositions: characterizing transductions of bounded expansion classes. Zbl 07731925 Dreier, Jan 1 2023 A theory of formal choreographic languages. Zbl 07731937 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio 1 2023 Arboreal categories: an axiomatic theory of resources. Zbl 07731942 Abramsky, Samson; Reggio, Luca 1 2023 Bidirectional runtime enforcement of first-order branching-time properties. Zbl 07667087 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingófsdóttir, Anna 1 2023 A case study on parametric verification of failure detectors. Zbl 07667090 Tran, Thanh-Hai; Konnov, Igor; Widder, Josef 1 2023 Coalgebras for bisimulation of weighted automata over semirings. Zbl 1545.68079 Bhaduri, Purandar 1 2023 Survey on parameterized verification with threshold automata and the Byzantine Model Checker. Zbl 07667095 Konnov, Igor; Lazić, Marijana; Stoilkovska, Ilina; Widder, Josef 1 2023 Concurrent process histories and resource transducers. Zbl 07667097 Nester, Chad 1 2023 Finding cut-offs in leaderless rendez-vous protocols is easy. Zbl 07753362 Balasubramanian, A. R.; Esparza, Javier; Raskin, Mikhail 1 2023 Impure simplicial complexes: complete axiomatization. Zbl 07753363 Randrianomentsoa, Rojo; van Ditmarsch, Hans; Kuznets, Roman 1 2023 Subgame-perfect equilibria in mean-payoff games. Zbl 07788978 Brice, Léonard; Raskin, Jean-François; van den Bogaard, Marie 1 2023 A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697 Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik 8 2022 An analytic propositional proof system on graphs. Zbl 07639905 Acclavio, Matteo; Horne, Ross; Straßburger, Lutz 6 2022 A theory of automated market makers in DeFi. Zbl 07639908 Bartoletti, Massimo; Chiang, Hsin-Yu James; Lluch-Lafuente, Alberto 5 2022 Geometric model checking of continuous space. Zbl 07639915 Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke 5 2022 Good-for-games \(\omega\)-pushdown automata. Zbl 1518.68182 Lehtinen, Karoliina; Zimmermann, Martin 5 2022 Games where you can play optimally with arena-independent finite memory. Zbl 07471700 Bouyer, Patricia; Le Roux, Stéphane; Oualhadj, Youssouf; Randour, Mickael; Vandenhove, Pierre 5 2022 No-go theorems for distributive laws. Zbl 07471702 Zwart, Maaike; Marsden, Dan 5 2022 Modules over monads and operational semantics (expanded version). Zbl 07577567 Hirschowitz, André; Hirschowitz, Tom; Lafont, Ambroise 4 2022 Minimization and canonization of GFG transition-based automata. Zbl 1540.68117 Abu Radi, Bader; Kupferman, Orna 4 2022 The theory of universal graphs for infinite duration games. Zbl 07596577 Colcombet, Thomas; Fijalkow, Nathanaël; Gawrychowski, Paweł; Ohlmann, Pierre 3 2022 Fusible numbers and Peano arithmetic. Zbl 07577570 Erickson, Jeff; Nivasch, Gabriel; Xu, Junyan 3 2022 Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583 Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe 3 2022 Enumerating answers to first-order queries over databases of low degree. Zbl 07566063 Durand, Arnaud; Schweikardt, Nicole; Segoufin, Luc 3 2022 The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077 Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria 3 2022 A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693 Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele 3 2022 Quantifying over Boolean announcements. Zbl 07471709 van Ditmarsch, Hans; French, Tim 3 2022 Weight annotation in information extraction. Zbl 07471710 Doleschal, Johannes; Kimelfeld, Benny; Martens, Wim; Peterfreund, Liat 3 2022 Duality for powerset coalgebras. Zbl 07471716 Bezhanishvili, Guram; Carai, Luca; Morandi, Patrick 3 2022 Why does propositional quantification make modal and temporal logics on trees robustly hard? Zbl 07577569 Bednarczyk, Bartosz; Demri, Stéphane 2 2022 Instance reducibility and Weihrauch degrees. Zbl 07577584 Bauer, Andrej 2 2022 BDD-based algorithm for SCC decomposition of edge-coloured graphs. Zbl 07566051 Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David 2 2022 Higher order automatic differentiation of higher order functions. Zbl 07566054 Huot, Mathieu; Staton, Sam; Vákár, Matthijs 2 2022 Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms. Zbl 07566061 Faggian, Claudia 2 2022 CC-circuits and the expressive power of nilpotent algebras. Zbl 07566068 Kompatscher, Michael 2 2022 Characteristic logics for behavioural hemimetrics via fuzzy lax extensions. Zbl 07566075 Wild, Paul; Schröder, Lutz 2 2022 The Shapley value of inconsistency measures for functional dependencies. Zbl 07566076 Livshits, Ester; Kimelfeld, Benny 2 2022 Inductive and coinductive topological generation with Church’s thesis and the axiom of choice. Zbl 07639913 Maietti, Maria Emilia; Maschio, Samuele; Rathjen, Michael 2 2022 Algebraic coherent confluence and higher globular Kleene algebras. Zbl 1508.18018 Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg 2 2022 The dichotomy of evaluating homomorphism-closed queries on probabilistic graphs. Zbl 07471691 Amarilli, Antoine; Ceylan, İsmail İlkan 2 2022 Rast: a language for resource-aware session types. Zbl 07471698 Das, Ankush; Pfenning, Frank 2 2022 Normalization for planar string diagrams and a quadratic equivalence algorithm. Zbl 1502.18039 Delpeuch, Antonin; Vicary, Jamie 2 2022 Regular matching problems for infinite trees. Zbl 07471714 Camino, Carlos; Diekert, Volker; Dundua, Besik; Marin, Mircea; Sénizergues, Géraud 2 2022 Strongly-normalizing higher-order relational queries. Zbl 07596571 Ricciotti, Wilmer; Cheney, James 1 2022 Minimality notions via factorization systems and examples. Zbl 07596579 Wißmann, Thorsten 1 2022 Relating functional and imperative session types. Zbl 07596581 Saffrich, Hannes; Thiemann, Peter 1 2022 A coalgebraic approach to dualities for neighborhood frames. Zbl 07577568 Bezhanishvili, Guram; Bezhanishvili, Nick; de Groot, Jim 1 2022 Uniform envelopes. Zbl 07577572 Neumann, Eike 1 2022 A first-order complete temporal logic for structured context-free languages. Zbl 1545.68069 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo 1 2022 Timed automata robustness analysis via model checking. Zbl 07577576 Bendík, Jaroslav; Sencan, Ahmet; Aydin Gol, Ebru; Černá, Ivana 1 2022 A tier-based typed programming language characterizing feasible functionals. Zbl 07566046 Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain 1 2022 Infinite probabilistic databases. Zbl 07566047 Grohe, Martin; Lindner, Peter 1 2022 Hilbert’s tenth problem in Coq (extended version). Zbl 1528.03182 Larchey-Wendling, Dominique; Forster, Yannick 1 2022 Uniform interpolants in \(\mathcal{EUF}\): algorithms using DAG-representations. Zbl 07566058 Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak 1 2022 Circular proofs as session-typed processes: a local validity condition. Zbl 07566064 Derakhshan, Farzaneh; Pfenning, Frank 1 2022 Tractable combinations of temporal CSPs. Zbl 07566067 Bodirsky, Manuel; Greiner, Johannes; Rydval, Jakub 1 2022 Quotients, inductive types, and quotient inductive types. Zbl 1502.18046 Fiore, Marcelo P.; Pitts, Andrew M.; Steenkamp, S. C. 1 2022 Actris 2.0: asynchronous session-type based reasoning in separation logic. Zbl 07566072 Kastberg Hinrichsen, Jonas; Bengtson, Jesper; Krebbers, Robbert 1 2022 A cubical language for Bishop sets. Zbl 07566056 Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel 1 2022 Beyond notations: hygienic macro expansion for theorem proving languages. Zbl 07566057 Ullrich, Sebastian; de Moura, Leonardo 1 2022 General decidability results for asynchronous shared-memory programs: higher-order and beyond. Zbl 07639910 Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg 1 2022 Building specifications in the Event-B institution. Zbl 07639912 Farrell, Marie; Monahan, Rosemary; Power, James F. 1 2022 Quasilinear-time computation of generic modal witnesses for behavioural inequivalence. Zbl 07639914 Wißmann, Thorsten; Milius, Stefan; Schröder, Lutz 1 2022 Convexity via weak distributive laws. Zbl 07639916 Bonchi, Filippo; Santamaria, Alessio 1 2022 On the Taylor expansion of \(\lambda\)-terms and the groupoid structure of their rigid approximants. Zbl 07471690 Olimpieri, Federico; Vaux Auclair, Lionel 1 2022 An extensible equality checking algorithm for dependent type theories. Zbl 1504.68276 Bauer, Andrej; Petković Komel, Anja 1 2022 On the Nielsen-Schreier theorem in homotopy type theory. Zbl 07471707 Swan, Andrew W. 1 2022 Bounded reachability problems are decidable in FIFO machines. Zbl 07471708 Bollig, Benedikt; Finkel, Alain; Suresh, Amrita 1 2022 Verifying liquidity of recursive bitcoin contracts. Zbl 07471711 Bartoletti, Massimo; Lande, Stefano; Murgia, Maurizio; Zunino, Roberto 1 2022 Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption. Zbl 07471713 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro 1 2022 Optimizing tree decompositions in MSO. Zbl 07471715 Bojańczyk, Mikołaj; Pilipczuk, Michał 1 2022 Canonicity and homotopy canonicity for cubical type theory. Zbl 1486.03027 Coquand, Thierry; Huber, Simon; Sattler, Christian 1 2022 Foundations of online structure theory. II: The operator approach. Zbl 1544.03039 Downey, Rod; Melnikov, Alexander; Ng, Keng Meng 10 2021 Relating apartness and bisimulation. Zbl 1525.68083 Geuvers, Herman; Jacobs, Bart 8 2021 ...and 971 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 4,724 Authors 39 Chatterjee, Krishnendu 32 Schröder, Lutz 30 Milius, Stefan 28 Bouyer, Patricia 28 Jacobs, Bart 28 Pauly, Arno M. 27 Silva, Alexandra 26 Birkedal, Lars 25 Bodirsky, Manuel 25 Bonchi, Filippo 25 Katoen, Joost-Pieter 24 Henzinger, Thomas A. 24 Larsen, Kim Guldstrand 24 Raskin, Jean-François 23 Rot, Jurriaan 23 Worrell, James Benjamin 22 Murano, Aniello 22 Yoshida, Nobuko 21 Filiot, Emmanuel 20 Montanari, Angelo 19 Bollig, Benedikt 19 Markey, Nicolas 19 Palmigiano, Alessandra 18 Bozzelli, Laura 18 Conradie, Willem 18 Dal Lago, Ugo 18 Droste, Manfred 18 Křetínský, Jan 18 Kupferman, Orna 18 Kuske, Dietrich 18 Lange, Martin 18 Uustalu, Tarmo 18 Vardi, Moshe Ya’akov 18 Zanasi, Fabio 17 Beyersdorff, Olaf 17 Cimatti, Alessandro 17 Goubault-Larrecq, Jean 17 Kesner, Delia 17 Randour, Mickael 17 Tini, Simone 16 Baier, Christel 16 Doyen, Laurent 16 Ghilardi, Silvio 16 Lanese, Ivan 16 Veltri, Niccolò 16 Zimmermann, Martin 15 Krebs, Andreas 15 Kufleitner, Manfred 15 Li, Qingguo 15 Luttik, Bas 15 Pattinson, Dirk 15 Sobociński, Paweł 15 Wißmann, Thorsten 15 Zeitoun, Marc 14 Castiglioni, Valentina 14 Colcombet, Thomas 14 Finkel, Olivier 14 Iljazović, Zvonko 14 Krokhin, Andrei A. 14 Lasota, Sławomir 14 Loreti, Michele 14 Mezzina, Claudio Antares 14 Place, Thomas 14 Reynier, Pierre-Alain 14 Schewe, Sven 14 Selivanov, Viktor L’vovich 14 Stephan, Frank 14 Straßburger, Lutz 14 Venema, Yde 13 Abdulla, Parosh Aziz 13 Aceto, Luca 13 Brattka, Vasco 13 Coquand, Thierry 13 Dezani-Ciancaglini, Mariangiola 13 Díaz-Caro, Alejandro 13 Fijalkow, Nathanaël 13 Finkel, Alain 13 Goncharov, Sergeĭ Savost’yanovich 13 Heunen, Chris 13 Horne, Ross 13 Kobayashi, Naoki 13 Lanotte, Ruggero 13 Leroux, Stéphane 13 Mardare, Radu 13 Martin, Barnaby D. 13 Melgratti, Hernán 13 Møgelberg, Rasmus Ejlers 13 Montanari, Ugo G. 13 Murawski, Andrzej S. 13 Pérez, Jorge A. 13 Peron, Adriano 13 Pradella, Matteo 13 Rabinovich, Alexander 12 Atig, Mohamed Faouzi 12 Barto, Libor 12 Blanchette, Jasmin Christian 12 Bojańczyk, Mikołaj 12 Endrullis, Jörg 12 Esparza, Javier 12 Gastin, Paul ...and 4,624 more Authors all top 5 Cited in 234 Journals 366 Logical Methods in Computer Science 244 Theoretical Computer Science 193 Information and Computation 130 Mathematical Structures in Computer Science 105 Journal of Logical and Algebraic Methods in Programming 104 Journal of Automated Reasoning 80 Annals of Pure and Applied Logic 64 Acta Informatica 60 ACM Transactions on Computational Logic 59 Journal of Computer and System Sciences 53 Theory of Computing Systems 52 Journal of Functional Programming 49 Formal Methods in System Design 41 Information Processing Letters 39 Algebra Universalis 35 The Journal of Symbolic Logic 33 Formal Aspects of Computing 31 Artificial Intelligence 29 Studia Logica 28 SIAM Journal on Computing 24 International Journal of Foundations of Computer Science 23 Fundamenta Informaticae 22 Archive for Mathematical Logic 21 Topology and its Applications 19 Journal of Applied Non-Classical Logics 18 Theory and Applications of Categories 17 Journal of the ACM 16 Discrete Applied Mathematics 16 Mathematical Logic Quarterly (MLQ) 15 Computability 14 The Review of Symbolic Logic 13 Journal of Pure and Applied Algebra 13 European Journal of Combinatorics 13 Algorithmica 13 Annals of Mathematics and Artificial Intelligence 13 Journal of Applied Logic 12 Applied Categorical Structures 11 Theory and Practice of Logic Programming 10 Fuzzy Sets and Systems 10 Journal of Philosophical Logic 10 Science of Computer Programming 10 Order 10 International Journal of Algebra and Computation 10 TheoretiCS 9 SIAM Journal on Discrete Mathematics 9 Computational Complexity 8 Advances in Mathematics 8 Journal of Complexity 8 International Journal of Approximate Reasoning 8 Discrete Event Dynamic Systems 8 The Bulletin of Symbolic Logic 8 Constraints 8 Higher-Order and Symbolic Computation 8 RAIRO. Theoretical Informatics and Applications 7 Synthese 7 Journal of Symbolic Computation 7 The Electronic Journal of Combinatorics 7 The Journal of Logic and Algebraic Programming 7 Logica Universalis 6 Discrete Mathematics 6 Notre Dame Journal of Formal Logic 6 Journal of Logic, Language and Information 6 The Journal of Artificial Intelligence Research (JAIR) 6 Discrete Mathematics and Theoretical Computer Science. DMTCS 6 Journal of Mathematical Logic 6 Mathematics in Computer Science 6 Journal of Physics A: Mathematical and Theoretical 5 Semigroup Forum 5 Transactions of the American Mathematical Society 5 Soft Computing 5 Computer Languages, Systems & Structures 5 Oberwolfach Reports 5 Journal of Logic and Analysis 5 Computer Science Review 4 Houston Journal of Mathematics 4 Israel Journal of Mathematics 4 Automatica 4 Bulletin of the London Mathematical Society 4 Proceedings of the American Mathematical Society 4 Siberian Mathematical Journal 4 Forum Mathematicum 4 Selecta Mathematica. New Series 4 Nonlinear Analysis. Hybrid Systems 4 Higher Structures 4 Enumerative Combinatorics and Applications 3 Communications in Algebra 3 Journal of Mathematical Analysis and Applications 3 Information Sciences 3 Journal of Graph Theory 3 Quaestiones Mathematicae 3 Advances in Applied Mathematics 3 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 3 Bulletin of the American Mathematical Society. New Series 3 Mathematical Programming. Series A. Series B 3 Computational Optimization and Applications 3 Topology Proceedings 3 Acta Mathematica Sinica. English Series 3 RAIRO. Theoretical Informatics and Applications 3 Communications in Contemporary Mathematics 3 Logic and Logical Philosophy ...and 134 more Journals all top 5 Cited in 54 Fields 3,442 Computer science (68-XX) 1,943 Mathematical logic and foundations (03-XX) 371 Category theory; homological algebra (18-XX) 243 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 173 Order, lattices, ordered algebraic structures (06-XX) 165 Combinatorics (05-XX) 128 Quantum theory (81-XX) 125 General algebraic systems (08-XX) 105 Operations research, mathematical programming (90-XX) 92 General topology (54-XX) 74 Probability theory and stochastic processes (60-XX) 62 Group theory and generalizations (20-XX) 53 Systems theory; control (93-XX) 52 Algebraic topology (55-XX) 41 Information and communication theory, circuits (94-XX) 26 Measure and integration (28-XX) 23 Operator theory (47-XX) 22 Associative rings and algebras (16-XX) 21 Number theory (11-XX) 21 Commutative algebra (13-XX) 16 Functional analysis (46-XX) 15 Linear and multilinear algebra; matrix theory (15-XX) 14 Statistics (62-XX) 14 Numerical analysis (65-XX) 11 Biology and other natural sciences (92-XX) 10 General and overarching topics; collections (00-XX) 10 Convex and discrete geometry (52-XX) 9 History and biography (01-XX) 9 Ordinary differential equations (34-XX) 9 Dynamical systems and ergodic theory (37-XX) 8 Geometry (51-XX) 7 Topological groups, Lie groups (22-XX) 7 Real functions (26-XX) 6 Algebraic geometry (14-XX) 6 Functions of a complex variable (30-XX) 6 Partial differential equations (35-XX) 5 Manifolds and cell complexes (57-XX) 5 Statistical mechanics, structure of matter (82-XX) 4 Field theory and polynomials (12-XX) 3 Nonassociative rings and algebras (17-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Global analysis, analysis on manifolds (58-XX) 2 Difference and functional equations (39-XX) 2 Differential geometry (53-XX) 2 Optics, electromagnetic theory (78-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Special functions (33-XX) 1 Sequences, series, summability (40-XX) 1 Approximations and expansions (41-XX) 1 Abstract harmonic analysis (43-XX) 1 Mechanics of deformable solids (74-XX) 1 Relativity and gravitational theory (83-XX) 1 Mathematics education (97-XX) Citations by Year