Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 6267 results
Sort by: relevance publication year
Showing results for ISSN matching 1571-0661

A New Approach to Quantitative Domain Theory

JOURNAL ARTICLE published November 2001 in Electronic Notes in Theoretical Computer Science

Authors: Lei Fan

https://doi.org/10.1016/s1571-0661(04)80956-3 Actions

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

Authors: Hans-Michael Kaltenbach

https://doi.org/10.1016/j.entcs.2020.06.005 Actions

Semantic Domains, Injective Spaces and Monads

JOURNAL ARTICLE published 1999 in Electronic Notes in Theoretical Computer Science

Authors: Martín H. Escardó | Robert C. Flagg

https://doi.org/10.1016/s1571-0661(04)80077-x Actions

An Agg Application Supporting Visual Reasoning1

JOURNAL ARTICLE published August 2001 in Electronic Notes in Theoretical Computer Science

Authors: Andrea Formisano | Marta Simeoni

https://doi.org/10.1016/s1571-0661(04)00183-5 Actions

Preface

JOURNAL ARTICLE published August 2001 in Electronic Notes in Theoretical Computer Science

Authors: Christos Zaroliagis

https://doi.org/10.1016/s1571-0661(05)80569-9 Actions

Fresco: Flexible and Reliable Evolution System for Components

JOURNAL ARTICLE published April 2005 in Electronic Notes in Theoretical Computer Science

Authors: Yves Vandewoude | Yolande Berbers

https://doi.org/10.1016/j.entcs.2004.08.044 Actions

NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation

JOURNAL ARTICLE published December 2009 in Electronic Notes in Theoretical Computer Science

Authors: Silvia Clerici | Cristina Zoltan | Guillermo Prestigiacomo

https://doi.org/10.1016/j.entcs.2009.12.007 Actions

The role of observations in probabilistic open systems

JOURNAL ARTICLE published 1999 in Electronic Notes in Theoretical Computer Science

Authors: Murali Narasimha | Rance Cleaveland | Purushothaman Iyer

https://doi.org/10.1016/s1571-0661(04)00138-0 Actions

Stochastic Object-Based Graph Grammars

JOURNAL ARTICLE published July 2007 in Electronic Notes in Theoretical Computer Science

Authors: Odorico M. Mendizabal | Fernando L. Dotti | Leila Ribeiro

https://doi.org/10.1016/j.entcs.2007.03.020 Actions

Model transformation based on production rules

JOURNAL ARTICLE published March 2003 in Electronic Notes in Theoretical Computer Science

Authors: Nicolas Revault

https://doi.org/10.1016/s1571-0661(04)80623-6 Actions

Where Do Bugs Come From?

JOURNAL ARTICLE published May 2007 in Electronic Notes in Theoretical Computer Science

Authors: Andreas Zeller

https://doi.org/10.1016/j.entcs.2006.12.029 Actions

Bisimilar and Logically Equivalent Programs in PDL

JOURNAL ARTICLE published July 2014 in Electronic Notes in Theoretical Computer Science

Authors: Mario R.F. Benevides

https://doi.org/10.1016/j.entcs.2014.06.002 Actions

Open-Source Model Checking

JOURNAL ARTICLE published February 2006 in Electronic Notes in Theoretical Computer Science

Authors: Radu Grosu | X. Huang | S. Jain | S.A. Smolka

https://doi.org/10.1016/j.entcs.2006.01.003 Actions

Summarized Dimensions Revisited

JOURNAL ARTICLE published December 2012 in Electronic Notes in Theoretical Computer Science

Authors: Holger Siegel | Axel Simon

https://doi.org/10.1016/j.entcs.2012.10.009 Actions

Mathematical Services Composition

JOURNAL ARTICLE published January 2005 in Electronic Notes in Theoretical Computer Science

Authors: Yannis Chicha | Marc Gaëtano

https://doi.org/10.1016/j.entcs.2004.02.069 Actions

Preface

JOURNAL ARTICLE published July 2011 in Electronic Notes in Theoretical Computer Science

Authors: Thomas Bolander | Torben Braüner

https://doi.org/10.1016/j.entcs.2011.06.008 Actions

A Characterization of Constructive Dimension

JOURNAL ARTICLE published March 2008 in Electronic Notes in Theoretical Computer Science

Authors: Satyadev Nandakumar

https://doi.org/10.1016/j.entcs.2008.03.025 Actions

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

Authors: T.N. Palmer

https://doi.org/10.1016/j.entcs.2011.01.026 Actions

Resource-Oriented Design Framework for Embedded System Components

JOURNAL ARTICLE published June 2008 in Electronic Notes in Theoretical Computer Science

Authors: Jin-Hyun Kim | Jae-Hwan Sim | Jin-Young Choi

https://doi.org/10.1016/j.entcs.2008.06.027 Actions

Free Theorems and Runtime Type Representations

JOURNAL ARTICLE published April 2007 in Electronic Notes in Theoretical Computer Science

Authors: Dimitrios Vytiniotis | Stephanie Weirich

https://doi.org/10.1016/j.entcs.2007.02.043 Actions
Feedback: support@crossref.org