default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Ursula Martin"
download as .bib file
@article{DBLP:journals/mia/HollandLBRFPSSSLRM24,
author = {Robbie Holland and
Oliver Leingang and
Hrvoje Bogunovic and
Sophie Riedl and
Lars Fritsche and
Toby Prevost and
Hendrik P. N. Scholl and
Ursula Schmidt{-}Erfurth and
Sobha Sivaprasad and
Andrew J. Lotery and
Daniel Rueckert and
Martin J. Menten},
title = {Metadata-enhanced contrastive learning from retinal optical coherence
tomography images},
journal = {Medical Image Anal.},
volume = {97},
pages = {103296},
year = {2024},
url = {https://doi.org/10.1016/j.media.2024.103296},
doi = {10.1016/J.MEDIA.2024.103296},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mia/HollandLBRFPSSSLRM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mia/SeebockOMMSB24,
author = {Philipp Seeb{\"{o}}ck and
Jos{\'{e}} Ignacio Orlando and
Martin Michl and
Julia Mai and
Ursula Schmidt{-}Erfurth and
Hrvoje Bogunovic},
title = {Anomaly guided segmentation: Introducing semantic context for lesion
segmentation in retinal {OCT} using weak context supervision from
anomaly detection},
journal = {Medical Image Anal.},
volume = {93},
pages = {103104},
year = {2024},
url = {https://doi.org/10.1016/j.media.2024.103104},
doi = {10.1016/J.MEDIA.2024.103104},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mia/SeebockOMMSB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/ShenMBSSSLRHH24,
author = {Chengzhi Shen and
Martin J. Menten and
Hrvoje Bogunovic and
Ursula Schmidt{-}Erfurth and
Hendrik P. N. Scholl and
Sobha Sivaprasad and
Andrew J. Lotery and
Daniel Rueckert and
Paul Hager and
Robbie Holland},
editor = {Marius George Linguraru and
Qi Dou and
Aasa Feragen and
Stamatia Giannarou and
Ben Glocker and
Karim Lekadir and
Julia A. Schnabel},
title = {Spatiotemporal Representation Learning for Short and Long Medical
Image Time Series},
booktitle = {Medical Image Computing and Computer Assisted Intervention - {MICCAI}
2024 - 27th International Conference, Marrakesh, Morocco, October
6-10, 2024, Proceedings, Part {XI}},
series = {Lecture Notes in Computer Science},
volume = {15011},
pages = {656--666},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-72120-5\_61},
doi = {10.1007/978-3-031-72120-5\_61},
timestamp = {Thu, 10 Oct 2024 10:51:35 +0200},
biburl = {https://dblp.org/rec/conf/miccai/ShenMBSSSLRHH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gmds/2024,
editor = {Rainer R{\"{o}}hrig and
Niels Grabe and
Ursula Hertha H{\"{u}}bner and
Klaus Jung and
Ulrich Sax and
Schmidt Carsten Oliver and
Martin Sedlmayr and
Antonia Zapf},
title = {German Medical Data Sciences 2024 - Health - Thinking, Researching
and Acting Together. Proceedings of the 69th Annual Meeting of the
German Association of Medical Informatics, Biometry, and Epidemiology
e.V. (gmds) 2024 in Dresden, Germany},
series = {Studies in Health Technology and Informatics},
volume = {317},
publisher = {{IOS} Press},
year = {2024},
url = {https://doi.org/10.3233/SHTI317},
doi = {10.3233/SHTI317},
isbn = {978-1-64368-536-6},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gmds/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-07513,
author = {Chengzhi Shen and
Martin J. Menten and
Hrvoje Bogunovic and
Ursula Schmidt{-}Erfurth and
Hendrik P. N. Scholl and
Sobha Sivaprasad and
Andrew J. Lotery and
Daniel Rueckert and
Paul Hager and
Robbie Holland},
title = {Spatiotemporal Representation Learning for Short and Long Medical
Image Time Series},
journal = {CoRR},
volume = {abs/2403.07513},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.07513},
doi = {10.48550/ARXIV.2403.07513},
eprinttype = {arXiv},
eprint = {2403.07513},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-07513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-09549,
author = {Robbie Holland and
Rebecca Kaye and
Ahmed M. Hagag and
Oliver Leingang and
Thomas R. P. Taylor and
Hrvoje Bogunovic and
Ursula Schmidt{-}Erfurth and
Hendrik P. N. Scholl and
Daniel Rueckert and
Andrew J. Lotery and
Sobha Sivaprasad and
Martin J. Menten},
title = {Deep-learning-based clustering of {OCT} images for biomarker discovery
in age-related macular degeneration (Pinnacle study report 4)},
journal = {CoRR},
volume = {abs/2405.09549},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.09549},
doi = {10.48550/ARXIV.2405.09549},
eprinttype = {arXiv},
eprint = {2405.09549},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-09549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-08410,
author = {Robbie Holland and
Thomas R. P. Taylor and
Christopher Holmes and
Sophie Riedl and
Julia Mai and
Maria Patsiamanidi and
Dimitra Mitsopoulou and
Paul Hager and
Philip M{\"{u}}ller and
Hendrik P. N. Scholl and
Hrvoje Bogunovic and
Ursula Schmidt{-}Erfurth and
Daniel Rueckert and
Sobha Sivaprasad and
Andrew J. Lotery and
Martin J. Menten},
title = {Specialist vision-language models for clinical ophthalmology},
journal = {CoRR},
volume = {abs/2407.08410},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.08410},
doi = {10.48550/ARXIV.2407.08410},
eprinttype = {arXiv},
eprint = {2407.08410},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-08410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmi/Bichel-FindlayK23,
author = {Jen Bichel{-}Findlay and
Sabine Koch and
John Mantas and
Shabbir Syed{-}Abdul and
Najeeb Al{-}Shorbaji and
Elske Ammenwerth and
Anal{\'{\i}}a Baum and
Elizabeth M. Borycki and
George Demiris and
Arie Hasman and
William R. Hersh and
Evelyn J. S. Hovenga and
Ursula H{\"{u}}bner and
Elaine S. Huesing and
Andr{\'{e}} Kushniruk and
Kye Hwa Lee and
Christoph U. Lehmann and
Svein{-}Ivar Lillehaug and
Heimar F. Marin and
Michael Marschollek and
Fernando Mart{\'{\i}}n{-}S{\'{a}}nchez and
Mark Merolli and
Aurore Nishimwe and
Kaija Saranto and
Danielle Sent and
Aviv Shachak and
Jai Ganesh Udayasankaran and
Martin Chieng Were and
Graham Wright},
title = {Recommendations of the International Medical Informatics Association
{(IMIA)} on Education in Biomedical and Health Informatics: Second
Revision},
journal = {Int. J. Medical Informatics},
volume = {170},
pages = {104908},
year = {2023},
url = {https://doi.org/10.1016/j.ijmedinf.2022.104908},
doi = {10.1016/J.IJMEDINF.2022.104908},
timestamp = {Sat, 10 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmi/Bichel-FindlayK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/EisfelderAHRHBGDHBK23,
author = {Christina Eisfelder and
Sarah Asam and
Andreas Hirner and
Philipp Reiners and
Stefanie Holzwarth and
Martin Bachmann and
Ursula Gessner and
Andreas J. Dietz and
Juliane Huth and
Felix Bachofer and
Claudia Kuenzer},
title = {Seasonal Vegetation Trends for Europe over 30 Years from a Novel Normalised
Difference Vegetation Index {(NDVI)} Time-Series - The {TIMELINE}
{NDVI} Product},
journal = {Remote. Sens.},
volume = {15},
number = {14},
pages = {3616},
year = {2023},
url = {https://doi.org/10.3390/rs15143616},
doi = {10.3390/RS15143616},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/EisfelderAHRHBGDHBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/GaoMVMKPWB23,
author = {Grace Gao and
Christie L. Martin and
Camille Vaughan and
Alayne Markland and
Ursula Kelly and
Neha Pathak and
Joseph Wallace and
Zachary Burningham},
editor = {Jen Bichel{-}Findlay and
Paula Otero and
Philip Scott and
Elaine Huesing},
title = {End Users' Perceived Engagement with Clinical Dashboards: {A} Rapid
Review},
booktitle = {{MEDINFO} 2023 - The Future Is Accessible - Proceedings of the 19th
World Congress on Medical and Health Informatics, Sydney, NSW, Australia,
8-12 July 2023},
series = {Studies in Health Technology and Informatics},
volume = {310},
pages = {1091--1095},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/SHTI231133},
doi = {10.3233/SHTI231133},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medinfo/GaoMVMKPWB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/HollandLHAKRPEBSSSLRM23,
author = {Robbie Holland and
Oliver Leingang and
Christopher Holmes and
Philipp Anders and
Rebecca Kaye and
Sophie Riedl and
Johannes C. Paetzold and
Ivan Ezhov and
Hrvoje Bogunovic and
Ursula Schmidt{-}Erfurth and
Hendrik P. N. Scholl and
Sobha Sivaprasad and
Andrew J. Lotery and
Daniel Rueckert and
Martin J. Menten},
editor = {Hayit Greenspan and
Anant Madabhushi and
Parvin Mousavi and
Septimiu E. Salcudean and
James Duncan and
Tanveer F. Syeda{-}Mahmood and
Russell H. Taylor},
title = {Clustering Disease Trajectories in Contrastive Feature Space for Biomarker
Proposal in Age-Related Macular Degeneration},
booktitle = {Medical Image Computing and Computer Assisted Intervention - {MICCAI}
2023 - 26th International Conference, Vancouver, BC, Canada, October
8-12, 2023, Proceedings, Part {VII}},
series = {Lecture Notes in Computer Science},
volume = {14226},
pages = {724--734},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43990-2\_68},
doi = {10.1007/978-3-031-43990-2\_68},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/HollandLHAKRPEBSSSLRM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gmds/2023,
editor = {Rainer R{\"{o}}hrig and
Niels Grabe and
Martin Haag and
Ursula H{\"{u}}bner and
Ulrich Sax and
Carsten Oliver Schmidt and
Martin Sedlmayr and
Antonia Zapf},
title = {German Medical Data Sciences 2023 - Science. Close to People. - Proceedings
of the 68th Annual Meeting of the German Association of Medical Informatics,
Biometry, and Epidemiology e.V. (gmds) 2023 in Heilbronn, Germany},
series = {Studies in Health Technology and Informatics},
volume = {307},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/SHTI307},
doi = {10.3233/SHTI307},
isbn = {978-1-64368-428-4},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gmds/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-04525,
author = {Robbie Holland and
Oliver Leingang and
Christopher Holmes and
Philipp Anders and
Johannes C. Paetzold and
Rebecca Kaye and
Sophie Riedl and
Hrvoje Bogunovic and
Ursula Schmidt{-}Erfurth and
Lars Fritsche and
Hendrik P. N. Scholl and
Sobha Sivaprasad and
Andrew J. Lotery and
Daniel Rueckert and
Martin J. Menten},
title = {Clustering disease trajectories in contrastive feature space for biomarker
discovery in age-related macular degeneration},
journal = {CoRR},
volume = {abs/2301.04525},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.04525},
doi = {10.48550/ARXIV.2301.04525},
eprinttype = {arXiv},
eprint = {2301.04525},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-04525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/AsamGGWKK22,
author = {Sarah Asam and
Ursula Gessner and
Roger Almengor Gonz{\'{a}}lez and
Martina Wenzl and
Jennifer Kriese and
Claudia Kuenzer},
title = {Mapping Crop Types of Germany by Combining Temporal Statistical Metrics
of Sentinel-1 and Sentinel-2 Time Series with {LPIS} Data},
journal = {Remote. Sens.},
volume = {14},
number = {13},
pages = {2981},
year = {2022},
url = {https://doi.org/10.3390/rs14132981},
doi = {10.3390/RS14132981},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/AsamGGWKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/RohrerMZS22,
author = {Ursula Rohrer and
Martin Manninger and
Andreas Zirlik and
Daniel Scherr},
title = {Multiparameter Monitoring with a Wearable Cardioverter Defibrillator},
journal = {Sensors},
volume = {22},
number = {1},
pages = {22},
year = {2022},
url = {https://doi.org/10.3390/s22010022},
doi = {10.3390/S22010022},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/RohrerMZS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ThierfelderPSHK22,
author = {Annika Thierfelder and
Jonas Primbs and
Bj{\"{o}}rn Severitt and
Carolin S. Hohnecker and
Jan K{\"{u}}hnhausen and
Annika K. Alt and
Anja Pascher and
Ursula W{\"{o}}rz and
Helene Passon and
Jens Seemann and
Christian Ernst and
Heinrich Lautenbacher and
Martin Holderried and
Enkelejda Kasneci and
Martin A. Giese and
Andreas Bulling and
Michael Menth and
Gottfried M. Barth and
Winfried Ilg and
Karsten Hollmann and
Tobias J. Renner},
title = {Multimodal Sensor-Based Identification of Stress and Compulsive Actions
in Children with Obsessive-Compulsive Disorder for Telemedical Treatment},
booktitle = {44th Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2022, Glasgow, Scotland,
United Kingdom, July 11-15, 2022},
pages = {2976--2982},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/EMBC48229.2022.9871899},
doi = {10.1109/EMBC48229.2022.9871899},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/ThierfelderPSHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gmds/PrzysuchaPBSH22,
author = {Mareike Przysucha and
Lara Peters and
Andreas B{\"{u}}scher and
Martin Schnellhammer and
Ursula H{\"{u}}bner},
editor = {Rainer R{\"{o}}hrig and
Niels Grabe and
Verena S. Hoffmann and
Ursula H{\"{u}}bner and
Jochem K{\"{o}}nig and
Ulrich Sax and
Bj{\"{o}}rn Schreiweis and
Martin Sedlmayr},
title = {What Went Wrong in eMedCare? Formative Evaluation of an {IT} Project
in Primary Care in Two Rural Districts},
booktitle = {German Medical Data Sciences 2022 - Future Medicine: More Precise,
More Integrative, More Sustainable! - Proceedings of the Joint Conference
of the 67th Annual Meeting of the German Association of Medical Informatics,
Biometry, and Epidemiology e.V. (gmds) and the 14th Annual Meeting
of the {TMF} - Technology, Methods, and Infrastructure for Networked
Medical Research e.V. 2022 online in Kiel, Germany},
series = {Studies in Health Technology and Informatics},
volume = {296},
pages = {81--89},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/SHTI220807},
doi = {10.3233/SHTI220807},
timestamp = {Fri, 11 Nov 2022 13:03:23 +0100},
biburl = {https://dblp.org/rec/conf/gmds/PrzysuchaPBSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/FischerNS22,
author = {Thomas Fischer and
Ursula Niederl{\"{a}}nder and
Martin Stabauer},
title = {Digital Badges in Higher Education: The Perspective of Employers in
Upper Austria},
booktitle = {20th International Conference on Information Technology Based Higher
Education and Training, {ITHET} 2022, Antalya, Turkey, November 7-9,
2022},
pages = {1--9},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITHET56107.2022.10031743},
doi = {10.1109/ITHET56107.2022.10031743},
timestamp = {Wed, 15 Feb 2023 22:08:06 +0100},
biburl = {https://dblp.org/rec/conf/ithet/FischerNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micad/BregerGGSE22,
author = {Anna Breger and
Felix Goldbach and
Bianca S. Gerendas and
Ursula Schmidt{-}Erfurth and
Martin Ehler},
editor = {Karen Drukker and
Khan M. Iftekharuddin},
title = {Blood vessel segmentation in en-face {OCTA} images: a frequency based
method},
booktitle = {Medical Imaging 2022: Computer-Aided Diagnosis, San Diego, CA, USA,
February 20-24, 2022 / online, March 21-27, 2022},
series = {{SPIE} Proceedings},
volume = {12033},
publisher = {{SPIE}},
year = {2022},
url = {https://doi.org/10.1117/12.2611819},
doi = {10.1117/12.2611819},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micad/BregerGGSE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gmds/2022,
editor = {Rainer R{\"{o}}hrig and
Niels Grabe and
Verena S. Hoffmann and
Ursula H{\"{u}}bner and
Jochem K{\"{o}}nig and
Ulrich Sax and
Bj{\"{o}}rn Schreiweis and
Martin Sedlmayr},
title = {German Medical Data Sciences 2022 - Future Medicine: More Precise,
More Integrative, More Sustainable! - Proceedings of the Joint Conference
of the 67th Annual Meeting of the German Association of Medical Informatics,
Biometry, and Epidemiology e.V. (gmds) and the 14th Annual Meeting
of the {TMF} - Technology, Methods, and Infrastructure for Networked
Medical Research e.V. 2022 online in Kiel, Germany},
series = {Studies in Health Technology and Informatics},
volume = {296},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/SHTI296},
doi = {10.3233/SHTI296},
isbn = {978-1-64368-302-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gmds/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-02529,
author = {Robbie Holland and
Oliver Leingang and
Hrvoje Bogunovic and
Sophie Riedl and
Lars Fritsche and
Toby Prevost and
Hendrik P. N. Scholl and
Ursula Schmidt{-}Erfurth and
Sobha Sivaprasad and
Andrew J. Lotery and
Daniel Rueckert and
Martin J. Menten},
title = {Metadata-enhanced contrastive learning from retinal optical coherence
tomography images},
journal = {CoRR},
volume = {abs/2208.02529},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.02529},
doi = {10.48550/ARXIV.2208.02529},
eprinttype = {arXiv},
eprint = {2208.02529},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mia/GilletteGPKRRGP21,
author = {Karli Gillette and
Matthias A. F. Gsell and
Anton J. Prassl and
Elias Karabelas and
Ursula Reiter and
Gert Reiter and
Thomas Grandits and
Christian Payer and
Darko Stern and
Martin Urschler and
Jason D. Bayer and
Christoph M. Augustin and
Aurel Neic and
Thomas Pock and
Edward J. Vigmond and
Gernot Plank},
title = {A Framework for the generation of digital twins of cardiac electrophysiology
from clinical 12-leads ECGs},
journal = {Medical Image Anal.},
volume = {71},
pages = {102080},
year = {2021},
url = {https://doi.org/10.1016/j.media.2021.102080},
doi = {10.1016/J.MEDIA.2021.102080},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mia/GilletteGPKRRGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/BatemanMOMAAABB21,
author = {Alex Bateman and
Maria Jesus Martin and
Sandra E. Orchard and
Michele Magrane and
Rahat Agivetova and
Shadab Ahmad and
Emanuele Alpi and
Emily H. Bowler{-}Barnett and
Ramona Britto and
Borisas Bursteinas and
Hema Bye{-}A{-}Jee and
Ray Coetzee and
Austra Cukura and
Alan W. Sousa da Silva and
Paul Denny and
Tunca Dogan and
Thankgod Ebenezer and
Jun Fan and
Leyla Jael Garc{\'{\i}}a Castro and
Penelope Garmiri and
George E. Georghiou and
Leonardo Gonzales and
Emma Hatton{-}Ellis and
Abdulrahman Hussein and
Alexandr Ignatchenko and
Giuseppe Insana and
Rizwan Ishtiaq and
Petteri Jokinen and
Vishal Joshi and
Dushyanth Jyothi and
Antonia Lock and
Rodrigo Lopez and
Aurelien Luciani and
Jie Luo and
Yvonne Lussi and
Alistair MacDougall and
F{\'{a}}bio Madeira and
Mahdi Mahmoudy and
Manuela Menchi and
Alok Mishra and
Katie Moulang and
Andrew Nightingale and
Carla Susana Oliveira and
Sangya Pundir and
Guoying Qi and
Shriya Raj and
Daniel Rice and
Milagros Rodr{\'{\i}}guez{-}L{\'{o}}pez and
Rabie Saidi and
Joseph Sampson and
Tony Sawford and
Elena Speretta and
Edward Turner and
Nidhi Tyagi and
Preethi Vasudev and
Vladimir Volynkin and
Kate Warner and
Xavier Watkins and
Rossana Zaru and
Hermann Zellner and
Alan J. Bridge and
Sylvain Poux and
Nicole Redaschi and
Lucila Aimo and
Ghislaine Argoud{-}Puy and
Andrea H. Auchincloss and
Kristian B. Axelsen and
Parit Bansal and
Delphine Baratin and
Marie{-}Claude Blatter and
Jerven T. Bolleman and
Emmanuel Boutet and
Lionel Breuza and
Cristina Casals{-}Casas and
Edouard De Castro and
Kamal Chikh Echioukh and
Elisabeth Coudert and
B{\'{e}}atrice A. Cuche and
Mikael Doche and
Dolnide Dornevil and
Anne Estreicher and
Maria Livia Famiglietti and
Marc Feuermann and
Elisabeth Gasteiger and
Sebastien Gehant and
Vivienne Baillie Gerritsen and
Arnaud Gos and
Nadine Gruaz{-}Gumowski and
Ursula Hinz and
Chantal Hulo and
Nevila Hyka{-}Nouspikel and
Florence Jungo and
Guillaume Keller and
Arnaud Kerhornou and
Vicente Lara and
Philippe Le Mercier and
Damien Lieberherr and
Thierry Lombardot and
Xavier Martin and
Patrick Masson and
Anne Morgat and
Teresa Batista Neto and
Salvo Paesano and
Ivo Pedruzzi and
Sandrine Pilbout and
Lucille Pourcel and
Monica Pozzato and
Manuela Pruess and
Catherine Rivoire and
Christian J. A. Sigrist and
Karin Sonesson and
Andre Stutz and
Shyamala Sundaram and
Michael Tognolli and
Laure Verbregue and
Cathy H. Wu and
Cecilia N. Arighi and
Leslie Arminski and
Chuming Chen and
Yongxing Chen and
John S. Garavelli and
Hongzhan Huang and
Kati Laiho and
Peter B. McGarvey and
Darren A. Natale and
Karen Ross and
C. R. Vinayaka and
Qinghua Wang and
Yuqi Wang and
Lai{-}Su Yeh and
Jian Zhang and
Patrick Ruch and
Douglas Teodoro},
title = {UniProt: the universal protein knowledgebase in 2021},
journal = {Nucleic Acids Res.},
volume = {49},
number = {Database-Issue},
pages = {D480--D489},
year = {2021},
url = {https://doi.org/10.1093/nar/gkaa1100},
doi = {10.1093/NAR/GKAA1100},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/BatemanMOMAAABB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/LinhardtPHWTRSW21,
author = {David Linhardt and
Maximilian Pawloff and
Allan Hummer and
Michael Woletz and
Martin Tik and
Markus Ritter and
Ursula Schmidt{-}Erfurth and
Christian Windischberger},
title = {Combining stimulus types for improved coverage in population receptive
field mapping},
journal = {NeuroImage},
volume = {238},
pages = {118240},
year = {2021},
url = {https://doi.org/10.1016/j.neuroimage.2021.118240},
doi = {10.1016/J.NEUROIMAGE.2021.118240},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/LinhardtPHWTRSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/DechHAABBDEFGGH21,
author = {Stefan W. Dech and
Stefanie Holzwarth and
Sarah Asam and
Thorsten Andresen and
Martin Bachmann and
Martin B{\"{o}}ttcher and
Andreas J. Dietz and
Christina Eisfelder and
Corinne Frey and
Gerhard Gesell and
Ursula Gessner and
Andreas Hirner and
Matthias Hofmann and
Grit Kirches and
Doris Klein and
Igor Klein and
Tanja Kraus and
Detmar Krause and
Simon Plank and
Thomas Popp and
Sophie Reinermann and
Philipp Reiners and
Sebastian Roessler and
Thomas Ruppert and
Alexander Scherbachenko and
Ranjitha Vignesh and
Meinhard Wolfm{\"{u}}ller and
Hendrik Zwenzner and
Claudia Kuenzer},
title = {Potential and Challenges of Harmonizing 40 Years of {AVHRR} Data:
The {TIMELINE} Experience},
journal = {Remote. Sens.},
volume = {13},
number = {18},
pages = {3618},
year = {2021},
url = {https://doi.org/10.3390/rs13183618},
doi = {10.3390/RS13183618},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/DechHAABBDEFGGH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/Alonso-Gonzalez21,
author = {Alberto Alonso{-}Gonz{\'{a}}lez and
Nuria Gimeno Mart{\'{\i}}nez and
Irena Hajnsek and
Patricia Cifuentes Revenga and
Mar{\'{\i}}a Jos{\'{e}} Gonz{\'{a}}lez Bonilla and
Christo Grigorov and
Achim Roth and
Ursula Marschalk and
Nuria Casal V{\'{a}}zquez and
Juan Manuel Cuerda Mu{\~{n}}oz and
Marcos Garc{\'{\i}}a Rodr{\'{\i}}guez},
title = {Joint {PAZ} {\&} TanDEM-X Mission Interferometric Experiments:
Interoperability and Products},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {14},
pages = {6069--6082},
year = {2021},
url = {https://doi.org/10.1109/JSTARS.2021.3084401},
doi = {10.1109/JSTARS.2021.3084401},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/Alonso-Gonzalez21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/HuberOMTWWR21,
author = {Martin Huber and
Nicole Osterkamp and
Ursula Marschalk and
Raphael Tubbesing and
Anna Wendleder and
Birgit Wessel and
Achim Roth},
title = {Shaping the Global High-Resolution TanDEM-X Digital Elevation Model},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {14},
pages = {7198--7212},
year = {2021},
url = {https://doi.org/10.1109/JSTARS.2021.3095178},
doi = {10.1109/JSTARS.2021.3095178},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/HuberOMTWWR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/LoweMP21,
author = {Benedikt L{\"{o}}we and
Ursula Martin and
Alison Pease},
title = {Enabling mathematical cultures: introduction},
journal = {Synth.},
volume = {198},
number = {26},
pages = {6225--6231},
year = {2021},
url = {https://doi.org/10.1007/s11229-020-02858-y},
doi = {10.1007/S11229-020-02858-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/LoweMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdve/KirschnerK21,
author = {Ursula Kirschner and
Martin Kohler},
editor = {Yuhua Luo},
title = {Collaborative Filmmaking: Extending the Modes of Working Together
by a Digital Platform},
booktitle = {Cooperative Design, Visualization, and Engineering - 18th International
Conference, {CDVE} 2021, Virtual Event, October 24-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12983},
pages = {160--171},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88207-5\_16},
doi = {10.1007/978-3-030-88207-5\_16},
timestamp = {Mon, 04 Oct 2021 16:09:20 +0200},
biburl = {https://dblp.org/rec/conf/cdve/KirschnerK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gmds/RohrigHS21,
author = {Rainer R{\"{o}}hrig and
Ursula H{\"{u}}bner and
Martin Sedlmayr},
editor = {Rainer R{\"{o}}hrig and
Tim Bei{\ss}barth and
Jochem K{\"{o}}nig and
Claudia Ose and
G{\'{e}}raldine Rauch and
Ulrich Sax and
Bj{\"{o}}rn Schreiweis and
Martin Sedlmayr},
title = {German Medical Data Sciences in Studies in Health Technology and Informatics
- Reflections on the Fifth Volume},
booktitle = {German Medical Data Sciences 2021: Digital Medicine: Recognize - Understand
- Heal - Proceedings of the Joint Conference of the 66th Annual Meeting
of the German Association of Medical Informatics, Biometry, and Epidemiology
e.V. (gmds) and the 13th Annual Meeting of the {TMF} - Technology,
Methods, and Infrastructure for Networked Medical Research e.V. 2021
online in Kiel, Germany, September 26-30, 2021},
series = {Studies in Health Technology and Informatics},
volume = {283},
pages = {3--11},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/SHTI210534},
doi = {10.3233/SHTI210534},
timestamp = {Wed, 06 Oct 2021 14:13:01 +0200},
biburl = {https://dblp.org/rec/conf/gmds/RohrigHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/FischerKNS21,
author = {Thomas Fischer and
Stefan K{\"{u}}ll and
Ursula Niederl{\"{a}}nder and
Martin Stabauer},
editor = {Fiona Fui{-}Hoon Nah and
Keng Siau},
title = {The New Normal? Motivators for and Hindrances to Telework},
booktitle = {{HCI} in Business, Government and Organizations - 8th International
Conference, {HCIBGO} 2021, Held as Part of the 23rd {HCI} International
Conference, {HCII} 2021, Virtual Event, July 24-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12783},
pages = {327--346},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77750-0\_21},
doi = {10.1007/978-3-030-77750-0\_21},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/FischerKNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/Alonso-Gonzalez21,
author = {Alberto Alonso{-}Gonz{\'{a}}lez and
Irena Hajnsek and
Christo Grigorov and
Achim Roth and
Ursula Marschalk and
Nuria Gimeno Mart{\'{\i}}nez and
Patricia Cifuentes Revenga and
Mar{\'{\i}}a Jos{\'{e}} Gonz{\'{a}}lez Bonilla and
Nuria Casal V{\'{a}}zquez and
Juan Manuel Cuerda Mu{\~{n}}oz and
Marcos Grac{\'{\i}}a Rodr{\'{\i}}guez},
title = {Joint {PAZ} and Tandem-X Missions Interferometric Performance},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2021, Brussels, Belgium, July 11-16, 2021},
pages = {792--795},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IGARSS47720.2021.9554501},
doi = {10.1109/IGARSS47720.2021.9554501},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/Alonso-Gonzalez21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/HassanMBSLR21,
author = {Osama N. Hassan and
Martin J. Menten and
Hrvoje Bogunovic and
Ursula Schmidt{-}Erfurth and
Andrew J. Lotery and
Daniel Rueckert},
title = {Deep Learning Prediction Of Age And Sex From Optical Coherence Tomography},
booktitle = {18th {IEEE} International Symposium on Biomedical Imaging, {ISBI}
2021, Nice, France, April 13-16, 2021},
pages = {238--242},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISBI48211.2021.9434107},
doi = {10.1109/ISBI48211.2021.9434107},
timestamp = {Wed, 04 Oct 2023 17:01:25 +0200},
biburl = {https://dblp.org/rec/conf/isbi/HassanMBSLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06116,
author = {Anna Breger and
Felix Goldbach and
Bianca S. Gerendas and
Ursula Schmidt{-}Erfurth and
Martin Ehler},
title = {Blood vessel segmentation in en-face {OCTA} images: a frequency based
method},
journal = {CoRR},
volume = {abs/2109.06116},
year = {2021},
url = {https://arxiv.org/abs/2109.06116},
eprinttype = {arXiv},
eprint = {2109.06116},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcmi/RamosFWRRJMECSS20,
author = {Joao G. Ramos and
Alexander Fyrdahl and
Bj{\"{o}}rn Wieslander and
Gert Reiter and
Ursula Reiter and
Ning Jin and
Eva Maret and
Maria Eriksson and
Kenneth Caidahl and
Peder S{\"{o}}rensson and
Andreas Sigfridsson and
Martin Ugander},
title = {Cardiovascular magnetic resonance 4D flow analysis has a higher diagnostic
yield than Doppler echocardiography for detecting increased pulmonary
artery pressure},
journal = {{BMC} Medical Imaging},
volume = {20},
number = {1},
pages = {28},
year = {2020},
url = {https://doi.org/10.1186/s12880-020-00428-9},
doi = {10.1186/S12880-020-00428-9},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcmi/RamosFWRRJMECSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cphysics/BircherR20,
author = {Martin P. Bircher and
Ursula Rothlisberger},
title = {From a week to less than a day: Speedup and scaling of coordinate-scaled
exact exchange calculations in plane waves},
journal = {Comput. Phys. Commun.},
volume = {247},
year = {2020},
url = {https://doi.org/10.1016/j.cpc.2019.106943},
doi = {10.1016/J.CPC.2019.106943},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cphysics/BircherR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijegr/Faura-MartinezC20,
author = {Ursula Faura{-}Mart{\'{\i}}nez and
Javier Cifuentes{-}Faura},
title = {Does E-Government Promote Transparency and the Fight Against Corruption
in the European Union?},
journal = {Int. J. Electron. Gov. Res.},
volume = {16},
number = {4},
pages = {42--57},
year = {2020},
url = {https://doi.org/10.4018/IJEGR.2020100103},
doi = {10.4018/IJEGR.2020100103},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijegr/Faura-MartinezC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/DeiningerGPSSCV20,
author = {Martina E. Deininger and
Maximilian von der Gr{\"{u}}n and
Raul Piepereit and
Sven Schneider and
Thunyathep Santhanavanich and
Volker Coors and
Ursula Vo{\ss}},
title = {A Continuous, Semi-Automated Workflow: From 3D City Models with Geometric
Optimization and {CFD} Simulations to Visualization of Wind in an
Urban Environment},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {9},
number = {11},
pages = {657},
year = {2020},
url = {https://doi.org/10.3390/ijgi9110657},
doi = {10.3390/IJGI9110657},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijgi/DeiningerGPSSCV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmiv/BregerOHDKGGSE20,
author = {Anna Breger and
Jos{\'{e}} Ignacio Orlando and
Pavol Har{\'{a}}r and
Monika D{\"{o}}rfler and
Sophie Klimscha and
Christoph Grechenig and
Bianca S. Gerendas and
Ursula Schmidt{-}Erfurth and
Martin Ehler},
title = {On Orthogonal Projections for Dimension Reduction and Applications
in Augmented Target Loss Functions for Learning Problems},
journal = {J. Math. Imaging Vis.},
volume = {62},
number = {3},
pages = {376--394},
year = {2020},
url = {https://doi.org/10.1007/s10851-019-00902-2},
doi = {10.1007/S10851-019-00902-2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmiv/BregerOHDKGGSE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmiv/BregerOHDKGGSE20a,
author = {Anna Breger and
Jos{\'{e}} Ignacio Orlando and
Pavol Har{\'{a}}r and
Monika D{\"{o}}rfler and
Sophie Klimscha and
Christoph Grechenig and
Bianca S. Gerendas and
Ursula Schmidt{-}Erfurth and
Martin Ehler},
title = {Correction to: On Orthogonal Projections for Dimension Reduction and
Applications in Augmented Target Loss Functions for Learning Problems},
journal = {J. Math. Imaging Vis.},
volume = {62},
number = {3},
pages = {395},
year = {2020},
url = {https://doi.org/10.1007/s10851-019-00927-7},
doi = {10.1007/S10851-019-00927-7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmiv/BregerOHDKGGSE20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/PuhmDHWSS20,
author = {Martin Puhm and
Janik Deutscher and
Manuela Hirschmugl and
Andreas Wimmer and
Ursula Schmitt and
Mathias Schardt},
title = {A Near Real-Time Method for Forest Change Detection Based on a Structural
Time Series Model and the Kalman Filter},
journal = {Remote. Sens.},
volume = {12},
number = {19},
pages = {3135},
year = {2020},
url = {https://doi.org/10.3390/rs12193135},
doi = {10.3390/RS12193135},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/PuhmDHWSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-14778,
author = {Jiarong Li and
Jin Lin and
Philipp{-}Matthias Heuser and
Heidi Ursula Heinrichs and
Jinyu Xiao and
Feng Liu and
Martin Robinius and
Yonghua Song and
Detlef Stolten},
title = {Optimal Configuration of Wind-to-Ammonia with the Electric Network
and Hydrogen Supply Chain: {A} Case Study of Inner Mongolia},
journal = {CoRR},
volume = {abs/2006.14778},
year = {2020},
url = {https://arxiv.org/abs/2006.14778},
eprinttype = {arXiv},
eprint = {2006.14778},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-14778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/MayrKGKR19,
author = {Stefan Mayr and
Claudia Kuenzer and
Ursula Gessner and
Igor Klein and
Martin Rutzinger},
title = {Validation of Earth Observation Time-Series: {A} Review for Large-Area
and Temporally Dense Land Surface Products},
journal = {Remote. Sens.},
volume = {11},
number = {22},
pages = {2616},
year = {2019},
url = {https://doi.org/10.3390/rs11222616},
doi = {10.3390/RS11222616},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/MayrKGKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/RozmanPFM19,
author = {Mihaela Rozman and
Valeria de Paiva and
Amy P. Felty and
Ursula Martin},
title = {Women in Logic 2018 workshop report},
journal = {{ACM} {SIGLOG} News},
volume = {6},
number = {1},
pages = {41--42},
year = {2019},
url = {https://doi.org/10.1145/3313909.3313915},
doi = {10.1145/3313909.3313915},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/RozmanPFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/OrlandoBBRGES19,
author = {Jos{\'{e}} Ignacio Orlando and
Anna Breger and
Hrvoje Bogunovic and
Sophie Riedl and
Bianca S. Gerendas and
Martin Ehler and
Ursula Schmidt{-}Erfurth},
editor = {Huazhu Fu and
Mona Kathryn Garvin and
Tom J. MacGillivray and
Yanwu Xu and
Yalin Zheng},
title = {An Amplified-Target Loss Approach for Photoreceptor Layer Segmentation
in Pathological {OCT} Scans},
booktitle = {Ophthalmic Medical Image Analysis - 6th International Workshop, {OMIA}
2019, Held in Conjunction with {MICCAI} 2019, Shenzhen, China, October
17, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11855},
pages = {26--34},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32956-3\_4},
doi = {10.1007/978-3-030-32956-3\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/miccai/OrlandoBBRGES19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-07598,
author = {Anna Breger and
Jos{\'{e}} Ignacio Orlando and
Pavol Har{\'{a}}r and
Monika D{\"{o}}rfler and
Sophie Klimscha and
Christoph Grechenig and
Bianca S. Gerendas and
Ursula Schmidt{-}Erfurth and
Martin Ehler},
title = {On orthogonal projections for dimension reduction and applications
in variational loss functions for learning problems},
journal = {CoRR},
volume = {abs/1901.07598},
year = {2019},
url = {http://arxiv.org/abs/1901.07598},
eprinttype = {arXiv},
eprint = {1901.07598},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-07598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-00764,
author = {Jos{\'{e}} Ignacio Orlando and
Anna Breger and
Hrvoje Bogunovic and
Sophie Riedl and
Bianca S. Gerendas and
Martin Ehler and
Ursula Schmidt{-}Erfurth},
title = {An amplified-target loss approach for photoreceptor layer segmentation
in pathological {OCT} scans},
journal = {CoRR},
volume = {abs/1908.00764},
year = {2019},
url = {http://arxiv.org/abs/1908.00764},
eprinttype = {arXiv},
eprint = {1908.00764},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-00764.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coap/AltFS18,
author = {Walter Alt and
Ursula Felgenhauer and
Martin Seydenschwanz},
title = {Euler discretization for a class of nonlinear optimal control problems
with control appearing linearly},
journal = {Comput. Optim. Appl.},
volume = {69},
number = {3},
pages = {825--856},
year = {2018},
url = {https://doi.org/10.1007/s10589-017-9969-7},
doi = {10.1007/S10589-017-9969-7},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coap/AltFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnc/FischerF0SM18,
author = {Ursula Fischer and
Martin H. Fischer and
Stefan Huber and
Sarah Strau{\ss} and
Korbinian Moeller},
title = {The Influence of Number Magnitude on Continuous Swiping Movements},
journal = {J. Numer. Cogn.},
volume = {4},
number = {2},
pages = {297--316},
year = {2018},
url = {https://doi.org/10.5964/jnc.v4i2.135},
doi = {10.5964/JNC.V4I2.135},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnc/FischerF0SM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/HummerRWLTDHSW18,
author = {Allan Hummer and
Markus Ritter and
Michael Woletz and
A. A. Ledolter and
Martin Tik and
Serge O. Dumoulin and
G. E. Holder and
Ursula Schmidt{-}Erfurth and
Christian Windischberger},
title = {Artificial scotoma estimation based on population receptive field
mapping},
journal = {NeuroImage},
volume = {169},
pages = {342--351},
year = {2018},
url = {https://doi.org/10.1016/j.neuroimage.2017.12.010},
doi = {10.1016/J.NEUROIMAGE.2017.12.010},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/HummerRWLTDHSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/RothMWSHGKD18,
author = {Achim Roth and
Ursula Marschalk and
Karina Winkler and
Birgit Sch{\"{a}}ttler and
Martin Huber and
Isabel Georg and
Claudia K{\"{u}}nzer and
Stefan W. Dech},
title = {Ten Years of Experience with Scientific TerraSAR-X Data Utilization},
journal = {Remote. Sens.},
volume = {10},
number = {8},
pages = {1170},
year = {2018},
url = {https://doi.org/10.3390/rs10081170},
doi = {10.3390/RS10081170},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/RothMWSHGKD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/LukanGMHHL18,
author = {Junos Lukan and
Martin Gjoreski and
Heidi Mauersberger and
Annekatrin Hoppe and
Ursula Hess and
Mitja Lustrek},
editor = {Achilles Kameas and
Kostas Stathis},
title = {Analysing Physiology of Interpersonal Conflicts Using a Wrist Device},
booktitle = {Ambient Intelligence - 14th European Conference, AmI 2018, Larnaca,
Cyprus, November 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11249},
pages = {162--167},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03062-9\_13},
doi = {10.1007/978-3-030-03062-9\_13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ami/LukanGMHHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PeaseM18,
author = {Alison Pease and
Ursula Martin},
editor = {Claudia Schon},
title = {Automating "Human-Like" Example-Use in Mathematics},
booktitle = {Proceedings of the fourth Workshop on Bridging the Gap between Human
and Automated Reasoningco-located with the 27th International Joint
Conference on Artificial Intelligence and the 23rd European Conference
on Artificial Intelligence {(IJCAI-ECAI} 2018), Stockholm, Schweden,
July 14, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2261},
pages = {6--12},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2261/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/PeaseM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrst/WaldowMDCF18,
author = {Kristoffer Waldow and
Martin Misiak and
Ursula Derichs and
Olaf Clausen and
Arnulph Fuhrmann},
editor = {Stephen N. Spencer and
Shigeo Morishima and
Yuichi Itoh and
Takaaki Shiratori and
Yonghao Yue and
Rob Lindeman},
title = {An evaluation of smartphone-based interaction in {AR} for constrained
object manipulation},
booktitle = {Proceedings of the 24th {ACM} Symposium on Virtual Reality Software
and Technology, {VRST} 2018, Tokyo, Japan, November 28 - December
01, 2018},
pages = {69:1--69:2},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3281505.3281608},
doi = {10.1145/3281505.3281608},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vrst/WaldowMDCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-06500,
author = {Joseph Corneli and
Ursula Martin and
Dave Murray{-}Rust and
Gabriela Rino Nesin and
Alison Pease},
title = {Argumentation theory for mathematical argument},
journal = {CoRR},
volume = {abs/1803.06500},
year = {2018},
url = {http://arxiv.org/abs/1803.06500},
eprinttype = {arXiv},
eprint = {1803.06500},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-06500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/VegaWCWHETKRHEM17,
author = {Salvador Castaneda Vega and
Christine Weinl and
Carsten Calaminus and
Lisa Wang and
Maren Harant and
Walter Ehrlichmann and
Dennis Thiele and
Ursula Kohlhofer and
Gerald Reischl and
Johann{-}Martin Hempel and
Ulrike Ernemann and
Leticia Quintanilla Martinez and
Alfred Nordheim and
Bernd J. Pichler},
title = {Characterization of a novel murine model for spontaneous hemorrhagic
stroke using in vivo {PET} and {MR} multiparametric imaging},
journal = {NeuroImage},
volume = {155},
pages = {245--256},
year = {2017},
url = {https://doi.org/10.1016/j.neuroimage.2017.04.071},
doi = {10.1016/J.NEUROIMAGE.2017.04.071},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/VegaWCWHETKRHEM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CorneliMMPPN17,
author = {Joseph Corneli and
Ursula Martin and
Dave Murray{-}Rust and
Alison Pease and
Raymond Puzio and
Gabriela Rino Nesin},
editor = {Michael Sperber and
Jean Bresson},
title = {Modelling the way mathematics is actually done},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Functional
Art, Music, Modeling, and Design, FARM@ICFP 2018, Oxford, UK, September
9, 2017},
pages = {10--19},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122938.3122942},
doi = {10.1145/3122938.3122942},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CorneliMMPPN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CorneliMMP17,
author = {Joseph Corneli and
Ursula Martin and
Dave Murray{-}Rust and
Alison Pease},
editor = {Herman Geuvers and
Matthew England and
Osman Hasan and
Florian Rabe and
Olaf Teschke},
title = {Towards Mathematical {AI} via a Model of the Content and Process of
Mathematical Question and Answer Dialogues},
booktitle = {Intelligent Computer Mathematics - 10th International Conference,
{CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10383},
pages = {132--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62075-6\_10},
doi = {10.1007/978-3-319-62075-6\_10},
timestamp = {Mon, 31 Jan 2022 07:36:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/CorneliMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/KreissigWPLMCFB17,
author = {Martin Krei{\ss}ig and
Steffen Wittrock and
Florian Protze and
Romain Lebrun and
Karla J. Merazzo and
Marie Claire Cyrille and
Ricardo Ferreira and
Paolo Bortolotti and
Ursula Ebels and
Vincent Cros and
Frank Ellinger},
title = {Hybrid {PLL} system for spin torque oscillators utilizing custom ICs
in 0.18 {\(\mu\)}m BiCMOS},
booktitle = {{IEEE} 60th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2017, Boston, MA, USA, August 6-9, 2017},
pages = {910--913},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/MWSCAS.2017.8053072},
doi = {10.1109/MWSCAS.2017.8053072},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mwscas/KreissigWPLMCFB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Martin16,
author = {Ursula Martin},
title = {Computational logic and the social},
journal = {J. Log. Comput.},
volume = {26},
number = {2},
pages = {467--477},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu036},
doi = {10.1093/LOGCOM/EXU036},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Martin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/CaldwellSWWET16,
author = {Matthew Caldwell and
Felix Scholkmann and
Ursula Wolf and
Martin Wolf and
Clare E. Elwell and
Ilias Tachtsidis},
title = {Modelling confounding effects from extracerebral contamination and
systemic factors on functional near-infrared spectroscopy},
journal = {NeuroImage},
volume = {143},
pages = {91--105},
year = {2016},
url = {https://doi.org/10.1016/j.neuroimage.2016.08.058},
doi = {10.1016/J.NEUROIMAGE.2016.08.058},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/CaldwellSWWET16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/HummerRTLWHDSW16,
author = {Allan Hummer and
Markus Ritter and
Martin Tik and
A. A. Ledolter and
Michael Woletz and
G. E. Holder and
Serge O. Dumoulin and
Ursula Schmidt{-}Erfurth and
Christian Windischberger},
title = {Eyetracker-based gaze correction for robust mapping of population
receptive fields},
journal = {NeuroImage},
volume = {142},
pages = {211--224},
year = {2016},
url = {https://doi.org/10.1016/j.neuroimage.2016.07.003},
doi = {10.1016/J.NEUROIMAGE.2016.07.003},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/HummerRTLWHDSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/MerkleSSDRISHWB16,
author = {Ruth Merkle and
Bernhard Steiert and
Florian Salopiata and
Sofia Depner and
Andreas Raue and
Nao Iwamoto and
Max Schelker and
Helge Hass and
Marvin W{\"{a}}sch and
Martin E. B{\"{o}}hm and
Oliver M{\"{u}}cke and
Daniel B. Lipka and
Christoph Plass and
Wolf D. Lehmann and
Clemens Kreutz and
Jens Timmer and
Marcel Schilling and
Ursula Klingm{\"{u}}ller},
title = {Identification of Cell Type-Specific Differences in Erythropoietin
Receptor Signaling in Primary Erythroid and Lung Cancer Cells},
journal = {PLoS Comput. Biol.},
volume = {12},
number = {8},
year = {2016},
url = {https://doi.org/10.1371/journal.pcbi.1005049},
doi = {10.1371/JOURNAL.PCBI.1005049},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/MerkleSSDRISHWB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/FauraLMM15,
author = {{\'{U}}rsula Faura and
Matilde Lafuente and
Mariano Matilla{-}Garc{\'{\i}}a and
Manuel Ruiz},
title = {Identifying the Most Relevant Lag with Runs},
journal = {Entropy},
volume = {17},
number = {5},
pages = {2706--2722},
year = {2015},
url = {https://doi.org/10.3390/e17052706},
doi = {10.3390/E17052706},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/FauraLMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/GoltzRGHMV15,
author = {Ursula Goltz and
Ralf H. Reussner and
Michael Goedicke and
Wilhelm Hasselbring and
Lukas M{\"{a}}rtin and
Birgit Vogel{-}Heuser},
title = {Design for future: managed software evolution},
journal = {Comput. Sci. Res. Dev.},
volume = {30},
number = {3-4},
pages = {321--331},
year = {2015},
url = {https://doi.org/10.1007/s00450-014-0273-9},
doi = {10.1007/S00450-014-0273-9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/GoltzRGHMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/GallaunSWSKS15,
author = {Heinz Gallaun and
Martin Steinegger and
Roland Wack and
Mathias Schardt and
Birgit Kornberger and
Ursula Schmitt},
title = {Remote Sensing Based Two-Stage Sampling for Accuracy Assessment and
Area Estimation of Land Cover Changes},
journal = {Remote. Sens.},
volume = {7},
number = {9},
pages = {11992--12008},
year = {2015},
url = {https://doi.org/10.3390/rs70911992},
doi = {10.3390/RS70911992},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/GallaunSWSKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RiisMW15,
author = {S{\o}ren Riis and
Ursula Martin and
Nick Woodhouse},
title = {Ada Lovelace, a scientist in the archives},
booktitle = {Ada Lovelace Symposium 2015 - Celebrating 200 Years of a Computer
Visionary, Ada Lovelace Symposium 2015, Oxford, UK, December 10, 2015},
pages = {14},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2867731.2867747},
doi = {10.1145/2867731.2867747},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RiisMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Martin15,
author = {Ursula Martin},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Stumbling Around in the Dark: Lessons from Everyday Mathematics},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {29--51},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_2},
doi = {10.1007/978-3-319-21401-6\_2},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Martin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/ScholkmannKMZPWW14,
author = {Felix Scholkmann and
Stefan Kleiser and
Andreas Jaakko Metz and
Raphael Zimmermann and
Juan Mata Pavia and
Ursula Wolf and
Martin Wolf},
title = {A review on continuous wave functional near-infrared spectroscopy
and imaging instrumentation and methodology},
journal = {NeuroImage},
volume = {85},
pages = {6--27},
year = {2014},
url = {https://doi.org/10.1016/j.neuroimage.2013.05.004},
doi = {10.1016/J.NEUROIMAGE.2013.05.004},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/ScholkmannKMZPWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ArthanMO13,
author = {Rob Arthan and
Ursula Martin and
Paulo Oliva},
title = {A Hoare logic for linear systems},
journal = {Formal Aspects Comput.},
volume = {25},
number = {3},
pages = {345--363},
year = {2013},
url = {https://doi.org/10.1007/s00165-011-0180-9},
doi = {10.1007/S00165-011-0180-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ArthanMO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GottliebsenHLM13,
author = {Hanne Gottliebsen and
Ruth Hardy and
Olga Lightfoot and
Ursula Martin},
title = {Applications of real number theorem proving in {PVS}},
journal = {Formal Aspects Comput.},
volume = {25},
number = {6},
pages = {993--1016},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0232-9},
doi = {10.1007/S00165-012-0232-9},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GottliebsenHLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/BaumunkRKBKSWMSHWMS13,
author = {Daniel Baumunk and
Roman Reunkoff and
Julien Kushner and
Alexandra Baumunk and
Carsten Kempkensteffen and
Ursula Steiner and
Steffen Weikert and
Lutz Moser and
Mark Schrader and
Stefan H{\"{o}}cht and
Thomas Wiegel and
Kurt Miller and
Martin Schostak},
title = {Interdisciplinary decision making in prostate cancer therapy - 5-years'
time trends at the Interdisciplinary Prostate Cancer Center {(IPC)}
of the Charit{\'{e}} Berlin},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {13},
pages = {83},
year = {2013},
url = {https://doi.org/10.1186/1472-6947-13-83},
doi = {10.1186/1472-6947-13-83},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/midm/BaumunkRKBKSWMSHWMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/ScholkmannGWW13,
author = {Felix Scholkmann and
U. Gerber and
Martin Wolf and
Ursula Wolf},
title = {End-tidal CO\({}_{\mbox{2}}\): An important parameter for a correct
interpretation in functional brain studies using speech tasks},
journal = {NeuroImage},
volume = {66},
pages = {71--79},
year = {2013},
url = {https://doi.org/10.1016/j.neuroimage.2012.10.025},
doi = {10.1016/J.NEUROIMAGE.2012.10.025},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/ScholkmannGWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/Martinez-JimenezPYWKPSBOM13,
author = {Francisco Mart{\'{\i}}nez{-}Jim{\'{e}}nez and
George Papadatos and
Lun Yang and
Iain M. Wallace and
Vinod Kumar and
Ursula Pieper and
Andrej Sali and
James R. Brown and
John P. Overington and
Marc A. Mart{\'{\i}}{-}Renom},
title = {Target Prediction for an Open Access Set of Compounds Active against
\emph{Mycobacterium tuberculosis}},
journal = {PLoS Comput. Biol.},
volume = {9},
number = {10},
year = {2013},
url = {https://doi.org/10.1371/journal.pcbi.1003253},
doi = {10.1371/JOURNAL.PCBI.1003253},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/Martinez-JimenezPYWKPSBOM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gil/GengeKSDG13,
author = {Ursula Genge and
Hilde Klauss and
J{\"{o}}rn Selbeck and
Volker Dworak and
Martin Geyer},
editor = {Michael Clasen and
Kurt Christian Kersebaum and
Andreas Meyer{-}Aurich and
Brigitte Theuvsen},
title = {Entwicklung einer intelligenten funkbasierten Bew{\"{a}}sserungssteuerung
(IFuB)},
booktitle = {Massendatenmanagement in der Agrar- und Ern{\"{a}}hrungswirtschaft,
Erhebung - Verarbeitung - Nutzung, Referate der 33. GIL-Jahrestagung,
20. - 21. Februar 2013, Potsdam, Germany},
series = {{LNI}},
volume = {{P-211}},
pages = {99--102},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17582},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gil/GengeKSDG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/MartinP13,
author = {Ursula Martin and
Alison Pease},
editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
title = {Mathematical Practice, Crowdsourcing, and Social Machines},
booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7961},
pages = {98--119},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39320-4\_7},
doi = {10.1007/978-3-642-39320-4\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/MartinP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/GoltzM13,
author = {Ursula Goltz and
Lukas M{\"{a}}rtin},
editor = {Stefan Kowalewski and
Bernhard Rumpe},
title = {Workshop on Managed Software Evolution},
booktitle = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
series = {{LNI}},
volume = {{P-213}},
pages = {365--366},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17719},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/GoltzM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0900,
author = {Ursula Martin and
Alison Pease},
title = {Mathematical practice, crowdsourcing, and social machines},
journal = {CoRR},
volume = {abs/1305.0900},
year = {2013},
url = {http://arxiv.org/abs/1305.0900},
eprinttype = {arXiv},
eprint = {1305.0900},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0904,
author = {Ursula Martin and
Alison Pease},
title = {What does mathoverflow tell us about the production of mathematics?},
journal = {CoRR},
volume = {abs/1305.0904},
year = {2013},
url = {http://arxiv.org/abs/1305.0904},
eprinttype = {arXiv},
eprint = {1305.0904},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/DimmerHA12,
author = {Emily C. Dimmer and
Rachael P. Huntley and
Yasmin Alam{-}Faruque and
Tony Sawford and
Claire O'Donovan and
Maria Jesus Martin and
Benoit Bely and
Paul Browne and
Wei Mun Chan and
Ruth Y. Eberhardt and
Michael Gardner and
Kati Laiho and
Duncan Legge and
Michele Magrane and
Klemens Pichler and
Diego Poggioli and
Harminder Sehra and
Andrea H. Auchincloss and
Kristian B. Axelsen and
Marie{-}Claude Blatter and
Emmanuel Boutet and
Silvia Braconi{-}Quintaje and
Lionel Breuza and
Alan J. Bridge and
Elisabeth Coudert and
Anne Estreicher and
Maria Livia Famiglietti and
Serenella Ferro{-}Rojas and
Marc Feuermann and
Arnaud Gos and
Nadine Gruaz{-}Gumowski and
Ursula Hinz and
Chantal Hulo and
Janet James and
Silvia Jimenez and
Florence Jungo and
Guillaume Keller and
Phillippe Lemercier and
Damien Lieberherr and
Patrick Masson and
Madelaine Moinat and
Ivo Pedruzzi and
Sylvain Poux and
Catherine Rivoire and
Bernd Roechert and
Michel Schneider and
Andre Stutz and
Shyamala Sundaram and
Michael Tognolli and
Lydie Bougueleret and
Ghislaine Argoud{-}Puy and
Isabelle Cusin and
Paula Duek Roggli and
Ioannis Xenarios and
Rolf Apweiler},
title = {The UniProt-GO Annotation database in 2011},
journal = {Nucleic Acids Res.},
volume = {40},
number = {Database-Issue},
pages = {565--570},
year = {2012},
url = {https://doi.org/10.1093/nar/gkr1048},
doi = {10.1093/NAR/GKR1048},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/DimmerHA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/SolanasGM12,
author = {Agusti Solanas and
{\'{U}}rsula Gonz{\'{a}}lez{-}Nicol{\'{a}}s and
Antoni Mart{\'{\i}}nez{-}Ballest{\'{e}}},
editor = {David A. Elizondo and
Agusti Solanas and
Antoni Mart{\'{\i}}nez{-}Ballest{\'{e}}},
title = {Mixing Genetic Algorithms and {V-MDAV} to Protect Microdata},
booktitle = {Computational Intelligence for Privacy and Security},
series = {Studies in Computational Intelligence},
volume = {394},
pages = {115--133},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-25237-2\_8},
doi = {10.1007/978-3-642-25237-2\_8},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/SolanasGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HolzerKL11,
author = {Markus Holzer and
Martin Kutrib and
Ursula Leiter},
editor = {Giancarlo Mauri and
Alberto Leporati},
title = {Nodes Connected by Path Languages},
booktitle = {Developments in Language Theory - 15th International Conference, {DLT}
2011, Milan, Italy, July 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6795},
pages = {276--287},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22321-1\_24},
doi = {10.1007/978-3-642-22321-1\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/HolzerKL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/WesselGWHBMKR11,
author = {Birgit Wessel and
Astrid Gruber and
Anna Wendleder and
Martin Huber and
Markus Breunig and
Ursula Marschalk and
Detlev Kosmann and
Achim Roth},
title = {Production chain towards first calibrated and mosaicked TanDEM-X DEMs},
booktitle = {2011 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2011, Vancouver, BC, Canada, July 24-29, 2011},
pages = {2432--2435},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IGARSS.2011.6049702},
doi = {10.1109/IGARSS.2011.6049702},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/WesselGWHBMKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socialcom/RedmondHC11,
author = {Ursula Redmond and
Martin Harrigan and
P{\'{a}}draig Cunningham},
editor = {Martin Atzmueller and
Alvin Chin and
Denis Helic and
Andreas Hotho},
title = {Mining Dense Structures to Uncover Anomalous Behaviour in Financial
Network Data},
booktitle = {Modeling and Mining Ubiquitous Social Media - International Workshops
{MSM} 2011, Boston, MA, USA, October 9, 2011, and {MUSE} 2011, Athens,
Greece, September 5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7472},
pages = {60--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-33684-3\_4},
doi = {10.1007/978-3-642-33684-3\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/socialcom/RedmondHC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/SolanasGM10,
author = {Agusti Solanas and
{\'{U}}rsula Gonz{\'{a}}lez{-}Nicol{\'{a}}s and
Antoni Mart{\'{\i}}nez{-}Ballest{\'{e}}},
title = {A variable-MDAV-based partitioning strategy to continuous multivariate
microaggregation with genetic algorithms},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2010, Barcelona,
Spain, 18-23 July, 2010},
pages = {1--7},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IJCNN.2010.5596660},
doi = {10.1109/IJCNN.2010.5596660},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/SolanasGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/HuttichGHS0KD09,
author = {Christian H{\"{u}}ttich and
Ursula Gessner and
Martin Herold and
Ben J. Strohbach and
Michael Schmidt and
Manfred Keil and
Stefan W. Dech},
title = {On the Suitability of {MODIS} Time Series Metrics to Map Vegetation
Types in Dry Savanna Ecosystems: {A} Case Study in the Kalahari of
{NE} Namibia},
journal = {Remote. Sens.},
volume = {1},
number = {4},
pages = {620--643},
year = {2009},
url = {https://doi.org/10.3390/rs1040620},
doi = {10.3390/RS1040620},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/HuttichGHS0KD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ArthanMMO09,
author = {Rob Arthan and
Ursula Martin and
Erik Arne Mathiesen and
Paulo Oliva},
title = {A general framework for sound and complete Floyd-Hoare logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {1},
pages = {7:1--7:31},
year = {2009},
url = {https://doi.org/10.1145/1614431.1614438},
doi = {10.1145/1614431.1614438},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ArthanMMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/HeraclesKMSFG09,
author = {Martin Heracles and
Ursula K{\"{o}}rner and
Thomas Michalke and
Gerhard Sagerer and
Jannik Fritsch and
Christian Goerick},
title = {A dynamic attention system that reorients to unexpected motion in
real-world traffic environments},
booktitle = {2009 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 11-15, 2009, St. Louis, MO, {USA}},
pages = {1735--1742},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IROS.2009.5354387},
doi = {10.1109/IROS.2009.5354387},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/HeraclesKMSFG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/GurerLBDHCCGMPWSSCTG08,
author = {Denise W. G{\"{u}}rer and
Jennifer Light and
Christina Bj{\"{o}}rkman and
Rhian Davies and
Mark S. Hancock and
Anne Condon and
Annemieke Craig and
Vashti Galpin and
Ursula Martin and
Margit Pohl and
Sylvia Wiltner and
M. Suriya and
Ellen Spertus and
Joanne McGrath Cohoon and
Gloria Childress Townsend and
Paula Gabbert},
editor = {Benjamin W. Wah},
title = {Women in Computing},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse472},
doi = {10.1002/9780470050118.ECSE472},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/GurerLBDHCCGMPWSSCTG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-1016,
author = {Rob Arthan and
Ursula Martin and
Erik Arne Mathiesen and
Paulo Oliva},
title = {A General Framework for Sound and Complete Floyd-Hoare Logics},
journal = {CoRR},
volume = {abs/0807.1016},
year = {2008},
url = {http://arxiv.org/abs/0807.1016},
eprinttype = {arXiv},
eprint = {0807.1016},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0807-1016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MartinMO06,
author = {Ursula Martin and
Erik Arne Mathiesen and
Paulo Oliva},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {Hoare Logic in the Abstract},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {501--515},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_33},
doi = {10.1007/11874683\_33},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MartinMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GottliebsenKM05,
author = {Hanne Gottliebsen and
Tom W. Kelsey and
Ursula Martin},
title = {Hidden verification for computational mathematics},
journal = {J. Symb. Comput.},
volume = {39},
number = {5},
pages = {539--567},
year = {2005},
url = {https://doi.org/10.1016/j.jsc.2004.12.005},
doi = {10.1016/J.JSC.2004.12.005},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/GottliebsenKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aia/NunesRGR05,
author = {Leandro de M. Nunes and
Jo{\~{a}}o Carlos de C. e S. Ribeiro and
L{\'{u}}cia Maria Martins Giraffa and
{\'{U}}rsula F. Ribeiro},
editor = {M. H. Hamza},
title = {Wrapping of an Environment of Learning of Math in the Elementary School},
booktitle = {{IASTED} International Conference on Artificial Intelligence and Applications,
part of the 23rd Multi-Conference on Applied Informatics, Innsbruck,
Austria, February 14-16, 2005},
pages = {591--596},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aia/NunesRGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoultonGHKM04,
author = {Richard J. Boulton and
Hanne Gottliebsen and
Ruth Hardy and
Tom W. Kelsey and
Ursula Martin},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Design Verification for Control Engineering},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {21--35},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_2},
doi = {10.1007/978-3-540-24756-2\_2},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoultonGHKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/HuckaFS03,
author = {Michael Hucka and
Andrew Finney and
Herbert M. Sauro and
H. Bolouri and
John C. Doyle and
Hiroaki Kitano and
Adam P. Arkin and
Benjamin J. Bornstein and
Dennis Bray and
Athel Cornish{-}Bowden and
Autumn A. Cuellar and
Serge Dronov and
Ernst Dieter Gilles and
Martin Ginkel and
Victoria Gor and
Igor Goryanin and
W. J. Hedley and
T. Charles Hodgman and
Jan{-}Hendrik S. Hofmeyr and
Peter J. Hunter and
Nick S. Juty and
J. L. Kasberger and
Andreas Kremling and
Ursula Kummer and
Nicolas Le Nov{\`{e}}re and
Leslie M. Loew and
D. Lucio and
Pedro Mendes and
E. Minch and
Eric Mjolsness and
Yoichi Nakayama and
M. R. Nelson and
Poul M. F. Nielsen and
T. Sakurada and
James C. Schaff and
Bruce E. Shapiro and
Thomas Simon Shimizu and
Hugh D. Spence and
J{\"{o}}rg Stelling and
Koichi Takahashi and
Masaru Tomita and
J. Wagner and
J. Wang},
title = {The systems biology markup language {(SBML):} a medium for representation
and exchange of biochemical network models},
journal = {Bioinform.},
volume = {19},
number = {4},
pages = {524--531},
year = {2003},
url = {https://doi.org/10.1093/bioinformatics/btg015},
doi = {10.1093/BIOINFORMATICS/BTG015},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/HuckaFS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/CarterAFDEFS03,
author = {Janet Carter and
Kirsti Ala{-}Mutka and
Ursula Fuller and
Martin Dick and
John English and
William Fone and
Judy Sheard},
title = {How shall we assess this?},
journal = {{ACM} {SIGCSE} Bull.},
volume = {35},
number = {4},
pages = {107--123},
year = {2003},
url = {https://doi.org/10.1145/960492.960539},
doi = {10.1145/960492.960539},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/CarterAFDEFS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BoultonHM03,
author = {Richard J. Boulton and
Ruth Hardy and
Ursula Martin},
editor = {Oded Maler and
Amir Pnueli},
title = {A Hoare Logic for Single-Input Single-Output Continuous-Time Control
Systems},
booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop,
{HSCC} 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {113--125},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36580-X\_11},
doi = {10.1007/3-540-36580-X\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BoultonHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isese/PassingS03,
author = {Ursula Passing and
Martin J. Shepperd},
title = {An experiment on software project size and effort estimation},
booktitle = {2003 International Symposium on Empirical Software Engineering {(ISESE}
2003), 30 September - 1 October 2003. Rome, Italy},
pages = {120--131},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISESE.2003.1237971},
doi = {10.1109/ISESE.2003.1237971},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isese/PassingS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wm/AlvesaloHS03,
author = {Jukka Alvesalo and
Martin Hurter and
Ursula Schweighart},
editor = {Ulrich Reimer and
Andreas Abecker and
Steffen Staab and
Gerd Stumme},
title = {Changing the rules of the game a systematic approach for transforming
corporate knowledge behavior},
booktitle = {{WM} 2003: Professionelles Wissensmanagement - Erfahrungen und Visionen,
Beitr{\"{a}}ge der 2. Konferenz Professionelles Wissensmanagement,
2.-4. April 2003, Luzern, Switzerland},
series = {{LNI}},
volume = {{P-28}},
pages = {385--395},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/29994},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wm/AlvesaloHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/WolfWCGSPMG02,
author = {Martin Wolf and
Ursula Wolf and
Jee Hyun Choi and
Rajarsi Gupta and
Larisa P. Safonova and
L. Adelina Paunescu and
Antonios Michalos and
Enrico Gratton},
title = {Functional Frequency-Domain Near-Infrared Spectroscopy Detects Fast
Neuronal Signal in the Motor Cortex},
journal = {NeuroImage},
volume = {17},
number = {4},
pages = {1868--1875},
year = {2002},
url = {https://doi.org/10.1006/nimg.2002.1261},
doi = {10.1006/NIMG.2002.1261},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/WolfWCGSPMG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/WolfWTMPCG02,
author = {Martin Wolf and
Ursula Wolf and
Vlad Toronov and
Antonios Michalos and
L. Adelina Paunescu and
Jee Hyun Choi and
Enrico Gratton},
title = {Different Time Evolution of Oxyhemoglobin and Deoxyhemoglobin Concentration
Changes in the Visual and Motor Cortices during Functional Stimulation:
{A} Near-Infrared Spectroscopy Study},
journal = {NeuroImage},
volume = {16},
number = {3},
pages = {704--712},
year = {2002},
url = {https://doi.org/10.1006/nimg.2002.1128},
doi = {10.1006/NIMG.2002.1128},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/WolfWTMPCG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Fissgus01,
author = {Ursula Fissgus},
title = {A tool for generating programs with mixed task and data parallelism},
school = {Martin Luther University of Halle-Wittenberg, Germany},
year = {2001},
url = {http://sundoc.bibliothek.uni-halle.de/diss-online/01/01H119/prom.pdf},
urn = {urn:nbn:de:gbv:3-000002401},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Fissgus01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/CropperM01,
author = {Nick Cropper and
Ursula Martin},
title = {The Classification of Polynomial Orderings on Monadic Terms},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {12},
number = {3},
pages = {197--226},
year = {2001},
url = {https://doi.org/10.1007/s002000000044},
doi = {10.1007/S002000000044},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aaecc/CropperM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/AdamsDGKMO01,
author = {Andrew Adams and
Martin Dunstan and
Hanne Gottliebsen and
Tom W. Kelsey and
Ursula Martin and
Sam Owre},
editor = {Richard J. Boulton and
Paul B. Jackson},
title = {Computer Algebra Meets Automated Theorem Proving: Integrating Maple
and {PVS}},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference,
TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2152},
pages = {27--42},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44755-5\_4},
doi = {10.1007/3-540-44755-5\_4},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/AdamsDGKMO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MartinS00,
author = {Ursula Martin and
Duncan Shand},
title = {Invariants, Patterns and Weights for Ordering Terms},
journal = {J. Symb. Comput.},
volume = {29},
number = {6},
pages = {921--957},
year = {2000},
url = {https://doi.org/10.1006/jsco.1999.0333},
doi = {10.1006/JSCO.1999.0333},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MartinS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ColtonSM00,
author = {Simon Colton and
Volker Sorge and
Ursula Martin},
editor = {David A. McAllester},
title = {Workshop: The Role of Automated Deduction in Mathematics},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {517},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_49},
doi = {10.1007/10721959\_49},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ColtonSM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AdamsGLM99,
author = {Andrew A. Adams and
Hanne Gottliebsen and
Steve Linton and
Ursula Martin},
editor = {Harald Ganzinger},
title = {{VSDITLU:} a verifiable symbolic definite integral table look-up},
booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated
Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1632},
pages = {112--126},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48660-7\_8},
doi = {10.1007/3-540-48660-7\_8},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/AdamsGLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DunstanKML99,
author = {Martin Dunstan and
Tom W. Kelsey and
Ursula Martin and
Steve Linton},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Formal Methods for Extensions to {CAS}},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1758--1777},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_43},
doi = {10.1007/3-540-48118-4\_43},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DunstanKML99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AdamsGLM99,
author = {Andrew A. Adams and
Hanne Gottliebsen and
Steve Linton and
Ursula Martin},
editor = {Keith O. Geddes and
Bruno Salvy and
Samuel S. Dooley},
title = {Automated Theorem Proving in Support of Computer Algebra: Symbolic
Definite Integration as a Case Study},
booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
pages = {253--260},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/309831.309949},
doi = {10.1145/309831.309949},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/AdamsGLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DunstanKLM98,
author = {Martin Dunstan and
Tom W. Kelsey and
Steve Linton and
Ursula Martin},
editor = {Volker Weispfenning and
Barry M. Trager},
title = {Lightweight Formal Methods for Computer Algebra Systems},
booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
pages = {80--87},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/281508.281560},
doi = {10.1145/281508.281560},
timestamp = {Mon, 14 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/DunstanKLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/DickeyFHMW98,
author = {Martin Dickey and
Frank L. Friedman and
Max Hailperin and
Bill Z. Manaris and
Ursula Wolz},
editor = {John Lewis and
Jane Prey and
Daniel Joyce and
John Impagliazzo},
title = {Accommodating diversity of academic preparation in {CS1} (panel)},
booktitle = {Proceedings of the 29th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1998, Atlanta, Georgia, USA, February 26 - March
1, 1998},
pages = {361--362},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/273133.274332},
doi = {10.1145/273133.274332},
timestamp = {Mon, 30 May 2022 15:19:22 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/DickeyFHMW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MartinS97,
author = {Ursula Martin and
Elizabeth Scott},
title = {The Order Types of Termination Orderings on Monadic Terms, Strings
and Multisets},
journal = {J. Symb. Log.},
volume = {62},
number = {2},
pages = {624--635},
year = {1997},
url = {https://doi.org/10.2307/2275551},
doi = {10.2307/2275551},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MartinS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LintonMPS96,
author = {Steve Linton and
Ursula Martin and
P{\'{e}}ter Pr{\"{o}}hle and
Duncan Shand},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Algebra and Automated Deduction},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {448--462},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_106},
doi = {10.1007/3-540-61511-3\_106},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/LintonMPS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Martin96,
author = {Ursula Martin},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {Theorem Proving with Group Presentations: Examples and Questions},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {358--372},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_100},
doi = {10.1007/3-540-61511-3\_100},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/Martin96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Martin95,
author = {Ursula Martin},
title = {On the Diversity of Orderings on Strings},
journal = {Fundam. Informaticae},
volume = {24},
number = {1/2},
pages = {25--46},
year = {1995},
url = {https://doi.org/10.3233/FI-1995-24122},
doi = {10.3233/FI-1995-24122},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Martin95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Martin94,
author = {Ursula Martin},
editor = {Alan Bundy},
title = {Termination, Geometry and Invariants},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {432--434},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_31},
doi = {10.1007/3-540-58156-1\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Martin94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MartinT94,
author = {Ursula Martin and
Muffy Thomas},
editor = {Maurice Naftalin and
B. Tim Denvir and
Miquel Bertran},
title = {Verification Techniques for {LOTOS}},
booktitle = {{FME} '94: Industrial Benefit of Formal Methods, Second International
Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {873},
pages = {83--92},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58555-9\_89},
doi = {10.1007/3-540-58555-9\_89},
timestamp = {Sun, 01 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MartinT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MartinS93,
author = {Ursula Martin and
Elizabeth Scott},
title = {The order types of termination orderings on monadic terms, strings
and multisets},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {356--363},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287573},
doi = {10.1109/LICS.1993.287573},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MartinS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Martin93,
author = {Ursula Martin},
editor = {Claude Kirchner},
title = {Linear Interpretations by Counting Patterns},
booktitle = {Rewriting Techniques and Applications, 5th International Conference,
RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {690},
pages = {421--433},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-662-21551-7\_31},
doi = {10.1007/978-3-662-21551-7\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Martin93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/larch/1992,
editor = {Ursula Martin and
Jeannette M. Wing},
title = {First International Workshop on Larch, Proceedings of the first First
International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
July 1992},
series = {Workshops in Computing},
publisher = {Springer},
year = {1993},
isbn = {3-540-19804-0},
timestamp = {Thu, 20 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/larch/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MartinL92,
author = {Ursula Martin and
Michael Lai},
title = {Some Experiments with a Completion Theorem Prover},
journal = {J. Symb. Comput.},
volume = {13},
number = {1},
pages = {81--100},
year = {1992},
url = {https://doi.org/10.1016/0747-7171(92)90007-Q},
doi = {10.1016/0747-7171(92)90007-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MartinL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/DickKM90,
author = {Jeremy Dick and
John Kalmus and
Ursula Martin},
title = {Automating the Knuth Bendix Ordering},
journal = {Acta Informatica},
volume = {28},
number = {2},
pages = {95--119},
year = {1990},
url = {https://doi.org/10.1007/BF01237233},
doi = {10.1007/BF01237233},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/DickKM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Martin90,
author = {Ursula Martin},
title = {A Note on Division Orderings on Strings},
journal = {Inf. Process. Lett.},
volume = {36},
number = {5},
pages = {237--240},
year = {1990},
url = {https://doi.org/10.1016/0020-0190(90)90148-Q},
doi = {10.1016/0020-0190(90)90148-Q},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Martin90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MartinN90,
author = {Ursula Martin and
Tobias Nipkow},
editor = {Mark E. Stickel},
title = {Ordered Rewriting and Confluence},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {366--380},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_100},
doi = {10.1007/3-540-52885-7\_100},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MartinN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/MartinN90,
author = {Ursula Martin and
Tobias Nipkow},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Automating Squiggol},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {233--246},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/MartinN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MartinN89,
author = {Ursula Martin and
Tobias Nipkow},
title = {Boolean Unification - The Story So Far},
journal = {J. Symb. Comput.},
volume = {7},
number = {3/4},
pages = {275--293},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80013-6},
doi = {10.1016/S0747-7171(89)80013-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MartinN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Martin89,
author = {Ursula Martin},
title = {A Geometrical Approach to Multiset Orderings},
journal = {Theor. Comput. Sci.},
volume = {67},
number = {1},
pages = {17--54},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90020-0},
doi = {10.1016/0304-3975(89)90020-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Martin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MartinN88,
author = {Ursula Martin and
Tobias Nipkow},
title = {Unification in Boolean Rings},
journal = {J. Autom. Reason.},
volume = {4},
number = {4},
pages = {381--396},
year = {1988},
url = {https://doi.org/10.1007/BF00297246},
doi = {10.1007/BF00297246},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MartinN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Martin87,
author = {Ursula Martin},
title = {Extension Functions for Multiset Orderings},
journal = {Inf. Process. Lett.},
volume = {26},
number = {4},
pages = {181--186},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90003-2},
doi = {10.1016/0020-0190(87)90003-2},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Martin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Martin87,
author = {Ursula Martin},
editor = {Pierre Lescanne},
title = {How to Choose Weights in the Knuth Bendix Ordering},
booktitle = {Rewriting Techniques and Applications, 2nd International Conference,
RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {256},
pages = {42--53},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17220-3\_4},
doi = {10.1007/3-540-17220-3\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/Martin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MartinN86,
author = {Ursula Martin and
Tobias Nipkow},
editor = {J{\"{o}}rg H. Siekmann},
title = {Unification in Boolean Rings},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {506--513},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_115},
doi = {10.1007/3-540-16780-3\_115},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MartinN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/BeckmannF78,
author = {Martin J. Beckmann and
Ursula H. Funke},
title = {Product attraction, advertising and sales: Towards a utility model
of market behavior},
journal = {Z. Oper. Research},
volume = {22},
number = {1},
pages = {1--11},
year = {1978},
url = {https://doi.org/10.1007/BF01917639},
doi = {10.1007/BF01917639},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/BeckmannF78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-13 03:13 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
