default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 25 matches
- 2024
- Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand:
Sound Non-interference Analysis for C/C++. SAFECOMP 2024: 267-282 - Tommaso Baldi, Javier Campos, Benjamin Hawks, Jennifer Ngadiuba, Nhan Tran, Daniel Diaz, Javier M. Duarte, Ryan Kastner, Andres Meza, Melissa Quinnan, Olivia Weng, Caleb Geniesse, Amir Gholami, Michael W. Mahoney, Vladimir Loncar, Philip C. Harris, Joshua Agar, Shuyu Qin:
Reliable edge machine learning hardware for scientific applications. VTS 2024: 1-5 - Tommaso Baldi, Javier Campos, Benjamin Hawks, Jennifer Ngadiuba, Nhan Tran, Daniel Diaz, Javier M. Duarte, Ryan Kastner, Andres Meza, Melissa Quinnan, Olivia Weng, Caleb Geniesse, Amir Gholami, Michael W. Mahoney, Vladimir Loncar, Philip C. Harris, Joshua Agar, Shuyu Qin:
Reliable edge machine learning hardware for scientific applications. CoRR abs/2406.19522 (2024) - 2023
- Ronny Schubert, Lynn V. Reuss, Daniel Staps, Marika Kaden, Thomas Villmann, Robert Hasler, Robin Herz, Till Tiemann, Wolfram Richardt:
A White-Box Workflow for the Prediction of Food Content From Near-Infrared Data Based on Fourier-Transformation. WHISPERS 2023: 1-5 - 2022
- Linh Kästner, Bassel Fatloun, Zhengcheng Shen, Daniel Gawrisch, Jens Lambrecht:
Human-Following and -guiding in Crowded Environments using Semantic Deep-Reinforcement-Learning for Mobile Service Robots. ICRA 2022: 833-839 - Daniel Staps, Ronny Schubert, Marika Kaden, Alexander Lampe, Wieland Hermann, Thomas Villmann:
Prototype-based One-Class-Classification Learning Using Local Representations. IJCNN 2022: 1-8 - Linh Kästner, Bassel Fatloun, Zhengcheng Shen, Daniel Gawrisch, Jens Lambrecht:
Human-Following and -guiding in Crowded Environments using Semantic Deep-Reinforcement-Learning for Mobile Service Robots. CoRR abs/2206.05771 (2022) - 2021
- Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum:
What do we want from Explainable Artificial Intelligence (XAI)? - A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Artif. Intell. 296: 103473 (2021) - Markus Langer, Daniel Oster, Timo Speith, Holger Hermanns, Lena Kästner, Eva Schmidt, Andreas Sesing, Kevin Baum:
What Do We Want From Explainable Artificial Intelligence (XAI)? - A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research. CoRR abs/2102.07817 (2021) - Allison McCarn Deiana, Nhan Tran, Joshua Agar, Michaela Blott, Giuseppe Di Guglielmo, Javier M. Duarte, Philip C. Harris, Scott Hauck, Mia Liu, Mark S. Neubauer, Jennifer Ngadiuba, Seda Ogrenci Memik, Maurizio Pierini, Thea Aarrestad, Steffen Bähr, Jürgen Becker, Anne-Sophie Berthold, Richard J. Bonventre, Tomás E. Müller-Bravo, Markus Diefenthaler, Zhen Dong, Nick Fritzsche, Amir Gholami, Ekaterina Govorkova, Kyle J. Hazelwood, Christian Herwig, Babar Khan, Sehoon Kim, Thomas Klijnsma, Yaling Liu, Kin Ho Lo, Tri Nguyen, Gianantonio Pezzullo, Seyedramin Rasoulinezhad, Ryan A. Rivera, Kate Scholberg, Justin Selig, Sougata Sen, Dmitri Strukov, William Tang, Savannah Thais, Kai Lukas Unger, Ricardo Vilalta, Belinavon Krosigk, Thomas K. Warburton, Maria Acosta Flechas, Anthony Aportela, Thomas Calvet, Leonardo Cristella, Daniel Diaz, Caterina Doglioni, Maria Domenica Galati, Elham E Khoda, Farah Fahim, Davide Giri, Benjamin Hawks, Duc Hoang, Burt Holzman, Shih-Chieh Hsu, Sergo Jindariani, Iris Johnson, Raghav Kansal, Ryan Kastner, Erik Katsavounidis, Jeffrey D. Krupa, Pan Li, Sandeep Madireddy, Ethan Marx, Patrick McCormack, Andres Meza, Jovan Mitrevski, Mohammed Attia Mohammed, Farouk Mokhtar, Eric A. Moreno, Srishti Nagu, Rohin Narayan, Noah Palladino, Zhiqiang Que, Sang Eon Park, Subramanian Ramamoorthy, Dylan S. Rankin, Simon Rothman, Ashish Sharma, Sioni Summers, Pietro Vischia, Jean-Roch Vlimant, Olivia Weng:
Applications and Techniques for Fast Machine Learning in Science. CoRR abs/2110.13041 (2021) - 2020
- Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand:
Safety-Critical Software Development in C++. SAFECOMP Workshops 2020: 98-110 - Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, Bogdan Vasilescu:
Heard it through the Gitvine: an empirical study of tool diffusion across the npm ecosystem. ESEC/SIGSOFT FSE 2020: 505-517 - Linh Kästner, Daniel Dimitrov, Jens Lambrecht:
A Markerless Deep Learning-based 6 Degrees of Freedom Pose Estimation for Mobile Robots using RGB Data. UR 2020: 391-396 - Linh Kästner, Daniel Dimitrov, Jens Lambrecht:
A Markerless Deep Learning-based 6 Degrees of Freedom PoseEstimation for with Mobile Robots using RGB Data. CoRR abs/2001.05703 (2020) - 2019
- Nicholas Rogers, John Hermiz, Mehran Ganji, Erik J. Kaestner, Kivilcim Kiliç, Lorraine Hossain, Martin Thunemann, Daniel R. Cleary, Bob S. Carter, David Barba, Anna Devor, Eric Halgren, Shadi A. Dayeh, Vikash Gilja:
Correlation Structure in Micro-ECoG Recordings is Described by Spatially Coherent Components. PLoS Comput. Biol. 15(2) (2019) - Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand:
Towards Zero Alarms in Sound Static Analysis of Finite State Machines. SAFECOMP 2019: 3-18 - 2018
- Daniel Kästner, Laurent Mauborgne, Christian Ferdinand:
On Software Safety, Security, and Abstract Interpretation. FM 2018: 662-665 - 2011
- Yaning Yang, Elaine F. Remmers, Chukwuma B. Ogunwole, Daniel L. Kastner, Peter K. Gregersen, Wentian Li:
Effective sample size: Quick estimation of the effect of related samples in genetic case-control association analyses. Comput. Biol. Chem. 35(1): 40-49 (2011) - 2010
- Monika Kastner, Jamy Li, Danielle M. Lottridge, Christine Marquez, David Newton, Sharon E. Straus:
Development of a prototype clinical decision support tool for osteoporosis disease management: a qualitative study of focus groups. BMC Medical Informatics Decis. Mak. 10: 40 (2010) - 2009
- Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims:
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009) - Wolfgang Granzer, Daniel Lechner, Fritz Praus, Wolfgang Kastner:
Securing IP backbones in building automation networks. INDIN 2009: 410-415 - 2003
- Bruno De Bus, Daniel Kästner, Dominique Chanet, Ludo Van Put, Bjorn De Sutter:
Post-pass compaction techniques. Commun. ACM 46(8): 41-46 (2003) - Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm:
Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) 2003: 335-339 - 1999
- Daniel Kästner, Marc Langenbach:
Code Optimization by Integer Linear Programming. CC 1999: 122-136 - Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm:
Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung 1999: 410-419
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-05 14:25 CEST 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