Facet browsing currently unavailable
Page 1 of 6267 results
Sort by: relevance publication year
A New Approach to Quantitative Domain Theory JOURNAL ARTICLE published November 2001 in Electronic Notes in Theoretical Computer Science |
A Unified View on Bipartite Species-reaction Graphs and Their Relation to Interaction Graphs and Qualitative Dynamics of Chemical Reaction Networks JOURNAL ARTICLE published September 2020 in Electronic Notes in Theoretical Computer Science |
Semantic Domains, Injective Spaces and Monads JOURNAL ARTICLE published 1999 in Electronic Notes in Theoretical Computer Science |
An Agg Application Supporting Visual Reasoning1 JOURNAL ARTICLE published August 2001 in Electronic Notes in Theoretical Computer Science |
Preface JOURNAL ARTICLE published August 2001 in Electronic Notes in Theoretical Computer Science |
Fresco: Flexible and Reliable Evolution System for Components JOURNAL ARTICLE published April 2005 in Electronic Notes in Theoretical Computer Science |
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation JOURNAL ARTICLE published December 2009 in Electronic Notes in Theoretical Computer Science |
The role of observations in probabilistic open systems JOURNAL ARTICLE published 1999 in Electronic Notes in Theoretical Computer Science |
Stochastic Object-Based Graph Grammars JOURNAL ARTICLE published July 2007 in Electronic Notes in Theoretical Computer Science |
Model transformation based on production rules JOURNAL ARTICLE published March 2003 in Electronic Notes in Theoretical Computer Science |
Where Do Bugs Come From? JOURNAL ARTICLE published May 2007 in Electronic Notes in Theoretical Computer Science |
Bisimilar and Logically Equivalent Programs in PDL JOURNAL ARTICLE published July 2014 in Electronic Notes in Theoretical Computer Science |
Open-Source Model Checking JOURNAL ARTICLE published February 2006 in Electronic Notes in Theoretical Computer Science |
Summarized Dimensions Revisited JOURNAL ARTICLE published December 2012 in Electronic Notes in Theoretical Computer Science |
Mathematical Services Composition JOURNAL ARTICLE published January 2005 in Electronic Notes in Theoretical Computer Science |
Preface JOURNAL ARTICLE published July 2011 in Electronic Notes in Theoretical Computer Science |
A Characterization of Constructive Dimension JOURNAL ARTICLE published March 2008 in Electronic Notes in Theoretical Computer Science |
The Invariant Set Hypothesis: A New Geometric Framework for the Foundations of Quantum Theory and the Role Played by Gravity JOURNAL ARTICLE published February 2011 in Electronic Notes in Theoretical Computer Science |
Resource-Oriented Design Framework for Embedded System Components JOURNAL ARTICLE published June 2008 in Electronic Notes in Theoretical Computer Science |
Free Theorems and Runtime Type Representations JOURNAL ARTICLE published April 2007 in Electronic Notes in Theoretical Computer Science |