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
- Markus Holzer 0001
University of Giessen, Germany - Markus Holzer 0002
Pforzheim University of Applied Sciences, Germany - Markus Holzer 0003
Medical University of Vienna, Vienna, Austria - Markus Holzer 0004
University of Tübingen, Germany - Markus Holzer 0005
University of Erlangen-Nuremberg, Germany - show all
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 327 matches
- 2024
- Christian Hölzer, Igor Gordiy, Stefan Grimme, Markus Bursch:
Hybrid DFT Geometries and Properties for 17k Lanthanoid Complexes─The LnQM Data Set. J. Chem. Inf. Model. 64(3): 825-836 (2024) - Markus Holzer, Travis Mitchell, Christopher R. Leonardi, Ulrich Rüde:
Development of a central-moment phase-field lattice Boltzmann model for thermocapillary flows: Droplet capture and computational performance. J. Comput. Phys. 518: 113337 (2024) - Robert Zimmerleiter, Wolfgang Greibl, Gerold Meininger, Kristina Duswald, Günther Hannesschläger, Paul Gattinger, Matthias Rohm, Christian Fuczik, Robert Holzer, Markus Brandstetter:
Sensor for Rapid In-Field Classification of Cannabis Samples Based on Near-Infrared Spectroscopy. Sensors 24(10): 3188 (2024) - Simon Beier, Markus Holzer:
On Regular Expression Proof Complexity of Salomaa's Axiom System F1. Taming the Infinities of Concurrency 2024: 72-100 - Hermann Gruber, Markus Holzer, Christian Rauch:
The Pumping Lemma for Context-Free Languages is Undecidable. DLT 2024: 141-155 - Hermann Gruber, Markus Holzer, Christian Rauch:
On Pumping Preserving Homomorphisms and the Complexity of the Pumping Problem (Extended Abstract). CIAA 2024: 153-165 - Markus Holzer, Travis Mitchell, Christopher R. Leonardi, Ulrich Rüde:
Development of a central-moment phase-field lattice Boltzmann model for thermocapillary flows: Droplet capture and computational performance. CoRR abs/2401.03041 (2024) - 2023
- Markus Holzer, Christian Rauch:
The Range of State Complexities of Languages Resulting from the Cascade Product - The Unary Case. Int. J. Found. Comput. Sci. 34(8): 987-1022 (2023) - Christian Rauch, Markus Holzer:
On the accepting state complexity of operations on permutation automata. RAIRO Theor. Informatics Appl. 57: 9 (2023) - Christoph Schwarzmeier, Markus Holzer, Travis Mitchell, Moritz Lehmann, Fabian Häusl, Ulrich Rüde:
Comparison of free-surface and conservative Allen-Cahn phase-field lattice Boltzmann method. J. Comput. Phys. 473: 111753 (2023) - Dominik Ernst, Markus Holzer, Georg Hager, Matthias Knorr, Gerhard Wellein:
Analytical performance estimation during code generation on modern GPUs. J. Parallel Distributed Comput. 173: 152-167 (2023) - Sören Dittmer, Michael Roberts, Julian D. Gilbey, Ander Biguri, Ian Selby, Anna Breger, Matthew Thorpe, Jonathan R. Weir-McCall, Effrossyni Gkrania-Klotsas, Anna Korhonen, Emily R. Jefferson, Georg Langs, Guang Yang, Helmut Prosch, Jan Stanczuk, Jing Tang, Judith Babar, Lorena Escudero Sanchez, Philip Teare, Mishal Patel, Marcel Wassin, Markus Holzer, Nicholas Walton, Pietro Lió, Tolou Shadbahr, Evis Sala, Jacobus Preller, James H. F. Rudd, John A. D. Aston, Carola-Bibiane Schönlieb:
Navigating the development challenges in creating complex data systems. Nat. Mac. Intell. 5(7): 681-686 (2023) - Frederik Hennig, Markus Holzer, Ulrich Rüde:
Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods. SIAM J. Sci. Comput. 45(4): 233- (2023) - Markus Holzer, Gabriel Staffelbach, Ilan Rocchi, Jayesh Badwaik, Andreas Herten, Radim Vavrík, Ondrej Vysocky, Lubomir Riha, Romain Cuidard, Ulrich Rüde:
Scalable Flow Simulations with the Lattice Boltzmann Method. CF 2023: 297-303 - Markus Holzer, Christian Rauch:
On Jaffe's Pumping Lemma, Revisited. DCFS 2023: 65-78 - Markus Holzer, Christian Rauch:
Computational Complexity of Reversible Reaction Systems. RC 2023: 40-54 - Hermann Gruber, Markus Holzer, Christian Rauch:
The Pumping Lemma for Regular Languages is Hard. CIAA 2023: 128-140 - Markus Holzer, Christian Rauch:
On Minimal Pumping Constants for Regular Languages. AFL 2023: 127-141 - Markus Holzer, Jayesh Badwaik, Radim Vavrík, Gabriel Staffelbach, Andreas Herten, Ondrej Vysocky, Ilan Rocchi, Lubomir Riha, Romain Cuidard, Ulrich Rüde:
Scalable Flow Simulations with the Lattice Boltzmann Method. CoRR abs/2305.09910 (2023) - 2022
- Henning Fernau, Markus Holzer, Petra Wolf:
Preface to Klaus-Jörn Lange Festschrift. Acta Informatica 59(4): 285-287 (2022) - Simon Beier, Markus Holzer:
Nondeterministic right one-way jumping finite automata. Inf. Comput. 284: 104687 (2022) - Markus Holzer, Martin Kutrib, Andreas Malcher, Matthias Wendlandt:
Input-Driven Double-Head Pushdown Automata. Int. J. Found. Comput. Sci. 33(3&4): 285-311 (2022) - Markus Holzer, Christian Rauch:
On the Descriptional Complexity of the Direct Product of Finite Automata. DCFS 2022: 100-111 - Hermann Gruber, Markus Holzer, Christian Rauch:
On 25 Years of CIAA Through the Lens of Data Science. CIAA 2022: 3-18 - Christian Rauch, Markus Holzer:
On the Accepting State Complexity of Operations on Permutation Automata. NCMA 2022: 177-189 - Dominik Ernst, Markus Holzer, Georg Hager, Matthias Knorr, Gerhard Wellein:
Analytical Performance Estimation during Code Generation on Modern GPUs. CoRR abs/2204.14242 (2022) - Frederik Hennig, Markus Holzer, Ulrich Rüde:
Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods. CoRR abs/2211.02435 (2022) - 2021
- Henning Bordihn, Markus Holzer:
On the number of active states in finite automata. Acta Informatica 58(4): 301-318 (2021) - Franziska Hufsky, Kevin Lamkiewicz, Alexandre Almeida, Abdel Aouacheria, Cecilia N. Arighi, Alex Bateman, Jan Baumbach, Niko Beerenwinkel, Christian Brandt, Marco Cacciabue, Sara Chuguransky, Oliver Drechsel, Robert D. Finn, Adrian Fritz, Stephan Fuchs, Georges Hattab, Anne-Christin Hauschild, Dominik Heider, Marie Hoffmann, Martin Hölzer, Stefan Hoops, Lars Kaderali, Ioanna Kalvari, Max von Kleist, Renó Kmiecinski, Denise Kühnert, Gorka Lasso, Pieter Libin, Markus List, Hannah F. Löchel, Maria Jesus Martin, Roman Martin, Julian O. Matschinske, Alice C. McHardy, Pedro Mendes, Jaina Mistry, Vincent Navratil, Eric P. Nawrocki, Áine Niamh O'toole, Nancy Ontiveros-Palacios, Anton I. Petrov, Guillermo Rangel-Pineros, Nicole Redaschi, Susanne Reimering, Knut Reinert, Alejandro Reyes, Lorna J. Richardson, David L. Robertson, Sepideh Sadegh, Joshua B. Singer, Kristof Theys, Chris Upton, Marius Welzel, Lowri Williams, Manja Marz:
Computational strategies to combat COVID-19: useful tools to accelerate SARS-CoV-2 and coronavirus research. Briefings Bioinform. 22(2): 642-663 (2021) - Markus Holzer, Martin Kutrib, Friedrich Otto:
Two-Sided Strictly Locally Testable Languages. Fundam. Informaticae 180(1-2): 29-51 (2021)
skipping 297 more matches
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-09-22 18:26 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