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

Predicting reintroduction outcomes for highly vulnerable species that do not currently coexist with their key threats

Conservation biology, 2018-12, Vol.32 (6), p.1346-1355

2018

Volltextzugriff (PDF)

Using long‐term data for a reintroduced population to empirically estimate future consequences of inbreeding

Conservation biology, 2021-06, Vol.35 (3), p.859-869

2021

Volltextzugriff (PDF)

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)

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)

Getting Rid of Store-Buffers in TSO Analysis

Computer Aided Verification, 2011, Vol.6806, p.99-115

2011

Volltextzugriff (PDF)

Scope-Bounded Pushdown Languages

Developments in Language Theory, 2014, p.116-128

2014

Volltextzugriff (PDF)

Verifying Concurrent Programs by Memory Unwinding

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

2015

Volltextzugriff (PDF)

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis

Networked Systems, 2017, Vol.10299, p.255-271

2017

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)

On the Complexity of LTL Model-Checking of Recursive State Machines

Automata, Languages and Programming, 2007, Vol.4596, p.937-948

2007

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

2013, 2013

Volltextzugriff (PDF)

CSeq: A Sequentialization Tool for C: Competition Contribution

Tools and Algorithms for the Construction and Analysis of Systems, 2013, p.616-618

2013

Volltextzugriff (PDF)

Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches: Competition Contribution

Tools and Algorithms for the Construction and Analysis of Systems, 2015, p.461-463

2015

Volltextzugriff (PDF)

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: Competition Contribution

Tools and Algorithms for the Construction and Analysis of Systems, 2017, p.375-379

2017

Volltextzugriff (PDF)

MU-CSeq 0.4: Individual Memory Location Unwindings: Competition Contribution

Tools and Algorithms for the Construction and Analysis of Systems, 2016, p.938-941

2016

Volltextzugriff (PDF)

MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings: Competition Contribution

Tools and Algorithms for the Construction and Analysis of Systems, 2015, p.436-438

2015

Volltextzugriff (PDF)

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization

Computer Aided Verification, 2014, p.585-602

2014

Volltextzugriff (PDF)

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings: Competition Contribution

Tools and Algorithms for the Construction and Analysis of Systems, 2014, p.402-404

2014

Volltextzugriff (PDF)

Lazy-CSeq: A Lazy Sequentialization Tool for C: Competition Contribution

Tools and Algorithms for the Construction and Analysis of Systems, 2014, p.398-401

2014

Volltextzugriff (PDF)

An Infinite Automaton Characterization of Double Exponential Time

Computer Science Logic, 2008, Vol.5213, p.33-48

2008

Volltextzugriff (PDF)

1 – 23 von 23

Suche als RSS-Feed

Aktive Filter

ThemaComputer Science, Theory & Methods

KollektionSpringer Book Series

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(12)
Mit Volltextzugriff
(22)

Publikationsform

Sprache

Englisch
(23)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Menü

Weitere Dienste

Einstellungen

Predicting reintroduction outcomes for highly vulnerable species that do not currently coexist with their key threats

Using long‐term data for a reintroduced population to empirically estimate future consequences of inbreeding

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

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

Getting Rid of Store-Buffers in TSO Analysis

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

On the Complexity of LTL Model-Checking of Recursive State Machines

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

CSeq: A Sequentialization Tool for C: Competition Contribution

Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches: Competition Contribution

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: Competition Contribution

MU-CSeq 0.4: Individual Memory Location Unwindings: Competition Contribution

MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings: Competition Contribution

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings: Competition Contribution

Lazy-CSeq: A Lazy Sequentialization Tool for C: Competition Contribution

An Infinite Automaton Characterization of Double Exponential Time

Aktive Filter

Suchergebnisse filtern