Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Jan J. M. M. Rutten - MaRDI portal

Jan J. M. M. Rutten

From MaRDI portal
(Redirected from Person:672054)
Person:919833

Available identifiers

zbMath Open rutten.jan-j-m-mDBLP27/6345WikidataQ102253907 ScholiaQ102253907MaRDI QIDQ919833

List of research outcomes





PublicationDate of PublicationType
Nonwellfounded sets and programming language semantics2023-08-16Paper
A structural co-induction theorem2023-04-28Paper
https://portal.mardi4nfdi.de/entity/Q46211412019-02-08Paper
Formations of Monoids, Congruences, and Formal Languages2019-02-08Paper
Errata to "Formations of Monoids, Congruences, and Formal Languages"2019-02-08Paper
Newton series, coinductively: a comparative study of composition2018-12-04Paper
https://portal.mardi4nfdi.de/entity/Q45848972018-09-04Paper
Bisimulation for probabilistic transition systems: A coalgebraic approach2018-07-04Paper
Enhanced coalgebraic bisimulation2017-09-27Paper
https://portal.mardi4nfdi.de/entity/Q29809652017-05-08Paper
A coalgebraic view on decorated traces2017-04-03Paper
Final Semantics for Decorated Traces2016-07-08Paper
Varieties and covarieties of languages (extended abstract)2016-04-12Paper
Coalgebraic Semantics of Heavy-Weighted Automata2016-02-25Paper
Newton Series, Coinductively2016-02-25Paper
Proving language inclusion and equivalence by coinduction2015-12-28Paper
The dual equivalence of equations and coequations for automata2015-09-28Paper
Equations and Coequations for Weighted Automata2015-09-16Paper
Regular Varieties of Automata and Coequations2015-08-27Paper
Context-free coalgebras2015-04-28Paper
Coalgebraic Bisimulation-Up-To2014-11-04Paper
A Coalgebraic Foundation for Coinductive Union Types2014-07-01Paper
(Co)Algebraic Characterizations of Signal Flow Graphs2014-06-02Paper
A Final Coalgebra for k-regular Sequences2014-06-02Paper
An introduction to (co)algebra and (co)induction2014-04-24Paper
Algebra-coalgebra duality in brzozowski's minimization algorithm2014-04-16Paper
Observational Coalgebras and Complete Sets of Co-operations2014-01-24Paper
https://portal.mardi4nfdi.de/entity/Q28638922013-12-04Paper
Coalgebraic Characterizations of Context-Free Languages2013-09-26Paper
Coinductive Counting2013-08-15Paper
Elements of Stream Calculus2013-04-26Paper
Generalizing determinization from automata to coalgebras2013-04-09Paper
Coinductive Proof Techniques for Language Equivalence2013-03-18Paper
A proof of Moessner's theorem by coinduction2013-01-08Paper
Defining Context-Free Power Series Coalgebraically2012-09-20Paper
https://portal.mardi4nfdi.de/entity/Q29088562012-08-29Paper
Brzozowski’s Algorithm (Co)Algebraically2012-07-16Paper
On the Final Coalgebra of Automatic Sequences2012-07-16Paper
Connectors as designs: modeling, refinement and test case generation2012-07-13Paper
Intentional Automata: A Context-Dependent Model for Component Connectors2012-06-29Paper
A coalgebraic perspective on linear weighted automata2012-05-24Paper
Context-Free Languages, Coalgebraically2011-09-02Paper
A Decision Procedure for Bisimilarity of Generalized Regular Expressions2011-05-12Paper
Quantitative Kleene coalgebras2011-05-04Paper
Complete sets of cooperations2011-01-14Paper
Non-Deterministic Kleene Coalgebras2010-09-21Paper
Sampling, Splitting and Merging in Coinductive Stream Calculus2010-07-26Paper
A coinductive calculus of binary trees2010-04-22Paper
Recent Trends in Algebraic Development Techniques2010-04-20Paper
Deriving Syntax and Axioms for Quantitative Regular Behaviours2009-10-22Paper
A Kleene Theorem for Polynomial Coalgebras2009-03-31Paper
Coalgebraic Foundations of Linear Systems2009-03-10Paper
Behavioural Differential Equations and Coinduction for Binary Trees2009-03-10Paper
Rational streams coalgebraically2008-11-13Paper
A Roman Senator2008-06-19Paper
Coalgebraic Logic and Synthesis of Mealy Machines2008-04-11Paper
Modeling component connectors in Reo by constraint automata2006-06-30Paper
https://portal.mardi4nfdi.de/entity/Q57018372005-11-04Paper
A tutorial on coinductive stream calculus and signal flow graphs2005-11-01Paper
Formal Methods for Components and Objects2005-08-22Paper
A coinductive calculus of streams2005-03-14Paper
Behavioural differential equations: a coinductive calculus of streams, automata, and power series2004-10-27Paper
https://portal.mardi4nfdi.de/entity/Q44495402004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q47820212003-08-18Paper
Weighted colimits and formal balls in generalized metric spaces2002-04-11Paper
Universal coalgebra: A theory of systems2000-10-26Paper
A transition system semantics for the control-driven coordination language MANIFOLD2000-08-21Paper
https://portal.mardi4nfdi.de/entity/Q49386502000-07-10Paper
A note on Coinduction and Weak Bisimilarity for While Programs2000-03-16Paper
Bisimulation for probabilistic transition systems: A coalgebraic approach2000-01-12Paper
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces1999-08-08Paper
https://portal.mardi4nfdi.de/entity/Q42519151999-06-17Paper
https://portal.mardi4nfdi.de/entity/Q42229611999-01-06Paper
https://portal.mardi4nfdi.de/entity/Q42227461998-12-09Paper
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding1998-08-13Paper
https://portal.mardi4nfdi.de/entity/Q43734121998-02-17Paper
https://portal.mardi4nfdi.de/entity/Q43556841997-11-20Paper
Elements of generalized ultrametric domain theory1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q48585781995-12-17Paper
Fully abstract denotational models for nonuniform concurrent languages1995-01-09Paper
Processes as terms: non-well-founded models for bisimulation1994-10-18Paper
A layered semantics for a parallel object-oriented language1992-09-27Paper
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic1992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40031871992-09-18Paper
https://portal.mardi4nfdi.de/entity/Q39936761992-08-03Paper
Semantic models for concurrent logic languages1992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39750301992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39751391992-06-26Paper
Contractions in comparing concurrency semantics1990-01-01Paper
Semantic Correctness for a Parallel Object-Oriented Language1990-01-01Paper
Solving reflexive domain equations in a category of complete metric spaces1989-01-01Paper
Denotational semantics of a parallel object-oriented language1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47334341989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37951881988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38154631988-01-01Paper

Research outcomes over time

This page was built for person: Jan J. M. M. Rutten