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: 497 Publications (since 2014) References Indexed: 470 Publications with 17,877 References. all top 5 Latest Issues 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 Höfner, Peter 7 Vieira, Hugo Torres 6 Aceto, Luca 6 Durán, Francisco 6 Escobar, Santiago 6 Guttmann, Walter 6 Ingólfsdóttir, Anna 6 Rubio, Rubén 6 Silva, Alexandra 6 Tiezzi, Francesco 5 Bartoletti, Massimo 5 Castellani, Ilaria 5 Furusawa, Hitoshi 5 Henrio, Ludovic 5 Lanese, Ivan 5 Martí-Oliet, Narciso 5 Martins, Manuel António 5 Nishida, Naoki 5 Oliveira, José Nuno 5 Pérez, Jorge A. 5 Silva, Josep 5 Struth, Georg 5 Tuosto, Emilio 5 Uustalu, Tarmo 4 Alpuente, María 4 Barbanera, Franco 4 Bravetti, Mario 4 Corradini, Andrea 4 de’Liguoro, Ugo 4 Dezani-Ciancaglini, Mariangiola 4 Johansen, Christian 4 Kahl, Wolfram 4 Knight, Sophia 4 Kosiol, Jens 4 Lambers, Leen 4 Larsen, Kim Guldstrand 4 Lion, Benjamin 4 Lucanu, Dorel 4 Lucas, Salvador 4 Madeira, Alexandre 4 Orejas, Fernando 4 Pantović, Jovanka 4 Phillips, Iain W. 4 Riesco, Adrián 4 Rocha, Camilo 4 Rusu, Vlad 4 Steffen, Martin 4 Stolz, Volker 4 Taentzer, Gabriele 4 Talcott, Carolyn L. 4 ter Beek, Maurice H. 4 Verdejo, Alberto 3 Achilleos, Antonis 3 Arbab, Farhad 3 Arusoaie, Andrei 3 Backhouse, Roland C. 3 Ballis, Demis 3 Barbosa, Luís Soares 3 Bliudze, Simon 3 de Lara, Juan 3 Francalanza, Adrian 3 Giese, Holger 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 Sapiña, Julia 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. 2 Albert, Elvira 2 Ameur-Boulifa, Rabéa ...and 783 more Authors all top 5 Fields 458 Computer science (68-XX) 106 Mathematical logic and foundations (03-XX) 41 General and overarching topics; collections (00-XX) 23 Category theory; homological algebra (18-XX) 12 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) 6 Information and communication theory, circuits (94-XX) 4 General topology (54-XX) 4 Probability theory and stochastic processes (60-XX) 3 History and biography (01-XX) 3 Linear and multilinear algebra; matrix theory (15-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 261 Publications have been cited 866 times in 630 Documents Cited by ▼ Year ▼ On topologies defined by irreducible sets. Zbl 1308.54019Zhao, Dongsheng; Ho, Weng Kin 32 2015 Programming with algebraic effects and handlers. Zbl 1304.68025Bauer, Andrej; Pretnar, Matija 25 2015 From probability monads to commutative effectuses. Zbl 1382.68073Jacobs, Bart 17 2018 Reversibility and asymmetric conflict in event structures. Zbl 1330.68213Phillips, Iain; Ulidowski, Irek 16 2015 Programming and symbolic computation in Maude. Zbl 1494.68109Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 14 2020 Normal forms and normal theories in conditional rewriting. Zbl 1356.68124Lucas, Salvador; Meseguer, José 14 2016 A theory of reversibility for Erlang. Zbl 1400.68046Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán 13 2018 Causal-consistent rollback in a tuple-based language. Zbl 1362.68213Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco 11 2017 Reversible session-based pi-calculus. Zbl 1337.68075Tiezzi, Francesco; Yoshida, Nobuko 11 2015 Strategies, model checking and branching-time properties in Maude. Zbl 07419543Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 10 2021 Probabilistic timed graph transformation systems. Zbl 1400.68058Maximova, Maria; Giese, Holger; Krause, Christian 10 2018 Algebraic modal correspondence: Sahlqvist and beyond. Zbl 06767310Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit 9 2017 Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193Aubert, Clément; Cristescu, Ioana 9 2017 Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155Lucas, Salvador; Meseguer, José 9 2017 Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko 9 2019 Join inverse categories and reversible recursion. Zbl 1359.68045Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert 8 2017 Behavioural equivalences for coalgebras with unobservable moves. Zbl 1330.68195Brengos, Tomasz; Miculan, Marino; Peressotti, Marco 8 2015 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166Meseguer, José 8 2020 Metalevel algorithms for variant satisfiability. Zbl 1430.68423Skeirik, Stephen; Meseguer, José 8 2018 Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. Zbl 1423.68230Drewes, Frank; Hoffmann, Berthold; Minas, Mark 8 2019 Relation lifting, a survey. Zbl 1344.68167Kurz, Alexander; Velebil, Jiří 7 2016 Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026Goubault-Larrecq, Jean 7 2015 Event structure semantics of (controlled) reversible CCS. Zbl 07377686Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 7 2021 A calculus of quality for robustness against unreliable communication. Zbl 1337.68041Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto 7 2015 Relational style laws and constructs of linear algebra. Zbl 1434.15016Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard 7 2014 A relation-algebraic approach to the “Hoare logic” of functional dependencies. Zbl 1434.68144Oliveira, José N. 7 2014 A unified framework for differential aggregations in Markovian process algebra. Zbl 1319.68151Tschaikowski, Max; Tribastone, Mirco 7 2015 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 7 2020 Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Zbl 1353.68203Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank D. 7 2017 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 7 2016 A bi-intuitionistic modal logic: foundations and automation. Zbl 1359.03018Stell, John G.; Schmidt, Renate A.; Rydeheard, David 6 2016 Developments in concurrent Kleene algebra. Zbl 1344.68149Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao 6 2016 Symmetric Heyting relation algebras with applications to hypergraphs. Zbl 1330.03094Stell, John G. 6 2015 Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169AlTurki, Musab A.; Meseguer, José 6 2015 Combining behavioural types with security analysis. Zbl 1330.68045Bartoletti, 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 6 2015 Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. Zbl 1351.68170ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco 6 2016 Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637Armstrong, Alasdair; Struth, Georg; Weber, Tjark 6 2014 Monoids with tests and the algebra of possibly non-halting programs. Zbl 1319.68085Jackson, Marcel; Stokes, Tim 6 2015 Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073Durán, Francisco; Meseguer, José; Rocha, Camilo 6 2020 On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila 6 2019 Inferring regular languages and \(\omega\)-languages. Zbl 1394.68211Fisman, Dana 6 2018 Configuration logics: modeling architecture styles. Zbl 1353.68055Mavridou, Anastasia; Baranov, Eduard; Bliudze, Simon; Sifakis, Joseph 6 2017 Nested-unit Petri nets. Zbl 1427.68195Garavel, Hubert 6 2019 Verifying minimum spanning tree algorithms with Stone relation algebras. Zbl 1401.68247Guttmann, Walter 6 2018 Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083Jipsen, Peter; Moshier, M. Andrew 5 2016 Maximizing entropy over Markov processes. Zbl 1371.68175Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej 5 2014 Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. Zbl 1329.68062Berghammer, Rudolf; Fischer, Sebastian 5 2015 Some undecidable properties of SOS specifications. Zbl 1359.68196Klin, Bartek; Nachyła, Beata 5 2017 Cardinality of relations and relational approximation algorithms. Zbl 1351.68152Berghammer, Rudolf; Höfner, Peter; Stucke, Insa 5 2016 Contracts as games on event structures. Zbl 1352.68174Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto 5 2016 Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245Harmer, Russ; Oshurko, Eugenia 5 2020 Stubborn versus structural reductions for Petri nets. Zbl 1407.68330Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2019 A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214Fahrenberg, Uli; Legay, Axel 5 2020 Realisability of pomsets. Zbl 1435.68213Guanciale, Roberto; Tuosto, Emilio 5 2019 Graph transformation through graph surfing in reaction systems. Zbl 1435.68135Kreowski, Hans-Jörg; Rozenberg, Grzegorz 5 2019 From distributed coordination to field calculus and aggregate computing. Zbl 1435.68049Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo 5 2019 Multiparty session types, beyond duality. Zbl 1395.68199Scalas, Alceste; Yoshida, Nobuko 5 2018 Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach. Zbl 1417.68078Lambers, Leen; Born, Kristopher; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele 5 2019 The PBPO graph transformation approach. Zbl 1417.68075Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 5 2019 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 5 2021 Continuity as a computational effect. Zbl 1355.68059Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. 5 2016 Language definitions as rewrite theories. Zbl 1356.68125Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore 5 2016 Towards a categorical representation of reversible event structures. Zbl 1427.68196Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 5 2019 Reversible computation in nets with bonds. Zbl 1505.68028Philippou, Anna; Psara, Kyriaki 4 2022 Simulating and model checking membrane systems using strategies in Maude. Zbl 07432501Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 4 2022 A message-passing interpretation of adjoint logic. Zbl 07363402Pruiksma, Klaas; Pfenning, Frank 4 2021 Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. 4 2017 Deciding Kleene algebra terms equivalence in Coq. Zbl 1329.68232Moreira, Nelma; Pereira, David; Melo de Sousa, Simão 4 2015 An algebra of database preferences. Zbl 1329.68094Möller, Bernhard; Roocks, Patrick 4 2015 Solving computational tasks on finite topologies by means of relation algebra and the RelView tool. Zbl 1362.68297Berghammer, Rudolf; Winter, Michael 4 2017 From imperative to rule-based graph programs. Zbl 1362.68032Plump, Detlef 4 2017 Multirelations with infinite computations. Zbl 1371.68172Guttmann, Walter 4 2014 Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101Fischer, Nick; van Glabbeek, Rob 4 2019 Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216van Glabbeek, Rob 4 2019 Labelled graph strategic rewriting for social networks. Zbl 1430.68134Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason 4 2018 Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143Krivulin, Nikolai 4 2018 On the metric-based approximate minimization of Markov chains. Zbl 1400.68098Bacci, 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.68221Li, Dechao; Qin, Sijian 4 2018 Verifiable abstractions for contract-oriented systems. Zbl 1353.68194Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto 4 2017 Product programs and relational program logics. Zbl 1355.68047Barthe, Gilles; Crespo, Juan Manuel; Kunz, César 4 2016 Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. Zbl 1375.18027Hinze, Ralf; Marsden, Dan 4 2016 Termination criteria for tree automata completion. Zbl 1356.68132Genet, Thomas 4 2016 Specifying graph languages with type graphs. Zbl 1423.68248Corradini, Andrea; König, Barbara; Nolte, Dennis 4 2019 Reversible computation in term rewriting. Zbl 1381.68107Nishida, Naoki; Palacios, Adrián; Vidal, Germán 3 2018 Relational lattices: from databases to universal algebra. Zbl 1372.68081Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan 3 2016 Comparing type systems for deadlock freedom. Zbl 1477.68177Dardha, Ornela; Pérez, Jorge A. 3 2022 A sound and complete reasoning system for asynchronous communication with shared futures. Zbl 1371.68190Din, Crystal Chang; Owe, Olaf 3 2014 An optimal resource sharing protocol for generalized multiframe tasks. Zbl 1304.68024Ekberg, Pontus; Guan, Nan; Stigge, Martin; Yi, Wang 3 2015 Matching logic explained. Zbl 07363403Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 3 2021 On the relation between concurrent separation logic and concurrent Kleene algebra. Zbl 1330.03072O’Hearn, Peter W.; Petersen, Rasmus L.; Villard, Jules; Hussain, Akbar 3 2015 A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. Zbl 1359.68023Delaune, Stéphanie; Hirschi, Lucca 3 2017 Flag-based big-step semantics. Zbl 1362.68160Bach Poulsen, Casper; Mosses, Peter D. 3 2017 Relating two automata-based models of orchestration and choreography. Zbl 1352.68125Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E. 3 2016 Algebraic properties of stochastic effectivity functions. Zbl 1434.68336Doberkat, Ernst-Erich 3 2014 Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling. Zbl 1386.90174Krivulin, Nikolai 3 2017 The structure of finite meadows. Zbl 1319.68145Bethke, Inge; Rodenburg, Piet; Sevenster, Arjen 3 2015 Constructing optimized constraint-preserving application conditions for model transformation rules. Zbl 1451.68140Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele 3 2020 Introspection as an action in relational models. Zbl 1435.03035Fervari, Raul; Velázquez-Quesada, Fernando R. 3 2019 Verification of finite-state machines: a distributed approach. Zbl 1430.68152Gorrieri, Roberto 3 2018 An evaluation of interaction paradigms for active objects. Zbl 1417.68023Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam 3 2019 Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda. Zbl 1512.68176Veltri, Niccolò; Vezzosi, Andrea 2 2023 Safety enforcement via programmable strategies in Maude. Zbl 07665440Alpuente, M.; Ballis, D.; Escobar, S.; Galán, D.; Sapiña, J. 1 2023 Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes. Zbl 1512.68131Overbeek, Roy; Endrullis, Jörg; Rosset, Aloïs 1 2023 Event structure semantics for multiparty sessions. Zbl 1512.68163Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola 1 2023 Verification of mutable linear data structures and iterator-based algorithms in Dafny. Zbl 07723896Blázquez, Jorge; Montenegro, Manuel; Segura, Clara 1 2023 Reversible computation in nets with bonds. Zbl 1505.68028Philippou, Anna; Psara, Kyriaki 4 2022 Simulating and model checking membrane systems using strategies in Maude. Zbl 07432501Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 4 2022 Comparing type systems for deadlock freedom. Zbl 1477.68177Dardha, Ornela; Pérez, Jorge A. 3 2022 Metalevel transformation of strategies. Zbl 07432502Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 2 2022 Secure information flow connections. Zbl 07531437Bhardwaj, Chandrika; Prasad, Sanjiva 1 2022 Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 07531442Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo 1 2022 Formalizing Moessner’s theorem and generalizations in Nuprl. Zbl 07432496Bickford, Mark; Kozen, Dexter; Silva, Alexandra 1 2022 Event structures for the reversible early internal \(\pi\)-calculus. Zbl 1482.68152Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 1 2022 Components and acyclicity of graphs. An exercise in combining precision with concision. Zbl 1481.68034Backhouse, Roland; Doornbos, Henk; Glück, Roland; van der Woude, Jaap 1 2022 Session-typed concurrent contracts. Zbl 1487.68165Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank 1 2022 Processes against tests: on defining contextual equivalences. Zbl 07595225Aubert, Clément; Varacca, Daniele 1 2022 Graded epistemic logic with public announcement. Zbl 1491.03013Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. 1 2022 A formal treatment of the role of verified compilers in secure computation. Zbl 07485817Bacelar Almeida, José Carlos; Barbosa, Manuel; Barthe, Gilles; Pacheco, Hugo; Pereira, Vitor; Portela, Bernardo 1 2022 Strategies, model checking and branching-time properties in Maude. Zbl 07419543Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto 10 2021 Event structure semantics of (controlled) reversible CCS. Zbl 07377686Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 7 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 5 2021 A message-passing interpretation of adjoint logic. Zbl 07363402Pruiksma, Klaas; Pfenning, Frank 4 2021 Matching logic explained. Zbl 07363403Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore 3 2021 A navigational logic for reasoning about graph properties. Zbl 1455.68147Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen 3 2021 Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102Bozga, Marius; Iosif, Radu; Sifakis, Joseph 3 2021 Schreier split extensions of preordered monoids. Zbl 07363408Martins-Ferreira, Nelson; Sobral, Manuela 2 2021 Simpler proofs with decentralized invariants. Zbl 07377671Filliâtre, Jean-Christophe 2 2021 Reasoning about distributed information with infinitely many agents. Zbl 07377676Guzmán, Michell; Knight, Sophia; Quintero, Santiago; Ramírez, Sergio; Rueda, Camilo; Valencia, Frank 2 2021 Applications and extensions of context-sensitive rewriting. Zbl 07377682Lucas, Salvador 2 2021 Soft constraint automata with memory. Zbl 1455.68087Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco 2 2021 Composition and decomposition of multiparty sessions. Zbl 1462.68120Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio 2 2021 Conflict vs causality in event structures. Zbl 1509.68186Gorla, Daniele; Salvo, Ivano 2 2021 Synthesis of sorting algorithms using multisets in Theorema. Zbl 1455.68245Drămnesc, Isabela; Jebelean, Tudor 2 2021 Computer says no: verdict explainability for runtime monitors using a local proof system. Zbl 1455.68103Francalanza, Adrian; Cini, Clare 2 2021 On checking equivalence of simulation scripts. Zbl 07363405Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico 1 2021 Verification of dynamic bisimulation theorems in Coq. Zbl 07363407Fervari, Raul; Trucco, Francisco; Ziliani, Beta 1 2021 A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. Zbl 1502.68195van Ditmarsch, Hans; Goubault, Éric; Lazić, Marijana; Ledent, Jérémy; Rajsbaum, Sergio 1 2021 Certifying Findel derivatives for blockchain. Zbl 07377675Arusoaie, Andrei 1 2021 Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic. Zbl 07377681Costa, Diana; Martins, Manuel A. 1 2021 Event-based time-stamped claim logic. Zbl 07377685Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca 1 2021 Actor-based model checking for software-defined networks. Zbl 1455.68101Albert, 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.90393Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco 1 2021 Programming and symbolic computation in Maude. Zbl 1494.68109Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 14 2020 Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 1496.68166Meseguer, José 8 2020 A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 1494.68048Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. 7 2020 Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 1498.68073Durán, Francisco; Meseguer, José; Rocha, Camilo 6 2020 Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245Harmer, Russ; Oshurko, Eugenia 5 2020 A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214Fahrenberg, Uli; Legay, Axel 5 2020 Constructing optimized constraint-preserving application conditions for model transformation rules. Zbl 1451.68140Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele 3 2020 A verified proof checker for higher-order logic. Zbl 1433.68527Abrahamsson, Oskar 3 2020 Abstracting models of strong normalization for classical calculi. Zbl 1494.68055Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. 2 2020 Determinizing monitors for HML with recursion. Zbl 1494.68155Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn 2 2020 Specifying with syntactic theory functors. Zbl 1433.68221Haveraaen, Magne; Roggenbach, Markus 2 2020 Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs. Zbl 1452.68096Kosiol, Jens; Fritsche, Lars; Schürr, Andy; Taentzer, Gabriele 2 2020 Free Kleene algebras with domain. Zbl 1484.08014McLean, Brett 2 2020 Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. Zbl 1451.68191Kapus-Kolar, Monika 1 2020 Hybrid search plan generation for generalized graph pattern matching. Zbl 1451.68198Barkowsky, Matthias; Giese, Holger 1 2020 Combining free choice and time in Petri nets. Zbl 1451.68190Akshay, S.; Hélouët, Loïc; Phawade, Ramchandra 1 2020 Partial predicate abstraction and counter-example guided refinement. Zbl 1494.68177Yavuz, Tuba 1 2020 Consistency in parametric interval probabilistic timed automata. Zbl 1494.68157André, Étienne; Delahaye, Benoît; Fournier, Paulin 1 2020 Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Zbl 1494.68043Henrio, Ludovic; Kessler, Christoph; Li, Lu 1 2020 A calculus of concurrent graph-rewriting processes. Zbl 1494.68115Kulcsár, Géza; Corradini, Andrea; Lochau, Malte 1 2020 Spreading nets: a uniform approach to unfoldings. Zbl 1433.68258Pinna, G. Michele; Fabre, Eric 1 2020 Process calculi as a tool for studying coordination, contracts and session types. Zbl 1476.68167Bravetti, Mario; Zavattaro, Gianluigi 1 2020 From global choreographies to verifiable efficient distributed implementations. Zbl 1452.68125Jaber, 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.90102Krivulin, Nikolai 1 2020 Replacement freeness: a criterion for separating process calculi. Zbl 1462.68126Pugliese, Rosario; Tiezzi, Francesco 1 2020 On the group memory complexity of extended finite automata over groups. Zbl 1462.68099Arroyo, Fernando; Mitrana, Victor; Păun, Andrei; Păun, Mihaela; Sanchez Couso, Jose Ramon 1 2020 Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko 9 2019 Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. Zbl 1423.68230Drewes, Frank; Hoffmann, Berthold; Minas, Mark 8 2019 On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila 6 2019 Nested-unit Petri nets. Zbl 1427.68195Garavel, Hubert 6 2019 Stubborn versus structural reductions for Petri nets. Zbl 1407.68330Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří 5 2019 Realisability of pomsets. Zbl 1435.68213Guanciale, Roberto; Tuosto, Emilio 5 2019 Graph transformation through graph surfing in reaction systems. Zbl 1435.68135Kreowski, Hans-Jörg; Rozenberg, Grzegorz 5 2019 From distributed coordination to field calculus and aggregate computing. Zbl 1435.68049Viroli, 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.68078Lambers, Leen; Born, Kristopher; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele 5 2019 The PBPO graph transformation approach. Zbl 1417.68075Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila 5 2019 Towards a categorical representation of reversible event structures. Zbl 1427.68196Graversen, Eva; Phillips, Iain; Yoshida, Nobuko 5 2019 Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101Fischer, Nick; van Glabbeek, Rob 4 2019 Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216van Glabbeek, Rob 4 2019 Specifying graph languages with type graphs. Zbl 1423.68248Corradini, Andrea; König, Barbara; Nolte, Dennis 4 2019 Introspection as an action in relational models. Zbl 1435.03035Fervari, Raul; Velázquez-Quesada, Fernando R. 3 2019 An evaluation of interaction paradigms for active objects. Zbl 1417.68023Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam 3 2019 Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto 3 2019 A modular framework for verifying versatile distributed systems. Zbl 1435.68191Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe 2 2019 A denotational semantics of textually aligned SPMD programs. Zbl 1435.68058Dabrowski, Frédéric 2 2019 CoReS: a tool for computing core graphs via SAT/SMT solvers. Zbl 1435.68174König, Barbara; Nederkorn, Maxime; Nolte, Dennis 2 2019 On series-parallel pomset languages: rationality, context-freeness and automata. Zbl 1417.68134Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 2 2019 A stable non-interleaving early operational semantics for the pi-calculus. Zbl 1423.68308Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon 2 2019 Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J. 2 2019 Session types and subtyping for orchestrated interactions. Zbl 1433.68232Barbanera, Franco; de’Liguoro, Ugo 1 2019 Connecting open systems of communicating finite state machines. Zbl 1435.68211Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf 1 2019 Axiomatization and characterization of BSP algorithms. Zbl 1435.68187Marquer, Yoann; Gava, Frédéric 1 2019 Operational semantics of a weak memory model with channel synchronization. Zbl 1417.68093Fava, Daniel S.; Steffen, Martin; Stolz, Volker 1 2019 Verification and control for probabilistic hybrid automata with finite bisimulations. Zbl 1417.68105Sproston, Jeremy 1 2019 Domain and range for angelic and demonic compositions. Zbl 1417.68033Jackson, Marcel; Mikulás, Szabolcs 1 2019 Input urgent semantics for asynchronous timed session types. Zbl 1431.68078Murgia, Maurizio 1 2019 Dynamic structural operational semantics. Zbl 1431.68061Johansen, Christian; Owe, Olaf 1 2019 A calculus for modeling floating authorizations. Zbl 1431.68080Prokić, Ivan; Pantović, Jovanka; Vieira, Hugo Torres 1 2019 ...and 161 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 931 Authors 15 Meseguer Guaita, José 12 Guttmann, Walter 12 Jacobs, Bart 12 Xu, Xiaoquan 11 Dezani-Ciancaglini, Mariangiola 10 Lanese, Ivan 10 Lucas, Salvador 9 Escobar, Santiago 8 Berghammer, Rudolf 8 Mezzina, Claudio Antares 8 Möller, Bernhard 8 Palmigiano, Alessandra 8 Rubio, Rubén 8 Yoshida, Nobuko 8 Zanasi, Fabio 8 Zhao, Dongsheng 7 Giese, Holger 7 Kaarsgaard, Robin 7 Madeira, Alexandre 7 Martins, Manuel António 7 Struth, Georg 7 Tuosto, Emilio 6 Castellani, Ilaria 6 Conradie, Willem 6 Durán, Francisco 6 Fahrenberg, Uli 6 Giannini, Paola 6 Glück, Robert 6 Gutiérrez, Raúl 6 Krivulin, Nikolai K. 6 Larsen, Kim Guldstrand 6 Legay, Axel 6 Lu, Jing 6 Martí-Oliet, Narciso 6 Maximova, Maria 6 Nielson, Flemming 6 Pérez, Jorge A. 6 Plump, Detlef 6 Riis Nielson, Hanne 6 Sapiña, Julia 6 Schneider, Sven 6 Silva, Alexandra 6 Wang, Kaiyun 6 Zhao, Bin 5 Aceto, Luca 5 Alpuente, María 5 Barbanera, Franco 5 Bartoletti, Massimo 5 de’Liguoro, Ugo 5 Johansen, Christian 5 Kappé, Tobias 5 Li, Qingguo 5 Melgratti, Hernán 5 Neves, Renato 5 Owe, Olaf 5 Phillips, Iain W. 5 Pinna, G. Michele 5 Rot, Jurriaan 5 Tribastone, Mirco 5 Valencia, Frank D. 5 Vandin, Andrea 4 Barbosa, Luís Soares 4 Behr, Nicolas 4 Benevides, Mario R. F. 4 Bonchi, Filippo 4 Brunet, Paul 4 Horne, Ross 4 Ingólfsdóttir, Anna 4 Kosiol, Jens 4 Lambers, Leen 4 Lindley, Sam 4 Mardare, Radu 4 Minas, Mark 4 Nipkow, Tobias 4 Oliveira, José Nuno 4 Orejas, Fernando 4 Pedrycz, Witold 4 Pretnar, Matija 4 Riesco, Adrián 4 Shen, Chong 4 Taentzer, Gabriele 4 Verdejo, Alberto 4 Vidal, Germán 4 Viroli, Mirko 4 Winter, Michael 3 Amat, Nicolas 3 Aubert, Clément 3 Audrito, Giorgio 3 Bacci, Giorgio 3 Bacci, Giovanni 3 Ballis, Demis 3 Bergstra, Jan A. 3 Bernardo, Marco 3 Bhaduri, Purandar 3 Bozga, Marius 3 Bravetti, Mario 3 Brengos, Tomasz 3 Cardelli, Luca 3 Ciobanu, Gabriel 3 Corradini, Andrea ...and 831 more Authors all top 5 Cited in 71 Journals 113 Journal of Logical and Algebraic Methods in Programming 50 Logical Methods in Computer Science 33 Theoretical Computer Science 18 Formal Aspects of Computing 16 Topology and its Applications 14 MSCS. Mathematical Structures in Computer Science 13 Information and Computation 11 Journal of Functional Programming 10 Acta Informatica 10 Journal of Automated Reasoning 5 Algebra Universalis 5 International Journal of Approximate Reasoning 5 Fundamenta Informaticae 3 Information Processing Letters 3 Vestnik St. Petersburg University. Mathematics 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 Rocky Mountain Journal of Mathematics 2 Information Sciences 2 Annals of Pure and Applied Logic 2 Journal of Symbolic Computation 2 Real-Time Systems 2 International Journal of Algebra and Computation 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Mathematics in Computer Science 2 Frontiers of Computer Science 2 Open Mathematics 1 Discrete Mathematics 1 Houston Journal of Mathematics 1 Journal of Mathematical Physics 1 Physica A 1 Applied Mathematics and Computation 1 Automatica 1 Computing 1 Fuzzy Sets and Systems 1 Journal of Algebra 1 Journal of Computer and System Sciences 1 The Journal of Symbolic Logic 1 Kybernetika 1 Monatshefte für Mathematik 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Studia Logica 1 Order 1 Applications of Mathematics 1 Discrete Event Dynamic Systems 1 Linear Algebra and its Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Theory of Computing Systems 1 Acta Mathematica Sinica. English Series 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Logic and Logical Philosophy 1 Theory and Practice of Logic Programming 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 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 Journal of Membrane Computing all top 5 Cited in 29 Fields 532 Computer science (68-XX) 148 Mathematical logic and foundations (03-XX) 50 Category theory; homological algebra (18-XX) 49 Order, lattices, ordered algebraic structures (06-XX) 35 General topology (54-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Combinatorics (05-XX) 12 General algebraic systems (08-XX) 11 General and overarching topics; collections (00-XX) 11 Quantum theory (81-XX) 11 Operations research, mathematical programming (90-XX) 10 Probability theory and stochastic processes (60-XX) 10 Information and communication theory, circuits (94-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 6 Numerical analysis (65-XX) 5 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 Group theory and generalizations (20-XX) 3 Ordinary differential equations (34-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 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year