Journal of Logical and Algebraic Methods in Programming Short Title: J. Log. Algebr. Methods Program. Publisher: Elsevier, Amsterdam ISSN: 2352-2208 Online: http://www.sciencedirect.com/science/journal/23522208 Predecessor: The Journal of Logic and Algebraic Programming Comments: Journal; Indexed cover-to-cover Documents Indexed: 560 Publications (since 2014) References Indexed: 533 Publications with 20,658 References. all top 5 Latest Issues 142 (2025) 141 (2024) 140 (2024) 139 (2024) 138 (2024) 137 (2024) 136 (2024) 135 (2023) 134 (2023) 133 (2023) 132 (2023) 131 (2023) 130 (2023) 129 (2022) 128 (2022) 127 (2022) 125 (2022) 124 (2022) 123 (2021) 122 (2021) 121 (2021) 120 (2021) 119 (2021) 118 (2021) 117 (2020) 116 (2020) 115 (2020) 114 (2020) 113 (2020) 112 (2020) 111 (2020) 110 (2020) 109 (2019) 108 (2019) 107 (2019) 106 (2019) 105 (2019) 104 (2019) 103 (2019) 102 (2019) 101 (2018) 100 (2018) 99 (2018) 98 (2018) 97 (2018) 96 (2018) 94 (2018) 93 (2017) 92 (2017) 91 (2017) 90 (2017) 89 (2017) 88 (2017) 87 (2017) 86, No. 1 (2017) 85, No. 6 (2016) 85, No. 5, Part 2 (2016) 85, No. 5, Part 1 (2016) 85, No. 4 (2016) 85, No. 3 (2016) 85, No. 2 (2016) 85, No. 1, Part 2 (2016) 85, No. 1, Part 1 (2016) 84, No. 6 (2015) 84, No. 5 (2015) 84, No. 4 (2015) 84, No. 3 (2015) 84, No. 2 (2015) 84, No. 1 (2015) 83, No. 5-6 (2014) 83, No. 3-4 (2014) 83, No. 2 (2014) all top 5 Authors 12 Meseguer Guaita, José 11 Berghammer, Rudolf 8 Möller, Bernhard 8 Owe, Olaf 8 Winter, Michael 8 Yoshida, Nobuko 7 Durán, Francisco 7 Escobar, Santiago 7 Guttmann, Walter 7 Höfner, Peter 7 Lanese, Ivan 7 Rubio, Rubén 7 Vieira, Hugo Torres 6 Aceto, Luca 6 Barbanera, Franco 6 Castellani, Ilaria 6 Furusawa, Hitoshi 6 Ingólfsdóttir, Anna 6 Martí-Oliet, Narciso 6 Mousavi, Mohammad Reza 6 Nishida, Naoki 6 Pérez, Jorge A. 6 Silva, Alexandra 6 Silva, Josep 6 Struth, Georg 6 ter Beek, Maurice H. 6 Tiezzi, Francesco 6 Tuosto, Emilio 5 Bartoletti, Massimo 5 Dezani-Ciancaglini, Mariangiola 5 Henrio, Ludovic 5 Kosiol, Jens 5 Larsen, Kim Guldstrand 5 Lucanu, Dorel 5 Lucas, Salvador 5 Martins, Manuel António 5 Oliveira, José Nuno 5 Orejas, Fernando 5 Riesco, Adrián 5 Rocha, Camilo 5 Rusu, Vlad 5 Taentzer, Gabriele 5 Uustalu, Tarmo 4 Alpuente, María 4 Bravetti, Mario 4 Corradini, Andrea 4 de’Liguoro, Ugo 4 Francalanza, Adrian 4 Giese, Holger 4 Johansen, Christian 4 Kahl, Wolfram 4 Knight, Sophia 4 Lambers, Leen 4 Lion, Benjamin 4 Madeira, Alexandre 4 Padovani, Luca 4 Pantović, Jovanka 4 Phillips, Iain W. 4 Sapiña, Julia 4 Steffen, Martin 4 Stolz, Volker 4 Talcott, Carolyn L. 4 Verdejo, Alberto 3 Achilleos, Antonis 3 Arbab, Farhad 3 Arusoaie, Andrei 3 Aubert, Clément 3 Backhouse, Roland C. 3 Ballis, Demis 3 Barbosa, Luís Soares 3 Basile, Davide 3 Benac Earle, Clara 3 Bliudze, Simon 3 de Lara, Juan 3 Fredlund, Lars-åke 3 Gadducci, Fabio 3 Galindo Pastor, Carlos 3 Gnesi, Stefania 3 Graversen, Eva 3 Guerra, Esther 3 Haller, Philipp 3 Hennicker, Rolf 3 Hermo, Montserrat 3 Horne, Ross 3 Johnsen, Einar Broch 3 Kawahara, Yasuo 3 Kozen, Dexter C. 3 Krivulin, Nikolai K. 3 Llana, Luis 3 Lluch Lafuente, Alberto 3 Lochau, Malte 3 Martin-Martin, Enrique 3 Murgia, Maurizio 3 Pita, Isabel 3 Plump, Detlef 3 Pun, Ka I. 3 Ramezanifarkhani, Toktam 3 Ravara, António 3 Roşu, Grigore 3 Sammartino, Matteo ...and 882 more Authors all top 5 Fields 521 Computer science (68-XX) 126 Mathematical logic and foundations (03-XX) 43 General and overarching topics; collections (00-XX) 27 Category theory; homological algebra (18-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 8 Combinatorics (05-XX) 8 Operations research, mathematical programming (90-XX) 7 General algebraic systems (08-XX) 7 Information and communication theory, circuits (94-XX) 5 History and biography (01-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Group theory and generalizations (20-XX) 4 General topology (54-XX) 4 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 3 Systems theory; control (93-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Numerical analysis (65-XX) 1 Partial differential equations (35-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Quantum theory (81-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 315 Publications have been cited 1,249 times in 907 Documents Cited by ▼ Year ▼ Programming with algebraic effects and handlers. Zbl 1304.68025 Bauer, Andrej; Pretnar, Matija 39 2015 On topologies defined by irreducible sets. Zbl 1308.54019 Zhao, Dongsheng; Ho, Weng Kin 39 2015 A theory of reversibility for Erlang. Zbl 1400.68046 Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán 24 2018 Reversibility and asymmetric conflict in event structures. Zbl 1330.68213 Phillips, Iain; Ulidowski, Irek 24 2015 From probability monads to commutative effectuses. Zbl 1382.68073 Jacobs, Bart 24 2018 Programming and symbolic computation in Maude. Zbl 1494.68109 Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 23 2020 Relation lifting, a survey. Zbl 1344.68167 Kurz, Alexander; Velebil, Jiří 18 2016 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166 Meseguer, José 16 2020 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124 Lucas, Salvador; Meseguer, José 15 2016 Causal-consistent rollback in a tuple-based language. Zbl 1362.68213 Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco 15 2017 Join inverse categories and reversible recursion. Zbl 1359.68045 Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert 14 2017 Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Zbl 1509.68243 Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon 13 2021 The PBPO graph transformation approach. Zbl 1417.68075 Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 13 2019 Probabilistic timed graph transformation systems. Zbl 1400.68058 Maximova, Maria; Giese, Holger; Krause, Christian 12 2018 Strategies, model checking and branching-time properties in Maude. Zbl 1528.68233 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 12 2021 Algebraic modal correspondence: Sahlqvist and beyond. Zbl 1521.03031 Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit 12 2017 Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026 Goubault-Larrecq, Jean 11 2015 Reversible session-based pi-calculus. Zbl 1337.68075 Tiezzi, Francesco; Yoshida, Nobuko 11 2015 Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193 Aubert, Clément; Cristescu, Ioana 11 2017 Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083 Jipsen, Peter; Moshier, M. Andrew 10 2016 Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306 Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko 10 2019 Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. Zbl 1423.68230 Drewes, Frank; Hoffmann, Berthold; Minas, Mark 10 2019 Event structure semantics of (controlled) reversible CCS. Zbl 1534.68123 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 10 2021 Rewriting modulo SMT and open system analysis. Zbl 1353.68156 Rocha, Camilo; Meseguer, José; Muñoz, César 10 2017 On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131 Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila 10 2019 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048 Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 10 2020 Verifying minimum spanning tree algorithms with Stone relation algebras. Zbl 1401.68247 Guttmann, Walter 9 2018 Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. Zbl 1351.68170 ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco 9 2016 Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Zbl 1353.68203 Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank D. 9 2017 Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155 Lucas, Salvador; Meseguer, José 9 2017 A bi-intuitionistic modal logic: foundations and automation. Zbl 1359.03018 Stell, John G.; Schmidt, Renate A.; Rydeheard, David 8 2016 Combining behavioural types with security analysis. Zbl 1330.68045 Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres 8 2015 Behavioural equivalences for coalgebras with unobservable moves. Zbl 1330.68195 Brengos, Tomasz; Miculan, Marino; Peressotti, Marco 8 2015 Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes. Zbl 1512.68131 Overbeek, Roy; Endrullis, Jörg; Rosset, Aloïs 8 2023 Metalevel algorithms for variant satisfiability. Zbl 1430.68423 Skeirik, Stephen; Meseguer, José 8 2018 Composition and decomposition of multiparty sessions. Zbl 1462.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio 8 2021 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023 Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 8 2016 From imperative to rule-based graph programs. Zbl 1362.68032 Plump, Detlef 8 2017 Configuration logics: modeling architecture styles. Zbl 1353.68055 Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 8 2017 Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073 Durán, Francisco; Meseguer, José; Rocha, Camilo 8 2020 A relation-algebraic approach to the “Hoare logic” of functional dependencies. Zbl 1434.68144 Oliveira, José N. 7 2014 A unified framework for differential aggregations in Markovian process algebra. Zbl 1319.68151 Tschaikowski, Max; Tribastone, Mirco 7 2015 Monoids with tests and the algebra of possibly non-halting programs. Zbl 1319.68085 Jackson, Marcel; Stokes, Tim 7 2015 A calculus of quality for robustness against unreliable communication. Zbl 1337.68041 Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto 7 2015 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637 Armstrong, Alasdair; Struth, Georg; Weber, Tjark 7 2014 Relational style laws and constructs of linear algebra. Zbl 1434.15016 Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard 7 2014 Towards a categorical representation of reversible event structures. Zbl 1427.68196 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 7 2019 Nested-unit Petri nets. Zbl 1427.68195 Garavel, Hubert 7 2019 Comparing type systems for deadlock freedom. Zbl 1477.68177 Dardha, Ornela; Pérez, Jorge A. 7 2022 Reversible computation in nets with bonds. Zbl 1505.68028 Philippou, Anna; Psara, Kyriaki 7 2022 Realisability of pomsets. Zbl 1435.68213 Guanciale, Roberto; Tuosto, Emilio 7 2019 Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216 van Glabbeek, Rob 7 2019 A message-passing interpretation of adjoint logic. Zbl 1518.68237 Pruiksma, Klaas; Pfenning, Frank 7 2021 Relating two automata-based models of orchestration and choreography. Zbl 1352.68125 Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E. 6 2016 Developments in concurrent Kleene algebra. Zbl 1344.68149 Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 6 2016 A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190 Din, Crystal Chang; Owe, Olaf 6 2014 Maximizing entropy over Markov processes. Zbl 1371.68175 Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej 6 2014 Symmetric Heyting relation algebras with applications to hypergraphs. Zbl 1330.03094 Stell, John G. 6 2015 Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169 AlTurki, Musab A.; Meseguer, José 6 2015 Reversible computation in term rewriting. Zbl 1381.68107 Nishida, Naoki; Palacios, Adrián; Vidal, Germán 6 2018 Multiparty session types, beyond duality. Zbl 1395.68199 Scalas, Alceste; Yoshida, Nobuko 6 2018 Inferring regular languages and \(\omega\)-languages. Zbl 1394.68211 Fisman, Dana 6 2018 Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245 Harmer, Russ; Oshurko, Eugenia 6 2020 Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101 Fischer, Nick; van Glabbeek, Rob 6 2019 Product programs and relational program logics. Zbl 1355.68047 Barthe, Gilles; Crespo, Juan Manuel; Kunz, César 6 2016 ST-structures. Zbl 1353.68208 Johansen, Christian 6 2016 Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach. Zbl 1417.68078 Lambers, Leen; Born, Kristopher; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele 6 2019 Contracts as games on event structures. Zbl 1352.68174 Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto 5 2016 Relational lattices: from databases to universal algebra. Zbl 1372.68081 Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan 5 2016 Multirelations with infinite computations. Zbl 1371.68172 Guttmann, Walter 5 2014 On the relation between concurrent separation logic and concurrent Kleene algebra. Zbl 1330.03072 O’Hearn, Peter W.; Petersen, Rasmus L.; Villard, Jules; Hussain, Akbar 5 2015 Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. Zbl 1329.68062 Berghammer, Rudolf; Fischer, Sebastian 5 2015 On the metric-based approximate minimization of Markov chains. Zbl 1400.68098 Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu 5 2018 Cardinality of relations and relational approximation algorithms. Zbl 1351.68152 Berghammer, Rudolf; Höfner, Peter; Stucke, Insa 5 2016 A navigational logic for reasoning about graph properties. Zbl 1455.68147 Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen 5 2021 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102 Bozga, Marius; Iosif, Radu; Sifakis, Joseph 5 2021 Simulating and model checking membrane systems using strategies in Maude. Zbl 1532.68018 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 5 2022 Specifying graph languages with type graphs. Zbl 1423.68248 Corradini, Andrea; König, Barbara; Nolte, Dennis 5 2019 A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. Zbl 1502.68195 van Ditmarsch, Hans; Goubault, Éric; Lazić, Marijana; Ledent, Jérémy; Rajsbaum, Sergio 5 2021 Stubborn versus structural reductions for Petri nets. Zbl 1407.68330 Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2019 Continuity as a computational effect. Zbl 1355.68059 Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 5 2016 Some undecidable properties of SOS specifications. Zbl 1359.68196 Klin, Bartek; Nachyła, Beata 5 2017 Termination criteria for tree automata completion. Zbl 1356.68132 Genet, Thomas 5 2016 Language definitions as rewrite theories. Zbl 1356.68125 Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore 5 2016 Thresholded semantic framework for a fully integrated fuzzy logic language. Zbl 1372.68053 Julián-Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime 5 2017 Verifiable abstractions for contract-oriented systems. Zbl 1353.68194 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto 5 2017 Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176 Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. 5 2017 Debugging Maude programs via runtime assertion checking and trace slicing. Zbl 1348.68027 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia 5 2016 Reduction of event structures under history preserving bisimulation. Zbl 1392.68281 Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano 5 2016 Graph transformation through graph surfing in reaction systems. Zbl 1435.68135 Kreowski, Hans-Jörg; Rozenberg, Grzegorz 5 2019 From distributed coordination to field calculus and aggregate computing. Zbl 1435.68049 Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo 5 2019 A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214 Fahrenberg, Uli; Legay, Axel 5 2020 Deciding Kleene algebra terms equivalence in Coq. Zbl 1329.68232 Moreira, Nelma; Pereira, David; Melo de Sousa, Simão 4 2015 An algebra of database preferences. Zbl 1329.68094 Möller, Bernhard; Roocks, Patrick 4 2015 The structure of finite meadows. Zbl 1319.68145 Bethke, Inge; Rodenburg, Piet; Sevenster, Arjen 4 2015 Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda. Zbl 1512.68176 Veltri, Niccolò; Vezzosi, Andrea 4 2023 Logic programming: laxness and saturation. Zbl 1400.68049 Komendantskaya, Ekaterina; Power, John 4 2018 Declarative debugging of concurrent Erlang programs. Zbl 1400.68052 Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador 4 2018 The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication. Zbl 1400.68221 Li, Dechao; Qin, Sijian 4 2018 Fundamentals of compositional rewriting theory. Zbl 07741959 Behr, Nicolas; Harmer, Russ; Krivine, Jean 4 2023 On algebraic array theories. Zbl 07803169 Raya, Rodrigo; Kunčak, Viktor 1 2024 Reversible debugging of concurrent Erlang programs: supporting imperative primitives. Zbl 07820971 Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni 1 2024 Coherent modal transition systems refinement. Zbl 07820973 Basile, Davide; ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania 1 2024 Certifying expressive power and algorithms of reversible primitive permutations with Lean. Zbl 07803175 Maletto, Giacomo; Roversi, Luca 1 2024 The correctness of concurrencies in (reversible) concurrent calculi. Zbl 07803176 Aubert, Clément 1 2024 Local confluence of conditional and generalized term rewriting systems. Zbl 07803178 Lucas, Salvador 1 2024 Back to the format: a survey on SOS for probabilistic processes. Zbl 07803182 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone 1 2024 A computational framework based on the dynamic pipeline approach. Zbl 07870771 Pasarella, Edelmira; Vidal, Maria-Esther; Zoltan, Cristina; Royo Sales, Juan Pablo 1 2024 Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes. Zbl 1512.68131 Overbeek, Roy; Endrullis, Jörg; Rosset, Aloïs 8 2023 Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda. Zbl 1512.68176 Veltri, Niccolò; Vezzosi, Andrea 4 2023 Fundamentals of compositional rewriting theory. Zbl 07741959 Behr, Nicolas; Harmer, Russ; Krivine, Jean 4 2023 Event structure semantics for multiparty sessions. Zbl 1512.68163 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 3 2023 A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications. Zbl 1529.68134 Kosiol, Jens; Taentzer, Gabriele 3 2023 A denotational semantics of simulink with higher-order UTP. Zbl 07618116 Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun 2 2023 Monadic second-order incorrectness logic for GP 2. Zbl 1529.68082 Poskitt, Christopher M.; Plump, Detlef 2 2023 Program slicing of Java programs. Zbl 07618125 Galindo, Carlos; Pérez, Sergio; Silva, Josep 2 2023 Exception-sensitive program slicing. Zbl 07618130 Galindo, Carlos; Pérez, Sergio; Silva, Josep 2 2023 Location automata for synchronised shuffle expressions. Zbl 07665438 Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério 2 2023 Verification of the ROS NavFn planner using executable specification languages. Zbl 07665444 Martin-Martin, Enrique; Montenegro, Manuel; Riesco, Adrián; Rodríguez-Hortalá, Juan; Rubio, Rubén 2 2023 Verification of mutable linear data structures and iterator-based algorithms in Dafny. Zbl 07723896 Blázquez, Jorge; Montenegro, Manuel; Segura, Clara 2 2023 Capturing constrained constructor patterns in matching logic. Zbl 07618117 Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 1 2023 BGSL: an imperative language for specification and refinement of backtracking programs. Zbl 07618118 Dunne, Steve; Ferreira, João F.; Mendes, Alexandra; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank 1 2023 Lifted structural invariant analysis of Petri net product lines. Zbl 07618123 Gómez-Martínez, Elena; Guerra, Esther; de Lara, Juan; Garmendia, Antonio 1 2023 A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. Zbl 07618126 Olarte, Carlos; Pimentel, Elaine; Rocha, Camilo 1 2023 Tableaux and sequent calculi for CTL and ECTL: satisfiability test with certifying proofs and models. Zbl 07618127 Abuin, Alex; Bolotov, Alexander; Hermo, Montserrat; Lucio, Paqui 1 2023 Gaining trust by tracing security protocols. Zbl 07618128 Fredlund, Lars-Åke; Benac Earle, Clara; Arts, Thomas; Svensson, Hans 1 2023 Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. Zbl 07649237 Espírito Santo, José; Frade, Maria João; Pinto, Luís 1 2023 Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. Zbl 1512.68064 Barkowsky, Matthias; Giese, Holger 1 2023 Compositional equivalences based on open pNets. Zbl 1512.68161 Ameur-Boulifa, Rabéa; Henrio, Ludovic; Madelaine, Eric 1 2023 An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. Zbl 07741961 López-Rueda, Raúl; Escobar, Santiago; Sapiña, Julia 1 2023 Safety enforcement via programmable strategies in Maude. Zbl 07665440 Alpuente, M.; Ballis, D.; Escobar, S.; Galán, D.; Sapiña, J. 1 2023 Variants and satisfiability in the infinitary unification wonderland. Zbl 07723898 Meseguer, José 1 2023 Formalization of the inverse kinematics of three-fingered dexterous hand. Zbl 1520.70003 Wang, Guohui; Chen, Shanyan; Guan, Yong; Shi, Zhiping; Li, Ximeng; Zhang, Jingzhi 1 2023 Evaluation diversity for graph conditions. Zbl 1512.68132 Schneider, Sven; Lambers, Leen 1 2023 A formal semantics for agent distribution and fault tolerance in Jason. Zbl 1512.68054 Fernández Díaz, Álvaro; Fredlund, Lars-Åke; Benac-Earle, Clara; Mariño, Julio 1 2023 ElixirST: a session-based type system for elixir modules. Zbl 07741957 Francalanza, Adrian; Tabone, Gerard 1 2023 Comparing type systems for deadlock freedom. Zbl 1477.68177 Dardha, Ornela; Pérez, Jorge A. 7 2022 Reversible computation in nets with bonds. Zbl 1505.68028 Philippou, Anna; Psara, Kyriaki 7 2022 Simulating and model checking membrane systems using strategies in Maude. Zbl 1532.68018 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 5 2022 Hypergraph Lambek grammars. Zbl 1548.68104 Pshenitsyn, Tikhon 3 2022 Processes against tests: on defining contextual equivalences. Zbl 1548.68132 Aubert, Clément; Varacca, Daniele 2 2022 Graded epistemic logic with public announcement. Zbl 1491.03013 Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. 2 2022 A tableau construction for finite linear-time temporal logic. Zbl 1539.03071 Huang, Samuel; Cleaveland, Rance 2 2022 Event structures for the reversible early internal \(\pi\)-calculus. Zbl 1482.68152 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 2 2022 Metalevel transformation of strategies. Zbl 1532.68029 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 2 2022 Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 1541.68084 Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo 2 2022 Optimization of rewrite theories by equational partial evaluation. Zbl 1477.68136 Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J. 1 2022 Components and acyclicity of graphs. An exercise in combining precision with concision. Zbl 1481.68034 Backhouse, Roland; Doornbos, Henk; Glück, Roland; van der Woude, Jaap 1 2022 Session-typed concurrent contracts. Zbl 1487.68165 Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank 1 2022 A formal treatment of the role of verified compilers in secure computation. Zbl 1542.68030 Bacelar Almeida, José Carlos; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, Bernardo 1 2022 Formalizing Moessner’s theorem and generalizations in Nuprl. Zbl 1547.68821 Bickford, Mark; Kozen, Dexter; Silva, Alexandra 1 2022 Secure information flow connections. Zbl 1541.68240 Bhardwaj, Chandrika; Prasad, Sanjiva 1 2022 Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Zbl 1509.68243 Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon 13 2021 Strategies, model checking and branching-time properties in Maude. Zbl 1528.68233 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 12 2021 Event structure semantics of (controlled) reversible CCS. Zbl 1534.68123 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 10 2021 Composition and decomposition of multiparty sessions. Zbl 1462.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio 8 2021 A message-passing interpretation of adjoint logic. Zbl 1518.68237 Pruiksma, Klaas; Pfenning, Frank 7 2021 A navigational logic for reasoning about graph properties. Zbl 1455.68147 Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen 5 2021 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102 Bozga, Marius; Iosif, Radu; Sifakis, Joseph 5 2021 A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. Zbl 1502.68195 van Ditmarsch, Hans; Goubault, Éric; Lazić, Marijana; Ledent, Jérémy; Rajsbaum, Sergio 5 2021 Computer says no: verdict explainability for runtime monitors using a local proof system. Zbl 1455.68103 Francalanza, Adrian; Cini, Clare 4 2021 Applications and extensions of context-sensitive rewriting. Zbl 1518.68157 Lucas, Salvador 4 2021 Matching logic explained. Zbl 1518.68047 Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 4 2021 Schreier split extensions of preordered monoids. Zbl 1535.06020 Martins-Ferreira, Nelson; Sobral, Manuela 4 2021 Resource provisioning strategies for BPMN processes: specification and analysis using Maude. Zbl 1528.68217 Durán, Francisco; Rocha, Camilo; Salaün, Gwen 2 2021 Soft constraint automata with memory. Zbl 1455.68087 Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco 2 2021 Conflict vs causality in event structures. Zbl 1509.68186 Gorla, Daniele; Salvo, Ivano 2 2021 Simpler proofs with decentralized invariants. Zbl 1518.68048 Filliâtre, Jean-Christophe 2 2021 Reasoning about distributed information with infinitely many agents. Zbl 1518.68401 Guzmán, Michell; Knight, Sophia; Quintero, Santiago; Ramírez, Sergio; Rueda, Camilo; Valencia, Frank 2 2021 A Perron-Frobenius theorem for deciding matrix growth. Zbl 1528.68394 Thiemann, René 1 2021 Actor-based model checking for software-defined networks. Zbl 1455.68101 Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra 1 2021 Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations. Zbl 1458.90393 Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco 1 2021 Synthesis of sorting algorithms using multisets in Theorema. Zbl 1455.68245 Drămnesc, Isabela; Jebelean, Tudor 1 2021 Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic. Zbl 1535.03161 Costa, Diana; Martins, Manuel A. 1 2021 Certifying Findel derivatives for blockchain. Zbl 1518.91271 Arusoaie, Andrei 1 2021 On primitives for compensation handling as adaptable processes. Zbl 1518.68231 Dedeić, Jovana; Pantović, Jovanka; Pérez, Jorge A. 1 2021 Automated verification of reactive and concurrent programs by calculation. Zbl 1518.68206 Foster, Simon; Ye, Kangfeng; Cavalcanti, Ana; Woodcock, Jim 1 2021 Event-based time-stamped claim logic. Zbl 1535.03100 Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca 1 2021 On checking equivalence of simulation scripts. Zbl 1518.68212 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico 1 2021 A fixed-points based framework for compliance of behavioural contracts. Zbl 1518.68236 Murgia, Maurizio 1 2021 Verification of dynamic bisimulation theorems in Coq. Zbl 1518.68418 Fervari, Raul; Trucco, Francisco; Ziliani, Beta 1 2021 Programming and symbolic computation in Maude. Zbl 1494.68109 Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 23 2020 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166 Meseguer, José 16 2020 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048 Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 10 2020 Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073 Durán, Francisco; Meseguer, José; Rocha, Camilo 8 2020 Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245 Harmer, Russ; Oshurko, Eugenia 6 2020 A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214 Fahrenberg, Uli; Legay, Axel 5 2020 Determinizing monitors for HML with recursion. Zbl 1494.68155 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn 4 2020 Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs. Zbl 1452.68096 Kosiol, Jens; Fritsche, Lars; Schürr, Andy; Taentzer, Gabriele 4 2020 Constructing optimized constraint-preserving application conditions for model transformation rules. Zbl 1451.68140 Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele 3 2020 A verified proof checker for higher-order logic. Zbl 1433.68527 Abrahamsson, Oskar 3 2020 On the group memory complexity of extended finite automata over groups. Zbl 1462.68099 Arroyo, Fernando; Mitrana, Victor; Păun, Andrei; Păun, Mihaela; Sanchez Couso, Jose Ramon 3 2020 The complexity of identifying characteristic formulae. Zbl 1433.68163 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna 2 2020 Specifying with syntactic theory functors. Zbl 1433.68221 Haveraaen, Magne; Roggenbach, Markus 2 2020 Combining free choice and time in Petri nets. Zbl 1451.68190 Akshay, S.; Hélouët, Loïc; Phawade, Ramchandra 2 2020 Abstracting models of strong normalization for classical calculi. Zbl 1494.68055 Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. 2 2020 Relational characterisations of paths. Zbl 1462.05198 Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter 2 2020 Free Kleene algebras with domain. Zbl 1484.08014 McLean, Brett 2 2020 Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. Zbl 1451.68191 Kapus-Kolar, Monika 1 2020 Hybrid search plan generation for generalized graph pattern matching. Zbl 1451.68198 Barkowsky, Matthias; Giese, Holger 1 2020 ...and 215 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,224 Authors 22 Lanese, Ivan 21 Meseguer Guaita, José 16 Guttmann, Walter 14 Dezani-Ciancaglini, Mariangiola 14 Mezzina, Claudio Antares 13 Xu, Xiaoquan 12 Escobar, Santiago 12 Jacobs, Bart 12 Lucas, Salvador 11 Palmigiano, Alessandra 11 Pérez, Jorge A. 11 Zhao, Dongsheng 10 Kaarsgaard, Robin 10 Plump, Detlef 10 Rubio, Rubén 10 Sapiña, Julia 9 Barbanera, Franco 9 Berghammer, Rudolf 9 Conradie, Willem 9 Gadducci, Fabio 9 Giese, Holger 9 Kosiol, Jens 9 Madeira, Alexandre 9 Martí-Oliet, Narciso 9 Struth, Georg 9 Tuosto, Emilio 9 Yoshida, Nobuko 8 Aceto, Luca 8 Alpuente, María 8 Castellani, Ilaria 8 Fahrenberg, Uli 8 Maximova, Maria 8 Möller, Bernhard 8 Pinna, G. Michele 8 Schneider, Sven 8 Silva, Alexandra 8 Zanasi, Fabio 8 Zhao, Bin 7 Durán, Francisco 7 Endrullis, Jörg 7 Giannini, Paola 7 Glück, Robert 7 Gutiérrez, Raúl 7 Ingólfsdóttir, Anna 7 Johansen, Christian 7 Li, Qingguo 7 Lu, Jing 7 Martins, Manuel António 7 Melgratti, Hernán 7 Overbeek, Roy 7 Phillips, Iain W. 7 Rot, Jurriaan 7 Taentzer, Gabriele 7 ter Beek, Maurice H. 7 Valencia, Frank D. 7 van Glabbeek, Robert Jan 7 Wang, Kaiyun 6 Ballis, Demis 6 Barbosa, Luís Soares 6 Bartoletti, Massimo 6 Behr, Nicolas 6 Francalanza, Adrian 6 Jipsen, Peter 6 Kappé, Tobias 6 Krivulin, Nikolai K. 6 Larsen, Kim Guldstrand 6 Legay, Axel 6 Lindley, Sam 6 Nielson, Flemming 6 Orejas, Fernando 6 Owe, Olaf 6 Riesco, Adrián 6 Riis Nielson, Hanne 5 Aubert, Clément 5 Bonchi, Filippo 5 Corradini, Andrea 5 Dagnino, Francesco 5 de’Liguoro, Ugo 5 Gorrieri, Roberto 5 Horne, Ross 5 Lambers, Leen 5 Mikulski, Łukasz 5 Minas, Mark 5 Neves, Renato 5 Olarte, Carlos 5 Pita, Isabel 5 Pretnar, Matija 5 Shen, Chong 5 Stefani, Jean-Bernard 5 Tribastone, Mirco 5 Ulidowski, Irek 5 Vandin, Andrea 5 Verdejo, Alberto 5 Vidal, Germán 5 Xi, Xiaoyong 4 Basile, Davide 4 Benevides, Mario R. F. 4 Bernardo, Marco 4 Bravetti, Mario 4 Brunet, Paul ...and 1,124 more Authors all top 5 Cited in 83 Journals 147 Journal of Logical and Algebraic Methods in Programming 68 Logical Methods in Computer Science 40 Theoretical Computer Science 19 Formal Aspects of Computing 19 Mathematical Structures in Computer Science 16 Topology and its Applications 15 Information and Computation 13 Acta Informatica 13 Journal of Functional Programming 11 Journal of Automated Reasoning 10 Fundamenta Informaticae 6 International Journal of Approximate Reasoning 5 Algebra Universalis 5 ACM Transactions on Computational Logic 4 Information Processing Letters 4 Rocky Mountain Journal of Mathematics 4 Fuzzy Sets and Systems 4 International Journal of Algebra and Computation 4 Theory and Applications of Categories 4 Annals of Mathematics and Artificial Intelligence 3 Information Sciences 3 Studia Logica 3 Journal of Symbolic Computation 3 International Journal of Foundations of Computer Science 3 Vestnik St. Petersburg University. Mathematics 3 Applied Categorical Structures 3 Filomat 3 Soft Computing 3 Theory and Practice of Logic Programming 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Houston Journal of Mathematics 2 Semigroup Forum 2 Annals of Pure and Applied Logic 2 Real-Time Systems 2 Journal of Applied Non-Classical Logics 2 Acta Mathematica Sinica. English Series 2 Mathematics in Computer Science 2 Frontiers of Computer Science 2 Open Mathematics 1 Discrete Mathematics 1 Journal of Mathematical Physics 1 Physica A 1 Applied Mathematics and Computation 1 Automatica 1 Commentationes Mathematicae Universitatis Carolinae 1 Computing 1 Journal of Algebra 1 Journal of Computer and System Sciences 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Kybernetika 1 Monatshefte für Mathematik 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Synthese 1 Order 1 AI Communications 1 Applications of Mathematics 1 Discrete Event Dynamic Systems 1 Linear Algebra and its Applications 1 Indagationes Mathematicae. New Series 1 Applicable Algebra in Engineering, Communication and Computing 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Theory of Computing Systems 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 Natural Computing 1 Journal of Algebra and its Applications 1 Journal of Applied Logic 1 Iranian Journal of Fuzzy Systems 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 Logica Universalis 1 Journal of Noncommutative Geometry 1 The Review of Symbolic Logic 1 Symmetry 1 Journal of Mahani Mathematical Research Center 1 Universal Journal of Mathematics and Mathematical Sciences 1 Mathematical Sciences 1 Modelirovanie i Analiz Informatsionnykh Sistem 1 Journal of Applied and Computational Topology 1 Journal of Membrane Computing all top 5 Cited in 36 Fields 768 Computer science (68-XX) 197 Mathematical logic and foundations (03-XX) 87 Category theory; homological algebra (18-XX) 68 Order, lattices, ordered algebraic structures (06-XX) 46 General topology (54-XX) 22 Quantum theory (81-XX) 18 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Combinatorics (05-XX) 17 Probability theory and stochastic processes (60-XX) 16 Operations research, mathematical programming (90-XX) 13 General and overarching topics; collections (00-XX) 13 General algebraic systems (08-XX) 12 Information and communication theory, circuits (94-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 8 Group theory and generalizations (20-XX) 8 Systems theory; control (93-XX) 6 Numerical analysis (65-XX) 6 Biology and other natural sciences (92-XX) 5 Associative rings and algebras (16-XX) 4 Statistics (62-XX) 3 Ordinary differential equations (34-XX) 3 Functional analysis (46-XX) 3 Algebraic topology (55-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Algebraic geometry (14-XX) 2 Topological groups, Lie groups (22-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Nonassociative rings and algebras (17-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year