UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 400

Sortiert nach

C-strider: type-aware heap traversal for C

Software, practice & experience, 2016-06, Vol.46 (6), p.767-788

2016

Volltextzugriff (PDF)

LOCKSMITH: Practical Static Race Detection for C

ACM transactions on programming languages and systems, 2011, Vol.33 (1), p.1-55

2011

Volltextzugriff (PDF)

An empirical assessment of machine learning approaches for triaging reports of static analysis tools

Empirical software engineering : an international journal, 2023-03, Vol.28 (2), p.28, Article 28

2023

Volltextzugriff (PDF)

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-38, Article 13

2014

Volltextzugriff (PDF)

Checking Type Safety of Foreign Function Calls

ACM transactions on programming languages and systems, 2008-07, Vol.30 (4), p.1-63

2008

Volltextzugriff (PDF)

A Toolkit for Automated Testing of Dafny

NASA Formal Methods, 2023, Vol.13903, p.397-413

2023

Volltextzugriff (PDF)

Flow-insensitive type qualifiers

ACM transactions on programming languages and systems, 2006-11, Vol.28 (6), p.1035-1087

2006

Volltextzugriff (PDF)

Serializing C intermediate representations for efficient and portable parsing

Software, practice & experience, 2010-03, Vol.40 (3), p.225-238

2010

Volltextzugriff (PDF)

SimTyper: sound type inference for Ruby using type equality prediction

Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27

2021

Volltextzugriff (PDF)

Parallel Detection of Violations of Color Constancy

Proceedings of the National Academy of Sciences - PNAS, 2001-07, Vol.98 (14), p.8151-8156

2001

Volltextzugriff (PDF)

Absynthe: Abstract Interpretation-Guided Synthesis

Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1584-1607, Article 171

2023

Volltextzugriff (PDF)

Program synthesis with algebraic library specifications

Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-25

2019

Volltextzugriff (PDF)

LOCKSMITH: Practical static race detection for C

ACM transactions on programming languages and systems, 2011-01, Vol.33 (1)

2011

Volltextzugriff (PDF)

Systematic Literature Reviews in Engineering Education and Other Developing Interdisciplinary Fields

Journal of engineering education (Washington, D.C.), 2014-01, Vol.103 (1), p.45-76

2014

Volltextzugriff (PDF)

Ring‐Opening Metathesis Polymerization in Aqueous Media Using a Macroinitiator Approach

Angewandte Chemie International Edition, 2018-08, Vol.57 (33), p.10672-10676

International ed. in English, 2018

Volltextzugriff (PDF)

Phylogenetics of a Fungal Invasion: Origins and Widespread Dispersal of White-Nose Syndrome

mBio, 2017-12, Vol.8 (6), p.e01941-17

2017

Volltextzugriff (PDF)

Neural Gene Expression Profiles and Androgen Levels Underlie Alternative Reproductive Tactics in the Ocellated Wrasse, Symphodus ocellatus

Ethology, 2015-02, Vol.121 (2), p.152-167

2015

Volltextzugriff (PDF)

Disease alters macroecological patterns of North American bats

Global ecology and biogeography, 2015-07, Vol.24 (7), p.741-749

2015

Volltextzugriff (PDF)

H2S‑Releasing Polymer Micelles for Studying Selective Cell Toxicity

Molecular pharmaceutics, 2017-04, Vol.14 (4), p.1300-1306

2017

Volltextzugriff (PDF)

Extreme sensitivity to ultraviolet light in the fungal pathogen causing white-nose syndrome of bats

Nature communications, 2018-01, Vol.9 (1), p.35-35, Article 35

2018

Volltextzugriff (PDF)

Host and pathogen ecology drive the seasonal dynamics of a fungal disease, white-nose syndrome

Proceedings of the Royal Society. B, Biological sciences, 2015-01, Vol.282 (1799), p.20142335-20142335

2015

Volltextzugriff (PDF)

Rapid evolution of decreased host susceptibility drives a stable relationship between ultrasmall parasite TM7x and its bacterial host

Proceedings of the National Academy of Sciences - PNAS, 2018-11, Vol.115 (48), p.12277-12282

2018

Volltextzugriff (PDF)

Graphene Oxide as a Promising Hole Injection Layer for MoS2‑Based Electronic Devices

ACS nano, 2014-11, Vol.8 (11), p.11432-11439

2014

Volltextzugriff (PDF)

Therapeutic Delivery of H2S via COS: Small Molecule and Polymeric Donors with Benign Byproducts

Journal of the American Chemical Society, 2016-10, Vol.138 (41), p.13477-13480

2016

Volltextzugriff (PDF)

Drivers of variation in species impacts for a multi-host fungal disease of bats

Philosophical transactions of the Royal Society of London. Series B. Biological sciences, 2016-12, Vol.371 (1709)

2016

Volltextzugriff (PDF)

1 – 25 von 400

Suche als RSS-Feed

Aktive Filter

KollektionIngenta

KollektionOxford Journals

KollektionRCN full-text journals@Ovid

ThemaMale

Nur zeigenGeprüft (Peer-Review)

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Mit Volltextzugriff
(379)

Publikationsform

Sprache

Englisch
(397)
Japanisch
(52)

Erscheinungsjahr

n.n

Thema

Science & Technology
(250)
Life Sciences & Biomedicine
(165)
Humans
(78)
Animals
(54)
Physical Sciences
(52)
Science & Technology - Other Topics
(32)
Technology
(31)
Chemistry
(26)
Ecology
(24)
Microbiology
(24)
Multidisciplinary Sciences
(23)
Environmental Sciences & Ecology
(21)
Social Sciences
(21)
Biochemistry & Molecular Biology
(20)
Biological And Medical Sciences
(20)
White-Nose Syndrome
(19)
Pseudogymnoascus Destructans
(18)
Mice
(17)
Fundamental And Applied Biological Sciences. Psychology
(16)
Molecular Sequence Data
(16)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(4)

Menü

Weitere Dienste

Einstellungen

C-strider: type-aware heap traversal for C

LOCKSMITH: Practical Static Race Detection for C

An empirical assessment of machine learning approaches for triaging reports of static analysis tools

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

Checking Type Safety of Foreign Function Calls

A Toolkit for Automated Testing of Dafny

Flow-insensitive type qualifiers

Serializing C intermediate representations for efficient and portable parsing

SimTyper: sound type inference for Ruby using type equality prediction

Parallel Detection of Violations of Color Constancy

Absynthe: Abstract Interpretation-Guided Synthesis

Program synthesis with algebraic library specifications

LOCKSMITH: Practical static race detection for C

Systematic Literature Reviews in Engineering Education and Other Developing Interdisciplinary Fields

Ring‐Opening Metathesis Polymerization in Aqueous Media Using a Macroinitiator Approach

Phylogenetics of a Fungal Invasion: Origins and Widespread Dispersal of White-Nose Syndrome

Neural Gene Expression Profiles and Androgen Levels Underlie Alternative Reproductive Tactics in the Ocellated Wrasse, Symphodus ocellatus

Disease alters macroecological patterns of North American bats

H2S‑Releasing Polymer Micelles for Studying Selective Cell Toxicity

Extreme sensitivity to ultraviolet light in the fungal pathogen causing white-nose syndrome of bats

Host and pathogen ecology drive the seasonal dynamics of a fungal disease, white-nose syndrome

Rapid evolution of decreased host susceptibility drives a stable relationship between ultrasmall parasite TM7x and its bacterial host

Graphene Oxide as a Promising Hole Injection Layer for MoS2‑Based Electronic Devices

Therapeutic Delivery of H2S via COS: Small Molecule and Polymeric Donors with Benign Byproducts

Drivers of variation in species impacts for a multi-host fungal disease of bats

Aktive Filter

Suchergebnisse filtern