Die Phylogenese der Gattung Fagus L. als Modellfall der Angiospermenentwicklung der N-hemisphäre
Die Phylogenese der Gattung Fagus L. als Modellfall der Angiospermenentwicklung der N-hemisphäre
David Kay Ferguson
(ORCID: )
Wissenschaftsdisziplinen
Biologie (50%); Geowissenschaften (50%)
Keywords
-
Evolution der Buche Artbildung und Artabgrenzung Mikromorphologie Fossile Vergesellschaftungen Känozoikum,
Artbildung und Artab,
Evolution der Buche,
Fossile Vergesellsch,
Känozoikum,
Mikromorphologie
Forschungsstätte(n)
- Universität Wien - 100%
Nationale Projektbeteiligte
- Reinhard Zetter, Universität Wien , assoziierte:r Forschungspartner:in
Research Output
- 491 Zitationen
- 21 Publikationen
Publikationen
-
2018
Titel An Algebraic Framework for Runtime Verification DOI 10.1109/tcad.2018.2858460 Typ Journal Article Autor Jakšic S Journal IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Seiten 2233-2243 Link Publikation -
2018
Titel Quantitative Regular Expressions for Arrhythmia Detection DOI 10.1109/tcbb.2018.2885274 Typ Journal Article Autor Abbas H Journal IEEE/ACM Transactions on Computational Biology and Bioinformatics Seiten 1586-1597 Link Publikation -
2018
Titel Parallel reachability analysis of hybrid systems in XSpeed DOI 10.1007/s10009-018-0485-6 Typ Journal Article Autor Gurung A Journal International Journal on Software Tools for Technology Transfer Seiten 401-423 -
2018
Titel Quantitative monitoring of STL with edit distance DOI 10.1007/s10703-018-0319-x Typ Journal Article Autor Jakšic S Journal Formal Methods in System Design Seiten 83-112 Link Publikation -
2018
Titel OpenUAV: A UAV Testbed for the CPS and Robotics Community DOI 10.1109/iccps.2018.00021 Typ Conference Proceeding Abstract Autor Schmittle M Seiten 130-139 -
2018
Titel Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO DOI 10.1109/iccps.2018.00050 Typ Conference Proceeding Abstract Autor Lukina A Seiten 353-354 -
2018
Titel Resilient Control and Safety for Cyber-Physical Systems DOI 10.1109/mt-cps.2018.00015 Typ Conference Proceeding Abstract Autor Lukina A Seiten 16-17 -
1999
Titel The taxonomy of Fagus in western Eurasia, 1: Fagus sylvatica subsp. orientalis (= F. orientalis) DOI 10.1002/fedr.19991100305 Typ Journal Article Autor Denk T Journal Feddes Repertorium Seiten 177-200 -
1999
Titel The taxonomy of Fagus in western Eurasia. 2: Fagus sylvatica subsp. sylvatica DOI 10.1002/fedr.19991100510 Typ Journal Article Autor Denk T Journal Feddes Repertorium Seiten 381-412 -
1998
Titel The beech (Fagus L.) in western Eurasia–an actualistic approach DOI 10.1002/fedr.19981090515 Typ Journal Article Autor Denk T Journal Feddes Repertorium Seiten 435-463 -
2016
Titel Quantitative Monitoring of STL with Edit Distance DOI 10.1007/978-3-319-46982-9_13 Typ Book Chapter Autor Jakšic S Verlag Springer Nature Seiten 201-218 -
2016
Titel Temporal Logic as Filtering DOI 10.1145/2883817.2883839 Typ Conference Proceeding Abstract Autor Rodionova A Seiten 11-20 Link Publikation -
2017
Titel Quantitative Regular Expressions for Arrhythmia Detection Algorithms DOI 10.1007/978-3-319-67471-1_2 Typ Book Chapter Autor Abbas H Verlag Springer Nature Seiten 23-39 -
2017
Titel Attacking the V: On the Resiliency of Adaptive-Horizon MPC DOI 10.1007/978-3-319-68167-2_29 Typ Book Chapter Autor Tiwari A Verlag Springer Nature Seiten 446-462 -
2017
Titel Runtime Monitoring with Recovery of the SENT Communication Protocol DOI 10.1007/978-3-319-63387-9_17 Typ Book Chapter Autor Selyunin K Verlag Springer Nature Seiten 336-355 -
2017
Titel ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans DOI 10.1007/978-3-662-54580-5_17 Typ Book Chapter Autor Lukina A Verlag Springer Nature Seiten 286-302 -
2016
Titel Feedback Control for Statistical Model Checking of Cyber-Physical Systems DOI 10.1007/978-3-319-47166-2_4 Typ Book Chapter Autor Kalajdzic K Verlag Springer Nature Seiten 46-61 -
2016
Titel Discrete Abstraction of Multiaffine Systems DOI 10.1007/978-3-319-47151-8_9 Typ Book Chapter Autor Kong H Verlag Springer Nature Seiten 128-144 -
2015
Titel From Signal Temporal Logic to FPGA Monitors DOI 10.1109/memcod.2015.7340489 Typ Conference Proceeding Abstract Autor Jaksic S Seiten 218-227 -
2015
Titel XSpeed: Accelerating Reachability Analysis on Multi-core Processors DOI 10.1007/978-3-319-26287-1_1 Typ Book Chapter Autor Ray R Verlag Springer Nature Seiten 3-18 -
2015
Titel Abstraction-Based Parameter Synthesis for Multiaffine Systems DOI 10.1007/978-3-319-26287-1_2 Typ Book Chapter Autor Bogomolov S Verlag Springer Nature Seiten 19-35