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