UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 37

Sortiert nach

Host response biomarkers in the diagnosis of sepsis: a general overview

Methods in molecular biology (Clifton, N.J.), 2015-01, Vol.1237, p.149

2015

Volltextzugriff (PDF)

An Integrated Approach for Predicting Fates of Reintroductions with Demographic Data from Multiple Populations

Conservation biology, 2012-02, Vol.26 (1), p.97-106

2012

Volltextzugriff (PDF)

An integrated regulatory network controlling survival and migration in thyroid organogenesis

Developmental biology, 2004-12, Vol.276 (2), p.464-475

2004

Volltextzugriff (PDF)

A Unifying Approach for Multistack Pushdown Automata

Mathematical Foundations of Computer Science 2014, p.377-389

Volltextzugriff (PDF)

An Integrated Approach for Predicting Fates of Reintroductions with Demographic Data from Multiple PopulationsUn Metodo Integral para la Prediccion del Destino de Reintroducciones con Datos Demograficos de Multiples Poblaciones

Conservation biology, 2012-02, Vol.26 (1), p.97-106

2012

Volltextzugriff (PDF)

An Integrated Approach for Predicting Fates of Reintroductions with Demographic Data from Multiple Populations; Un Método Integral para la Predicción del Destino de Reintroducciones con Datos Demográficos de Múltiples Poblaciones

Conservation biology, 2012-02, Vol.26 (1), p.97

2012

Volltextzugriff (PDF)

The Language Theory of Bounded Context-Switching

LATIN 2010: Theoretical Informatics, p.96-107

Volltextzugriff (PDF)

Context-Bounded Analysis of Concurrent Queue Systems

Tools and Algorithms for the Construction and Analysis of Systems, p.299-314

Volltextzugriff (PDF)

On Sequentializing Concurrent Programs

Static Analysis, p.129-145

Volltextzugriff (PDF)

Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

Computer Aided Verification, p.477-492

Volltextzugriff (PDF)

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

Computer Aided Verification, p.629-644

Volltextzugriff (PDF)

Getting Rid of Store-Buffers in TSO Analysis

Computer Aided Verification, 2011, p.99-115

2011

Volltextzugriff (PDF)

Preventing Unauthorized Data Flows

Data and Applications Security and Privacy XXXI, p.41-62

Volltextzugriff (PDF)

Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs

Automated Technology for Verification and Analysis, p.174-191

Volltextzugriff (PDF)

Policy Analysis for Self-administrated Role-Based Access Control

Tools and Algorithms for the Construction and Analysis of Systems, p.432-447

Volltextzugriff (PDF)

Scope-Bounded Pushdown Languages

Developments in Language Theory, p.116-128

Volltextzugriff (PDF)

Verifying Concurrent Programs by Memory Unwinding

Tools and Algorithms for the Construction and Analysis of Systems, p.551-565

Volltextzugriff (PDF)

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis

Networked Systems, p.255-271

Volltextzugriff (PDF)

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models

Software Engineering and Formal Methods, 2017, Vol.10469, p.185-202

2017

Volltextzugriff (PDF)

Vac - Verifier of Administrative Role-Based Access Control Policies

Computer Aided Verification, p.184-191

Volltextzugriff (PDF)

Context-Bounded Analysis of TSO Systems

From Programs to Systems. The Systems perspective in Computing, p.21-38

Volltextzugriff (PDF)

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists

Static Analysis, p.172-193

Volltextzugriff (PDF)

Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents

Approximation and Online Algorithms, 2006, p.147-160

2006

Volltextzugriff (PDF)

Static Data Race Detection via Lazy Sequentialization

Networked Systems, 2024, p.124-141

2024

Volltextzugriff (PDF)

A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem

Network Optimization, p.589-602

Volltextzugriff (PDF)

1 – 25 von 37

Suche als RSS-Feed

Aktive Filter

ThemaBayesian Analysis

KollektionSpringer Book Series

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(25)
Mit Volltextzugriff
(36)

Publikationsform

Sprache

Englisch
(37)
Japanisch
(3)

Erscheinungsjahr

n.n

Zeitschrift / Serie

Neu hinzugefügt

... seit 7 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Host response biomarkers in the diagnosis of sepsis: a general overview

An Integrated Approach for Predicting Fates of Reintroductions with Demographic Data from Multiple Populations

An integrated regulatory network controlling survival and migration in thyroid organogenesis

A Unifying Approach for Multistack Pushdown Automata

An Integrated Approach for Predicting Fates of Reintroductions with Demographic Data from Multiple PopulationsUn Metodo Integral para la Prediccion del Destino de Reintroducciones con Datos Demograficos de Multiples Poblaciones

An Integrated Approach for Predicting Fates of Reintroductions with Demographic Data from Multiple Populations; Un Método Integral para la Predicción del Destino de Reintroducciones con Datos Demográficos de Múltiples Poblaciones

The Language Theory of Bounded Context-Switching

Context-Bounded Analysis of Concurrent Queue Systems

On Sequentializing Concurrent Programs

Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

Model-Checking Parameterized Concurrent Programs Using Linear Interfaces

Getting Rid of Store-Buffers in TSO Analysis

Preventing Unauthorized Data Flows

Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs

Policy Analysis for Self-administrated Role-Based Access Control

Scope-Bounded Pushdown Languages

Verifying Concurrent Programs by Memory Unwinding

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models

Vac - Verifier of Administrative Role-Based Access Control Policies

Context-Bounded Analysis of TSO Systems

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists

Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents

Static Data Race Detection via Lazy Sequentialization

A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem

Aktive Filter

Suchergebnisse filtern