![](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
Exact matches
- Roland Meyer 0001
TU Braunschweig, Germany - Roland Meyer 0002
University of Hanover, Hannover, Germany - Roland Meyer 0003
Karlsruhe University of Arts and Design, Germany - Roland Meyer 0004
Humboldt University Berlin, Department of West-Slavic Languages, Germany
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 163 matches
- 2024
- Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche:
Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities. ICALP 2024: 126:1-126:19 - Eren Keskin
, Roland Meyer
:
On the Separability Problem of VASS Reachability Languages. LICS 2024: 49:1-49:14 - Eren Keskin, Roland Meyer:
On the Separability Problem of VASS Reachability Languages. CoRR abs/2401.16095 (2024) - Roland Meyer, Jakob Tepe, Sebastian Wolff:
Realizability in Semantics-Guided Synthesis Done Eagerly. CoRR abs/2403.05607 (2024) - Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche:
Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities. CoRR abs/2406.01008 (2024) - 2023
- Roland Meyer
, Thomas Wies
, Sebastian Wolff
:
Embedding Hindsight Reasoning in Separation Logic. Proc. ACM Program. Lang. 7(PLDI): 1848-1871 (2023) - Thomas Haas
, René Pascasl Maseli, Roland Meyer
, Hernán Ponce de León
:
Static Analysis of Memory Models for SMT Encodings. Proc. ACM Program. Lang. 7(OOPSLA2): 1618-1647 (2023) - Roland Meyer
, Anton Opaterny
, Thomas Wies
, Sebastian Wolff
:
nekton: A Linearizability Proof Checker. CAV (1) 2023: 170-183 - Eren Keskin, Roland Meyer:
Separability and Non-Determinizability of WSTS. CONCUR 2023: 8:1-8:17 - Turgut Refik Caglar, Hartmut Pohlheim, Elena Andrushchenko, Maurice Meyer, Roland Jochem:
A Smart Project Management System for Task Assignment Using Multi-Objective Optimization Algorithms. IEEM 2023: 1728-1732 - Felix Erdfelder
, Henning Begerau
, David Meyers, Klaus-Jürgen Quast, Daniel Schumacher, Tobias Brieden
, Roland Ihle
, Danny Ammon
, Henner M. Kruse
, Sven Zenker
:
Enhancing Data Protection via Auditable Informational Separation of Powers Between Workflow Engine Based Agents: Conceptualization, Implementation, and First Cross-Institutional Experiences. MIE 2023: 317-321 - Pascal Baumann
, Roland Meyer, Georg Zetzsche:
Regular Separability in Büchi VASS. STACS 2023: 9:1-9:19 - Roland Meyer
, Thomas Wies
, Sebastian Wolff
:
Make Flows Small Again: Revisiting the Flow Framework. TACAS (1) 2023: 628-646 - Pascal Baumann
, Roland Meyer, Georg Zetzsche:
Regular Separability in Büchi VASS. CoRR abs/2301.11242 (2023) - Roland Meyer, Thomas Wies, Sebastian Wolff:
Make flows small again: revisiting the flow framework. CoRR abs/2304.04886 (2023) - Eren Keskin, Roland Meyer:
Separability and Non-Determinizability of WSTS. CoRR abs/2305.02736 (2023) - Eren Keskin, Roland Meyer, Sören van der Wall:
Contextual Equivalence for Alternation and Urgency. CoRR abs/2305.02967 (2023) - Florian Kofler, Felix Meissen, Felix Steinbauer
, Robert Graf
, Eva Oswald, Ezequiel de la Rosa, Hongwei Bran Li, Ujjwal Baid, Florian A. Hölzl, Özgün Turgut, Izabela Horvath, Diana Waldmannstetter, Christina Bukas, Maruf Adewole, Syed Muhammad Anwar, Anastasia Janas, Anahita Fathi Kazerooni, Dominic LaBella, Ahmed W. Moawad, Keyvan Farahani, James A. Eddy, Timothy Bergquist, Verena Chung, Russell Takeshi Shinohara, Farouk Dako, Walter I. Wiggins, Zachary Reitman, Chunhao Wang, Xinyang Liu, Zhifan Jiang, Ariana Familiar, Gian Marco Conte, Elaine Johanson, Zeke Meier, Christos Davatzikos, John B. Freymann, Justin S. Kirby, Michel Bilello, Hassan M. Fathallah-Shaykh, Roland Wiest, Jan Kirschke, Rivka R. Colen, Aikaterini Kotrotsou, Pamela LaMontagne, Daniel S. Marcus, Mikhail Milchenko, Arash Nazeri, Marc-André Weber, Abhishek Mahajan, Suyash Mohan, John Mongan, Christopher Hess, Soonmee Cha, Javier E. Villanueva-Meyer, Errol Colak, Priscila Crivellaro, András Jakab
, Jake Albrecht, Udunna Anazodo, Mariam Aboian, Juan Eugenio Iglesias, Koen Van Leemput, Spyridon Bakas, Daniel Rueckert, Benedikt Wiestler, Ivan Ezhov, Marie Piraud, Bjoern H. Menze:
The Brain Tumor Segmentation (BraTS) Challenge 2023: Local Synthesis of Healthy Brain Tissue via Inpainting. CoRR abs/2305.08992 (2023) - Hongwei Bran Li, Gian Marco Conte, Syed Muhammad Anwar, Florian Kofler, Koen Van Leemput, Marie Piraud, Ivan Ezhov, Felix Meissen, Maruf Adewole, Anastasia Janas, Anahita Fathi Kazerooni, Dominic LaBella, Ahmed W. Moawad, Keyvan Farahani, James A. Eddy, Timothy Bergquist, Verena Chung, Russell Takeshi Shinohara, Farouk Dako, Walter I. Wiggins, Zachary Reitman, Chunhao Wang, Xinyang Liu, Zhifan Jiang, Ariana Familiar, Elaine Johanson, Zeke Meier, Christos Davatzikos, John B. Freymann, Justin S. Kirby, Michel Bilello, Hassan M. Fathallah-Shaykh, Roland Wiest, Jan Kirschke, Rivka R. Colen, Aikaterini Kotrotsou, Pamela LaMontagne, Daniel S. Marcus, Mikhail Milchenko, Arash Nazeri, Marc-André Weber, Abhishek Mahajan, Suyash Mohan, John Mongan, Christopher Hess, Soonmee Cha, Javier E. Villanueva-Meyer, Errol Colak, Priscila Crivellaro, András Jakab, Jake Albrecht, Udunna Anazodo, Mariam Aboian, Thomas Yu, Ujjwal Baid, Spyridon Bakas, Marius George Linguraru, Bjoern H. Menze, Juan Eugenio Iglesias, Benedikt Wiestler:
The Brain Tumor Segmentation (BraTS) Challenge 2023: Brain MR Image Synthesis for Tumor Segmentation (BraSyn). CoRR abs/2305.09011 (2023) - Roland Meyer, Thomas Wies, Sebastian Wolff:
Context-Aware Separation Logic. CoRR abs/2307.15549 (2023) - 2022
- Peter Chini, Roland Meyer, Prakash Saivasan:
Liveness in broadcast networks. Computing 104(10): 2203-2223 (2022) - Marco Tranzatto
, Frank Mascarich, Lukas Bernreiter
, Carolina Godinho, Marco Camurri
, Shehryar Khattak
, Tung Dang, Victor Reijgwart
, Johannes Loeje, David Wisth
, Samuel Zimmermann, Huan Nguyen, Marius Fehr
, Lukas Solanka, Russell Buchanan
, Marko Bjelonic
, Nikhil Khedekar, Mathieu Valceschini, Fabian Jenelten, Mihir Dharmadhikari, Timon Homberger, Paolo De Petris, Lorenz Wellhausen
, Mihir Kulkarni, Takahiro Miki
, Satchel Hirsch, Markus Montenegro, Christos Papachristos, Fabian Tresoldi, Jan Carius, Giorgio Valsecchi, Joonho Lee, Konrad Meyer, Xiangyu Wu, Juan I. Nieto, Andy Smith, Marco Hutter
, Roland Siegwart
, Mark W. Mueller, Maurice F. Fallon
, Kostas Alexis
:
CERBERUS: Autonomous Legged and Aerial Robotic Exploration in the Tunnel and Urban Circuits of the DARPA Subterranean Challenge. Field Robotics 2(1): 274-324 (2022) - Thomas Haas
, Roland Meyer
, Hernán Ponce de León
:
CAAT: consistency as a theory. Proc. ACM Program. Lang. 6(OOPSLA2): 114-144 (2022) - Roland Meyer
, Thomas Wies
, Sebastian Wolff
:
A concurrent program logic with a future and history. Proc. ACM Program. Lang. 6(OOPSLA2): 1378-1407 (2022) - Alice Ziegler
, Hanna Meyer
, Insa Otte, Marcell K. Peters, Tim Appelhans, Christina Behler, Katrin Böhning-Gaese, Alice Classen
, Florian Detsch
, Jürgen Deckert
, Connal Eardley, Stefan W. Ferger, Markus Fischer, Friederike Gebert
, Michael Haas
, Maria Helbig-Bonitz, Andreas Hemp, Claudia Hemp
, Victor Kakengi, Antonia V. Mayr
, Christine Ngereza, Christoph Reudenbach
, Juliane Röder
, Gemma Rutten
, David Schellenberger Costa
, Matthias Schleuning
, Axel Ssymank, Ingolf Steffan-Dewenter, Joseph Tardanico
, Marco Tschapka, Maximilian G. R. Vollstädt, Stephan Wöllauer, Jie Zhang
, Roland Brandl, Thomas Nauss:
Potential of Airborne LiDAR Derived Vegetation Structure for the Prediction of Animal Species Richness at Mount Kilimanjaro. Remote. Sens. 14(3): 786 (2022) - Mike Becker
, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff:
Model-Based Fault Classification for Automotive Software. APLAS 2022: 110-131 - Jessica Gantenbein
, Jan T. Meyer, Lukas Jäger, Roland Sigrist, Roger Gassert
, Olivier Lambercy:
An Analysis of Intention Detection Strategies to Control Advanced Assistive Technologies at the CYBATHLON. ICORR 2022: 1-6 - Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty:
Parameterized Verification under Release Acquire is PSPACE-complete. PODC 2022: 482-492 - Hernán Ponce de León
, Thomas Haas
, Roland Meyer
:
Dartagnan: SMT-based Violation Witness Validation (Competition Contribution). TACAS (2) 2022: 418-423 - Marco Tranzatto, Frank Mascarich, Lukas Bernreiter, Carolina Godinho, Marco Camurri, Shehryar Khattak, Tung Dang, Victor Reijgwart, Johannes Loeje, David Wisth, Samuel Zimmermann, Huan Nguyen, Marius Fehr, Lukas Solanka, Russell Buchanan, Marko Bjelonic, Nikhil Khedekar, Mathieu Valceschini, Fabian Jenelten, Mihir Dharmadhikari, Timon Homberger, Paolo De Petris, Lorenz Wellhausen, Mihir Kulkarni, Takahiro Miki, Satchel Hirsch, Markus Montenegro, Christos Papachristos, Fabian Tresoldi, Jan Carius, Giorgio Valsecchi, Joonho Lee, Konrad Meyer, Xiangyu Wu, Juan I. Nieto, Andy Smith, Marco Hutter, Roland Siegwart, Mark W. Mueller, Maurice F. Fallon, Kostas Alexis:
CERBERUS: Autonomous Legged and Aerial Robotic Exploration in the Tunnel and Urban Circuits of the DARPA Subterranean Challenge. CoRR abs/2201.07067 (2022)
skipping 133 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-07-17 14:33 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