Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
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
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Getting Rid of Store-Buffers in TSO Analysis
Computer Aided Verification, 2011, p.99-115
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Scope-Bounded Pushdown Languages
Developments in Language Theory, p.116-128
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Verifying Concurrent Programs by Memory Unwinding
Tools and Algorithms for the Construction and Analysis of Systems, p.551-565
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
Networked Systems, p.255-271
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models
Software Engineering and Formal Methods, 2017, Vol.10469, p.185-202
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CSeq: A Sequentialization Tool for C: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.616-618
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
An Infinite Automaton Characterization of Double Exponential Time
Computer Science Logic, p.33-48
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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, p.461-463
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Lazy-CSeq: A Lazy Sequentialization Tool for C: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.398-401
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
Computer Aided Verification, p.585-602
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.375-379
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
MU-CSeq 0.4: Individual Memory Location Unwindings: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.938-941
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
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, p.436-438
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings: Competition Contribution
Tools and Algorithms for the Construction and Analysis of Systems, p.402-404
Link zum Volltext
Verfügbarkeit prüfen
1 – 20 von 20
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science
KollektionSpringer Book Series
Suchergebnisse filtern
Filter anzeigen