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
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
Open Access
    Datensatz exportieren als...
  • BibTeX
A Unifying Approach for Multistack Pushdown Automata
Mathematical Foundations of Computer Science 2014, p.377-389
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
The Language Theory of Bounded Context-Switching
LATIN 2010: Theoretical Informatics, p.96-107
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Context-Bounded Analysis of Concurrent Queue Systems
Tools and Algorithms for the Construction and Analysis of Systems, p.299-314
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
Computer Aided Verification, p.477-492
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Computer Aided Verification, p.629-644
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
Preventing Unauthorized Data Flows
Data and Applications Security and Privacy XXXI, p.41-62
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs
Automated Technology for Verification and Analysis, p.174-191
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Policy Analysis for Self-administrated Role-Based Access Control
Tools and Algorithms for the Construction and Analysis of Systems, p.432-447
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
On Sequentializing Concurrent Programs
Static Analysis, p.129-145
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
Open Access
    Datensatz exportieren als...
  • BibTeX
Vac - Verifier of Administrative Role-Based Access Control Policies
Computer Aided Verification, p.184-191
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Context-Bounded Analysis of TSO Systems
From Programs to Systems. The Systems perspective in Computing, p.21-38
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
Static Analysis, p.172-193
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents
Approximation and Online Algorithms, 2006, p.147-160
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem
Network Optimization, p.589-602
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the Complexity of Ltl Model-Checking of Recursive State Machines
Automata, Languages and Programming, p.937-948
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 26
Suche als RSS-Feed
Aktive Filter
KollektionSpringer Book Series
Nur zeigenGeprüft (Peer-Review)
Suchergebnisse filtern
Filter anzeigen