UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Static Analysis of Digital Filters

Lecture notes in computer science, 2004, p.33-48

2004

Volltextzugriff (PDF)

Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface

Computational Methods in Systems Biology, p.309-316

Volltextzugriff (PDF)

Temporal Reprogramming of Boolean Networks

Computational Methods in Systems Biology, p.179-195

Volltextzugriff (PDF)

Bio-Curation for Cellular Signalling: The KAMI Project

Computational Methods in Systems Biology, p.3-19

Volltextzugriff (PDF)

The arithmetic-geometric progression abstract domain

Lecture notes in computer science, 2005, p.42-58

2005

Volltextzugriff (PDF)

The ASTREÉ Analyzer

Lecture notes in computer science, 2005, p.21-30

2005

Volltextzugriff (PDF)

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Foundations and trends in programming languages, 2015, Vol.2 (2-3), p.71-190

2015

Volltextzugriff (PDF)

Abstract Interpretation-Based Static Analysis of Mobile Ambients

Lecture notes in computer science, 2001, p.412-430

2001

Volltextzugriff (PDF)

Reconstructing species-based dynamics from reduced stochastic rule-based models

Proceedings of the 2012 Winter Simulation Conference (WSC), 2012, p.1-15

2012

Volltextzugriff (PDF)

Dependency Analysis of Mobile Systems

Lecture notes in computer science, 2002, p.314-329

2002

Volltextzugriff (PDF)

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

The Essence of Computation, p.85-108

Volltextzugriff (PDF)

Confidentiality Analysis of Mobile Systems

Lecture notes in computer science, 2000, p.135-154

2000

Volltextzugriff (PDF)

Abstract interpretation of mobile systems

The journal of logic and algebraic programming, 2005-04, Vol.63 (1), p.59-130

Feret, Jérôme

2005

Volltextzugriff (PDF)

A static analyzer for large safety-critical software

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, 2003-05, Vol.38 (5), p.196-207

2003

Volltextzugriff (PDF)

Varieties of Static Analyzers: A Comparison with ASTREE

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), 2007, p.3-20

2007

Volltextzugriff (PDF)

Combinatorial complexity and compositional drift in protein interaction networks

PloS one, 2012-03, Vol.7 (3), p.e32032-e32032

2012

Volltextzugriff (PDF)

Rule-Based Modelling, Symmetries, Refinements

Formal Methods in Systems Biology, p.103-122

Volltextzugriff (PDF)

A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation, 2023, Vol.13881, p.228-251

2023

Volltextzugriff (PDF)

Derivation of Qualitative Dynamical Models from Biochemical Networks

Computational Methods in Systems Biology, p.195-207

Volltextzugriff (PDF)

Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices

Applied intelligence (Dordrecht, Netherlands), 1997-01, Vol.7 (1), p.57-78

1997

Volltextzugriff (PDF)

A Formal Model for Experience-Aided Diagnosis

Computational intelligence, 1997-05, Vol.13 (2), p.188-214

1997

Volltextzugriff (PDF)

1 – 21 von 21

Menü

Weitere Dienste

Einstellungen

Static Analysis of Digital Filters

Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface

Temporal Reprogramming of Boolean Networks

Bio-Curation for Cellular Signalling: The KAMI Project

The arithmetic-geometric progression abstract domain

The ASTREÉ Analyzer

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Abstract Interpretation-Based Static Analysis of Mobile Ambients

Reconstructing species-based dynamics from reduced stochastic rule-based models

Dependency Analysis of Mobile Systems

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

Confidentiality Analysis of Mobile Systems

Abstract interpretation of mobile systems

A static analyzer for large safety-critical software

Varieties of Static Analyzers: A Comparison with ASTREE

Combinatorial complexity and compositional drift in protein interaction networks

Rule-Based Modelling, Symmetries, Refinements

A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation

Derivation of Qualitative Dynamical Models from Biochemical Networks

Combining Case-Based and Model-Based Reasoning for the Diagnosis of Complex Devices

A Formal Model for Experience-Aided Diagnosis

Aktive Filter

Suchergebnisse filtern