×

The Journal of Logic and Algebraic Programming

Short Title: J. Log. Algebr. Program.
Publisher: Elsevier Science Inc. (North-Holland), New York, NY
ISSN: 1567-8326
Online: http://www.sciencedirect.com/science/journal/15678326
Predecessor: The Journal of Logic Programming
Successor: Journal of Logical and Algebraic Methods in Programming
Comments: Journal; No longer indexed
Documents Indexed: 356 Publications (2001–2014)
References Indexed: 325 Publications with 11,208 References.
all top 5

Authors

7 Aceto, Luca
7 Berghammer, Rudolf
7 Möller, Bernhard
6 Bergstra, Jan A.
6 Johnsen, Einar Broch
6 Larsen, Kim Guldstrand
6 Middelburg, Cornelis A.
6 Steffen, Martin
5 Baeten, Jos C. M.
5 Groote, Jan Friso
5 Martí-Oliet, Narciso
5 Meseguer Guaita, José
5 Nunez, Manuel A.
5 Owe, Olaf
5 Schneider, Gerardo
5 Valero, Valentín
4 Bravetti, Mario
4 Diaz, Gregorio
4 Guttmann, Walter
4 Höfner, Peter
4 Ponse, Alban
4 Reniers, Michel Adriaan
4 Schmidt, Gunther
4 Struth, Georg
3 Banach, Richard
3 Brogi, Antonio
3 Cambronero, María Emilia
3 Ciobanu, Gabriel
3 Danicic, Sebastian
3 Fokkink, Willem Jan
3 Fournet, Cédric
3 Gnesi, Stefania
3 Hierons, Robert Mark
3 Ingólfsdóttir, Anna
3 Jeske, Czeslaw
3 Kahl, Wolfram
3 Kamareddine, Fairouz D.
3 Latella, Diego
3 Laurence, Michael R.
3 Lee, Insup
3 Legay, Axel
3 Macià, Hermenegilda
3 Massink, Mieke
3 Merayo, Mercedes G.
3 Pace, Gordon J.
3 Palomino, Miguel
3 Pérez-Jiménez, Mario J.
3 Rodríguez, Ismael
3 Rooda, Jacobus E.
3 Sokolsky, Oleg
3 Uustalu, Tarmo
3 Verdejo, Alberto
3 Winter, Michael
3 Zavattaro, Gianluigi
3 Zucker, Jeffery I.
2 Agrigoroaiei, Oana
2 Bethke, Inge
2 Bielova, Nataliia
2 Blanck, Jens
2 Bloo, Roel
2 Buscemi, Maria Grazia
2 Busi, Nadia
2 Cazorla, Diego
2 Costa, José Félix
2 Cuartero, Fernando
2 Cuijpers, Pieter J. L.
2 de Boer, Frank S.
2 Delahaye, Benoît
2 Desharnais, Jules
2 Dovland, Johan
2 Dragoni, Nicola
2 Duan, Zhenhua
2 Ésik, Zoltán
2 Fahrenberg, Uli
2 Francalanza, Adrian
2 Grabe, Immo
2 Guerra, Hélia
2 Hansen, Michael Reichhardt
2 Harman, N. A.
2 Haveraaen, Magne
2 Henglein, Fritz
2 Hennessy, Matthew C. B.
2 Hirschkoff, Daniel
2 Jacobs, Bart
2 Katoen, Joost-Pieter
2 Koutny, Maciej
2 Künzi, Hans-Peter A.
2 Lakhnech, Yassine
2 Lämmel, Ralf
2 Lamo, Yngve
2 Leucker, Martin
2 Manca, Vincenzo
2 Martínez-del-Amor, Miguel Ángel
2 McIver, Annabelle K.
2 Montanari, Ugo G.
2 Mossakowski, Till
2 Navarro, Marisa
2 Nielson, Flemming
2 Orejas, Fernando
2 Pang, Jun
...and 513 more Authors

Publications by Year

Citations contained in zbMATH Open

272 Publications have been cited 2,030 times in 1,556 Documents Cited by Year
A structural approach to operational semantics. Zbl 1082.68062
Plotkin, Gordon D.
198
2004
A brief account of runtime verification. Zbl 1192.68433
Leucker, Martin; Schallhart, Christian
63
2009
Reversing algebraic process calculi. Zbl 1123.68065
Phillips, Iain; Ulidowski, Irek
58
2007
The origins of structural operational semantics. Zbl 1072.68063
Plotkin, Gordon D.
57
2004
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
47
2011
Automated verification of selected equivalences for security protocols. Zbl 1135.68007
Blanchet, Bruno; Abadi, Martín; Fournet, Cédric
47
2008
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
41
2012
An overview of the K semantic framework. Zbl 1214.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
40
2010
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
37
2002
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
37
2012
Modular structural operational semantics. Zbl 1072.68061
Mosses, Peter D.
29
2004
Hybrid process algebra. Zbl 1090.68071
Cuijpers, P. J. L.; Reniers, M. A.
28
2005
Constructor-based observational logic. Zbl 1088.68112
Bidoit, Michel; Hennicker, Rolf
26
2006
The meaning of negative premises in transition system specifications. II. Zbl 1072.68075
van Glabbeek, R. J.
25
2004
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Zbl 1053.68065
Desharnais, Josée; Panangaden, Prakash
25
2003
Program algebra for sequential code. Zbl 1008.68079
Bergstra, J. A.; Loots, M. E.
24
2002
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
24
2012
Syntax and consistent equation semantics of hybrid Chi. Zbl 1088.68111
van Beek, D. A.; Man, K. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.
22
2006
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. Zbl 1073.68678
Marché, C.; Paulin-Mohring, C.; Urbain, X.
22
2004
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. Zbl 1080.68519
Revol, N.; Makino, K.; Berz, M.
18
2005
Quantitative analysis of weighted transition systems. Zbl 1204.68137
Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G.
16
2010
Cut-free sequent systems for temporal logic. Zbl 1151.03009
Brünnler, Kai; Lange, Martin
16
2008
A hierarchy of equivalences for asynchronous calculi. Zbl 1066.68088
Fournet, Cédric; Gonthier, Georges
15
2005
Recent progress in exact geometric computation. Zbl 1080.68106
Li, Chen; Pion, S.; Yap, C. K.
15
2005
Executable structural operational semantics in Maude. Zbl 1088.68095
Verdejo, Alberto; Martí-Oliet, Narciso
14
2006
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
14
2011
Combining programs and state machines. Zbl 1008.68068
Bergstra, Jan A.; Ponse, Alban
14
2002
Axiomatizability of representable domain algebras. Zbl 1207.68207
Hirsch, Robin; Mikulás, Szabolcs
13
2011
A quick introduction to membrane computing. Zbl 1208.68127
Păun, Gheorghe
13
2010
Comparing disjunctive modal transition systems with an one-selecting variant. Zbl 1151.68035
Fecher, H.; Schmidt, H.
13
2008
A finite model construction for coalgebraic modal logic. Zbl 1127.03014
Schröder, Lutz
12
2007
Indexed induction-recursion. Zbl 1080.68014
Dybjer, Peter; Setzer, Anton
12
2006
Algebraic theory of probabilistic processes. Zbl 1048.68057
Núñez, Manuel
12
2003
Pathway analysis for BioAmbients. Zbl 1147.92002
Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis
12
2008
Synchronous Kleene algebra. Zbl 1204.68123
Prisacariu, Cristian
11
2010
Development graphs – proof management for structured specifications. Zbl 1088.68114
Mossakowski, Till; Autexier, Serge; Hutter, Dieter
11
2006
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. Zbl 1085.68094
Tucker, J. V.; Zucker, J. I.
11
2005
Variable binding operators in transition system specifications. Zbl 0970.68117
Middelburg, C. A.
11
2001
A double completion for an arbitrary \(T_0\)-quasi-metric space. Zbl 1211.54039
Künzi, Hans-Peter A.; Kivuvu, Charly Makitu
11
2008
Characterizing and proving operational termination of deterministic conditional term rewriting systems. Zbl 1206.68163
Schernhammer, Felix; Gramlich, Bernhard
10
2010
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
\(\mathcal {HOTL}\): Hypotheses and observations testing logic. Zbl 1131.68064
Rodríguez, Ismael; Merayo, Mercedes G.; Núñez, Manuel
10
2008
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. Zbl 1169.68031
Busi, Nadia; Gorrieri, Roberto
10
2009
A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075
Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe
9
2010
Propositional dynamic logic with recursive programs. Zbl 1123.03017
Löding, Christof; Lutz, Carsten; Serre, Olivier
9
2007
Test generation from P systems using model checking. Zbl 1208.68146
Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca
9
2010
Axiomatizing GSOS with termination. Zbl 1072.68058
Baeten, J. C. M.; de Vink, E. P.
9
2004
Composition mechanisms for retrenchment. Zbl 1137.68037
Banach, R.; Jeske, C.; Poppleton, M.
9
2008
Is your model checker on time? On the complexity of model checking for timed modal logics. Zbl 1008.68030
Aceto, Luca; Laroussinie, François
9
2002
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
9
2009
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
9
2010
Distributed system contract monitoring. Zbl 1283.68243
Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
9
2013
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. Zbl 1243.68208
Zhu, Huibiao; Yang, Fan; He, Jifeng; Bowen, Jonathan P.; Sanders, Jeff W.; Qin, Shengchao
9
2012
Operational semantics of Framed Tempura. Zbl 1170.68006
Yang, Xiaoxiao; Duan, Zhenhua
8
2008
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
8
2010
A pi-calculus based semantics for WS-BPEL. Zbl 1178.68367
Lucchi, Roberto; Mazzara, Manuel
8
2007
Partiality. I: Embedding relation algebras. Zbl 1086.68093
Schmidt, Gunther
8
2006
Non-bisimulation-based Markovian behavioral equivalences. Zbl 1121.68077
Bernardo, Marco
8
2007
A theory for observational fault tolerance. Zbl 1123.68080
Francalanza, Adrian; Hennessy, Matthew
8
2007
Abstract interpretation of mobile systems. Zbl 1066.68087
Feret, Jérôme
8
2005
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
8
2010
Adding recursive constructs to bialgebraic semantics. Zbl 1072.68059
Klin, Bartek
8
2004
A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098
Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe
8
2012
Schedulability of asynchronous real-time concurrent objects. Zbl 1188.68085
Jaghoori, Mohammad Mahdi; de Boer, Frank S.; Chothia, Tom; Sirjani, Marjan
8
2009
CCS with priority guards. Zbl 1134.68042
Phillips, Iain
8
2008
Using probabilistic Kleene algebra pKA for protocol verification. Zbl 1148.68034
McIver, A. K.; Gonzalia, C.; Cohen, E.; Morgan, C. C.
8
2008
Ready to preorder: an algebraic and general proof. Zbl 1187.68309
de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel
8
2009
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
8
2001
Algebraic theory of probabilistic and nondeterministic processes. Zbl 1054.68091
Cazorla, Diego; Cuartero, Fernando; Valero, Valentín; Pelayo, Fernando L.; Pardo, J. José
8
2003
Verification of the Miller-Rabin probabilistic primality test. Zbl 1048.68051
Hurd, Joe
8
2003
Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315
Ésik, Z.
8
2010
Validation and verification of web services choreographies by using timed automata. Zbl 1207.68082
Cambronero, M. Emilia; Díaz, Gregorio; Valero, Valentín; Martínez, Enrique
7
2011
Focus points and convergent process operators: A proof strategy for protocol verification. Zbl 1015.68175
Groote, Jan Friso; Springintveld, Jan
7
2001
Kleene under a modal demonic star. Zbl 1086.68080
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz
7
2006
Abstract abstract reduction. Zbl 1086.68068
Struth, Georg
7
2006
Simulating a P system based efficient solution to SAT by using GPUs. Zbl 1208.68124
Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.
7
2010
Inheritance in the join calculus. Zbl 1035.03011
Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier
7
2003
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. Zbl 1072.68070
Simpson, Alex
7
2004
Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G.
7
2012
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
7
2012
Timed mobility in process algebra and Petri nets. Zbl 1230.68154
Ciobanu, Gabriel; Koutny, Maciej
7
2011
Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin
7
2009
Dual systems of tableaux and sequents for PLTL. Zbl 1183.68596
Gaintzarain, Jose; Hermo, Montserrat; Lucio, Paqui; Navarro, Marisa; Orejas, Fernando
7
2009
Weakest pre-condition reasoning for Java programs with JML annotations. Zbl 1073.68024
Jacobs, Bart
7
2004
An alternative formulation of operational conservativity with binding terms. Zbl 1048.68056
Middelburg, C. A.
7
2003
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
7
2003
Normal design algebra. Zbl 1184.68179
Guttmann, Walter; Möller, Bernhard
7
2010
Programming from Galois connections. Zbl 1257.68057
Mu, Shin-Cheng; Oliveira, José Nuno
7
2012
Canonical completeness of infinitary \(\mu \). Zbl 1156.68013
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas
7
2008
QoS negotiation in service composition. Zbl 1207.68220
Buscemi, Maria Grazia; Montanari, Ugo
6
2011
Tree regular model checking: a simulation-based approach. Zbl 1101.68055
Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed
6
2006
Service oriented computing from a process algebraic perspective. Zbl 1178.68072
Bravetti, Mario; Zavattaro, Gianluigi
6
2007
Regular algebra applied to language problems. Zbl 1086.68069
Backhouse, Roland
6
2006
Relation-algebraic computation of fixed points with applications. Zbl 1086.68095
Berghammer, Rudolf
6
2006
Kleene modules and linear languages. Zbl 1086.68075
Leiß, Hans
6
2006
A logic of reachable patterns in linked data-structures. Zbl 1121.03040
Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed
6
2007
The security pi-calculus and non-interference. Zbl 1067.68096
Hennessy, Matthew
6
2005
Reversing computation in membrane systems. Zbl 1208.68121
Agrigoroaiei, Oana; Ciobanu, Gabriel
6
2010
Contact, closure, topology, and the linking of row and column types of relations. Zbl 1231.03058
Schmidt, Gunther; Berghammer, Rudolf
6
2011
Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192
Johansson, Magnus; Victor, Björn; Parrow, Joachim
6
2012
Conversion to tail recursion in term rewriting. Zbl 1283.68128
Nishida, Naoki; Vidal, Germán
1
2014
Distributed system contract monitoring. Zbl 1283.68243
Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
9
2013
Contracts for cross-organizational workflows as timed dynamic condition response graphs. Zbl 1283.68245
Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs; Zanitti, Francesco
6
2013
Free inductive \(K\)-semialgebras. Zbl 1286.68332
Ésik, Z.; Kuich, W.
5
2013
Computing and visualizing Banks sets of dominance relations using relation algebra and RelView. Zbl 1278.91049
Berghammer, Rudolf
4
2013
Survey on JavaScript security policies and their enforcement mechanisms in a web browser. Zbl 1283.68063
Bielova, Nataliia
3
2013
Processes with infinite liveness requirements. Zbl 1510.68058
Guerra, Hélia; Costa, José Félix
1
2013
A framework for conflict analysis of normative texts written in controlled natural language. Zbl 1283.68333
Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo
1
2013
Algorithmic type checking for a pi-calculus with name matching and session types. Zbl 1283.68127
Giunti, Marco
1
2013
Session types for safe web service orchestration. Zbl 1283.68065
Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro
1
2013
Rewriting-based repairing strategies for XML repositories. Zbl 1283.68130
Alpuente, María; Ballis, Demis; Falaschi, Moreno; Frechina, Francisco; Romero, Daniel
1
2013
Syntax and semantics of the compositional interchange format for hybrid systems. Zbl 1257.68101
Nadales Agut, D. E.; van Beek, D. A.; Rooda, J. E.
1
2013
Comparing approaches to free dcpo-algebra constructions. Zbl 1256.68115
Battenfeld, Ingo
1
2013
Folding variant narrowing and optimal variant termination. Zbl 1291.68217
Escobar, Santiago; Sasse, Ralf; Meseguer, José
41
2012
Twenty years of rewriting logic. Zbl 1267.03043
Meseguer, José
37
2012
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139
Durán, Francisco; Meseguer, José
24
2012
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. Zbl 1243.68208
Zhu, Huibiao; Yang, Fan; He, Jifeng; Bowen, Jonathan P.; Sanders, Jeff W.; Qin, Shengchao
9
2012
A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098
Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe
8
2012
Reachability analysis for timed automata using max-plus algebra. Zbl 1279.68214
Lu, Qi; Madsen, Michael; Milata, Martin; Ravn, Søren; Fahrenberg, Uli; Larsen, Kim G.
7
2012
Three-valued abstraction for probabilistic systems. Zbl 1277.68219
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena
7
2012
Programming from Galois connections. Zbl 1257.68057
Mu, Shin-Cheng; Oliveira, José Nuno
7
2012
Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192
Johansson, Magnus; Victor, Björn; Parrow, Joachim
6
2012
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
A dynamic deontic logic for complex contracts. Zbl 1258.03024
Prisacariu, Cristian; Schneider, Gerardo
5
2012
Consistency and refinement for interval Markov chains. Zbl 1247.68195
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej
4
2012
Relation-algebraic modeling and solution of chessboard independence and domination problems. Zbl 1280.68301
Berghammer, Rudolf
4
2012
Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto
4
2012
Declarative debugging of rewriting logic specifications. Zbl 1279.68220
Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael
4
2012
Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097
Pun, Ka I.; Steffen, Martin; Stolz, Volker
3
2012
Static analysis of IMC. Zbl 1243.68220
Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik
2
2012
Left omega algebras and regular equations. Zbl 1279.68242
Struth, Georg
2
2012
Rewriting semantics of production rule sets. Zbl 1279.68188
Katelman, Michael; Keller, Sean; Meseguer, José
2
2012
On the analysis of compensation correctness. Zbl 1246.68100
Vaz, Cátia; Ferreira, Carla
1
2012
A versatile concept for the analysis of loops. Zbl 1246.68094
Ghardallou, Wided; Mraihi, Olfa; Louhichi, Asma; Jilani, Lamia Labed; Bsaies, Khaled; Mili, Ali
1
2012
Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control. Zbl 1259.03044
Crolard, T.; Polonowski, E.
1
2012
Automated debugging based on a constraint model of the program and a test case. Zbl 1246.68102
Wotawa, Franz; Nica, Mihai; Moraru, Iulia
1
2012
Termination detection for active objects. Zbl 1243.68221
de Boer, Frank S.; Grabe, Immo; Steffen, Martin
1
2012
Synthesis of secure adaptors. Zbl 1236.68062
Martín, J. A.; Martinelli, F.; Pimentel, E.
1
2012
Partiality. II: Constructed relation algebras. Zbl 1255.03056
Schmidt, Gunther
1
2012
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian
47
2011
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
14
2011
Axiomatizability of representable domain algebras. Zbl 1207.68207
Hirsch, Robin; Mikulás, Szabolcs
13
2011
Validation and verification of web services choreographies by using timed automata. Zbl 1207.68082
Cambronero, M. Emilia; Díaz, Gregorio; Valero, Valentín; Martínez, Enrique
7
2011
Timed mobility in process algebra and Petri nets. Zbl 1230.68154
Ciobanu, Gabriel; Koutny, Maciej
7
2011
QoS negotiation in service composition. Zbl 1207.68220
Buscemi, Maria Grazia; Montanari, Ugo
6
2011
Contact, closure, topology, and the linking of row and column types of relations. Zbl 1231.03058
Schmidt, Gunther; Berghammer, Rudolf
6
2011
Collagories: relation-algebraic reasoning for gluing constructions. Zbl 1216.68137
Kahl, Wolfram
5
2011
Fixpoints for general correctness. Zbl 1216.68073
Guttmann, Walter
3
2011
Structural operational semantics through context-dependent behaviour. Zbl 1223.68026
Colvin, Robert J.; Hayes, Ian J.
3
2011
Passage retrieval in legal texts. Zbl 1213.68668
Rosso, Paolo; Correa, Santiago; Buscaldi, Davide
2
2011
Contracts for security adaptation. Zbl 1213.68615
Martín, J. A.; Pimentel, E.
2
2011
A contract-based approach to adaptivity. Zbl 1213.68208
Schroeder, Andreas; Bauer, Sebastian S.; Wirsing, Martin
2
2011
Building distributed controllers for systems with priorities. Zbl 1217.68057
Ben-Hafaiedh, Imene; Graf, Susanne; Quinton, Sophie
2
2011
Permission to speak: a logic for access control and conformance. Zbl 1207.68115
Dinesh, Nikhil; Joshi, Aravind; Lee, Insup; Sokolsky, Oleg
1
2011
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. Zbl 1209.68136
Danicic, Sebastian; Hierons, Robert M.; Laurence, Michael R.
1
2011
A decentralised graphical implementation of mobile ambients. Zbl 1207.68224
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2011
Simple feature engineering via neat default retrenchments. Zbl 1231.68106
Banach, R.; Jeske, C.
1
2011
An overview of the K semantic framework. Zbl 1214.68188
Roşu, Grigore; Şerbănuţă, Traian Florin
40
2010
Quantitative analysis of weighted transition systems. Zbl 1204.68137
Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G.
16
2010
A quick introduction to membrane computing. Zbl 1208.68127
Păun, Gheorghe
13
2010
Synchronous Kleene algebra. Zbl 1204.68123
Prisacariu, Cristian
11
2010
Characterizing and proving operational termination of deterministic conditional term rewriting systems. Zbl 1206.68163
Schernhammer, Felix; Gramlich, Bernhard
10
2010
A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075
Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe
9
2010
Test generation from P systems using model checking. Zbl 1208.68146
Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca
9
2010
Algebraic simulations. Zbl 1184.68300
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso
9
2010
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
8
2010
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
8
2010
Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315
Ésik, Z.
8
2010
Simulating a P system based efficient solution to SAT by using GPUs. Zbl 1208.68124
Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.
7
2010
Normal design algebra. Zbl 1184.68179
Guttmann, Walter; Möller, Bernhard
7
2010
Reversing computation in membrane systems. Zbl 1208.68121
Agrigoroaiei, Oana; Ciobanu, Gabriel
6
2010
\(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis. Zbl 1192.68975
Schellekens, M. P.
6
2010
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
5
2010
P systems and the Byzantine agreement. Zbl 1208.68116
Dinneen, Michael J.; Kim, Yun-Bum; Nicolescu, Radu
5
2010
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252
Fränzle, Martin; Teige, Tino; Eggers, Andreas
4
2010
Relating fair testing and accordance for service replaceability. Zbl 1208.68087
Mooij, Arjan J.; Stahl, Christian; Voorhoeve, Marc
4
2010
Metabolic approximation of real periodical functions. Zbl 1208.68126
Manca, Vincenzo; Marchetti, Luca
4
2010
A P-Lingua based simulator for tissue P systems. Zbl 1209.68260
Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.; Riscos-Núñez, Agustín
4
2010
On the Wadge reducibility of \(k\)-partitions. Zbl 1186.03066
Selivanov, Victor L.
4
2010
Termination in higher-order concurrent calculi. Zbl 1205.68241
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
3
2010
Stronger compositions for retrenchments. Zbl 1209.68131
Banach, R.; Jeske, C.
3
2010
Rule-based and object-based event structures for membrane systems. Zbl 1208.68122
Agrigoroaiei, Oana; Ciobanu, Gabriel
3
2010
Implicit characterizations of FPTIME and NC revisited. Zbl 1192.68299
Niggl, Karl-Heinz; Wunderlich, Henning
3
2010
Quasi-Boolean encodings and conditionals in algebraic specification. Zbl 1187.68322
Diaconescu, Răzvan
3
2010
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. Zbl 1204.68071
Degen, Markus; Thiemann, Peter; Wehr, Stefan
2
2010
Relation-algebraic specification and solution of special university timetabling problems. Zbl 1198.90168
Berghammer, Rudolf; Kehden, Britta
2
2010
Imperative abstractions for functional actions. Zbl 1205.68115
Guttmann, Walter
2
2010
P systems with control nuclei: the concept. Zbl 1208.68125
Chira, Camelia; Şerbănuţă, Traian Florin; Ştefănescu, Gheorghe
2
2010
Relational bytecode correlations. Zbl 1204.68070
Beringer, Lennart
1
2010
Boolean logics with relations. Zbl 1206.03019
Balbiani, Philippe; Tinchev, Tinko
1
2010
Cardinality functions in allegories. Zbl 1207.18004
Kawahara, Yasuo; Winter, Michael
1
2010
The proof monad. Zbl 1208.68144
Kirchner, Florent; Muñoz, César
1
2010
Continuity and Lipschitz constants for projections. Zbl 1185.41024
Bridges, Douglas S.
1
2010
Similarity, topology, and uniformity. Zbl 1181.54031
Heckmann, Reinhold
1
2010
Problems, solutions, and completions. Zbl 1184.03059
Schuster, Peter
1
2010
A brief account of runtime verification. Zbl 1192.68433
Leucker, Martin; Schallhart, Christian
63
2009
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. Zbl 1169.68031
Busi, Nadia; Gorrieri, Roberto
10
2009
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
9
2009
Schedulability of asynchronous real-time concurrent objects. Zbl 1188.68085
Jaghoori, Mohammad Mahdi; de Boer, Frank S.; Chothia, Tom; Sirjani, Marjan
8
2009
...and 172 more Documents
all top 5

Cited by 2,001 Authors

31 Meseguer Guaita, José
30 Aceto, Luca
27 Struth, Georg
26 Ingólfsdóttir, Anna
24 Larsen, Kim Guldstrand
23 Bergstra, Jan A.
21 Escobar, Santiago
20 Reniers, Michel Adriaan
18 Alpuente, María
18 Fahrenberg, Uli
18 Ulidowski, Irek
17 Berghammer, Rudolf
17 Middelburg, Cornelis A.
17 Roşu, Grigore
17 van Glabbeek, Robert Jan
16 André, Étienne
16 Guttmann, Walter
15 Mezzina, Claudio Antares
14 Luttik, Bas
14 Phillips, Iain W.
13 Fokkink, Willem Jan
13 Francalanza, Adrian
13 Höfner, Peter
13 Möller, Bernhard
13 Montanari, Ugo G.
13 Sapiña, Julia
12 Ciobanu, Gabriel
12 Martí-Oliet, Narciso
12 Owe, Olaf
12 Yoshida, Nobuko
11 Ballis, Demis
11 Katoen, Joost-Pieter
11 Lanese, Ivan
11 Legay, Axel
11 Tini, Simone
11 van de Pol, Jan Cornelis
11 Zhu, Huibiao
10 Baeten, Jos C. M.
10 de Frutos-Escrig, David
10 Delaune, Stéphanie
10 Diaconescu, Răzvan
10 Durán, Francisco
10 Hayes, Ian J.
10 Johnsen, Einar Broch
10 Lucanu, Dorel
10 Madeira, Alexandre
10 Pattinson, Dirk
10 Schröder, Lutz
10 Şerbănuţă, Traian Florin
9 Bernardo, Marco
9 Cimini, Matteo
9 Colvin, Robert J.
9 Falcone, Yliès
9 Gadducci, Fabio
9 Gregorio-Rodríguez, Carlos
9 Groote, Jan Friso
9 Hennicker, Rolf
9 Hierons, Robert Mark
9 Hoare, C. A. R. Tony
9 Milazzo, Paolo
9 Nunez, Manuel A.
9 Ponse, Alban
9 Rodríguez, Ismael
9 Steffen, Martin
9 Talcott, Carolyn L.
8 Baier, Christel
8 Banach, Richard
8 Barbosa, Luís Soares
8 Barbuti, Roberto
8 Bonchi, Filippo
8 Bruni, Roberto
8 Dezani-Ciancaglini, Mariangiola
8 Futatsugi, Kokichi
8 Levi, Francesca
8 Lime, Didier
8 Mossakowski, Till
8 Nielson, Flemming
8 Sánchez, César
8 Tiezzi, Francesco
8 Zucker, Jeffery I.
7 Aman, Bogdan
7 Brodo, Linda
7 Duan, Zhenhua
7 Foster, Simon
7 Gheorghe, Marian
7 Gori, Roberta
7 Hermo, Montserrat
7 Ipate, Florentin
7 Klin, Bartek
7 Lucio, Paqui
7 Martins, Manuel António
7 McIver, Annabelle K.
7 Nestmann, Uwe
7 Ogata, Kazuhiro
7 Panangaden, Prakash
7 Pantović, Jovanka
7 Rusu, Vlad
7 Tucker, John V.
7 Wolter, Uwe E.
7 Woodcock, James C. P.
...and 1,901 more Authors
all top 5

Cited in 119 Journals

166 Theoretical Computer Science
136 Journal of Logical and Algebraic Methods in Programming
109 The Journal of Logic and Algebraic Programming
61 Formal Aspects of Computing
60 Information and Computation
49 MSCS. Mathematical Structures in Computer Science
34 Logical Methods in Computer Science
31 Formal Methods in System Design
27 Acta Informatica
27 Journal of Automated Reasoning
18 Journal of Membrane Computing
17 Information Processing Letters
14 Science of Computer Programming
11 Annals of Pure and Applied Logic
11 Journal of Applied Logic
10 International Journal of Foundations of Computer Science
10 ACM Transactions on Computational Logic
9 Topology and its Applications
9 Journal of Symbolic Computation
8 Artificial Intelligence
8 Journal of Computer and System Sciences
8 Journal of Functional Programming
8 Theory and Practice of Logic Programming
7 Algebra Universalis
7 Fundamenta Informaticae
6 Information Sciences
6 Annals of Mathematics and Artificial Intelligence
5 Studia Logica
5 International Journal of Approximate Reasoning
5 Theory of Computing Systems
5 Soft Computing
4 Automatica
4 Computational Geometry
4 International Journal of Computer Mathematics
4 Distributed Computing
4 Logica Universalis
3 Computing
3 Fuzzy Sets and Systems
3 European Journal of Operational Research
3 The Bulletin of Symbolic Logic
3 Higher-Order and Symbolic Computation
3 Natural Computing
2 Discrete Mathematics
2 Applied Mathematics and Computation
2 Journal of Computational and Applied Mathematics
2 Journal of Pure and Applied Algebra
2 Programming and Computer Software
2 Semigroup Forum
2 Synthese
2 Applied Numerical Mathematics
2 Algorithmica
2 Real-Time Systems
2 Discrete Event Dynamic Systems
2 Applied Categorical Structures
2 Journal of Applied Non-Classical Logics
2 Journal of the Egyptian Mathematical Society
2 Mathematical Problems in Engineering
2 Nonlinear Dynamics
2 Journal of Combinatorial Optimization
2 Discrete Dynamics in Nature and Society
2 Communications in Nonlinear Science and Numerical Simulation
2 International Journal of Applied Mathematics and Computer Science
2 RAIRO. Theoretical Informatics and Applications
2 Computer Languages, Systems & Structures
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Mathematics in Computer Science
2 Nonlinear Analysis. Hybrid Systems
2 The Review of Symbolic Logic
2 Axioms
2 Computer Science Review
1 Computer Methods in Applied Mechanics and Engineering
1 Discrete Applied Mathematics
1 International Journal of Control
1 Journal of Computational Physics
1 Journal of Mathematical Analysis and Applications
1 Mathematical Notes
1 ACM Transactions on Mathematical Software
1 International Journal of Mathematics and Mathematical Sciences
1 International Journal for Numerical Methods in Engineering
1 Journal of Combinatorial Theory. Series A
1 Mathematics and Computers in Simulation
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Computing
1 Acta Mathematica Hungarica
1 Order
1 International Journal of Parallel Programming
1 Mathematical and Computer Modelling
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Computational Geometry & Applications
1 International Journal of Algebra and Computation
1 Applied Intelligence
1 Applied Mathematical Modelling
1 Glasnik Matematički. Serija III
1 Archive for Mathematical Logic
1 Journal of Mathematical Imaging and Vision
1 Journal of Logic, Language and Information
1 Journal of Computer and Systems Sciences International
1 Topology Proceedings
1 Journal de Théorie des Nombres de Bordeaux
1 Journal of Mathematical Sciences (New York)
...and 19 more Journals
all top 5

Cited in 36 Fields

1,390 Computer science (68-XX)
339 Mathematical logic and foundations (03-XX)
53 Information and communication theory, circuits (94-XX)
45 Category theory; homological algebra (18-XX)
42 Order, lattices, ordered algebraic structures (06-XX)
31 Biology and other natural sciences (92-XX)
29 Numerical analysis (65-XX)
26 Probability theory and stochastic processes (60-XX)
26 Systems theory; control (93-XX)
24 General topology (54-XX)
21 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
19 Operations research, mathematical programming (90-XX)
15 General algebraic systems (08-XX)
13 History and biography (01-XX)
13 Combinatorics (05-XX)
11 Quantum theory (81-XX)
8 Associative rings and algebras (16-XX)
7 General and overarching topics; collections (00-XX)
6 Group theory and generalizations (20-XX)
6 Ordinary differential equations (34-XX)
6 Mechanics of particles and systems (70-XX)
5 Dynamical systems and ergodic theory (37-XX)
4 Number theory (11-XX)
4 Statistics (62-XX)
3 Algebraic geometry (14-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Real functions (26-XX)
3 Mechanics of deformable solids (74-XX)
2 Field theory and polynomials (12-XX)
2 Commutative algebra (13-XX)
2 Measure and integration (28-XX)
2 Special functions (33-XX)
1 Difference and functional equations (39-XX)
1 Approximations and expansions (41-XX)
1 Convex and discrete geometry (52-XX)
1 Fluid mechanics (76-XX)

Citations by Year