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
Open Access
    Datensatz exportieren als...
  • BibTeX
Performance Analysis of Serodiagnostic Tests to Characterize the Incline and Decline of the Individual Humoral Immune Response in COVID-19 Patients: Impact on Diagnostic Management
Viruses, 2024-01, Vol.16 (1), p.91
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Deletion of lrrk2 causes early developmental abnormalities and age-dependent increase of monoamine catabolism in the zebrafish brain
PLoS genetics, 2021-09, Vol.17 (9), p.e1009794-e1009794
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Zebrafish gbx1 refines the midbrain-hindbrain boundary border and mediates the Wnt8 posteriorization signal
Neural development, 2009-04, Vol.4 (1), p.12-12, Article 12
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Dickkopf-1 regulates gastrulation movements by coordinated modulation of Wnt/beta catenin and Wnt/PCP activities, through interaction with the Dally-like homolog Knypek
Genes & development, 2007-02, Vol.21 (4), p.465-480
2007
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Deductive Software Verification - The KeY Book: From Theory to Practice
1, 2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
1st Edition 2020, 2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
KeY-Hoare
Deductive Software Verification – The KeY Book, 2016-12, p.571-589
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Abstract Interpretation
Deductive Software Verification – The KeY Book, 2016-12, p.167-189
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Debugging and Visualization
Deductive Software Verification – The KeY Book, 2016-12, p.383-413
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Logic of Software. a Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
1st Edition 2022, 2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Verification with KeY: A Tutorial
Deductive Software Verification – The KeY Book, 2016-12, p.541-570
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family: A Tale of Three Provers
Deductive Software Verification: Future Perspectives, p.21-64
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Using the KeY Prover
Deductive Software Verification - the KeY Book, 2016, Vol.10001, p.495-539
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Program Logic for Dependence Analysis
Integrated Formal Methods, p.83-100
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Formal Analysis of Smart Contracts: Applying the KeY System
Deductive Software Verification: Future Perspectives, 2020, Vol.12345 LNCS, p.204-218
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Information Flow Analysis
Deductive Software Verification – The KeY Book, 2016-12, p.453-471
2016
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Tutorial on Verifying LinkedList Using KeY
Deductive Software Verification: Future Perspectives, p.221-245
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
SymPaths: Symbolic Execution Meets Partial Order Reduction
Deductive Software Verification: Future Perspectives, 2020, p.313-338
2020
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Dynamic Logic for Java
Deductive Software Verification – The KeY Book, 2016-12, p.49-106
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Behavioral Contracts for Cooperative Scheduling
Deductive Software Verification: Future Perspectives, p.85-121
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
The VerifyThis Collaborative Long Term Challenge
Deductive Software Verification: Future Perspectives, p.246-260
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference
Deductive Software Verification: Future Perspectives, p.287-312
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Verification of Counting Sort and Radix Sort
Deductive Software Verification – The KeY Book, 2016-12, p.609-618
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
First-Order Logic
Deductive Software Verification – The KeY Book, 2016-12, p.23-47
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Deductive Software Verification: Reflections on the Occasion of 20 Years of KeY
1, 2020
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 52
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen