×

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

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

Publications by Year

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 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

Citations by Year