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
Park, Daejun
11
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
Language-Parametric Compiler Validation with Application to..:
Kasampalis, Theodoros
;
Park, Daejun
;
Lin, Zhengyao
..
doi:10.5281/zenodo.4321676. , 2020
Link:
https://zenodo.org/recor..
?
2
Language-Parametric Compiler Validation with Application to..:
Kasampalis, Theodoros
;
Park, Daejun
;
Lin, Zhengyao
..
doi:10.5281/zenodo.4321676. , 2020
Link:
https://zenodo.org/recor..
?
3
Invariant Synthesis for Incomplete Verification Engines:
Neider, Daniel
;
Garg, Pranav
;
Madhusudan, P
..
http://arxiv.org/abs/1712.05581. , 2017
Link:
http://arxiv.org/abs/171..
?
4
Stackable Transactional File System Using Kernel-Level WAL:
Daejun Park
;
Dongkun Shin
https://ieeexplore.ieee.org/document/9919192/. , 2022
Link:
https://doi.org/10.1109/..
?
5
Interactive Proofs for Rounding Arithmetic:
Shuo Chen
;
Jung Hee Cheon
;
Dongwoo Kim
.
https://ieeexplore.ieee.org/document/9954370/. , 2022
Link:
https://doi.org/10.1109/..
?
6
sdasgup3/PLDI19-ArtifactEvaluation:
Sandeep Dasgupta
;
Daejun Park
https://github.com/sdasgup3/PLDI19-ArtifactEvaluation/tree/v1.1. , 2020
Link:
https://zenodo.org/recor..
?
7
sdasgup3/PLDI19-ArtifactEvaluation: X86-64-semantics:
Sandeep Dasgupta
;
Daejun Park
https://github.com/sdasgup3/PLDI19-ArtifactEvaluation/tree/v1.0. , 2019
Link:
https://zenodo.org/recor..
?
8
Quadratic Taylor Approximation Demosaicking System Using Po..:
Daejun Park
;
Jechang Jeong
https://ieeexplore.ieee.org/document/8482106/. , 2018
Link:
https://doi.org/10.1109/..
?
9
Decision-Based Demosaicking Algorithm Using Bayesian Theore:
Daejun Park
;
Jechang Jeong
https://ieeexplore.ieee.org/document/8452901/. , 2018
Link:
https://doi.org/10.1109/..
?
10
Weighted Sum-Based Color Filter Array Interpolation Using T..:
Daejun Park
;
Jechang Jeong
https://ieeexplore.ieee.org/document/8452902/. , 2018
Link:
https://doi.org/10.1109/..
?
11
Bioavailability of nanoemulsified conjugated linoleic acid ..:
Kim, Dongyeop
;
Park, Jin-Hong
;
Kweon, Dae-Jun
.
info:eu-repo/semantics/altIdentifier/doi/10.2147/IJN.S38430. , 2013
Link:
https://www.dovepress.co..
1-11