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: 526 Publications (since 2014) References Indexed: 499 Publications with 19,166 References. all top 5 Latest Issues 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 11 Berghammer, Rudolf 10 Meseguer Guaita, José 8 Möller, Bernhard 8 Owe, Olaf 8 Winter, Michael 8 Yoshida, Nobuko 7 Durán, Francisco 7 Escobar, Santiago 7 Höfner, Peter 7 Vieira, Hugo Torres 6 Aceto, Luca 6 Castellani, Ilaria 6 Guttmann, Walter 6 Ingólfsdóttir, Anna 6 Lanese, Ivan 6 Nishida, Naoki 6 Rubio, Rubén 6 Silva, Alexandra 6 Tiezzi, Francesco 6 Tuosto, Emilio 5 Barbanera, Franco 5 Bartoletti, Massimo 5 Furusawa, Hitoshi 5 Henrio, Ludovic 5 Kosiol, Jens 5 Lucanu, Dorel 5 Lucas, Salvador 5 Martí-Oliet, Narciso 5 Martins, Manuel António 5 Oliveira, José Nuno 5 Pérez, Jorge A. 5 Rocha, Camilo 5 Silva, Josep 5 Struth, Georg 5 Taentzer, Gabriele 5 Uustalu, Tarmo 4 Alpuente, María 4 Bravetti, Mario 4 Corradini, Andrea 4 de’Liguoro, Ugo 4 Dezani-Ciancaglini, Mariangiola 4 Francalanza, Adrian 4 Giese, Holger 4 Johansen, Christian 4 Kahl, Wolfram 4 Knight, Sophia 4 Lambers, Leen 4 Larsen, Kim Guldstrand 4 Lion, Benjamin 4 Madeira, Alexandre 4 Orejas, Fernando 4 Pantović, Jovanka 4 Phillips, Iain W. 4 Riesco, Adrián 4 Rusu, Vlad 4 Sapiña, Julia 4 Steffen, Martin 4 Stolz, Volker 4 Talcott, Carolyn L. 4 ter Beek, Maurice H. 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 Bliudze, Simon 3 de Lara, Juan 3 Gadducci, Fabio 3 Graversen, Eva 3 Guerra, Esther 3 Haller, Philipp 3 Hennicker, Rolf 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 3 Scalas, Alceste 3 Schneider, Gerardo 3 Sifakis, Joseph 3 Srba, Jiří 3 Stell, John G. 3 Tamarit, Salvador 3 Valencia, Frank D. 3 Vidal, Germán 3 Wolter, Uwe E. ...and 834 more Authors all top 5 Fields 487 Computer science (68-XX) 115 Mathematical logic and foundations (03-XX) 41 General and overarching topics; collections (00-XX) 24 Category theory; homological algebra (18-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 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) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 General topology (54-XX) 4 Probability theory and stochastic processes (60-XX) 3 History and biography (01-XX) 3 Group theory and generalizations (20-XX) 3 Biology and other natural sciences (92-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Numerical analysis (65-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 284 Publications have been cited 1,027 times in 741 Documents Cited by ▼ Year ▼ On topologies defined by irreducible sets. Zbl 1308.54019 Zhao, Dongsheng; Ho, Weng Kin 37 2015 Programming with algebraic effects and handlers. Zbl 1304.68025 Bauer, Andrej; Pretnar, Matija 30 2015 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 21 2020 Reversibility and asymmetric conflict in event structures. Zbl 1330.68213 Phillips, Iain; Ulidowski, Irek 19 2015 From probability monads to commutative effectuses. Zbl 1382.68073 Jacobs, Bart 19 2018 A theory of reversibility for Erlang. Zbl 1400.68046 Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán 17 2018 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124 Lucas, Salvador; Meseguer, José 15 2016 Relation lifting, a survey. Zbl 1344.68167 Kurz, Alexander; Velebil, Jiří 13 2016 Causal-consistent rollback in a tuple-based language. Zbl 1362.68213 Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco 12 2017 Strategies, model checking and branching-time properties in Maude. Zbl 1528.68233 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 12 2021 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166 Meseguer, José 12 2020 Reversible session-based pi-calculus. Zbl 1337.68075 Tiezzi, Francesco; Yoshida, Nobuko 11 2015 Probabilistic timed graph transformation systems. Zbl 1400.68058 Maximova, Maria; Giese, Holger; Krause, Christian 11 2018 Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193 Aubert, Clément; Cristescu, Ioana 10 2017 Algebraic modal correspondence: Sahlqvist and beyond. Zbl 1521.03031 Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit 10 2017 Join inverse categories and reversible recursion. Zbl 1359.68045 Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert 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 Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155 Lucas, Salvador; Meseguer, José 9 2017 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048 Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 9 2020 Event structure semantics of (controlled) reversible CCS. Zbl 07377686 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 9 2021 Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306 Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko 9 2019 Metalevel algorithms for variant satisfiability. Zbl 1430.68423 Skeirik, Stephen; Meseguer, José 8 2018 Behavioural equivalences for coalgebras with unobservable moves. Zbl 1330.68195 Brengos, Tomasz; Miculan, Marino; Peressotti, Marco 8 2015 Configuration logics: modeling architecture styles. Zbl 1353.68055 Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 8 2017 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. 8 2017 The PBPO graph transformation approach. Zbl 1417.68075 Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 8 2019 Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073 Durán, Francisco; Meseguer, José; Rocha, Camilo 8 2020 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 8 2021 Verifying minimum spanning tree algorithms with Stone relation algebras. Zbl 1401.68247 Guttmann, Walter 8 2018 Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. Zbl 1423.68230 Drewes, Frank; Hoffmann, Berthold; Minas, Mark 8 2019 Relational style laws and constructs of linear algebra. Zbl 1434.15016 Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard 7 2014 A relation-algebraic approach to the “Hoare logic” of functional dependencies. Zbl 1434.68144 Oliveira, José N. 7 2014 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 7 2015 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023 Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 7 2016 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 7 2016 A unified framework for differential aggregations in Markovian process algebra. Zbl 1319.68151 Tschaikowski, Max; Tribastone, Mirco 7 2015 Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083 Jipsen, Peter; Moshier, M. Andrew 7 2016 A calculus of quality for robustness against unreliable communication. Zbl 1337.68041 Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto 7 2015 Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026 Goubault-Larrecq, Jean 7 2015 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 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637 Armstrong, Alasdair; Struth, Georg; Weber, Tjark 6 2014 Maximizing entropy over Markov processes. Zbl 1371.68175 Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej 6 2014 Rewriting modulo SMT and open system analysis. Zbl 1353.68156 Rocha, Camilo; Meseguer, José; Muñoz, César 6 2017 Monoids with tests and the algebra of possibly non-halting programs. Zbl 1319.68085 Jackson, Marcel; Stokes, Tim 6 2015 From imperative to rule-based graph programs. Zbl 1362.68032 Plump, Detlef 6 2017 A bi-intuitionistic modal logic: foundations and automation. Zbl 1359.03018 Stell, John G.; Schmidt, Renate A.; Rydeheard, David 6 2016 Developments in concurrent Kleene algebra. Zbl 1344.68149 Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 6 2016 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 Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245 Harmer, Russ; Oshurko, Eugenia 6 2020 Inferring regular languages and \(\omega\)-languages. Zbl 1394.68211 Fisman, Dana 6 2018 Towards a categorical representation of reversible event structures. Zbl 1427.68196 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 6 2019 Nested-unit Petri nets. Zbl 1427.68195 Garavel, Hubert 6 2019 Multirelations with infinite computations. Zbl 1371.68172 Guttmann, Walter 5 2014 Verifiable abstractions for contract-oriented systems. Zbl 1353.68194 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto 5 2017 Product programs and relational program logics. Zbl 1355.68047 Barthe, Gilles; Crespo, Juan Manuel; Kunz, César 5 2016 Continuity as a computational effect. Zbl 1355.68059 Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 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 Reversible computation in term rewriting. Zbl 1381.68107 Nishida, Naoki; Palacios, Adrián; Vidal, Germán 5 2018 Cardinality of relations and relational approximation algorithms. Zbl 1351.68152 Berghammer, Rudolf; Höfner, Peter; Stucke, Insa 5 2016 Contracts as games on event structures. Zbl 1352.68174 Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto 5 2016 Some undecidable properties of SOS specifications. Zbl 1359.68196 Klin, Bartek; Nachyła, Beata 5 2017 Relational lattices: from databases to universal algebra. Zbl 1372.68081 Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan 5 2016 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 Comparing type systems for deadlock freedom. Zbl 1477.68177 Dardha, Ornela; Pérez, Jorge A. 5 2022 Reversible computation in nets with bonds. Zbl 1505.68028 Philippou, Anna; Psara, Kyriaki 5 2022 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 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 5 2019 A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214 Fahrenberg, Uli; Legay, Axel 5 2020 Multiparty session types, beyond duality. Zbl 1395.68199 Scalas, Alceste; Yoshida, Nobuko 5 2018 Composition and decomposition of multiparty sessions. Zbl 1462.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio 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 Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101 Fischer, Nick; van Glabbeek, Rob 5 2019 Labelled graph strategic rewriting for social networks. Zbl 1430.68134 Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason 4 2018 A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190 Din, Crystal Chang; Owe, Olaf 4 2014 ST-structures. Zbl 1353.68208 Johansen, Christian 4 2016 Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. Zbl 1375.18027 Hinze, Ralf; Marsden, Dan 4 2016 Termination criteria for tree automata completion. Zbl 1356.68132 Genet, Thomas 4 2016 Debugging Maude programs via runtime assertion checking and trace slicing. Zbl 1348.68027 Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia 4 2016 Thresholded semantic framework for a fully integrated fuzzy logic language. Zbl 1372.68053 Julián-Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime 4 2017 A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. Zbl 1359.68023 Delaune, Stéphanie; Hirschi, Lucca 4 2017 Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. Zbl 1362.68297 Berghammer, Rudolf; Winter, Michael 4 2017 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 Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176 Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. 4 2017 Simulating and model checking membrane systems using strategies in Maude. Zbl 07432501 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 4 2022 A message-passing interpretation of adjoint logic. Zbl 1518.68237 Pruiksma, Klaas; Pfenning, Frank 4 2021 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 Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143 Krivulin, Nikolai 4 2018 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102 Bozga, Marius; Iosif, Radu; Sifakis, Joseph 4 2021 On the metric-based approximate minimization of Markov chains. Zbl 1400.68098 Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu 4 2018 The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication. Zbl 1400.68221 Li, Dechao; Qin, Sijian 4 2018 Specifying graph languages with type graphs. Zbl 1423.68248 Corradini, Andrea; König, Barbara; Nolte, Dennis 4 2019 Verification of finite-state machines: a distributed approach. Zbl 1430.68152 Gorrieri, Roberto 3 2018 Foundations for structuring behavioural specifications. Zbl 1434.68305 Diaconescu, Răzvan; Ţuţu, Ionuţ 3 2014 Algebraic properties of stochastic effectivity functions. Zbl 1434.68336 Doberkat, Ernst-Erich 3 2014 A coalgebraic semantics for causality in Petri nets. Zbl 1330.68196 Bruni, Roberto; Montanari, Ugo; Sammartino, Matteo 3 2015 Reduction of event structures under history preserving bisimulation. Zbl 1392.68281 Armas-Cervantes, Abel; Baldan, Paolo; García-Bañuelos, Luciano 3 2016 Fundamentals of compositional rewriting theory. Zbl 07741959 Behr, Nicolas; Harmer, Russ; Krivine, Jean 2 2023 Event structure semantics for multiparty sessions. Zbl 1512.68163 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 2 2023 Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda. Zbl 1512.68176 Veltri, Niccolò; Vezzosi, Andrea 2 2023 Location automata for synchronised shuffle expressions. Zbl 07665438 Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério 2 2023 Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes. Zbl 1512.68131 Overbeek, Roy; Endrullis, Jörg; Rosset, Aloïs 2 2023 Verification of mutable linear data structures and iterator-based algorithms in Dafny. Zbl 07723896 Blázquez, Jorge; Montenegro, Manuel; Segura, Clara 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 Safety enforcement via programmable strategies in Maude. Zbl 07665440 Alpuente, M.; Ballis, D.; Escobar, S.; Galán, D.; Sapiña, J. 1 2023 Evaluation diversity for graph conditions. Zbl 1512.68132 Schneider, Sven; Lambers, Leen 1 2023 A denotational semantics of simulink with higher-order UTP. Zbl 07618116 Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun 1 2023 A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications. Zbl 07618121 Kosiol, Jens; Taentzer, Gabriele 1 2023 Monadic second-order incorrectness logic for GP 2. Zbl 07618124 Poskitt, Christopher M.; Plump, Detlef 1 2023 Comparing type systems for deadlock freedom. Zbl 1477.68177 Dardha, Ornela; Pérez, Jorge A. 5 2022 Reversible computation in nets with bonds. Zbl 1505.68028 Philippou, Anna; Psara, Kyriaki 5 2022 Simulating and model checking membrane systems using strategies in Maude. Zbl 07432501 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 4 2022 Hypergraph Lambek grammars. Zbl 07595224 Pshenitsyn, Tikhon 3 2022 Metalevel transformation of strategies. Zbl 07432502 Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 2 2022 Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 07531442 Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo 2 2022 Processes against tests: on defining contextual equivalences. Zbl 07595225 Aubert, Clément; Varacca, Daniele 2 2022 Formalizing Moessner’s theorem and generalizations in Nuprl. Zbl 07432496 Bickford, Mark; Kozen, Dexter; Silva, Alexandra 1 2022 Event structures for the reversible early internal \(\pi\)-calculus. Zbl 1482.68152 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 1 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 Secure information flow connections. Zbl 07531437 Bhardwaj, Chandrika; Prasad, Sanjiva 1 2022 Graded epistemic logic with public announcement. Zbl 1491.03013 Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. 1 2022 A formal treatment of the role of verified compilers in secure computation. Zbl 07485817 Bacelar Almeida, José Carlos; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, Bernardo 1 2022 A tableau construction for finite linear-time temporal logic. Zbl 07485818 Huang, Samuel; Cleaveland, Rance 1 2022 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 07377686 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 9 2021 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 8 2021 Composition and decomposition of multiparty sessions. Zbl 1462.68120 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio 5 2021 A message-passing interpretation of adjoint logic. Zbl 1518.68237 Pruiksma, Klaas; Pfenning, Frank 4 2021 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102 Bozga, Marius; Iosif, Radu; Sifakis, Joseph 4 2021 Matching logic explained. Zbl 1518.68047 Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 3 2021 Schreier split extensions of preordered monoids. Zbl 07363408 Martins-Ferreira, Nelson; Sobral, Manuela 3 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 3 2021 Applications and extensions of context-sensitive rewriting. Zbl 1518.68157 Lucas, Salvador 3 2021 A navigational logic for reasoning about graph properties. Zbl 1455.68147 Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen 3 2021 Computer says no: verdict explainability for runtime monitors using a local proof system. Zbl 1455.68103 Francalanza, Adrian; Cini, Clare 3 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 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 Synthesis of sorting algorithms using multisets in Theorema. Zbl 1455.68245 Drămnesc, Isabela; Jebelean, Tudor 2 2021 A Perron-Frobenius theorem for deciding matrix growth. Zbl 1528.68394 Thiemann, René 1 2021 Resource provisioning strategies for BPMN processes: specification and analysis using Maude. Zbl 1528.68217 Durán, Francisco; Rocha, Camilo; Salaün, Gwen 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 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 Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic. Zbl 07377681 Costa, Diana; Martins, Manuel A. 1 2021 Event-based time-stamped claim logic. Zbl 07377685 Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca 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 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 21 2020 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166 Meseguer, José 12 2020 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048 Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 9 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 Constructing optimized constraint-preserving application conditions for model transformation rules. Zbl 1451.68140 Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele 3 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 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 2 2020 Free Kleene algebras with domain. Zbl 1484.08014 McLean, Brett 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 Replacement freeness: a criterion for separating process calculi. Zbl 1462.68126 Pugliese, Rosario; Tiezzi, Francesco 1 2020 Relational characterisations of paths. Zbl 1462.05198 Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter 1 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 From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125 Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine 1 2020 Algebraic solution of minimax single-facility constrained location problems with Chebyshev and rectilinear distances. Zbl 1455.90102 Krivulin, Nikolai 1 2020 Spreading nets: a uniform approach to unfoldings. Zbl 1433.68258 Pinna, G. Michele; Fabre, Eric 1 2020 Process calculi as a tool for studying coordination, contracts and session types. Zbl 1476.68167 Bravetti, Mario; Zavattaro, Gianluigi 1 2020 The complexity of identifying characteristic formulae. Zbl 1433.68163 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna 1 2020 Partial predicate abstraction and counter-example guided refinement. Zbl 1494.68177 Yavuz, Tuba 1 2020 Consistency in parametric interval probabilistic timed automata. Zbl 1494.68157 André, Étienne; Delahaye, Benoît; Fournier, Paulin 1 2020 Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Zbl 1494.68043 Henrio, Ludovic; Kessler, Christoph; Li, Lu 1 2020 A calculus of concurrent graph-rewriting processes. Zbl 1494.68115 Kulcsár, Géza; Corradini, Andrea; Lochau, Malte 1 2020 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 Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306 Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko 9 2019 The PBPO graph transformation approach. Zbl 1417.68075 Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 8 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 8 2019 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 Towards a categorical representation of reversible event structures. Zbl 1427.68196 Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 6 2019 Nested-unit Petri nets. Zbl 1427.68195 Garavel, Hubert 6 2019 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 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 5 2019 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 Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101 Fischer, Nick; van Glabbeek, Rob 5 2019 Specifying graph languages with type graphs. Zbl 1423.68248 Corradini, Andrea; König, Barbara; Nolte, Dennis 4 2019 Introspection as an action in relational models. Zbl 1435.03035 Fervari, Raul; Velázquez-Quesada, Fernando R. 3 2019 Connecting open systems of communicating finite state machines. Zbl 1435.68211 Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf 3 2019 ...and 184 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,050 Authors 16 Meseguer Guaita, José 15 Lanese, Ivan 14 Guttmann, Walter 13 Xu, Xiaoquan 12 Escobar, Santiago 12 Jacobs, Bart 11 Dezani-Ciancaglini, Mariangiola 11 Lucas, Salvador 10 Mezzina, Claudio Antares 10 Zhao, Dongsheng 9 Berghammer, Rudolf 9 Palmigiano, Alessandra 9 Rubio, Rubén 9 Sapiña, Julia 9 Tuosto, Emilio 8 Conradie, Willem 8 Giese, Holger 8 Madeira, Alexandre 8 Martí-Oliet, Narciso 8 Möller, Bernhard 8 Pérez, Jorge A. 8 Plump, Detlef 8 Yoshida, Nobuko 8 Zanasi, Fabio 7 Aceto, Luca 7 Alpuente, María 7 Barbanera, Franco 7 Castellani, Ilaria 7 Durán, Francisco 7 Gadducci, Fabio 7 Glück, Robert 7 Kaarsgaard, Robin 7 Li, Qingguo 7 Lu, Jing 7 Martins, Manuel António 7 Maximova, Maria 7 Schneider, Sven 7 Silva, Alexandra 7 Struth, Georg 7 Wang, Kaiyun 6 Fahrenberg, Uli 6 Giannini, Paola 6 Gutiérrez, Raúl 6 Ingólfsdóttir, Anna 6 Johansen, Christian 6 Kappé, Tobias 6 Krivulin, Nikolai K. 6 Larsen, Kim Guldstrand 6 Legay, Axel 6 Nielson, Flemming 6 Phillips, Iain W. 6 Riis Nielson, Hanne 6 Rot, Jurriaan 6 Valencia, Frank D. 6 van Glabbeek, Robert Jan 6 Vidal, Germán 6 Zhao, Bin 5 Aubert, Clément 5 Ballis, Demis 5 Barbosa, Luís Soares 5 Bartoletti, Massimo 5 Behr, Nicolas 5 de’Liguoro, Ugo 5 Francalanza, Adrian 5 Horne, Ross 5 Jipsen, Peter 5 Kosiol, Jens 5 Melgratti, Hernán 5 Mikulski, Łukasz 5 Neves, Renato 5 Orejas, Fernando 5 Owe, Olaf 5 Pinna, G. Michele 5 Pita, Isabel 5 Taentzer, Gabriele 5 Tribastone, Mirco 5 Vandin, Andrea 5 Verdejo, Alberto 4 Benevides, Mario R. F. 4 Bonchi, Filippo 4 Brunet, Paul 4 Corradini, Andrea 4 Endrullis, Jörg 4 Fisman, Dana 4 Gorrieri, Roberto 4 Jongmans, Sung-Shik T. Q. 4 Lambers, Leen 4 Lindley, Sam 4 Lucanu, Dorel 4 Mardare, Radu 4 Minas, Mark 4 Moreira, Nelma 4 Nipkow, Tobias 4 Oliveira, José Nuno 4 Overbeek, Roy 4 Pedrycz, Witold 4 Philippou, Anna 4 Pretnar, Matija 4 Psara, Kyriaki 4 Riesco, Adrián ...and 950 more Authors all top 5 Cited in 81 Journals 127 Journal of Logical and Algebraic Methods in Programming 60 Logical Methods in Computer Science 36 Theoretical Computer Science 18 Formal Aspects of Computing 18 MSCS. Mathematical Structures in Computer Science 16 Topology and its Applications 14 Information and Computation 12 Acta Informatica 11 Journal of Functional Programming 10 Journal of Automated Reasoning 6 International Journal of Approximate Reasoning 6 Fundamenta Informaticae 5 Algebra Universalis 4 Information Processing Letters 3 Fuzzy Sets and Systems 3 Information Sciences 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 Theory and Applications of Categories 3 Annals of Mathematics and Artificial Intelligence 3 Soft Computing 3 ACM Transactions on Computational Logic 2 Houston Journal of Mathematics 2 Rocky Mountain Journal of Mathematics 2 Annals of Pure and Applied Logic 2 Real-Time Systems 2 International Journal of Algebra and Computation 2 Acta Mathematica Sinica. English Series 2 Theory and Practice of Logic Programming 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 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 Semigroup Forum 1 Studia Logica 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 Journal of Applied Non-Classical Logics 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 Membrane Computing all top 5 Cited in 32 Fields 629 Computer science (68-XX) 171 Mathematical logic and foundations (03-XX) 63 Category theory; homological algebra (18-XX) 54 Order, lattices, ordered algebraic structures (06-XX) 39 General topology (54-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Combinatorics (05-XX) 14 Operations research, mathematical programming (90-XX) 13 Quantum theory (81-XX) 12 General algebraic systems (08-XX) 12 Probability theory and stochastic processes (60-XX) 11 General and overarching topics; collections (00-XX) 11 Information and communication theory, circuits (94-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 6 Group theory and generalizations (20-XX) 6 Numerical analysis (65-XX) 6 Systems theory; control (93-XX) 4 Statistics (62-XX) 4 Biology and other natural sciences (92-XX) 3 Associative rings and algebras (16-XX) 3 Ordinary differential equations (34-XX) 2 Functional analysis (46-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year