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...

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

1st Edition 2018, 2018

Volltextzugriff (PDF)

Transactions on Computational Systems Biology XIII

1, 2011

Volltextzugriff (PDF)

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

1, 2013

Volltextzugriff (PDF)

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

1, 2012

Volltextzugriff (PDF)

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2018

Volltextzugriff (PDF)

Editorial

Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2

2021

Volltextzugriff (PDF)

Editorial

Formal aspects of computing, 2021, Vol.33 (1), p.1-2

2021

Volltextzugriff (PDF)

Editorial

Formal aspects of computing, 2021-01, Vol.33 (1), p.1-2

2021

Volltextzugriff (PDF)

A Cancellation Law for Probabilistic Processes

Electronic proceedings in theoretical computer science, 2023, Vol.387, p.42-58

2023

Volltextzugriff (PDF)

An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice

From Software Engineering to Formal Methods and Tools, and Back, 2019, Vol.11865, p.449-463

2019

Volltextzugriff (PDF)

Probabilistic Automata: System Types, Parallel Composition and Comparison

Lecture notes in computer science, 2004, Vol.2925, p.1-43

2004

Volltextzugriff (PDF)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$_\eta $$\end{document}

Formal Techniques for Distributed Objects, Components, and Systems, 2024, p.20-38

2024

Volltextzugriff (PDF)

20 Years of Real Real Time Model Validation

Formal Methods, 2018, p.22-36

2018

Volltextzugriff (PDF)

Extending Paradigm with Data

It's All About Coordination, 2018, Vol.10865, p.224-244

2018

Volltextzugriff (PDF)

Problem Solving Using Process Algebra Considered Insightful

ModelEd, TestEd, TrustEd, 2017, Vol.10500, p.48-63

2017

Volltextzugriff (PDF)

Proceedings Third International Workshop on Computational Models for Cell Processes: Preface

Electronic proceedings in theoretical computer science, 2011-09, Vol.67

2011

Volltextzugriff (PDF)

Minimal Reaction Systems

Transactions on Computational Systems Biology XIV, 2012, p.102-122

2012

Volltextzugriff (PDF)

Model Checking of Biological Systems

Formal Methods for Dynamical Systems, 2013, Vol.7938, p.63-112

2013

Volltextzugriff (PDF)

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2013

Volltextzugriff (PDF)

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study

Transactions on Computational Systems Biology XIV, 2012, p.53-76

2012

Volltextzugriff (PDF)

ODE Analysis of Biological Systems

Formal Methods for Dynamical Systems, 2013, Vol.7938, p.29-62

2013

Volltextzugriff (PDF)

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

Formal Methods for Dynamical Systems, 2013, p.113-149

2013

Volltextzugriff (PDF)

Self-assembly Models of Variable Resolution

Transactions on Computational Systems Biology XIV, 2012, p.181-203

2012

Volltextzugriff (PDF)

Automation of Quantitative Information-Flow Analysis

Formal Methods for Dynamical Systems, 2013, Vol.7938, p.1-28

2013

Volltextzugriff (PDF)

Quasi Product Form Approximation for Markov Models of Reaction Networks

Transactions on Computational Systems Biology XIV, 2012, p.26-52

2012

Volltextzugriff (PDF)

1 – 25 von 66

Suche als RSS-Feed

Aktive Filter

Zeitschrift / SerieLogical Methods In Computer Science

ThemaScience & Technology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(30)
Mit Volltextzugriff
(62)

Publikationsform

Sprache

Englisch
(66)

Erscheinungsjahr

n.n

Thema

Computer Science
(8)
Software Engineering
(5)
Theory Of Computation
(5)
Artificial Intelligence
(4)
Bioinformatics
(4)
Computation By Abstract Devices
(4)
Computational Biology/bioinformatics
(4)
Computers
(4)
Formal Methods
(4)
Model Check
(4)
Model Checking
(4)
Simulation And Modeling
(4)
Bioinformatika
(3)
Computational Biology
(3)
Computer Simulation
(3)
Computer Software
(3)
Computer Systems
(3)
Congresses
(3)
Electronic Brains
(3)
Informatika
(3)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

3 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Transactions on Computational Systems Biology XIII

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Editorial

Editorial

Editorial

A Cancellation Law for Probabilistic Processes

An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice

Probabilistic Automata: System Types, Parallel Composition and Comparison

20 Years of Real Real Time Model Validation

Extending Paradigm with Data

Problem Solving Using Process Algebra Considered Insightful

Proceedings Third International Workshop on Computational Models for Cell Processes: Preface

Minimal Reaction Systems

Model Checking of Biological Systems

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study

ODE Analysis of Biological Systems

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

Self-assembly Models of Variable Resolution

Automation of Quantitative Information-Flow Analysis

Quasi Product Form Approximation for Markov Models of Reaction Networks

Aktive Filter

Suchergebnisse filtern