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 Latest Issues 83, No. 1 (2014) 82, No. 8 (2013) 82, No. 5-7 (2013) 82, No. 3-4 (2013) 82, No. 2 (2013) 82, No. 1 (2013) 81, No. 7-8 (2012) 81, No. 6 (2012) 81, No. 5 (2012) 81, No. 4 (2012) 81, No. 3 (2012) 81, No. 2 (2012) 81, No. 1 (2012) 80, No. 8 (2011) 80, No. 7 (2011) 80, No. 6 (2011) 80, No. 3-5 (2011) 80, No. 2 (2011) 80, No. 1 (2011) 79, No. 8 (2010) 79, No. 7 (2010) 79, No. 6 (2010) 79, No. 3-5 (2010) 79, No. 2 (2010) 79, No. 1 (2010) 78, No. 8 (2009) 78, No. 7 (2009) 78, No. 6 (2009) 78, No. 5 (2009) 78, No. 4 (2009) 78, No. 3 (2009) 78, No. 2 (2009) 78, No. 1 (2008) 77, No. 1-2 (2008) 76, No. 2 (2008) 76, No. 1 (2008) 75, No. 2 (2008) 75, No. 1 (2008) 74, No. 2 (2008) 74, No. 1 (2007) 73, No. 1-2 (2007) 72, No. 2 (2007) 72, No. 1 (2007) 71, No. 2 (2007) 71, No. 1 (2007) 70, No. 2 (2007) 70, No. 1 (2007) 69, No. 1-2 (2006) 68, No. 1-2 (2006) 67, No. 1-2 (2006) 66, No. 2 (2006) 66, No. 1 (2006) 65, No. 2 (2005) 65, No. 1 (2005) 64, No. 2 (2005) 64, No. 1 (2005) 63, No. 2 (2005) 63, No. 1 (2005) 62, No. 2 (2005) 62, No. 1 (2005) 60-61 (2004) 59, No. 1-2 (2004) 58, No. 1-2 (2004) 57, No. 1-2 (2003) 56, No. 1-2 (2003) 55, No. 1-2 (2003) 54, No. 1-2 (2003) 52-53 (2002) 51, No. 2 (2002) 51, No. 1 (2002) 49, No. 1-2 (2001) 48, No. 1-2 (2001) 47, No. 2 (2001) 47, No. 1 (2001) 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 all top 5 Fields 334 Computer science (68-XX) 62 Mathematical logic and foundations (03-XX) 23 General and overarching topics; collections (00-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 8 Category theory; homological algebra (18-XX) 6 General topology (54-XX) 6 Information and communication theory, circuits (94-XX) 4 Numerical analysis (65-XX) 3 General algebraic systems (08-XX) 3 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 Group theory and generalizations (20-XX) 2 Partial differential equations (35-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Approximations and expansions (41-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 271 Publications have been cited 1,990 times in 1,532 Documents Cited by ▼ Year ▼ A structural approach to operational semantics. Zbl 1082.68062 Plotkin, Gordon D. 186 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. 56 2004 Concurrent Kleene algebra and its foundations. Zbl 1278.68176 Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian 46 2011 Automated verification of selected equivalences for security protocols. Zbl 1135.68007 Blanchet, Bruno; Abadi, Martín; Fournet, Cédric 45 2008 Folding variant narrowing and optimal variant termination. Zbl 1291.68217 Escobar, Santiago; Sasse, Ralf; Meseguer, José 41 2012 Linear parametric model checking of timed automata. Zbl 1008.68069 Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits 36 2002 An overview of the K semantic framework. Zbl 1214.68188 Roşu, Grigore; Şerbănuţă, Traian Florin 36 2010 Twenty years of rewriting logic. Zbl 1267.03043 Meseguer, José 36 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. 27 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é 23 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. 21 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 Cut-free sequent systems for temporal logic. Zbl 1151.03009 Brünnler, Kai; Lange, Martin 16 2008 Quantitative analysis of weighted transition systems. Zbl 1204.68137 Thrane, Claus; Fahrenberg, Uli; Larsen, Kim G. 16 2010 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 Combining programs and state machines. Zbl 1008.68068 Bergstra, Jan A.; Ponse, Alban 14 2002 Executable structural operational semantics in Maude. Zbl 1088.68095 Verdejo, Alberto; Martí-Oliet, Narciso 14 2006 Axiomatizability of representable domain algebras. Zbl 1207.68207 Hirsch, Robin; Mikulás, Szabolcs 13 2011 Algebraic separation logic. Zbl 1260.03060 Dang, H.-H.; Höfner, P.; Möller, B. 13 2011 Comparing disjunctive modal transition systems with an one-selecting variant. Zbl 1151.68035 Fecher, H.; Schmidt, H. 13 2008 A quick introduction to membrane computing. Zbl 1208.68127 Păun, Gheorghe 13 2010 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 Pathway analysis for BioAmbients. Zbl 1147.92002 Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis 12 2008 Variable binding operators in transition system specifications. Zbl 0970.68117 Middelburg, C. A. 11 2001 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 Algebraic theory of probabilistic processes. Zbl 1048.68057 Núñez, Manuel 11 2003 A double completion for an arbitrary \(T_0\)-quasi-metric space. Zbl 1211.54039 Künzi, Hans-Peter A.; Kivuvu, Charly Makitu 11 2008 Synchronous Kleene algebra. Zbl 1204.68123 Prisacariu, Cristian 11 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 Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. Zbl 1169.68031 Busi, Nadia; Gorrieri, Roberto 10 2009 Characterizing and proving operational termination of deterministic conditional term rewriting systems. Zbl 1206.68163 Schernhammer, Felix; Gramlich, Bernhard 10 2010 Propositional dynamic logic with recursive programs. Zbl 1123.03017 Löding, Christof; Lutz, Carsten; Serre, Olivier 9 2007 \(\mathcal {HOTL}\): Hypotheses and observations testing logic. Zbl 1131.68064 Rodríguez, Ismael; Merayo, Mercedes G.; Núñez, Manuel 9 2008 Composition mechanisms for retrenchment. Zbl 1137.68037 Banach, R.; Jeske, C.; Poppleton, M. 9 2008 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 Algebraic simulations. Zbl 1184.68300 Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 9 2010 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 Axiomatizing GSOS with termination. Zbl 1072.68058 Baeten, J. C. M.; de Vink, E. P. 9 2004 Distributed system contract monitoring. Zbl 1283.68243 Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J. 9 2013 Test generation from P systems using model checking. Zbl 1208.68146 Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca 9 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 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 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 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 Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315 Ésik, Z. 8 2010 Partiality. I: Embedding relation algebras. Zbl 1086.68093 Schmidt, Gunther 8 2006 Linearization in parallel pCRL. Zbl 0988.68121 Groote, J. F.; Ponse, A.; Usenko, Y. S. 8 2001 Ready to preorder: an algebraic and general proof. Zbl 1187.68309 de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel 8 2009 A pi-calculus based semantics for WS-BPEL. Zbl 1178.68367 Lucchi, Roberto; Mazzara, Manuel 8 2007 Operational semantics of Framed Tempura. Zbl 1170.68006 Yang, Xiaoxiao; Duan, Zhenhua 8 2008 An algebra of hybrid systems. Zbl 1161.68032 Höfner, Peter; Möller, Bernhard 8 2009 Abstract interpretation of mobile systems. Zbl 1066.68087 Feret, Jérôme 8 2005 Schedulability of asynchronous real-time concurrent objects. Zbl 1188.68085 Jaghoori, Mohammad Mahdi; de Boer, Frank S.; Chothia, Tom; Sirjani, Marjan 8 2009 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 Compositional semantics of spiking neural P systems. Zbl 1208.68123 Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 8 2010 Lazy behavioral subtyping. Zbl 1204.68072 Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 8 2010 Timed mobility in process algebra and Petri nets. Zbl 1230.68154 Ciobanu, Gabriel; Koutny, Maciej 7 2011 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 Normal design algebra. Zbl 1184.68179 Guttmann, Walter; Möller, Bernhard 7 2010 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 Focus points and convergent process operators: A proof strategy for protocol verification. Zbl 1015.68175 Groote, Jan Friso; Springintveld, Jan 7 2001 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 Inheritance in the join calculus. Zbl 1035.03011 Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 7 2003 Adding recursive constructs to bialgebraic semantics. Zbl 1072.68059 Klin, Bartek 7 2004 Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. Zbl 1072.68070 Simpson, Alex 7 2004 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 Canonical completeness of infinitary \(\mu \). Zbl 1156.68013 Jäger, Gerhard; Kretz, Mathis; Studer, Thomas 7 2008 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 A logic of reachable patterns in linked data-structures. Zbl 1121.03040 Yorsh, Greta; Rabinovich, Alexander; Sagiv, Mooly; Meyer, Antoine; Bouajjani, Ahmed 6 2007 Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types. Zbl 1139.18005 Kahl, Wolfram 6 2008 Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192 Johansson, Magnus; Victor, Björn; Parrow, Joachim 6 2012 Three-valued abstraction for probabilistic systems. Zbl 1277.68219 Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 2012 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 \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis. Zbl 1192.68975 Schellekens, M. P. 6 2010 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 Inheritance of behavior. Zbl 0974.68137 Basten, Twan; van der Aalst, Wil M. P. 6 2001 Tree regular model checking: a simulation-based approach. Zbl 1101.68055 Abdulla, Parosh Aziz; Legay, Axel; d’Orso, Julien; Rezine, Ahmed 6 2006 Revivals, stuckness and the hierarchy of CSP models. Zbl 1171.68025 Roscoe, A. W. 6 2009 On the use of MTBDDs for performability analysis and verification of stochastic systems. Zbl 1054.68018 Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus 6 2003 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 5 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 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 Processes with infinite liveness requirements. Zbl 1510.68058 Guerra, Hélia; Costa, José Félix 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é 36 2012 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. Zbl 1272.03139 Durán, Francisco; Meseguer, José 23 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 Computing strong and weak bisimulations for psi-calculi. Zbl 1277.68192 Johansson, Magnus; Victor, Björn; Parrow, Joachim 6 2012 Three-valued abstraction for probabilistic systems. Zbl 1277.68219 Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena 6 2012 Programming from Galois connections. Zbl 1257.68057 Mu, Shin-Cheng; Oliveira, José Nuno 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 Declarative debugging of rewriting logic specifications. Zbl 1279.68220 Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael 4 2012 Rewriting logic bibliography by topic: 1990–2011. Zbl 1262.03052 Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto 3 2012 Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097 Pun, Ka I.; Steffen, Martin; Stolz, Volker 2 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 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 46 2011 Axiomatizability of representable domain algebras. Zbl 1207.68207 Hirsch, Robin; Mikulás, Szabolcs 13 2011 Algebraic separation logic. Zbl 1260.03060 Dang, H.-H.; Höfner, P.; Möller, B. 13 2011 Timed mobility in process algebra and Petri nets. Zbl 1230.68154 Ciobanu, Gabriel; Koutny, Maciej 7 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 Contact, closure, topology, and the linking of row and column types of relations. Zbl 1231.03058 Schmidt, Gunther; Berghammer, Rudolf 6 2011 QoS negotiation in service composition. Zbl 1207.68220 Buscemi, Maria Grazia; Montanari, Ugo 6 2011 Collagories: relation-algebraic reasoning for gluing constructions. Zbl 1216.68137 Kahl, Wolfram 5 2011 Structural operational semantics through context-dependent behaviour. Zbl 1223.68026 Colvin, Robert J.; Hayes, Ian J. 3 2011 Fixpoints for general correctness. Zbl 1216.68073 Guttmann, Walter 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 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 Permission to speak: a logic for access control and conformance. Zbl 1207.68115 Dinesh, Nikhil; Joshi, Aravind; Lee, Insup; Sokolsky, Oleg 1 2011 An overview of the K semantic framework. Zbl 1214.68188 Roşu, Grigore; Şerbănuţă, Traian Florin 36 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 Algebraic simulations. Zbl 1184.68300 Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso 9 2010 Test generation from P systems using model checking. Zbl 1208.68146 Ipate, Florentin; Gheorghe, Marian; Lefticaru, Raluca 9 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 Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315 Ésik, Z. 8 2010 Compositional semantics of spiking neural P systems. Zbl 1208.68123 Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 8 2010 Lazy behavioral subtyping. Zbl 1204.68072 Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin 8 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 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. 6 2010 P systems and the Byzantine agreement. Zbl 1208.68116 Dinneen, Michael J.; Kim, Yun-Bum; Nicolescu, Radu 5 2010 Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111 Höfner, Peter; Struth, Georg 5 2010 Relating fair testing and accordance for service replaceability. Zbl 1208.68087 Mooij, Arjan J.; Stahl, Christian; Voorhoeve, Marc 4 2010 On the Wadge reducibility of \(k\)-partitions. Zbl 1186.03066 Selivanov, Victor L. 4 2010 Metabolic approximation of real periodical functions. Zbl 1208.68126 Manca, Vincenzo; Marchetti, Luca 4 2010 Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252 Fränzle, Martin; Teige, Tino; Eggers, Andreas 4 2010 Stronger compositions for retrenchments. Zbl 1209.68131 Banach, R.; Jeske, C. 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 Rule-based and object-based event structures for membrane systems. Zbl 1208.68122 Agrigoroaiei, Oana; Ciobanu, Gabriel 3 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 3 2010 Termination in higher-order concurrent calculi. Zbl 1205.68241 Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide 3 2010 P systems with control nuclei: the concept. Zbl 1208.68125 Chira, Camelia; Şerbănuţă, Traian Florin; Ştefănescu, Gheorghe 2 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 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 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 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 Ready to preorder: an algebraic and general proof. Zbl 1187.68309 de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel 8 2009 An algebra of hybrid systems. Zbl 1161.68032 Höfner, Peter; Möller, Bernhard 8 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 171 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,980 Authors 31 Meseguer Guaita, José 29 Aceto, Luca 27 Struth, Georg 25 Ingólfsdóttir, Anna 23 Bergstra, Jan A. 23 Larsen, Kim Guldstrand 21 Escobar, Santiago 20 Reniers, Michel Adriaan 18 Ulidowski, Irek 17 Berghammer, Rudolf 17 Middelburg, Cornelis A. 17 Roşu, Grigore 17 van Glabbeek, Robert Jan 16 Alpuente, María 16 Fahrenberg, Uli 16 Guttmann, Walter 15 André, Étienne 15 Mezzina, Claudio Antares 14 Phillips, Iain W. 13 Fokkink, Willem Jan 13 Francalanza, Adrian 13 Höfner, Peter 13 Luttik, Bas 13 Möller, Bernhard 13 Montanari, Ugo G. 13 Sapiña, Julia 12 Martí-Oliet, Narciso 12 Owe, Olaf 12 Yoshida, Nobuko 11 Ciobanu, Gabriel 11 Katoen, Joost-Pieter 11 Lanese, Ivan 11 Tini, Simone 11 van de Pol, Jan Cornelis 11 Zhu, Huibiao 10 Baeten, Jos C. M. 10 Ballis, Demis 10 de Frutos-Escrig, David 10 Diaconescu, Răzvan 10 Durán, Francisco 10 Hayes, Ian J. 10 Johnsen, Einar Broch 10 Legay, Axel 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 Delaune, Stéphanie 9 Falcone, Yliès 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 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 Gadducci, Fabio 8 Levi, Francesca 8 Mossakowski, Till 8 Nielson, Flemming 8 Rodríguez, Ismael 8 Sánchez, César 8 Steffen, Martin 8 Tiezzi, Francesco 8 Zucker, Jeffery I. 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 Lime, Didier 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. 6 Aman, Bogdan ...and 1,880 more Authors all top 5 Cited in 119 Journals 166 Theoretical Computer Science 132 Journal of Logical and Algebraic Methods in Programming 106 The Journal of Logic and Algebraic Programming 61 Formal Aspects of Computing 58 Information and Computation 49 MSCS. Mathematical Structures in Computer Science 32 Logical Methods in Computer Science 31 Formal Methods in System Design 27 Acta Informatica 27 Journal of Automated Reasoning 16 Information Processing Letters 16 Journal of Membrane Computing 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 6 Information Sciences 6 Annals of Mathematics and Artificial Intelligence 6 Fundamenta Informaticae 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 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 Applied Mathematics and Computation 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,368 Computer science (68-XX) 337 Mathematical logic and foundations (03-XX) 51 Information and communication theory, circuits (94-XX) 45 Category theory; homological algebra (18-XX) 42 Order, lattices, ordered algebraic structures (06-XX) 30 Biology and other natural sciences (92-XX) 28 Numerical analysis (65-XX) 26 Systems theory; control (93-XX) 25 Probability theory and stochastic processes (60-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 Mechanics of particles and systems (70-XX) 5 Ordinary differential equations (34-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