Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Brauner, Paul
57  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

On the ecology of Acinetobacter baumannii - jet stream ride..:

Wilharm, Gottfried ; Skiebe, Evelyn ; Lopinska, Andzelina...
bioRxiv -- 2766415-6 -- https://www.biorxiv.org -- http://www.bibliothek.uni-regensburg.de/dbinfo/frontdoor.php?titel_id=12636.  , 2024
Link: https://doi.org/10.1101/..
 
?
2

Relatedness of wildlife and livestock avian isolates of the..:

Wilharm, Gottfried ; Skiebe, Evelyn ; Higgins, Paul G...
http://edoc.rki.de/oa/articles/rePumwJ65Qck6/PDF/29tBKCQdP9XEU.pdf.  , 2017
Link: http://edoc.rki.de/oa/ar..
 
?
3

Acumen : An Open-source Testbed for Cyber-Physical Systems ..:

Taha, Walid ; Duracz, Adam ; Zeng, Yingfu...
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 1867-8211.  , 2016
Link: http://urn.kb.se/resolve..
 
?
4

Modeling Basic Aspects of Cyber-Physical Systems, Part II:

Zeng, Yingfu ; Rose, Chad ; Brauner, Paul...
http://arxiv.org/abs/1408.1110.  , 2014
Link: http://arxiv.org/abs/140..
 
?
5

Defense Mechanisms of Hepatocytes Against Burkholderia pseu..:

Bast, Antje ; Schmidt, Imke H. E ; Brauner, Paul...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3263921.  , 2012
Link: http://www.ncbi.nlm.nih...
 
?
6

Inductive Proof Search Modulo:

Nahon, Fabrice ; Kirchner, Claude ; Kirchner, Hélène.
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10472-009-9154-5.  , 2009
Link: https://inria.hal.scienc..
 
?
7

Inductive Proof Search Modulo:

Nahon, Fabrice ; Kirchner, Claude ; Kirchner, Hélène.
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10472-009-9154-5.  , 2009
Link: https://hal.inria.fr/inr..
 
?
8

Tom Manual:

Bach, Jean-Christophe ; Balland, Emilie ; Brauner, Paul...
inria-00121885.  , 2009
Link: https://inria.hal.scienc..
 
?
9

Tom Manual:

Bach, Jean-Christophe ; Balland, Emilie ; Brauner, Paul...
inria-00121885.  , 2009
Link: https://hal.inria.fr/inr..
 
?
10

A semantic normalization proof for a system with recursors:

Allali, Lisa ; Brauner, Paul
inria-00211877.  , 2008
Link: https://inria.hal.scienc..
 
?
11

A semantic normalization proof for a system with recursors:

Allali, Lisa ; Brauner, Paul
inria-00211877.  , 2008
Link: https://inria.hal.scienc..
 
?
12

A semantic normalization proof for a system with recursors:

Allali, Lisa ; Brauner, Paul
inria-00211877.  , 2008
Link: https://hal.inria.fr/inr..
 
?
13

A Semantic Normalization Proof for Inductive Types:

Allali, Lisa ; Brauner, Paul
inria-00280410.  , 2008
Link: https://hal.inria.fr/inr..
 
?
14

A Semantic Normalization Proof for Inductive Types:

Allali, Lisa ; Brauner, Paul
inria-00280410.  , 2008
Link: https://inria.hal.scienc..
 
?
15

A Semantic Normalization Proof for Inductive Types:

Allali, Lisa ; Brauner, Paul
inria-00280410.  , 2008
Link: https://inria.hal.scienc..
 
1-15