![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
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
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 314 matches
- 2024
- Martin Winter
:
Capturing Polytopal Symmetries by Coloring the Edge-Graph. Discret. Comput. Geom. 71(3): 1003-1020 (2024) - Martin Winter
:
The clique graphs of the hexagonal lattice - an explicit construction and a short proof of divergence. Discret. Math. 347(5): 113912 (2024) - Cezar-Constantin Andrici
, Stefan Ciobaca
, Catalin Hritcu
, Guido Martínez
, Exequiel Rivas
, Éric Tanter
, Théo Winterhalter
:
Securing Verified IO Programs Against Unverified Code in F. Proc. ACM Program. Lang. 8(POPL): 2226-2259 (2024) - Martin Ebel, Christian Koldewey, Johannes Winter, Roman Dumitrescu:
Introduction to the Minitrack on Data-driven Services and Servitization in Manufacturing: Innovation, Engineering, Transformation, and Management. HICSS 2024: 994-996 - Subal Sahni, Abhijit Abhyankar, Ankur Aggarwal, Nikos Bamiedakis, Zoltan Bekker, Mohamed Benromdhane, Nadav Bergstein, Ties Bos, Christopher Davies, Andrew Gimlett, Xiaoping Han, Kelin Lee, Kavya Mahadevaiah, Hakki Ozguc, Kevin Park, Jeremy Plunkett, Sujit Ramachandra, Jason Redgrave, Ajmer Singh, Matteo Staffaroni, Angelina Totovic, Saurabh Vats, Phil Winterbottom, Darren Woodhouse, Waleed Younis, Shifeng Yu, David Lazovsky:
Beyond the Beachfront: Integration of Silicon Photonic I/Os under a High-Power ASIC. OFC 2024: 1-3 - Daniel Méndez, Ana Moreira, Jennifer Horkoff, Thorsten Weyer, Maya Daneva, Michael Unterkalmsteiner, Stan Bühne, Jennifer Hehn, Birgit Penzenstadler, Oscar Dieste, Nelly Condori-Fernández, Renata S. S. Guizzardi, Khan Mohammad Habibullah, Anna Perini, Angelo Susi, Sallam Abualhaija, Chetan Arora, Davide Dell'Anna, Alessio Ferrari, Sepideh Ghanavati, Fabiano Dalpiaz, Jan-Philipp Steghöfer, Alexander Rachmann, Jens Gulden, Andrea Müller, Martina Beck, Dominik Birkmeier, Andrea Herrmann, Patrick Mennig, Kurt Schneider:
Joint Proceedings of REFSQ-2024 Workshops, Doctoral Symposium, Posters & Tools Track, and Education and Training Track co-located with the 30th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland, April 8-11, 2024. CEUR Workshop Proceedings 3672, CEUR-WS.org 2024 [contents] - Sarah Winter, Martin Zimmermann:
Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking. CoRR abs/2404.18280 (2024) - Martin Dobler, Michael Hellwig, Nuno Lopes, Ken Oakley, Mike Winterburn:
Systematic review, analysis, and characterisation of malicious industrial network traffic datasets for aiding Machine Learning algorithm performance testing. CoRR abs/2405.04866 (2024) - 2023
- Benjamin D. Killeen, Jonas Winter, Wenhao Gu
, Alejandro Martin-Gomez
, Russell H. Taylor, Greg Osgood, Mathias Unberath:
Mixed reality interfaces for achieving desired views with robotic X-ray systems. Comput. methods Biomech. Biomed. Eng. Imaging Vis. 11(4): 1130-1135 (2023) - Bodo Winter
, Martin H. Fischer, Christoph Scheepers, Andriy Myachykov:
More is Better: English Language Statistics are Biased Toward Addition. Cogn. Sci. 47(4) (2023) - Jannis Beese, Kazem Haki
, Raphael David Schilling, Martin Kraus, Stephan Aier, Robert Winter:
Strategic alignment of enterprise architecture management - how portfolios of control mechanisms track a decade of enterprise transformation at Commerzbank. Eur. J. Inf. Syst. 32(1): 92-105 (2023) - Martin Schrepp, Jessica Kollmorgen, Anna-Lena Meiners
, Andreas Hinderks, Dominique Winter, Harry B. Santoso, Jörg Thomaschewski:
On the Importance of UX Quality Aspects for Different Product Categories. Int. J. Interact. Multim. Artif. Intell. 8(2): 232 (2023) - Fergal J. Martin
, M. Ridwan Amode, Alisha Aneja, Olanrewaju Austine-Orimoloye, Andrey G. Azov
, If Barnes, Arne Becker, Ruth Bennett
, Andrew E. Berry
, Jyothish Bhai
, Simarpreet Kaur Bhurji, Alexandra Bignell, Sanjay Boddu
, Paulo R. B. Lins, Lucy Brooks
, Shashank Budhanuru Ramaraju, Mehrnaz Charkhchi, Alexander Cockburn, Luca Da Rin Fioretto, Claire Davidson
, Kamalkumar Jayantilal Dodiya, Sarah M. Donaldson
, Bilal El Houdaigui
, Tamara El Naboulsi, Reham Fatima, Carlos García-Girón
, Thiago Augusto Lopes Genez, Gurpreet S. Ghattaoraya, Jose Gonzalez Martinez
, Cristi Guijarro
, Matthew Hardy, Zoe Hollis
, Thibaut Hourlier
, Toby Hunt
, Mike P. Kay
, Vinay Kaykala, Tuan Le, Diana Lemos, Diego Marques-Coelho, José Carlos Marugán, Gabriela Alejandra Merino
, Louisse Paola Mirabueno
, Aleena Mushtaq, Syed Nakib Hossain
, Denye N. Ogeh
, Manoj Pandian Sakthivel, Anne Parker, Malcolm Perry, Ivana Pilizota
, Irina Prosovetskaia, José G. Pérez-Silva
, Ahamed Imran Abdul Salam
, Nuno Saraiva-Agostinho, Helen Schuilenburg
, Dan Sheppard, Swati Sinha, Botond Sipos
, William Stark, Emily Steed, Ranjit Sukumaran, Dulika Sumathipala, Marie-Marthe Suner
, Likhitha Surapaneni
, Kyösti Sutinen, Michal Szpak, Francesca Floriana Tricomi
, David Urbina-Gómez
, Andres Veidenberg
, Thomas A. Walsh
, Brandon Walts, Elizabeth Wass
, Natalie L. Willhoft
, Jamie Allen
, Jorge Álvarez-Jarreta, Marc Chakiachvili
, Bethany Flint
, Stefano Giorgetti, Leanne Haggerty
, Garth R Ilsley, Jane E. Loveland
, Benjamin Moore
, Jonathan M. Mudge, John G. Tate, David Thybert, Stephen J. Trevanion
, Andrea Winterbottom, Adam Frankish
, Sarah E. Hunt
, Magali Ruffier, Fiona Cunningham
, Sarah Dyer
, Robert D. Finn
, Kevin L. Howe, Peter W. Harrison
, Andrew D. Yates
, Paul Flicek
:
Ensembl 2023. Nucleic Acids Res. 51(D1): 933-941 (2023) - Harshvardhan Gazula
, Kelly Rootes-Murdy, Bharath Holla, Sunitha Basodi, Zuo Zhang, Eric Verner, Ross Kelly, Pratima Murthy, Amit Chakrabarti, Debasish Basu, Subodh Bhagyalakshmi Nanjayya, Rajkumar Lenin Singh, Roshan Lourembam Singh, Kartik Kalyanram, Kamakshi Kartik, Kalyanaraman Kumaran, Krishnaveni Ghattu, Rebecca Kuriyan
, Sunita Simon Kurpad, Gareth J. Barker, Rose Dawn Bharath, Sylvane Desrivières, Meera Purushottam, Dimitri Papadopoulos-Orfanos, Eesha Sharma, Matthew Hickman
, Mireille Toledano, Nilakshi Vaidya
, Tobias Banaschewski, Arun L. W. Bokde, Herta Flor, Antoine Grigis, Hugh Garavan, Penny A. Gowland
, Andreas Heinz
, Rüdiger Brühl, Jean-Luc Martinot, Marie-Laure Paillère-Martinot, Eric Artiges
, Frauke Nees
, Tomás Paus, Luise Poustka, Juliane H. Fröhner, Lauren Robinson, Michael N. Smolka
, Henrik Walter
, Jeanne Winterer, Robert Whelan, Jessica A. Turner, Anand D. Sarwate, Sergey M. Plis, Vivek Benegal, Gunter Schumann, Vince D. Calhoun
:
Federated Analysis in COINSTAC Reveals Functional Network Connectivity and Spectral Links to Smoking and Alcohol Consumption in Nearly 2,000 Adolescent Brains. Neuroinformatics 21(2): 287-301 (2023) - Siamak Tavakoli, Stefan Poslad, Rudolf K. Fruhwirth, Martin Winter, Herwig Zeiner
:
Towards Managing Uncertain Geo-Information for Drilling Disasters Using Event Tracking Sensitivity Analysis. Sensors 23(9): 4292 (2023) - Subhrasankha Dey
, Stephan Winter
, Martin Tomko
, Niloy Ganguly:
Traffic Count Estimation at Basis Links Without Path Flow and Historic Data. IEEE Trans. Intell. Transp. Syst. 24(10): 11410-11423 (2023) - Alexander Weinrauch
, Wolfgang Tatzgern
, Pascal Stadlbauer
, Alexis Crickx
, Jozef Hladky
, Arno Coomans
, Martin Winter
, Joerg H. Mueller
, Markus Steinberger
:
Effect-based Multi-viewer Caching for Cloud-native Rendering. ACM Trans. Graph. 42(4): 87:1-87:16 (2023) - Kimia Amoozandeh
, Stephan Winter, Martin Tomko:
Granularity of origins and clustering destinations in indoor wayfinding. Comput. Environ. Urban Syst. 99: 101891 (2023) - Helmut Neuschmied
, Martin Winter
:
Explainable face verification for video archive documentation. CBMI 2023: 104-110 - Yu Wang
, Martin Steinmetz
, Sonja Dorfbauer
, Florian Michahelles
, Philipp Wintersberger
:
Investigation of a Pitch Function for Motion-Based VR Bicycle Simulators. CHI Extended Abstracts 2023: 191:1-191:7 - Yu Wang
, Raphael Johannes Schimmerl, Martin Kocur
, Philipp Wintersberger:
Ubiquity of VR: Towards Investigating Ways of Interrupting VR Users to Obtain Their Attention in Public Spaces. EuroXR 2023: 40-52 - Sven Gedicke
, Martin Tomko
, Stephan Winter
, Jan-Henrik Haunert
:
Selecting Landmarks for Wayfinding Assistance Based on Advance Visibility. SIGSPATIAL/GIS 2023: 62:1-62:10 - Christian Koldewey, Martin Rabe, Roman Dumitrescu, Johannes Winter:
Introduction to the Minitrack on Data-driven Services in Manufacturing: Innovation, Engineering, Transformation, and Management. HICSS 2023: 886-888 - Christian Draeger
, Erik Tute
, Carsten Oliver Schmidt
, Dagmar Waltemath
, Martin Boeker
, Alfred Winter
, Matthias Löbe
:
Identifying Relevant FHIR Elements for Data Quality Assessment in the German Core Data Set. MIE 2023: 272-276 - Liva Deksne, Viesturs Pavlovs, Dainis Dosbergs, Martins Zviedris:
Analytical Model for Winter Road Maintenance Efficiency Determination. VEHITS 2023: 171-178 - Martin Fränzle, Sarah Winter, Martin Zimmermann
:
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF 2023: 220-235 - Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter:
Securely Compiling Verified F* Programs With IO. CoRR abs/2303.01350 (2023) - Martin Uray
, Stefan Wintersteller, Stefan Huber
:
CSRX: A novel Crossover Operator for a Genetic Algorithm applied to the Traveling Salesperson Problem. CoRR abs/2303.12447 (2023) - Martin Fränzle, Sarah Winter, Martin Zimmermann:
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games (full version). CoRR abs/2305.19985 (2023) - Martin Winter:
The clique graphs of the hexagonal lattice - an explicit construction and a short proof of divergence. CoRR abs/2307.11238 (2023)
skipping 284 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-06-17 11:15 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