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,389 Publications (since 2005) References Indexed: 646 Publications with 22,858 References. all top 5 Latest Issues 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 9 Jacobs, Bart 9 Kurz, Alexander 9 Larsen, Kim Guldstrand 9 Mayr, Richard M. 9 Milius, Stefan 9 Place, Thomas 9 Schröder, Lutz 9 Vardi, Moshe Ya’akov 9 Worrell, James B. 8 Grohe, Martin 8 Hennessy, Matthew C. B. 8 Henzinger, Thomas A. 8 Rabinovich, Alexander 7 Abdulla, Parosh Aziz 7 Blumensath, Achim 7 Bodirsky, Manuel 7 Bonchi, Filippo 7 Bouyer, Patricia 7 Coquand, Thierry 7 Dal Lago, Ugo 7 Endrullis, Jörg 7 Finkel, Alain 7 Lasota, Sławomir 7 Loreti, Michele 7 Luttik, Bas 7 Mardare, Radu 7 Walukiewicz, Igor 7 Yoshida, Nobuko 6 Adámek, Jiří 6 Bartoletti, Massimo 6 Brihaye, Thomas 6 Colcombet, Thomas 6 Das, Anupam 6 Fijalkow, Nathanaël 6 Filiot, Emmanuel 6 Kesner, Delia 6 König, Barbara 6 Kupke, Clemens 6 Lutz, Carsten 6 Melgratti, Hernán 6 Møgelberg, Rasmus Ejlers 6 Muscholl, Anca 6 Ouaknine, Joel O. 6 Pattinson, Dirk 6 Pous, Damien 6 Raskin, Jean-François 6 Silva, Alexandra 6 Straßburger, Lutz 6 van Glabbeek, Robert Jan 6 Venema, Yde 6 Zimmermann, Martín G. 5 Ahrens, Benedikt 5 Ben-Amram, Amir M. 5 Biernacki, Dariusz 5 Blondin, Michael 5 Bollig, Benedikt 5 Clairambault, Pierre 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 Goubault-Larrecq, Jean 5 Hermanns, Holger 5 Hirschowitz, Tom 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 Lehtinen, Karoliina 5 Leroux, Jérôme 5 Manzonetto, Giulio 5 Markey, Nicolas 5 Metcalfe, George 5 Mio, Matteo 5 Montanari, Ugo G. 5 Normann, Dag 5 Padovani, Luca 5 Parrow, Joachim 5 Pauly, Arno M. 5 Plotkin, Gordon D. 5 Polonsky, Andrew 5 Rutten, Jan J. M. M. 5 Sangiorgi, Davide 5 Schweikardt, Nicole 5 Schwentick, Thomas 5 Uustalu, Tarmo 5 Velebil, Jiří 5 Viroli, Mirko 5 Vollmer, Heribert ...and 1,909 more Authors all top 5 Fields 1,093 Computer science (68-XX) 909 Mathematical logic and foundations (03-XX) 114 Category theory; homological algebra (18-XX) 52 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 43 Order, lattices, ordered algebraic structures (06-XX) 23 Combinatorics (05-XX) 23 General algebraic systems (08-XX) 22 Probability theory and stochastic processes (60-XX) 21 General topology (54-XX) 17 Quantum theory (81-XX) 15 Information and communication theory, circuits (94-XX) 11 Algebraic topology (55-XX) 8 Group theory and generalizations (20-XX) 8 Functional analysis (46-XX) 8 Operations research, mathematical programming (90-XX) 5 Ordinary differential equations (34-XX) 5 Systems theory; control (93-XX) 4 Number theory (11-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Measure and integration (28-XX) 3 Numerical analysis (65-XX) 2 Associative rings and algebras (16-XX) 2 Real functions (26-XX) 2 Dynamical systems and ergodic theory (37-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,009 Publications have been cited 5,406 times in 3,839 Documents Cited by ▼ Year ▼ Generic trace semantics via coinduction. Zbl 1131.68058 Hasuo, Ichiro; Jacobs, Bart; Sokolova, Ana 60 2007 Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Zbl 1239.08002 Barto, Libor; Kozik, Marcin 51 2012 From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067 Piterman, Nir 50 2007 Automata theory in nominal sets. Zbl 1338.68140 Bojańczyk, Mikołaj; Klin, Bartek; Lasota, Sławomir 43 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 42 2011 Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035 Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C. 39 2008 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 35 2012 On the decidability and complexity of metric temporal logic over finite words. Zbl 1128.03008 Ouaknine, Joel O.; Worrell, James B. 34 2007 Neighbourhood structures: bisimilarity and basic model theory. Zbl 1172.03011 Hansen, Helle Hvid; Kupke, Clemens; Pacuit, Eric 33 2009 Algorithmic correspondence and completeness in modal logic. I: The core algorithm SQEMA. Zbl 1126.03018 Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter 32 2006 Automatic structures: richness and limitations. Zbl 1128.03028 Khoussainov, Bakhadyr; Nies, Andre; Rubin, Sasha; Stephan, Frank 32 2007 Algorithms for omega-regular games with imperfect information. Zbl 1125.91028 Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 31 2007 Generalizing determinization from automata to coalgebras. Zbl 1262.18002 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 31 2013 A characterisation of first-order constraint satisfaction problems. Zbl 1131.68098 Larose, Benoit; Loten, Cynthia; Tardif, Claude 30 2007 Handling algebraic effects. Zbl 1314.68191 Plotkin, Gordon D.; Pretnar, Matija 30 2013 First-order and temporal logics for nested words. Zbl 1159.03018 Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid 29 2008 On the algebraic structure of Weihrauch degrees. Zbl 1454.03053 Brattka, Vasco; Pauly, Arno 29 2018 Model checking probabilistic pushdown automata. Zbl 1126.68053 Kučera, Antonín; Esparza, Javier; Mayr, Richard 27 2006 New directions in categorical logic, for classical, probabilistic and quantum logic. Zbl 1338.03117 Jacobs, Bart 27 2015 General recursion via coinductive types. Zbl 1125.68038 Capretta, Venanzio 26 2005 Monads need not be endofunctors. Zbl 1448.18007 Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo 26 2015 Cores of countably categorical structures. Zbl 1128.03021 Bodirsky, Manuel 25 2007 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 25 2010 Relating coalgebraic notions of bisimulation. Zbl 1247.68192 Staton, Sam 24 2011 Computational problems in metric fixed point theory and their Weihrauch degrees. Zbl 1351.03054 Neumann, Eike 24 2015 Multi-objective model checking of Markov decision processes. Zbl 1161.68565 Etessami, Kousha; Kwiatkowska, Marta; Vardi, Moshe Y.; Yannakakis, Mihalis 23 2008 Separating regular languages with first-order logic. Zbl 1448.68273 Place, Thomas; Zeitoun, Marc 22 2016 Game refinement relations and metrics. Zbl 1147.68056 de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle 22 2008 On global types and multi-party sessions. Zbl 1238.68026 Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca 21 2012 Linear encodings of bounded LTL model checking. Zbl 1127.68057 Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor 20 2006 Parity and Streett games with costs. Zbl 1335.68137 Fijalkow, Nathanaël; Zimmermann, Martin 20 2014 Mixed powerdomains for probability and nondeterminism. Zbl 1448.06002 Keimel, Klaus; Plotkin, Gordon D. 20 2017 Linear dependent types and relative completeness. Zbl 1261.03073 Dal Lago, Ugo; Gaboardi, Marco 20 2012 Modalities in homotopy type theory. Zbl 1489.03005 Rijke, Egbert; Shulman, Michael; Spitters, Bas 19 2020 Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination. Zbl 1241.68096 Cohen, Cyril; Mahboubi, Assia 18 2012 Model checking probabilistic timed automata with one or two clocks. Zbl 1147.68574 Jurdzinski, Marcin; Sproston, Jeremy; Laroussinie, Francois 18 2008 Querying the guarded fragment. Zbl 1314.68146 Bárány, Vince; Gottlob, Georg; Otto, Martin 18 2014 Regular cost functions. I: Logic and algebra over words. Zbl 1280.03044 Colcombet, Thomas 18 2013 Connector algebras for C/E and P/T nets’ interactions. Zbl 1274.68224 Bruni, Roberto; Melgratti, Hernan; Montanari, Ugo; Sobocinski, Pawel 18 2013 General bindings and alpha-equivalence in Nominal Isabelle. Zbl 1242.68283 Urban, Christian; Kaliszyk, Cezary 17 2012 On the preciseness of subtyping in session types. Zbl 1398.68360 Chen, Tzu-Chun; Dezani-Ciancaglini, Mariangiola; Scalas, Alceste; Yoshida, Nobuko 17 2017 Normalisation control in deep inference via atomic flows. Zbl 1142.03033 Guglielmi, Alessio; Gundersen, Tom 17 2008 Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010 Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 17 2015 Pebble games, proof complexity, and time-space trade-offs. Zbl 1285.03070 Nordstrom, Jakob 17 2013 Epistemic updates on algebras. Zbl 1330.03035 Kurz, Alexander; Palmigiano, Alessandra 17 2013 Linear Datalog and bounded path duality of relational structures. Zbl 1125.68408 Dalmau, Victor 16 2005 Backward reachability of array-based systems by SMT solving: termination and invariant synthesis. Zbl 1213.68379 Ghilardi, Silvio; Ranise, Silvio 16 2010 Computability of 1-manifolds. Zbl 1315.03118 Burnik, Konrad; Iljazovic, Zvonko 16 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 16 2019 Non-idempotent intersection types and strong normalisation. Zbl 1297.03010 Bernadet, Alexis; Lengrand, Stéphane Jean 16 2013 Elgot algebras. Zbl 1127.68058 Adámek, Jiří; Milius, Stefan; Velebil, Jiří 15 2006 On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062 Bodirsky, Manuel; Hils, Martin; Martin, Barnaby 15 2012 The complexity of Nash equilibria in stochastic multiplayer games. Zbl 1238.91025 Ummels, Michael; Wojtczak, Dominik 15 2011 (Leftmost-outermost) beta reduction is invariant, indeed. Zbl 1394.68137 Accattoli, Beniamino; Dal Lago, Ugo 15 2016 Quantified CTL: expressiveness and complexity. Zbl 1448.68304 Laroussinie, François; Markey, Nicolas 15 2014 Lineal: a linear-algebraic \(\lambda\)-calculus. Zbl 1448.68206 Arrighi, Pablo; Dowek, Gilles 15 2017 Reasoning about strategies: on the satisfiability problem. Zbl 1448.68312 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 15 2017 The degree structure of Weihrauch-reducibility. Zbl 1271.03057 Higuchi, Kojiro; Pauly, Arno 15 2013 Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365 Gebler, Daniel; Larsen, Kim G.; Tini, Simone 15 2016 Coalgebraic behavioral metrics. Zbl 1515.68199 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 15 2018 The height of piecewise-testable languages and the complexity of the logic of subwords. Zbl 1421.68063 Karandikar, Prateek; Schnoebelen, Philippe 15 2019 A proof of Kamp’s theorem. Zbl 1326.03024 Rabinovich, Alexander 15 2014 Axioms for modelling cubical type theory in a topos. Zbl 1509.03054 Orton, Ian; Pitts, Andrew M. 15 2018 Resolution trees with lemmas: resolution refinements that characterize DLL algorithms with clause learning. Zbl 1159.03009 Buss, Samuel R.; Hoffmann, Jan; Johannsen, Jan 14 2008 Towards a proof theory of Gödel modal logics. Zbl 1266.03044 Metcalfe, George; Olivetti, Nicola 14 2011 Alternating register automata on finite words and trees. Zbl 1238.68074 Figueira, Diego 14 2012 Lower bounds for complementation of \(\omega \)-automata via the full automata technique. Zbl 1158.68022 Yan, Qiqi 14 2008 Model checking one-clock priced timed automata. Zbl 1149.68401 Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 14 2008 The complexity of enriched \(\mu\)-calculi. Zbl 1151.03016 Bonatti, Piero A.; Lutz, Carsten; Murano, Aniello; Vardi, Moshe Y. 14 2008 Towards 3-dimensional rewriting theory. Zbl 1314.68172 Mimram, Samuel 14 2014 Unification in the description logic EL. Zbl 1214.68379 Baader, Franz; Morawska, Barbara 14 2010 Weak omega-categories from intensional type theory. Zbl 1250.03127 Lumsdaine, Peter LeFanu 14 2010 Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034 David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek 14 2013 An operational foundation for delimited continuations in the CPS hierarchy. Zbl 1125.68050 Biernacka, Małgorzata; Biernacki, Dariusz; Danvy, Olivier 13 2005 On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Zbl 1126.68376 Neven, Frank; Schwentick, Thomas 13 2006 Expressiveness of metric modalities for continuous time. Zbl 1128.03007 Hirshfeld, Yoram; Rabinovich, Alexander 13 2007 Reachability analysis of communicating pushdown systems. Zbl 1248.68330 Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 13 2012 Degrees of lookahead in regular infinite games. Zbl 1248.68299 Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang 13 2012 Computation tree logic with deadlock detection. Zbl 1200.68166 van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola 13 2009 Structure theorem and strict alternation hierarchy for FO\(^{2}\) on words. Zbl 1168.03019 Weis, Philipp; Immerman, Neil 13 2009 Interpolation in local theory extensions. Zbl 1170.03018 Sofronie-Stokkermans, Viorica 13 2008 Algebraic notions of termination. Zbl 1214.68185 Desharnais, Jules; Möller, Bernhard; Struth, Georg 13 2011 From coinductive proofs to exact real arithmetic: theory and applications. Zbl 1218.03036 Berger, Ulrich 13 2011 The Ho-Zhao problem. Zbl 1459.06003 Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong 13 2018 The power of priority channel systems. Zbl 1448.68341 Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe 13 2014 Globally governed session semantics. Zbl 1448.68344 Kouzapas, Dimitrios; Yoshida, Nobuko 13 2014 Using higher-order contracts to model session types. Zbl 1448.68329 Bernardi, Giovanni; Hennessy, Matthew 13 2016 QRB-domains and the probabilistic powerdomain. Zbl 1239.06002 Goubault-Larrecq, Jean 13 2012 On irrelevance and algorithmic equality in predicative type theory. Zbl 1238.03028 Abel, Andreas; Scherer, Gabriel 13 2012 A synthesis of the procedural and declarative styles of interactive theorem proving. Zbl 1238.68147 Wiedijk, Freek 13 2012 Enriched \(\mu\)-calculi module checking. Zbl 1147.68049 Ferrante, Alessandro; Murano, Aniello; Parente, Mimmo 13 2008 Admissibility in finitely generated quasivarieties. Zbl 1297.03009 Metcalfe, George; Röthlisberger, Christoph 13 2013 Compact manifolds with computable boundaries. Zbl 1315.03119 Iljazovic, Zvonko 13 2013 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 13 2014 Contextual equivalence for higher-order pi-calculus revisited. Zbl 1125.68084 Jeffrey, Alan S. A.; Rathke, Julian 12 2005 The succinctness of first-order logic on linear orders. Zbl 1125.03024 Grohe, Martin; Schweikardt, Nicole 12 2005 A system of interaction and structure. II: The need for deep inference. Zbl 1126.03051 Tiu, Alwen 12 2006 Modal logics of topological relations. Zbl 1126.03026 Lutz, Carsten; Wolter, Frank 12 2006 Generalized majority-minority operations are tractable. Zbl 1127.68039 Dalmau, Victor 12 2006 Transforming structures by set interpretations. Zbl 1128.03026 Colcombet, Thomas; Löding, Christof 12 2007 Trade-offs in static and dynamic evaluation of hierarchical queries. Zbl 07731939 Kara, Ahmet; Nikolic, Milos; Olteanu, Dan; Zhang, Haozhe 5 2023 Smart choices and the selection monad. Zbl 07731914 Abadi, Martín; Plotkin, Gordon 2 2023 A coinductive reformulation of Milner’s proof system for regular expressions modulo bisimilarity. Zbl 07731928 Grabmayer, Clemens 2 2023 A spatial logic for simplicial models. Zbl 07731936 Loreti, Michele; Quadrini, Michela 2 2023 Learning of structurally unambiguous probabilistic grammars. Zbl 07667083 Fisman, Dana; Nitay, Dolav; Ziv-Ukelson, Michal 2 2023 Finding cut-offs in leaderless rendez-vous protocols is easy. Zbl 07753362 Balasubramanian, A. R.; Esparza, Javier; Raskin, Mikhail 1 2023 Understanding the relative strength of QBF CDCL solvers and QBF resolution. Zbl 07731913 Beyersdorff, Olaf; Böhm, Benjamin 1 2023 Stateful realizers for nonstandard analysis. Zbl 07731918 Dinis, Bruno; Miquey, Étienne 1 2023 Lacon-, shrub- and parity-decompositions: characterizing transductions of bounded expansion classes. Zbl 07731925 Dreier, Jan 1 2023 A framework to measure the robustness of programs in the unpredictable environment. Zbl 07731930 Castiglioni, Valentina; Loreti, Michele; Tini, Simone 1 2023 Separating sessions smoothly. Zbl 07731931 Fowler, Simon; Kokke, Wen; Dardha, Ornela; Lindley, Sam; Morris, J. Garrett 1 2023 A theory of formal choreographic languages. Zbl 07731937 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio 1 2023 A first-order logic characterization of safety and co-safety languages. Zbl 07731941 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano 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 Deconfined global types for asynchronous sessions. Zbl 07667093 Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola 1 2023 Concurrent process histories and resource transducers. Zbl 07667097 Nester, Chad 1 2023 Fine-grained complexity of regular path queries. Zbl 07788987 Casel, Katrin; Schmid, Markus L. 1 2023 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 4 2022 Good-for-games \(\omega\)-pushdown automata. Zbl 1518.68182 Lehtinen, Karoliina; Zimmermann, Martin 4 2022 Modules over monads and operational semantics (expanded version). Zbl 07577567 Hirschowitz, André; Hirschowitz, Tom; Lafont, Ambroise 3 2022 A recursive approach to solving parity games in quasipolynomial time. Zbl 07471697 Lehtinen, Karoliina; Parys, Paweł; Schewe, Sven; Wojtczak, Dominik 3 2022 No-go theorems for distributive laws. Zbl 07471702 Zwart, Maaike; Marsden, Dan 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 Enumerating answers to first-order queries over databases of low degree. Zbl 07566063 Durand, Arnaud; Schweikardt, Nicole; Segoufin, Luc 3 2022 Algebraic coherent confluence and higher globular Kleene algebras. Zbl 1508.18018 Calk, Cameron; Goubault, Eric; Malbos, Philippe; Struth, Georg 2 2022 Fusible numbers and Peano arithmetic. Zbl 07577570 Erickson, Jeff; Nivasch, Gabriel; Xu, Junyan 2 2022 Instance reducibility and Weihrauch degrees. Zbl 07577584 Bauer, Andrej 2 2022 The theory of universal graphs for infinite duration games. Zbl 07596577 Colcombet, Thomas; Fijalkow, Nathanaël; Gawrychowski, Paweł; Ohlmann, Pierre 2 2022 The dichotomy of evaluating homomorphism-closed queries on probabilistic graphs. Zbl 07471691 Amarilli, Antoine; Ceylan, İsmail İlkan 2 2022 A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Zbl 07471693 Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele 2 2022 Regular matching problems for infinite trees. Zbl 07471714 Camino, Carlos; Diekert, Volker; Dundua, Besik; Marin, Mircea; Sénizergues, Géraud 2 2022 Higher order automatic differentiation of higher order functions. Zbl 07566054 Huot, Mathieu; Staton, Sam; Vákár, Matthijs 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 The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077 Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria 2 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 Inductive and coinductive topological generation with Church’s thesis and the axiom of choice. Zbl 07639913 Maietti, Maria Emilia; Maschio, Samuele; Rathjen, Michael 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 Why does propositional quantification make modal and temporal logics on trees robustly hard? Zbl 07577569 Bednarczyk, Bartosz; Demri, Stéphane 1 2022 Uniform envelopes. Zbl 07577572 Neumann, Eike 1 2022 A first-order complete temporal logic for structured context-free languages. Zbl 07577575 Chiari, Michele; Mandrioli, Dino; Pradella, Matteo 1 2022 Minimization and canonization of GFG transition-based automata. Zbl 07577580 Radi, Bader Abu; Kupferman, Orna 1 2022 Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583 Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe 1 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 On the Taylor expansion of \(\lambda\)-terms and the groupoid structure of their rigid approximants. Zbl 07471690 Olimpieri, Federico; Vaux Auclair, Lionel 1 2022 Rast: a language for resource-aware session types. Zbl 07471698 Das, Ankush; Pfenning, Frank 1 2022 Normalization for planar string diagrams and a quadratic equivalence algorithm. Zbl 1502.18039 Delpeuch, Antonin; Vicary, Jamie 1 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 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 A tier-based typed programming language characterizing feasible functionals. Zbl 07566046 Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain 1 2022 Hilbert’s tenth problem in Coq (extended version). Zbl 1528.03182 Larchey-Wendling, Dominique; Forster, Yannick 1 2022 BDD-based algorithm for SCC decomposition of edge-coloured graphs. Zbl 07566051 Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David 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 Uniform interpolants in \(\mathcal{EUF}\): Algorithms using DAG-representations. Zbl 07566058 Ghilardi, Silvio; Gianola, Alessandro; Kapur, Deepak 1 2022 CC-circuits and the expressive power of nilpotent algebras. Zbl 07566068 Kompatscher, Michael 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 Foundations of online structure theory. II: The operator approach. Zbl 07407778 Downey, Rod; Melnikov, Alexander; Ng, Keng Meng 8 2021 Superposition for lambda-free higher-order logic. Zbl 07350767 Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe 6 2021 Relating apartness and bisimulation. Zbl 1525.68083 Geuvers, Herman; Jacobs, Bart 6 2021 Stubborn set reduction for two-player reachability games. Zbl 1501.68002 Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří 5 2021 Synthesis of data word transducers. Zbl 1509.68132 Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain 5 2021 Failure trace semantics for a process algebra with time-outs. Zbl 07350777 van Glabbeek, Rob 5 2021 Pumping lemmas for weighted automata. Zbl 1487.68143 Chattopadhyay, Agnishom; Mazowiecki, Filip; Muscholl, Anca; Riveros, Cristian 5 2021 Multimodal dependent type theory. Zbl 1498.03030 Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas; Birkedal, Lars 5 2021 Computing probabilistic bisimilarity distances for probabilistic automata. Zbl 1509.68181 Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck 4 2021 Convolution algebras: relational convolution, generalised modalities and incidence algebras. Zbl 1509.03175 Dongol, Brijesh; Hayes, Ian J.; Struth, Georg 4 2021 A sound algorithm for asynchronous session subtyping and its implementation. Zbl 1509.68184 Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi 4 2021 Direct spectra of Bishop spaces and their limits. Zbl 1473.03038 Petrakis, Iosif 4 2021 LNL-FPC: the linear/non-linear fixpoint calculus. Zbl 07350775 Lindenhovius, Bert; Mislove, Michael; Zamdzhiev, Vladimir 4 2021 Efficient full higher-order unification. Zbl 07471678 Vukmirović, Petar; Bentkamp, Alexander; Nummelin, Visa 4 2021 Theories of real addition with and without a predicate for integers. Zbl 07379289 Bès, Alexis; Choffrut, Christian 4 2021 Discovering ePassport vulnerabilities using bisimilarity. Zbl 07379295 Horne, Ross; Mauw, Sjouke 4 2021 Separation for dot-depth two. Zbl 07407796 Place, Thomas; Zeitoun, Marc 4 2021 Modal logics for nominal transition systems. Zbl 1509.68188 Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Forsberg Gutkovas, Ramūnas; Weber, Tjark 3 2021 Determinacy in discrete-bidding infinite-duration games. Zbl 1509.91007 Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A. 3 2021 Partially ordered automata and piecewise testability. Zbl 07350780 Masopust, Tomáš; Krötzsch, Markus 3 2021 Foundations of regular coinduction. Zbl 07471662 Dagnino, Francesco 3 2021 Axiomatization of betweenness in order-theoretic trees. Zbl 1509.03029 Courcelle, Bruno 2 2021 Robustness against transactional causal consistency. Zbl 1509.68157 Beillahi, Sidi Mohamed; Bouajjani, Ahmed; Enea, Constantin 2 2021 Reconfiguration and message losses in parameterized broadcast networks. Zbl 1509.68160 Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban 2 2021 Logic for exact real arithmetic. Zbl 07350773 Schwichtenberg, Helmut; Wiesnet, Franziskus 2 2021 Reachability switching games. Zbl 1499.68200 Fearnley, John; Gairing, Martin; Mnich, Matthias; Savani, Rahul 2 2021 Computable analysis and notions of continuity in Coq. Zbl 07350782 Steinberg, Florian; Thery, Laurent; Thies, Holger 2 2021 ...and 909 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 4,195 Authors 29 Chatterjee, Krishnendu 27 Milius, Stefan 25 Bouyer, Patricia 25 Jacobs, Bart 24 Pauly, Arno M. 24 Schröder, Lutz 24 Silva, Alexandra 23 Bonchi, Filippo 22 Larsen, Kim Guldstrand 22 Murano, Aniello 21 Bodirsky, Manuel 20 Rot, Jurriaan 20 Worrell, James B. 20 Yoshida, Nobuko 19 Birkedal, Lars 19 Filiot, Emmanuel 19 Henzinger, Thomas A. 19 Raskin, Jean-François 18 Bozzelli, Laura 18 Droste, Manfred 18 Katoen, Joost-Pieter 18 Markey, Nicolas 17 Conradie, Willem 17 Goubault-Larrecq, Jean 17 Kupferman, Orna 17 Uustalu, Tarmo 17 Zanasi, Fabio 16 Ghilardi, Silvio 16 Montanari, Angelo 16 Palmigiano, Alessandra 16 Vardi, Moshe Ya’akov 16 Veltri, Niccolò 15 Baier, Christel 15 Bollig, Benedikt 15 Cimatti, Alessandro 15 Dal Lago, Ugo 15 Kufleitner, Manfred 15 Lange, Martin 15 Zimmermann, Martín G. 14 Kesner, Delia 14 Kuske, Dietrich 14 Lanese, Ivan 14 Randour, Mickael 14 Selivanov, Viktor L’vovich 14 Tini, Simone 14 Zeitoun, Marc 13 Beyersdorff, Olaf 13 Brattka, Vasco 13 Díaz-Caro, Alejandro 13 Doyen, Laurent 13 Finkel, Olivier 13 Iljazović, Zvonko 13 Krokhin, Andrei A. 13 Leroux, Stéphane 13 Li, Qingguo 13 Loreti, Michele 13 Luttik, Bas 13 Peron, Adriano 13 Pradella, Matteo 13 Reynier, Pierre-Alain 13 Sobociński, Paweł 13 Straßburger, Lutz 12 Kiefer, Stefan 12 Krebs, Andreas 12 Křetínský, Jan 12 Lasota, Sławomir 12 Place, Thomas 12 Skrzypczak, Michał 12 Stephan, Frank 12 Wißmann, Thorsten 12 Zhang, Lijun 11 Aceto, Luca 11 Castiglioni, Valentina 11 Coquand, Thierry 11 Courcelle, Bruno 11 Finkel, Alain 11 Gastin, Paul 11 Goncharov, Sergeĭ Savost’yanovich 11 Goranko, Valentin F. 11 Horne, Ross 11 Kohlenbach, Ulrich Wilhelm 11 Krishna, Shankara Narayanan 11 Lozes, Etienne 11 Mogavero, Fabio 11 Montanari, Ugo G. 11 Perelli, Giuseppe 11 Pérez, Jorge A. 11 Pinsker, Michael 11 Rabinovich, Alexander 11 Schewe, Sven 11 Venema, Yde 11 Wessel, Daniel 10 Abdulla, Parosh Aziz 10 Blanchette, Jasmin Christian 10 Boker, Udi 10 Endrullis, Jörg 10 Esparza, Javier 10 Gutierrez, Julian 10 Heunen, Chris 10 Ingólfsdóttir, Anna ...and 4,095 more Authors all top 5 Cited in 219 Journals 324 Logical Methods in Computer Science 232 Theoretical Computer Science 181 Information and Computation 123 MSCS. Mathematical Structures in Computer Science 99 Journal of Automated Reasoning 91 Journal of Logical and Algebraic Methods in Programming 72 Annals of Pure and Applied Logic 62 Acta Informatica 55 Journal of Computer and System Sciences 51 ACM Transactions on Computational Logic 49 Theory of Computing Systems 48 Journal of Functional Programming 46 Formal Methods in System Design 36 Information Processing Letters 35 Algebra Universalis 30 The Journal of Symbolic Logic 29 Studia Logica 29 Formal Aspects of Computing 28 Artificial Intelligence 24 SIAM Journal on Computing 23 International Journal of Foundations of Computer Science 21 Fundamenta Informaticae 20 Topology and its Applications 19 Archive for Mathematical Logic 16 Journal of Applied Non-Classical Logics 15 Mathematical Logic Quarterly (MLQ) 15 Computability 13 Discrete Applied Mathematics 12 Journal of Pure and Applied Algebra 12 European Journal of Combinatorics 12 Applied Categorical Structures 12 Theory and Applications of Categories 12 Annals of Mathematics and Artificial Intelligence 12 Journal of Applied Logic 12 The Review of Symbolic Logic 11 Algorithmica 11 Journal of the ACM 11 Theory and Practice of Logic Programming 10 Journal of Philosophical Logic 10 Science of Computer Programming 10 Order 10 International Journal of Algebra and Computation 9 Fuzzy Sets and Systems 8 Journal of Complexity 8 SIAM Journal on Discrete Mathematics 8 Computational Complexity 8 Constraints 8 Higher-Order and Symbolic Computation 8 RAIRO. Theoretical Informatics and Applications 7 Advances in Mathematics 7 Synthese 7 Journal of Symbolic Computation 7 International Journal of Approximate Reasoning 7 Discrete Event Dynamic Systems 7 The Journal of Logic and Algebraic Programming 7 Logica Universalis 6 Discrete Mathematics 6 Journal of Logic, Language and Information 6 Journal of Mathematical Logic 6 Mathematics in Computer Science 5 Notre Dame Journal of Formal Logic 5 Semigroup Forum 5 Transactions of the American Mathematical Society 5 The Electronic Journal of Combinatorics 5 The Bulletin of Symbolic Logic 5 Soft Computing 5 Discrete Mathematics and Theoretical Computer Science. DMTCS 5 Computer Languages, Systems & Structures 5 Journal of Logic and Analysis 5 Computer Science Review 4 Israel Journal of Mathematics 4 Automatica 4 Siberian Mathematical Journal 4 Forum Mathematicum 4 Journal of Physics A: Mathematical and Theoretical 4 Nonlinear Analysis. Hybrid Systems 4 Higher Structures 4 Enumerative Combinatorics and Applications 3 Communications in Algebra 3 Houston Journal of Mathematics 3 Bulletin of the London Mathematical Society 3 Information Sciences 3 Journal of Graph Theory 3 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 3 Mathematical Programming. Series A. Series B 3 Topology Proceedings 3 Selecta Mathematica. New Series 3 Acta Mathematica Sinica. English Series 3 RAIRO. Theoretical Informatics and Applications 3 Communications in Contemporary Mathematics 3 Logic and Logical Philosophy 3 Oberwolfach Reports 3 Confluentes Mathematici 2 Journal of Mathematical Analysis and Applications 2 Journal of Mathematical Physics 2 Canadian Mathematical Bulletin 2 Commentationes Mathematicae Universitatis Carolinae 2 Fundamenta Mathematicae 2 Journal of Combinatorial Theory. Series B 2 Proceedings of the American Mathematical Society ...and 119 more Journals all top 5 Cited in 52 Fields 2,889 Computer science (68-XX) 1,647 Mathematical logic and foundations (03-XX) 299 Category theory; homological algebra (18-XX) 193 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 147 Order, lattices, ordered algebraic structures (06-XX) 132 Combinatorics (05-XX) 104 General algebraic systems (08-XX) 84 Quantum theory (81-XX) 81 Operations research, mathematical programming (90-XX) 79 General topology (54-XX) 60 Probability theory and stochastic processes (60-XX) 53 Group theory and generalizations (20-XX) 40 Systems theory; control (93-XX) 36 Information and communication theory, circuits (94-XX) 35 Algebraic topology (55-XX) 22 Measure and integration (28-XX) 20 Commutative algebra (13-XX) 20 Operator theory (47-XX) 19 Associative rings and algebras (16-XX) 18 Number theory (11-XX) 15 Functional analysis (46-XX) 12 Statistics (62-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 11 Numerical analysis (65-XX) 10 History and biography (01-XX) 9 Convex and discrete geometry (52-XX) 9 Biology and other natural sciences (92-XX) 7 General and overarching topics; collections (00-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 Real functions (26-XX) 6 Ordinary differential equations (34-XX) 5 Field theory and polynomials (12-XX) 5 Algebraic geometry (14-XX) 5 Topological groups, Lie groups (22-XX) 5 Functions of a complex variable (30-XX) 5 Geometry (51-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 Manifolds and cell complexes (57-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Partial differential equations (35-XX) 2 Difference and functional equations (39-XX) 2 Differential geometry (53-XX) 2 Mathematics education (97-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 Optics, electromagnetic theory (78-XX) Citations by Year