×

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: Indexed cover-to-cover
Documents Indexed: 450 Publications (since 2014)
References Indexed: 423 Publications with 16,132 References.
all top 5

Authors

11 Berghammer, Rudolf
9 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 Guttmann, Walter
6 Ingólfsdóttir, Anna
6 Silva, Alexandra
6 Tiezzi, Francesco
5 Bartoletti, Massimo
5 Durán, Francisco
5 Escobar, Santiago
5 Furusawa, Hitoshi
5 Lanese, Ivan
5 Nishida, Naoki
5 Struth, Georg
5 Tuosto, Emilio
5 Uustalu, Tarmo
4 Barbanera, Franco
4 Bravetti, Mario
4 Corradini, Andrea
4 de’Liguoro, Ugo
4 Henrio, Ludovic
4 Johansen, Christian
4 Kahl, Wolfram
4 Knight, Sophia
4 Larsen, Kim Guldstrand
4 Lucas, Salvador
4 Madeira, Alexandre
4 Martí-Oliet, Narciso
4 Martins, Manuel António
4 Oliveira, José Nuno
4 Pantović, Jovanka
4 Pérez, Jorge A.
4 Phillips, Iain W.
4 Rubio, Rubén
4 Rusu, Vlad
4 Steffen, Martin
4 Stolz, Volker
4 ter Beek, Maurice H.
3 Achilleos, Antonis
3 Alpuente, María
3 Arusoaie, Andrei
3 Barbosa, Luís Soares
3 Bliudze, Simon
3 Castellani, Ilaria
3 Dezani-Ciancaglini, Mariangiola
3 Francalanza, Adrian
3 Graversen, Eva
3 Haller, Philipp
3 Hennicker, Rolf
3 Johnsen, Einar Broch
3 Kawahara, Yasuo
3 Kosiol, Jens
3 Kozen, Dexter C.
3 Lambers, Leen
3 Lion, Benjamin
3 Llana, Luis
3 Lluch Lafuente, Alberto
3 Lochau, Malte
3 Lucanu, Dorel
3 Murgia, Maurizio
3 Orejas, Fernando
3 Pita, Isabel
3 Pun, Ka I.
3 Ramezanifarkhani, Toktam
3 Ravara, António
3 Riesco, Adrián
3 Rocha, Camilo
3 Sammartino, Matteo
3 Scalas, Alceste
3 Schneider, Gerardo
3 Sifakis, Joseph
3 Silva, Josep
3 Srba, Jiří
3 Stell, John G.
3 Taentzer, Gabriele
3 Talcott, Carolyn L.
3 Tamarit, Salvador
3 Valencia, Frank D.
3 Verdejo, Alberto
3 Vidal, Germán
2 Albert, Elvira
2 Arbab, Farhad
2 Backhouse, Roland C.
2 Ballis, Demis
2 Barthe, Gilles
2 Benevides, Mario R. F.
2 Bernardo, Marco
2 Bonsangue, Marcello Maria
2 Boudou, Joseph
2 Brunet, Paul
2 Caballero, Rafael E.
2 Camacho, Carlos J.
2 Ciobanu, Gabriel
2 Dang, Han-Hing
...and 702 more Authors

Publications by Year

Citations contained in zbMATH Open

230 Publications have been cited 629 times in 481 Documents Cited by Year
On topologies defined by irreducible sets. Zbl 1308.54019
Zhao, Dongsheng; Ho, Weng Kin
26
2015
Programming with algebraic effects and handlers. Zbl 1304.68025
Bauer, Andrej; Pretnar, Matija
21
2015
Reversibility and asymmetric conflict in event structures. Zbl 1330.68213
Phillips, Iain; Ulidowski, Irek
15
2015
From probability monads to commutative effectuses. Zbl 1382.68073
Jacobs, Bart
14
2018
Normal forms and normal theories in conditional rewriting. Zbl 1356.68124
Lucas, Salvador; Meseguer, José
12
2016
Reversible session-based pi-calculus. Zbl 1337.68075
Tiezzi, Francesco; Yoshida, Nobuko
10
2015
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
10
2017
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
8
2018
Behavioural equivalences for coalgebras with unobservable moves. Zbl 1330.68195
Brengos, Tomasz; Miculan, Marino; Peressotti, Marco
8
2015
Contextual equivalences in configuration structures and reversibility. Zbl 1353.68193
Aubert, Clément; Cristescu, Ioana
8
2017
Algebraic modal correspondence: Sahlqvist and beyond. Zbl 06767310
Conradie, Willem; Palmigiano, Alessandra; Sourabh, Sumit
8
2017
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
7
2020
Dependency pairs for proving termination properties of conditional term rewriting systems. Zbl 1353.68155
Lucas, Salvador; Meseguer, José
7
2017
Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026
Goubault-Larrecq, Jean
7
2015
Join inverse categories and reversible recursion. Zbl 1359.68045
Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert
7
2017
A bi-intuitionistic modal logic: foundations and automation. Zbl 1359.03018
Stell, John G.; Schmidt, Renate A.; Rydeheard, David
6
2016
A calculus of quality for robustness against unreliable communication. Zbl 1337.68041
Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto
6
2015
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.
6
2017
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
6
2018
Monoids with tests and the algebra of possibly non-halting programs. Zbl 1319.68085
Jackson, Marcel; Stokes, Tim
6
2015
Relational style laws and constructs of linear algebra. Zbl 1434.15016
Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard
6
2014
A relation-algebraic approach to the “Hoare logic” of functional dependencies. Zbl 1434.68144
Oliveira, José N.
6
2014
Probabilistic timed graph transformation systems. Zbl 1400.68058
Maximova, Maria; Giese, Holger; Krause, Christian
5
2018
Verifying minimum spanning tree algorithms with Stone relation algebras. Zbl 1401.68247
Guttmann, Walter
5
2018
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
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
5
2019
Graph transformation through graph surfing in reaction systems. Zbl 1435.68135
Kreowski, Hans-Jörg; Rozenberg, Grzegorz
5
2019
An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.
5
2016
Programming and automating mathematics in the Tarski-Kleene hierarchy. Zbl 1434.68637
Armstrong, Alasdair; Struth, Georg; Weber, Tjark
5
2014
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
5
2016
Contracts as games on event structures. Zbl 1352.68174
Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto
5
2016
Event structure semantics of (controlled) reversible CCS. Zbl 07377686
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
4
2021
Nested-unit Petri nets. Zbl 1427.68195
Garavel, Hubert
4
2019
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
4
2018
Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.
4
2017
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
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 07161316
Meseguer, José
4
2020
A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 07161321
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
4
2020
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
4
2016
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao
4
2016
Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083
Jipsen, Peter; Moshier, M. Andrew
4
2016
Symmetric Heyting relation algebras with applications to hypergraphs. Zbl 1330.03094
Stell, John G.
4
2015
Executable rewriting logic semantics of Orc and formal analysis of Orc programs. Zbl 1329.68169
AlTurki, Musab A.; Meseguer, José
4
2015
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
4
2019
Product programs and relational program logics. Zbl 1355.68047
Barthe, Gilles; Crespo, Juan Manuel; Kunz, César
4
2016
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. Zbl 1375.18027
Hinze, Ralf; Marsden, Dan
4
2016
Continuity as a computational effect. Zbl 1355.68059
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.
4
2016
Termination criteria for tree automata completion. Zbl 1356.68132
Genet, Thomas
4
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
4
2016
A unified framework for differential aggregations in Markovian process algebra. Zbl 1319.68151
Tschaikowski, Max; Tribastone, Mirco
4
2015
Some undecidable properties of SOS specifications. Zbl 1359.68196
Klin, Bartek; Nachyła, Beata
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
Maximizing entropy over Markov processes. Zbl 1371.68175
Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej
4
2014
Cardinality of relations and relational approximation algorithms. Zbl 1351.68152
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa
4
2016
Strategies, model checking and branching-time properties in Maude. Zbl 07419543
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
3
2021
A message-passing interpretation of adjoint logic. Zbl 07363402
Pruiksma, Klaas; Pfenning, Frank
3
2021
Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245
Harmer, Russ; Oshurko, Eugenia
3
2020
Constructing optimized constraint-preserving application conditions for model transformation rules. Zbl 1451.68140
Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele
3
2020
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
3
2019
Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko
3
2019
Specifying graph languages with type graphs. Zbl 1423.68248
Corradini, Andrea; König, Barbara; Nolte, Dennis
3
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
3
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
3
2019
An evaluation of interaction paradigms for active objects. Zbl 1417.68023
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam
3
2019
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
3
2019
Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143
Krivulin, Nikolai
3
2018
Relational lattices: from databases to universal algebra. Zbl 1372.68081
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan
3
2016
On the relation between concurrent separation logic and concurrent Kleene algebra. Zbl 1330.03072
O’Hearn, Peter W.; Petersen, Rasmus L.; Villard, Jules; Hussain, Akbar
3
2015
Deciding Kleene algebra terms equivalence in Coq. Zbl 1329.68232
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão
3
2015
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
3
2015
Introspection as an action in relational models. Zbl 1435.03035
Fervari, Raul; Velázquez-Quesada, Fernando R.
3
2019
Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216
van Glabbeek, Rob
3
2019
ST-structures. Zbl 1353.68208
Johansen, Christian
3
2016
Verifiable abstractions for contract-oriented systems. Zbl 1353.68194
Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
3
2017
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
3
2017
A divertimento on MonadPlus and nondeterminism. Zbl 1355.68041
Uustalu, Tarmo
3
2016
Labelled graph strategic rewriting for social networks. Zbl 1430.68134
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason
3
2018
The structure of finite meadows. Zbl 1319.68145
Bethke, Inge; Rodenburg, Piet; Sevenster, Arjen
3
2015
From imperative to rule-based graph programs. Zbl 1362.68032
Plump, Detlef
3
2017
Algebraic properties of stochastic effectivity functions. Zbl 1434.68336
Doberkat, Ernst-Erich
3
2014
Relating two automata-based models of orchestration and choreography. Zbl 1352.68125
Basile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.
3
2016
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
3
2019
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
3
2019
A verified proof checker for higher-order logic. Zbl 1433.68527
Abrahamsson, Oskar
2
2020
Specifying with syntactic theory functors. Zbl 1433.68221
Haveraaen, Magne; Roggenbach, Markus
2
2020
Comparing type systems for deadlock freedom. Zbl 1477.68177
Dardha, Ornela; Pérez, Jorge A.
2
2022
Reversible computation in nets with bonds. Zbl 07432498
Philippou, Anna; Psara, Kyriaki
2
2022
Behavioural semantics for asynchronous components. Zbl 1407.68271
Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.
2
2017
Algebraic solution of tropical optimization problems via matrix sparsification with application to scheduling. Zbl 1386.90174
Krivulin, Nikolai
2
2017
Formalising privacy policies in social networks. Zbl 1371.68076
Pardo, Raúl; Balliu, Musard; Schneider, Gerardo
2
2017
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 07316064
Gorla, Daniele; Salvo, Ivano
2
2021
Reasoning about distributed information with infinitely many agents. Zbl 07377676
Guzmán, Michell; Knight, Sophia; Quintero, Santiago; Ramírez, Sergio; Rueda, Camilo; Valencia, Frank
2
2021
Applications and extensions of context-sensitive rewriting. Zbl 07377682
Lucas, Salvador
2
2021
Inferring regular languages and \(\omega\)-languages. Zbl 1394.68211
Fisman, Dana
2
2018
A secrecy-preserving language for distributed and object-oriented systems. Zbl 1395.68198
Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun
2
2018
A hybrid automata model of social networking addiction. Zbl 1418.91431
Nasti, Lucia; Milazzo, Paolo
2
2018
Declarative debugging of concurrent Erlang programs. Zbl 1400.68052
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador
2
2018
A logic-algebraic tool for reasoning with knowledge-based systems. Zbl 1400.68210
Alonso-Jiménez, José A.; Aranda-Corral, Gonzalo A.; Borrego-Díaz, Joaquín; Fernández-Lebrón, M. Magdalena; José Hidalgo-Doblado, M.
2
2018
Comparing type systems for deadlock freedom. Zbl 1477.68177
Dardha, Ornela; Pérez, Jorge A.
2
2022
Reversible computation in nets with bonds. Zbl 07432498
Philippou, Anna; Psara, Kyriaki
2
2022
Plotkin’s call-by-value \(\lambda\)-calculus as a modal calculus. Zbl 07531442
Santo, José Espírito; Pinto, Luís; Uustalu, Tarmo
1
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
Session-typed concurrent contracts. Zbl 1487.68165
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank
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
Event structure semantics of (controlled) reversible CCS. Zbl 07377686
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
4
2021
Strategies, model checking and branching-time properties in Maude. Zbl 07419543
Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto
3
2021
A message-passing interpretation of adjoint logic. Zbl 07363402
Pruiksma, Klaas; Pfenning, Frank
3
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 07316064
Gorla, Daniele; Salvo, Ivano
2
2021
Reasoning about distributed information with infinitely many agents. Zbl 07377676
Guzmán, Michell; Knight, Sophia; Quintero, Santiago; Ramírez, Sergio; Rueda, Camilo; Valencia, Frank
2
2021
Applications and extensions of context-sensitive rewriting. Zbl 07377682
Lucas, Salvador
2
2021
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen
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
Checking deadlock-freedom of parametric component-based systems. Zbl 1455.68102
Bozga, Marius; Iosif, Radu; Sifakis, Joseph
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
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Zbl 07316066
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon
1
2021
Synthesis of sorting algorithms using multisets in Theorema. Zbl 1455.68245
Drămnesc, Isabela; Jebelean, Tudor
1
2021
Computer says no: verdict explainability for runtime monitors using a local proof system. Zbl 1455.68103
Francalanza, Adrian; Cini, Clare
1
2021
Schreier split extensions of preordered monoids. Zbl 07363408
Martins-Ferreira, Nelson; Sobral, Manuela
1
2021
Simpler proofs with decentralized invariants. Zbl 07377671
Filliâtre, Jean-Christophe
1
2021
Certifying Findel derivatives for blockchain. Zbl 07377675
Arusoaie, Andrei
1
2021
Event-based time-stamped claim logic. Zbl 07377685
Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca
1
2021
Programming and symbolic computation in Maude. Zbl 07161317
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
7
2020
Generalized rewrite theories, coherence completion, and symbolic methods. Zbl 07161316
Meseguer, José
4
2020
A partial evaluation framework for order-sorted equational programs modulo axioms. Zbl 07161321
Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
4
2020
Knowledge representation and update in hierarchies of graphs. Zbl 1441.68245
Harmer, Russ; Oshurko, Eugenia
3
2020
Constructing optimized constraint-preserving application conditions for model transformation rules. Zbl 1451.68140
Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele
3
2020
A verified proof checker for higher-order logic. Zbl 1433.68527
Abrahamsson, Oskar
2
2020
Specifying with syntactic theory functors. Zbl 1433.68221
Haveraaen, Magne; Roggenbach, Markus
2
2020
A linear-time-branching-time spectrum for behavioral specification theories. Zbl 1433.68214
Fahrenberg, Uli; Legay, Axel
2
2020
Ground confluence of order-sorted conditional specifications modulo axioms. Zbl 07161326
Durán, Francisco; Meseguer, José; Rocha, Camilo
2
2020
Determinizing monitors for HML with recursion. Zbl 07161328
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn
2
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
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
Model checking for hybrid branching-time logics. Zbl 07161313
Kernberger, Daniel; Lange, Martin
1
2020
Partial predicate abstraction and counter-example guided refinement. Zbl 07161314
Yavuz, Tuba
1
2020
Consistency in parametric interval probabilistic timed automata. Zbl 07161315
André, Étienne; Delahaye, Benoît; Fournier, Paulin
1
2020
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Zbl 07161318
Henrio, Ludovic; Kessler, Christoph; Li, Lu
1
2020
A calculus of concurrent graph-rewriting processes. Zbl 07161320
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte
1
2020
Abstracting models of strong normalization for classical calculi. Zbl 07161325
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.
1
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
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
Replacement freeness: a criterion for separating process calculi. Zbl 1462.68126
Pugliese, Rosario; Tiezzi, Francesco
1
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
1
2020
Realisability of pomsets. Zbl 1435.68213
Guanciale, Roberto; Tuosto, Emilio
5
2019
Graph transformation through graph surfing in reaction systems. Zbl 1435.68135
Kreowski, Hans-Jörg; Rozenberg, Grzegorz
5
2019
Nested-unit Petri nets. Zbl 1427.68195
Garavel, Hubert
4
2019
On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. Zbl 1435.68131
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila
4
2019
Towards a categorical representation of reversible event structures. Zbl 1427.68196
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko
3
2019
Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko
3
2019
Specifying graph languages with type graphs. Zbl 1423.68248
Corradini, Andrea; König, Barbara; Nolte, Dennis
3
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
3
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
3
2019
An evaluation of interaction paradigms for active objects. Zbl 1417.68023
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam
3
2019
The PBPO graph transformation approach. Zbl 1417.68075
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila
3
2019
Introspection as an action in relational models. Zbl 1435.03035
Fervari, Raul; Velázquez-Quesada, Fernando R.
3
2019
Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216
van Glabbeek, Rob
3
2019
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
3
2019
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
3
2019
CoReS: a tool for computing core graphs via SAT/SMT solvers. Zbl 1435.68174
König, Barbara; Nederkorn, Maxime; Nolte, Dennis
2
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
2
2019
Keep it fair: equivalence and composition. Zbl 1431.68077
Mennicke, Stephan; Prehn, Tobias
1
2019
A stable non-interleaving early operational semantics for the pi-calculus. Zbl 1423.68308
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon
1
2019
Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284
Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J.
1
2019
A (co)algebraic theory of succinct automata. Zbl 1423.68300
van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra
1
2019
Formalization of functional variation in HOL Light. Zbl 1423.68427
Zhang, Jingzhi; Wang, Guohui; Shi, Zhiping; Guan, Yong; Li, Yongdong
1
2019
Latent semantic analysis of game models using LSTM. Zbl 1423.68086
Ghica, Dan R.; Alyahya, Khulood
1
2019
A logical study of group-size based social network creation. Zbl 1425.91379
Smets, Sonja; Velázquez-Quesada, Fernando R.
1
2019
Multilevel coupled model transformations for precise and reusable definition of model behaviour. Zbl 1423.68105
Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto
1
2019
Operational semantics of a weak memory model with channel synchronization. Zbl 1417.68093
Fava, Daniel S.; Steffen, Martin; Stolz, Volker
1
2019
Domain and range for angelic and demonic compositions. Zbl 1417.68033
Jackson, Marcel; Mikulás, Szabolcs
1
2019
On series-parallel pomset languages: rationality, context-freeness and automata. Zbl 1417.68134
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio
1
2019
Dynamic structural operational semantics. Zbl 1431.68061
Johansen, Christian; Owe, Olaf
1
2019
A calculus for modeling floating authorizations. Zbl 1431.68080
Prokić, Ivan; Pantović, Jovanka; Vieira, Hugo Torres
1
2019
A modular framework for verifying versatile distributed systems. Zbl 1435.68191
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe
1
2019
A denotational semantics of textually aligned SPMD programs. Zbl 1435.68058
Dabrowski, Frédéric
1
2019
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Axiomatization and characterization of BSP algorithms. Zbl 1435.68187
Marquer, Yoann; Gava, Frédéric
1
2019
Session types and subtyping for orchestrated interactions. Zbl 1433.68232
Barbanera, Franco; de’Liguoro, Ugo
1
2019
From probability monads to commutative effectuses. Zbl 1382.68073
Jacobs, Bart
14
2018
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
8
2018
Metalevel algorithms for variant satisfiability. Zbl 1430.68423
Skeirik, Stephen; Meseguer, José
6
2018
Probabilistic timed graph transformation systems. Zbl 1400.68058
Maximova, Maria; Giese, Holger; Krause, Christian
5
2018
Verifying minimum spanning tree algorithms with Stone relation algebras. Zbl 1401.68247
Guttmann, Walter
5
2018
Multiparty session types, beyond duality. Zbl 1395.68199
Scalas, Alceste; Yoshida, Nobuko
4
2018
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
Complete algebraic solution of multidimensional optimization problems in tropical semifield. Zbl 1412.90143
Krivulin, Nikolai
3
2018
Labelled graph strategic rewriting for social networks. Zbl 1430.68134
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason
3
2018
Inferring regular languages and \(\omega\)-languages. Zbl 1394.68211
Fisman, Dana
2
2018
A secrecy-preserving language for distributed and object-oriented systems. Zbl 1395.68198
Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun
2
2018
A hybrid automata model of social networking addiction. Zbl 1418.91431
Nasti, Lucia; Milazzo, Paolo
2
2018
Declarative debugging of concurrent Erlang programs. Zbl 1400.68052
Caballero, Rafael; Martin-Martin, Enrique; Riesco, Adrián; Tamarit, Salvador
2
2018
A logic-algebraic tool for reasoning with knowledge-based systems. Zbl 1400.68210
Alonso-Jiménez, José A.; Aranda-Corral, Gonzalo A.; Borrego-Díaz, Joaquín; Fernández-Lebrón, M. Magdalena; José Hidalgo-Doblado, M.
2
2018
...and 130 more Documents
all top 5

Cited by 752 Authors

12 Meseguer Guaita, José
11 Xu, Xiaoquan
10 Jacobs, Bart
9 Guttmann, Walter
9 Lucas, Salvador
8 Dezani-Ciancaglini, Mariangiola
8 Lanese, Ivan
8 Zhao, Dongsheng
7 Kaarsgaard, Robin
7 Palmigiano, Alessandra
7 Struth, Georg
7 Yoshida, Nobuko
6 Berghammer, Rudolf
6 Conradie, Willem
6 Escobar, Santiago
6 Mezzina, Claudio Antares
6 Möller, Bernhard
6 Tuosto, Emilio
6 Zanasi, Fabio
5 Bartoletti, Massimo
5 de’Liguoro, Ugo
5 Gutiérrez, Raúl
5 Johansen, Christian
5 Larsen, Kim Guldstrand
5 Lu, Jing
5 Madeira, Alexandre
5 Martins, Manuel António
5 Melgratti, Hernán
5 Neves, Renato
5 Nielson, Flemming
5 Owe, Olaf
5 Pérez, Jorge A.
5 Phillips, Iain W.
5 Pinna, G. Michele
5 Riis Nielson, Hanne
5 Sapiña, Julia
5 Silva, Alexandra
5 Zhao, Bin
4 Alpuente, María
4 Barbanera, Franco
4 Behr, Nicolas
4 Castellani, Ilaria
4 Durán, Francisco
4 Fahrenberg, Uli
4 Giannini, Paola
4 Glück, Robert
4 Kappé, Tobias
4 Li, Qingguo
4 Mardare, Radu
4 Martí-Oliet, Narciso
4 Plump, Detlef
4 Pretnar, Matija
4 Rot, Jurriaan
4 Rubio, Rubén
4 Shen, Chong
4 Valencia, Frank D.
4 Wang, Kaiyun
4 Winter, Michael
3 Aceto, Luca
3 Bacci, Giorgio
3 Bacci, Giovanni
3 Barbosa, Luís Soares
3 Benevides, Mario R. F.
3 Bergstra, Jan A.
3 Bhaduri, Purandar
3 Bonchi, Filippo
3 Bravetti, Mario
3 Brengos, Tomasz
3 Brunet, Paul
3 Corradini, Andrea
3 Doberkat, Ernst-Erich
3 Gadducci, Fabio
3 Goubault-Larrecq, Jean
3 Graversen, Eva
3 Heckel, Reiko
3 Höfner, Peter
3 Horne, Ross
3 Ingólfsdóttir, Anna
3 Lambers, Leen
3 Legay, Axel
3 Lindley, Sam
3 Luttik, Bas
3 Lye, Aaron
3 Medić, Doriana
3 Moreira, Nelma
3 Oliveira, José Nuno
3 Orejas, Fernando
3 Panicker, Gayatri
3 Pedrycz, Witold
3 Pita, Isabel
3 Ramezanifarkhani, Toktam
3 Riesco, Adrián
3 Rusu, Vlad
3 Saadat, Maryam Ghaffari
3 Santini, Francesco
3 Santocanale, Luigi
3 Stell, John G.
3 Tribastone, Mirco
3 Ulidowski, Irek
3 van Glabbeek, Robert Jan
...and 652 more Authors
all top 5

Cited in 63 Journals

91 Journal of Logical and Algebraic Methods in Programming
41 Logical Methods in Computer Science
28 Theoretical Computer Science
16 Topology and its Applications
16 Formal Aspects of Computing
11 MSCS. Mathematical Structures in Computer Science
9 Acta Informatica
9 Information and Computation
9 Journal of Automated Reasoning
9 Journal of Functional Programming
5 Algebra Universalis
5 International Journal of Approximate Reasoning
4 Fundamenta Informaticae
3 Information Processing Letters
3 Filomat
2 Annals of Pure and Applied Logic
2 Real-Time Systems
2 International Journal of Algebra and Computation
2 Vestnik St. Petersburg University. Mathematics
2 Annals of Mathematics and Artificial Intelligence
2 Soft Computing
2 Mathematics in Computer Science
2 Frontiers of Computer Science
1 Discrete Mathematics
1 Journal of Mathematical Physics
1 Physica A
1 Rocky Mountain Journal of Mathematics
1 Applied Mathematics and Computation
1 Automatica
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 The Journal of Symbolic Logic
1 Monatshefte für Mathematik
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Studia Logica
1 Journal of Symbolic Computation
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 and Applications of Categories
1 Theory of Computing Systems
1 Acta Mathematica Sinica. English Series
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 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche
1 Logica Universalis
1 The Review of Symbolic Logic
1 Symmetry
1 Universal Journal of Mathematics and Mathematical Sciences
1 Mathematical Sciences
1 Open Mathematics
1 Journal of Membrane Computing

Citations by Year