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
Learning to prove safety over parameterised concurrent systems
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.76-83
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Normothermic liver machine perfusion at a large European center – real life insights following 238 applications
HPB (Oxford, England), 2024, Vol.26, p.S20-S20
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
P.1.e.026 Resting state connectivity between amygdala and orbitofrontal cortex reflects state anxiety in social phobia
European neuropsychopharmacology, 2009, Vol.19, p.S315-S315
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Factored boolean functional synthesis
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.124-131
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Efficient generation of all minimal inductive validity cores
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.31-38
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On sound relative error bounds for floating-point arithmetic
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.15-22
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
European Society for Organ Transplantation (ESOT) Consensus Statement on the Role of Pancreas Machine Perfusion to Increase the Donor Pool for Beta Cell Replacement Therapy
Transplant international, 2023-07, Vol.36, p.11374-11374
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Property directed reachability with word-level abstraction
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.132-139
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware model checking competition 2017
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.9-9
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parameterized verification of algorithms for oblivious robots on a ring
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.212-219
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
How formal analysis and verification add security to blockchain-based systems
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.1-4
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tagged BDDs: Combining reduction rules from different decision diagram types
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.108-115
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
K-induction without unrolling
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.148-155
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
FuseIC3: An algorithm for checking large design spaces
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.164-171
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated repair by example for firewalls
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.220-229
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Exact quantitative probabilistic model checking through rational search
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.92-99
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification of a lazy cache coherence protocol against a weak memory model
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.60-67
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
goSAT: Floating-point satisfiability as global optimization
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.11-14
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modular SMT-based analysis of nonlinear hybrid systems
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.180-187
2017
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Automatic verification of application-tailored OSEK kernels
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.196-203
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Duality-based interpolation for quantifier-free equalities and uninterpreted functions
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.39-46
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Designing parallel PDR
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.156-163
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lasso detection using partial-state caching
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.84-91
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
First observations of fertilized eggs and preleptocephalus larvae of Rhinomuraena quaesita in the Vienna Zoo: Preleptocephali of Rhinomuraena quaesita
Zoo biology, 2015-01, Vol.34 (1), p.85-88
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
FAR-Cubicle - A new reachability algorithm for Cubicle
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.172-175
2017
Volltextzugriff (PDF)
26 – 50 von 849
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
3 weitere anzeigen...
Weniger anzeigen...
Sprache
2 weitere anzeigen...
Weniger anzeigen...
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt