×

zbMATH — the first resource for mathematics

Rutten, Jan J. M. M.

Compute Distance To:
Author ID: rutten.jan-j-m-m Recent zbMATH articles by "Rutten, Jan J. M. M."
Published as: Rutten, Jan; Rutten, J. J. M. M.; Rutten, Jan J. M. M.; Rutten, J.; Rutten, Jan J. M.
Documents Indexed: 104 Publications since 1988, including 12 Books

Publications by Year

Citations contained in zbMATH Open

86 Publications have been cited 1,212 times in 696 Documents Cited by Year
Universal coalgebra: A theory of systems. Zbl 0951.68038
Rutten, J. J. M. M.
303
2000
A tutorial on (co)algebras and (co)induction. Zbl 0880.68070
Jacobs, Bart; Rutten, Jan
102
1997
Solving reflexive domain equations in a category of complete metric spaces. Zbl 0717.18002
America, Pierre; Rutten, Jan
66
1989
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
56
1998
Bisimulation for probabilistic transition systems: A coalgebraic approach. Zbl 0930.68092
de Vink, E. P.; Rutten, J. J. M. M.
51
1999
Automata and coinduction (an exercise in coalgebra). Zbl 0940.68085
Rutten, J. J. M. M.
46
1998
Elements of generalized ultrametric domain theory. Zbl 0874.68189
Rutten, J. J. M. M.
41
1996
Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Zbl 1071.68050
Rutten, J. J. M. M.
39
2003
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
36
2006
On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140
Turi, Daniele; Rutten, Jan
28
1998
A coinductive calculus of streams. Zbl 1068.68061
Rutten, J. J. M. M.
24
2005
Weighted colimits and formal balls in generalized metric spaces. Zbl 0982.54029
Rutten, J. J. M. M.
22
1998
Denotational semantics of a parallel object-oriented language. Zbl 0695.68058
America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan
20
1989
A coinductive calculus of component connectors. Zbl 1278.68200
Arbab, F.; Rutten, J. J. M. M.
19
2003
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
18
2013
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
17
2014
Relators and metric bisimulations. Zbl 0917.68146
Rutten, J. J. M. M.
16
1998
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
14
2010
Coalgebraic bisimulation-up-to. Zbl 1303.68088
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
14
2013
A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073
Rutten, J. J. M. M.
10
1999
Elements of stream calculus (an extensive exercise in coinduction). Zbl 1260.68246
Rutten, J. J. M. M.
9
2001
Processes as terms: Non-well-founded models for bisimulation. Zbl 0798.68094
Rutten, J. J. M. M.
8
1992
Semantic correctness for a parallel object-oriented language. Zbl 0697.68077
Rutten, J. J. M. M.
8
1990
A tutorial on coinductive stream calculus and signal flow graphs. Zbl 1077.68032
Rutten, J. J. M. M.
8
2005
Rational streams coalgebraically. Zbl 1147.68024
Rutten, Jan
8
2008
A Kleene theorem for polynomial coalgebras. Zbl 1234.68272
Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
8
2009
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130
Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M.
7
1995
An introduction to (co)algebra and (co)induction. Zbl 1285.68105
Jacobs, Bart; Rutten, Jan
7
2012
Non-deterministic Kleene coalgebras. Zbl 1208.68141
Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan
7
2010
Coalgebraic characterizations of context-free languages. Zbl 1274.68215
Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M.
7
2013
Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034
Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra
7
2008
Automata, power series, and coinduction: Taking input derivatives seriously. (Extended abstract). Zbl 0941.68638
Rutten, J. J. M. M.
6
1999
Coalgebra, concurrency, and control. Zbl 1017.93064
Rutten, J. J. M. M.
6
2000
Contractions in comparing concurrency semantics. Zbl 0649.68011
Kok, J. N.; Rutten, J. J. M. M.
6
1988
On the final coalgebra of automatic sequences. Zbl 1354.68183
Kupke, Clemens; Rutten, Jan J. M. M.
6
2012
Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060
Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M.
6
1994
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
Sangiorgi, Davide (ed.); Rutten, Jan (ed.)
6
2012
Contractions in comparing concurrency semantics. Zbl 0707.68054
Kok, Joost N.; Rutten, Jan J. M. M.
6
1990
Coinductive counting with weighted automata. Zbl 1089.68058
Rutten, J. J. M. M.
6
2003
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
6
2011
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
6
2015
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
5
1996
Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393
Silva, Alexandra; Rutten, Jan
5
2007
Bisimulation for probabilistic transition systems: a coalgebraic approach. Zbl 1401.68236
de Vink, E. P.; Rutten, J. J. M. M.
4
1997
Defining context-free power series coalgebraically. Zbl 1328.68132
Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost
4
2012
A proof of Moessner’s theorem by coinduction. Zbl 1256.68120
Niqui, M.; Rutten, J. J. M. M.
4
2011
Context-free coalgebras. Zbl 1328.68133
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
4
2015
Context-free languages, coalgebraically. Zbl 1344.68152
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan
4
2011
The dual equivalence of equations and coequations for automata. Zbl 1333.68184
Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J.
4
2015
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
Solving reflexive domain equations in a category of complete metric spaces. Zbl 0664.18002
America, Pierre; Rutten, Jan
3
1988
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
3
2009
Observational coalgebras and complete sets of co-operations. Zbl 1279.68233
Kupke, Clemens; Rutten, Jan
3
2008
Coinductive proof techniques for language equivalence. Zbl 1333.68173
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
3
2013
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Formations of monoids, congruences, and formal languages. Zbl 1423.68298
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M.
3
2015
Stream differential equations: specification formats and solution methods. Zbl 1451.68181
Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan
2
2017
A parallel object-oriented language: design and semantic foundations. Zbl 0760.68044
America, P. H. M.; Rutten, J. J. M. M.
2
1991
A layered semantics for a parallel object-oriented language. Zbl 0752.68052
America, Pierre; Rutten, Jan
2
1992
Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067
Jacobs, Bart (ed.); Moss, Larry (ed.); Reichel, Horst (ed.); Rutten, Jan (ed.)
2
1998
(Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183
Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan
2
2014
A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127
Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra
2
2011
Proving language inclusion and equivalence by coinduction. Zbl 1333.68174
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
2
2016
Sampling, splitting and merging in coinductive stream calculus. Zbl 1286.68089
Niqui, Milad; Rutten, Jan
2
2010
Synthesis of Mealy machines using derivatives. Zbl 1276.68111
Hansen, Helle Hvid; Costa, David; Rutten, Jan
2
2006
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
A semantic approach to fairness. Zbl 0773.68051
Rutten, J. J. M. M.; Zucker, J. I.
1
1992
Newton series, coinductively. Zbl 1407.68316
Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan
1
2015
A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318
Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost
1
2014
Correctness and full abstraction of metric semantics for concurrency. (Technical contribution). Zbl 0683.68073
Rutten, J. J. M. M.
1
1989
Algebra, bitstreams, and circuits. Zbl 1083.68043
Rutten, J. J. M. M.
1
2005
A coinductive calculus of binary trees. Zbl 1200.68082
Silva, Alexandra; Rutten, Jan
1
2010
Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Zbl 1270.68149
Rutten, J. J. M. M.
1
2002
Equations and coequations for weighted automata. Zbl 1465.68186
Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan
1
2015
Intentional automata: a context-dependent model for component connectors (extended abstract). Zbl 1353.68163
Costa, David; Niqui, Milad; Rutten, Jan
1
2012
Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan
1
2012
Regular varieties of automata and coequations. Zbl 1432.68270
Salamanca, J.; Ballester-Bolinches, A.; Bonsangue, M. M.; Cosme-Llópez, E.; Rutten, J. J. M. M.
1
2015
Varieties and covarieties of languages (extended abstract). Zbl 1334.68139
Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric
1
2013
Complete sets of cooperations. Zbl 1209.68161
Kupke, Clemens; Rutten, Jan
1
2010
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Coalgebraic foundations of linear systems. (An exercise in stream calculus). Zbl 1214.68232
Rutten, J. J. M. M.
1
2007
Stream differential equations: specification formats and solution methods. Zbl 1451.68181
Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan
2
2017
Proving language inclusion and equivalence by coinduction. Zbl 1333.68174
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
2
2016
A coalgebraic view on decorated traces. Zbl 1364.68276
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
1
2016
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
6
2015
Context-free coalgebras. Zbl 1328.68133
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
4
2015
The dual equivalence of equations and coequations for automata. Zbl 1333.68184
Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J.
4
2015
Formations of monoids, congruences, and formal languages. Zbl 1423.68298
Ballester-Bolinches, A.; Cosme-Llópez, E.; Esteban-Romero, R.; Rutten, J. J. M. M.
3
2015
Newton series, coinductively. Zbl 1407.68316
Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan
1
2015
Equations and coequations for weighted automata. Zbl 1465.68186
Salamanca, Julian; Bonsangue, Marcello; Rutten, Jan
1
2015
Regular varieties of automata and coequations. Zbl 1432.68270
Salamanca, J.; Ballester-Bolinches, A.; Bonsangue, M. M.; Cosme-Llópez, E.; Rutten, J. J. M. M.
1
2015
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
17
2014
(Co)algebraic characterizations of signal flow graphs. Zbl 1407.68183
Basold, Henning; Bonsangue, Marcello; Hansen, Helle Hvid; Rutten, Jan
2
2014
A final coalgebra for \(k\)-regular sequences. Zbl 1407.68318
Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost
1
2014
Generalizing determinization from automata to coalgebras. Zbl 1262.18002
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
18
2013
Coalgebraic bisimulation-up-to. Zbl 1303.68088
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
14
2013
Coalgebraic characterizations of context-free languages. Zbl 1274.68215
Winter, Joost; Rutten, Jan J. M.; Bonsangue, Marcello M.
7
2013
Coinductive proof techniques for language equivalence. Zbl 1333.68173
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan
3
2013
Varieties and covarieties of languages (extended abstract). Zbl 1334.68139
Rutten, Jan; Ballester-Bolinches, Adolfo; Cosme-Llópez, Enric
1
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185
Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
7
2012
An introduction to (co)algebra and (co)induction. Zbl 1285.68105
Jacobs, Bart; Rutten, Jan
7
2012
On the final coalgebra of automatic sequences. Zbl 1354.68183
Kupke, Clemens; Rutten, Jan J. M. M.
6
2012
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
Sangiorgi, Davide; Rutten, Jan
6
2012
Defining context-free power series coalgebraically. Zbl 1328.68132
Bonsangue, Marcello M.; Rutten, Jan; Winter, Joost
4
2012
Final semantics for decorated traces. Zbl 1342.68224
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra
3
2012
Intentional automata: a context-dependent model for component connectors (extended abstract). Zbl 1353.68163
Costa, David; Niqui, Milad; Rutten, Jan
1
2012
Connectors as designs: modeling, refinement and test case generation. Zbl 1242.68070
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan
1
2012
Quantitative Kleene coalgebras. Zbl 1227.68075
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan
6
2011
A proof of Moessner’s theorem by coinduction. Zbl 1256.68120
Niqui, M.; Rutten, J. J. M. M.
4
2011
Context-free languages, coalgebraically. Zbl 1344.68152
Winter, Joost; Bonsangue, Marcello M.; Rutten, Jan
4
2011
A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127
Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra
2
2011
Generalizing the powerset construction, coalgebraically. Zbl 1245.68141
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.
14
2010
Non-deterministic Kleene coalgebras. Zbl 1208.68141
Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan
7
2010
Sampling, splitting and merging in coinductive stream calculus. Zbl 1286.68089
Niqui, Milad; Rutten, Jan
2
2010
A coinductive calculus of binary trees. Zbl 1200.68082
Silva, Alexandra; Rutten, Jan
1
2010
Complete sets of cooperations. Zbl 1209.68161
Kupke, Clemens; Rutten, Jan
1
2010
A Kleene theorem for polynomial coalgebras. Zbl 1234.68272
Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
8
2009
Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
3
2009
Rational streams coalgebraically. Zbl 1147.68024
Rutten, Jan
8
2008
Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034
Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra
7
2008
Observational coalgebras and complete sets of co-operations. Zbl 1279.68233
Kupke, Clemens; Rutten, Jan
3
2008
Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393
Silva, Alexandra; Rutten, Jan
5
2007
Coalgebraic foundations of linear systems. (An exercise in stream calculus). Zbl 1214.68232
Rutten, J. J. M. M.
1
2007
Modeling component connectors in Reo by constraint automata. Zbl 1105.68058
Baier, Christel; Sirjani, Marjan; Arbab, Farhad; Rutten, Jan
36
2006
Synthesis of Mealy machines using derivatives. Zbl 1276.68111
Hansen, Helle Hvid; Costa, David; Rutten, Jan
2
2006
A coinductive calculus of streams. Zbl 1068.68061
Rutten, J. J. M. M.
24
2005
A tutorial on coinductive stream calculus and signal flow graphs. Zbl 1077.68032
Rutten, J. J. M. M.
8
2005
Algebra, bitstreams, and circuits. Zbl 1083.68043
Rutten, J. J. M. M.
1
2005
Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Zbl 1071.68050
Rutten, J. J. M. M.
39
2003
A coinductive calculus of component connectors. Zbl 1278.68200
Arbab, F.; Rutten, J. J. M. M.
19
2003
Coinductive counting with weighted automata. Zbl 1089.68058
Rutten, J. J. M. M.
6
2003
Coinductive counting: bisimulation in enumerative combinatorics (extended abstract). Zbl 1270.68149
Rutten, J. J. M. M.
1
2002
Elements of stream calculus (an extensive exercise in coinduction). Zbl 1260.68246
Rutten, J. J. M. M.
9
2001
Universal coalgebra: A theory of systems. Zbl 0951.68038
Rutten, J. J. M. M.
303
2000
Coalgebra, concurrency, and control. Zbl 1017.93064
Rutten, J. J. M. M.
6
2000
A transition system semantics for the control-driven coordination language MANIFOLD. Zbl 0954.68107
Bonsangue, M. M.; Arbab, F.; de Bakker, J. W.; Rutten, J. J. M. M.; Scutellà, A.
1
2000
Bisimulation for probabilistic transition systems: A coalgebraic approach. Zbl 0930.68092
de Vink, E. P.; Rutten, J. J. M. M.
51
1999
A note on coinduction and weak bisimiliarity for while programs. Zbl 0945.68073
Rutten, J. J. M. M.
10
1999
Automata, power series, and coinduction: Taking input derivatives seriously. (Extended abstract). Zbl 0941.68638
Rutten, J. J. M. M.
6
1999
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Zbl 0997.54042
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
56
1998
Automata and coinduction (an exercise in coalgebra). Zbl 0940.68085
Rutten, J. J. M. M.
46
1998
On the foundations of final coalgebra semantics: Non-well-founded sets, partial orders, metric spaces. Zbl 0917.68140
Turi, Daniele; Rutten, Jan
28
1998
Weighted colimits and formal balls in generalized metric spaces. Zbl 0982.54029
Rutten, J. J. M. M.
22
1998
Relators and metric bisimulations. Zbl 0917.68146
Rutten, J. J. M. M.
16
1998
Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. Zbl 0903.00067
Jacobs, Bart; Moss, Larry; Reichel, Horst; Rutten, Jan
2
1998
A tutorial on (co)algebras and (co)induction. Zbl 0880.68070
Jacobs, Bart; Rutten, Jan
102
1997
Bisimulation for probabilistic transition systems: a coalgebraic approach. Zbl 1401.68236
de Vink, E. P.; Rutten, J. J. M. M.
4
1997
Elements of generalized ultrametric domain theory. Zbl 0874.68189
Rutten, J. J. M. M.
41
1996
Alexandroff and Scott topologies for generalized metric spaces. Zbl 0955.54008
Bonsangue, M. M.; van Breugel, F.; Rutten, J. J. M. M.
5
1996
Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130
Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M.
7
1995
Fully abstract denotational models for nonuniform concurrent languages. Zbl 0824.68060
Horita, E.; de Bakker, J. W.; Rutten, J. J. M. M.
6
1994
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
Processes as terms: Non-well-founded models for bisimulation. Zbl 0798.68094
Rutten, J. J. M. M.
8
1992
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
A layered semantics for a parallel object-oriented language. Zbl 0752.68052
America, Pierre; Rutten, Jan
2
1992
A semantic approach to fairness. Zbl 0773.68051
Rutten, J. J. M. M.; Zucker, J. I.
1
1992
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
A parallel object-oriented language: design and semantic foundations. Zbl 0760.68044
America, P. H. M.; Rutten, J. J. M. M.
2
1991
Semantic correctness for a parallel object-oriented language. Zbl 0697.68077
Rutten, J. J. M. M.
8
1990
Contractions in comparing concurrency semantics. Zbl 0707.68054
Kok, Joost N.; Rutten, Jan J. M. M.
6
1990
Solving reflexive domain equations in a category of complete metric spaces. Zbl 0717.18002
America, Pierre; Rutten, Jan
66
1989
Denotational semantics of a parallel object-oriented language. Zbl 0695.68058
America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan
20
1989
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
Correctness and full abstraction of metric semantics for concurrency. (Technical contribution). Zbl 0683.68073
Rutten, J. J. M. M.
1
1989
Contractions in comparing concurrency semantics. Zbl 0649.68011
Kok, J. N.; Rutten, J. J. M. M.
6
1988
Solving reflexive domain equations in a category of complete metric spaces. Zbl 0664.18002
America, Pierre; Rutten, Jan
3
1988
all top 5

Cited by 669 Authors

41 Rutten, Jan J. M. M.
24 Silva, Alexandra
23 Milius, Stefan
19 Adámek, Jiří
19 Bonchi, Filippo
19 Bonsangue, Marcello Maria
18 Montanari, Ugo G.
15 Kurz, Alexander
15 Schröder, Lutz
14 Arbab, Farhad
13 Jacobs, Bart
12 Zhang, Dexue
11 Baier, Christel
11 Klin, Bartek
11 Panangaden, Prakash
11 Rot, Jurriaan
10 Birkedal, Lars
10 Cîrstea, Corina
10 Doberkat, Ernst-Erich
10 Pattinson, Dirk
10 van Breugel, Franck
9 Barbosa, Luís Soares
9 de Vink, Erik P.
9 Hasuo, Ichiro
9 Hofmann, Dirk
9 Kupke, Clemens
9 Wißmann, Thorsten
8 de Bakker, Jacobus W.
8 Desharnais, Josée
8 Hansen, Helle Hvid
8 Velebil, Jiří
8 Venema, Yde
7 Gumm, Heinz-Peter
7 Lai, Hongliang
7 Sokolova, Ana
7 Worrell, James B.
6 America, Pierre
6 Boreale, Michele
6 Clarke, Dave
6 de Boer, Frank S.
6 Kok, Joost N.
6 Komenda, Jan
6 Kozen, Dexter C.
6 Majster-Cederbaum, Mila E.
6 Miculan, Marino
6 Roşu, Grigore
6 Sammartino, Matteo
6 Støvring, Kristian
6 Yao, Wei
6 Zhao, Bin
5 Bruni, Roberto
5 Fan, Lei
5 Hughes, Jesse
5 König, Barbara
5 Meng, Sun
5 Moss, Lawrence S.
5 Oliveira, José Nuno
5 Sangiorgi, Davide
5 Thamsborg, Jacob
5 Waszkiewicz, Paweł
4 Abramsky, Samson
4 Bacci, Giorgio
4 Blanchette, Jasmin Christian
4 Endrullis, Jörg
4 Gadducci, Fabio
4 Goldblatt, Robert Ian
4 Goncharov, Sergeĭ Savost’yanovich
4 Honsell, Furio
4 Klüppelholz, Sascha
4 Krause, Christian
4 Lanese, Ivan
4 Laviolette, François
4 Lazovik, Alexander
4 Lucanu, Dorel
4 Neves, Renato
4 Palamidessi, Catuscia
4 Pavlović, Duško
4 Petrisan, Daniela Luan
4 Pous, Damien
4 Power, John
4 Reus, Bernhard
4 Romaguera Bonilla, Salvador
4 Sirjani, Marjan
4 Sobociński, Paweł
4 Talcott, Carolyn L.
4 Trnková, Věra
4 Urbat, Henning
4 van Schuppen, Jan H.
4 Zanasi, Fabio
3 Balan, Adriana
3 Ballester-Bolinches, Adolfo
3 Bice, Tristan Matthew
3 Bizjak, Aleš
3 Brengos, Tomasz
3 Buscemi, Maria Grazia
3 Caltais, Georgiana
3 Ciancia, Vincenzo
3 Corradini, Andrea
3 Cosme-Llópez, Enric
3 Danos, Vincent
...and 569 more Authors
all top 5

Cited in 90 Serials

138 Theoretical Computer Science
47 Information and Computation
35 MSCS. Mathematical Structures in Computer Science
22 Logical Methods in Computer Science
19 Journal of Logical and Algebraic Methods in Programming
17 Fuzzy Sets and Systems
15 Annals of Pure and Applied Logic
15 Formal Aspects of Computing
14 Topology and its Applications
13 Science of Computer Programming
11 Applied Categorical Structures
10 RAIRO. Theoretical Informatics and Applications
10 The Journal of Logic and Algebraic Programming
9 Journal of Pure and Applied Algebra
7 Journal of Computer and System Sciences
7 Journal of Functional Programming
6 Acta Informatica
5 Journal of Automated Reasoning
4 Information Processing Letters
4 Discrete Event Dynamic Systems
3 Algebra Universalis
3 Notre Dame Journal of Formal Logic
3 International Journal of Computer Mathematics
3 Theory and Applications of Categories
3 Journal of Applied Logic
3 RAIRO. Theoretical Informatics and Applications
2 Commentationes Mathematicae Universitatis Carolinae
2 Information Sciences
2 International Journal of Mathematics and Mathematical Sciences
2 Journal of Philosophical Logic
2 The Journal of Symbolic Logic
2 New Generation Computing
2 International Journal of Algebra and Computation
2 International Journal of Foundations of Computer Science
2 Cybernetics and Systems Analysis
2 Formal Methods in System Design
2 Soft Computing
2 Higher-Order and Symbolic Computation
2 Journal of Intelligent and Fuzzy Systems
2 ACM Transactions on Computational Logic
2 Fixed Point Theory and Applications
1 Discrete Mathematics
1 Journal of Mathematical Analysis and Applications
1 Mathematical Notes
1 Advances in Mathematics
1 Applied Mathematics and Computation
1 Automatica
1 BIT
1 Demonstratio Mathematica
1 Geometriae Dedicata
1 Journal of Algebra
1 Journal of Econometrics
1 Numerical Functional Analysis and Optimization
1 Revista de la Unión Matemática Argentina
1 Studia Logica
1 Synthese
1 Chinese Annals of Mathematics. Series B
1 Acta Mathematica Hungarica
1 Optimization
1 International Journal of Approximate Reasoning
1 Automation and Remote Control
1 Archive for Mathematical Logic
1 Topology Proceedings
1 Mathematical Logic Quarterly (MLQ)
1 Constraints
1 European Journal of Control
1 Theory of Computing Systems
1 Abstract and Applied Analysis
1 Journal of the ACM
1 Journal of Discrete Mathematical Sciences & Cryptography
1 Annales Mathematicae Silesianae
1 Theory and Practice of Logic Programming
1 Journal of Applied Mathematics
1 Computer Languages, Systems & Structures
1 Journal of Algebra and its Applications
1 International Journal of Geometric Methods in Modern Physics
1 Mediterranean Journal of Mathematics
1 Mathematics in Computer Science
1 Asian-European Journal of Mathematics
1 Acta Universitatis Sapientiae. Mathematica
1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Frontiers of Computer Science
1 International Journal of Analysis
1 Chinese Journal of Mathematics
1 Open Mathematics
1 Philosophical Transactions A. Royal Society of London
1 Categories and General Algebraic Structures with Applications
1 Journal of Applied Mathematics and Computational Mechanics
1 Bollettino dell’Unione Matematica Italiana

Citations by Year