Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Fiala, Jonáš
23
Ergebnisse:
Personensuche
X
Format
Online (23)
Medientypen
Artikel (Online) (6)
Buchkapitel (Online) (2)
OpenAccess-Volltexte (15)
Sprachen
englisch (14)
mehr...
portugiesisch (2)
weniger...
Sortierung: Relevanz
Sortierung: Jahr
?
1
The Prusti Project: Formal Verification for Rust:
, In:
Lecture Notes in Computer Science; NASA Formal Methods
,
Astrauskas, Vytautas
;
Bílý, Aurel
;
Fiala, Jonáš
... - p. 88-108 , 2022
Link:
https://doi.org/10.1007/..
?
2
Metodika pěstování asijských hrušní a slivoní ; Methods of ..:
Nečas, Tomáš
;
Ondrášek, Ivo
;
Zezulová, Eliška
...
https://repozitar.mendelu.cz/xmlui/handle/20.500.12698/1870. , 2023
Link:
https://repozitar.mendel..
?
3
Leveraging Rust Types for Program Synthesis:
Fiala, Jonáš
;
Itzhaky, Shachar
;
Müller, Peter
...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3591278. , 2023
Link:
https://hdl.handle.net/2..
?
4
Leveraging Rust Types for Program Synthesis:
Fiala, Jonáš
;
Itzhaky, Shachar
;
Müller, Peter
..
doi:10.1145/3591278. , 2023
Link:
https://zenodo.org/recor..
?
5
The Prusti Project:Formal Verification for Rust:
Astrauskas, Vytautas
;
Bílý, Aurel
;
Fiala, Jonáš
...
https://orbit.dtu.dk/en/publications/5dd8818e-c952-4c09-93b2-ea030240954a. , 2022
Link:
https://orbit.dtu.dk/en/..
?
6
Systém pro zachytávání EPG informací ve vysílání digitální ..:
Fiala, Jonáš
OSD002. , 2009
Link:
http://hdl.handle.net/10..
?
7
SIFamide Translates Hunger Signals into Appetitive and Feed..:
Martelli, Carlotta
;
Pech, Ulrike
;
Kobbenbring, Simon
...
Cell Reports. 20 (2017) 2 - p. 464-478 , 2017
Link:
https://doi.org/10.1016/..
?
8
Differential Associative Training Enhances Olfactory Acuity..:
Barth, Jonas
;
Dipt, Shubham
;
Pech, Ulrike
...
The Journal of Neuroscience. 34 (2014) 5 - p. 1819-1837 , 2014
Link:
https://doi.org/10.1523/..
?
9
Eye Movements in Ephedrone-Induced Parkinsonism:
Bonnet, Cecilia
;
Rusz, Jan
;
Megrelishvili, Marika
...
PLoS ONE. 9 (2014) 8 - p. e104784 , 2014
Link:
https://doi.org/10.1371/..
?
10
Mushroom body miscellanea: transgenic Drosophila strains ex..:
Pech, Ulrike
;
Dipt, Shubham
;
Barth, Jonas
...
Frontiers in Neural Circuits. 7 (2013) - p. , 2013
Link:
https://doi.org/10.3389/..
?
11
Robot gaming and learning using augmented reality:
, In:
ACM SIGGRAPH 2007 posters
,
Kostandov, Mykhaylo
;
Schwertfeger, Jonas
;
Jenkins, Odest Chadwicke
... - p. 5-es , 2007
Link:
https://dl.acm.org/doi/1..
?
12
Electronic Cigarettes as an Introductory Tobacco Product Am..:
Hines, Jonas Z.
;
Fiala, Steven C.
;
Hedberg, Katrina
Morbidity and Mortality Weekly Report. 66 (2017) 23 - p. 604-606 , 2017
Link:
https://www.jstor.org/st..
?
13
Kidins220 and Aiolos promote thymic iNKT cell development b..:
Herr, Laurenz A
;
Fiala, Gina J
;
Sagar, Sagar
...
https://freidok.uni-freiburg.de/data/246335. , 2024
Link:
https://freidok.uni-frei..
?
14
Mass Reproducibility and Replicability: A New Hope:
Brodeur, Abel
;
Mikola, Derek
;
Cook, Nikolai
...
Series: I4R Discussion Paper Series. , 2024
Link:
https://hdl.handle.net/1..
?
15
On the trajectory of discrimination:A meta-analysis and for..:
Schaerer, Michael
;
Plessis, Christilene Du
;
Nguyen, My Hoang Bao
...
https://researchportal.bath.ac.uk/en/publications/c7667382-3c39-4164-b183-0a9456e6e5e1. , 2023
Link:
https://researchportal.b..
1-15