Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Roland Meyer"
download as .bib file
@inproceedings{DBLP:conf/icalp/0001K0Z24,
author = {Pascal Baumann and
Eren Keskin and
Roland Meyer and
Georg Zetzsche},
title = {Separability in B{\"{u}}chi {VASS} and Singly Non-Linear Systems
of Inequalities},
booktitle = {{ICALP}},
series = {LIPIcs},
volume = {297},
pages = {126:1--126:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024}
}
@inproceedings{DBLP:conf/lics/Keskin024,
author = {Eren Keskin and
Roland Meyer},
title = {On the Separability Problem of {VASS} Reachability Languages},
booktitle = {{LICS}},
pages = {49:1--49:14},
publisher = {{ACM}},
year = {2024}
}
@article{DBLP:journals/corr/abs-2401-16095,
author = {Eren Keskin and
Roland Meyer},
title = {On the Separability Problem of {VASS} Reachability Languages},
journal = {CoRR},
volume = {abs/2401.16095},
year = {2024}
}
@article{DBLP:journals/corr/abs-2403-05607,
author = {Roland Meyer and
Jakob Tepe and
Sebastian Wolff},
title = {Realizability in Semantics-Guided Synthesis Done Eagerly},
journal = {CoRR},
volume = {abs/2403.05607},
year = {2024}
}
@article{DBLP:journals/corr/abs-2406-01008,
author = {Pascal Baumann and
Eren Keskin and
Roland Meyer and
Georg Zetzsche},
title = {Separability in B{\"{u}}chi Vass and Singly Non-Linear Systems
of Inequalities},
journal = {CoRR},
volume = {abs/2406.01008},
year = {2024}
}
@article{DBLP:journals/pacmpl/0001W023,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Embedding Hindsight Reasoning in Separation Logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1848--1871},
year = {2023}
}
@article{DBLP:journals/pacmpl/HaasMML23,
author = {Thomas Haas and
Ren{\'{e}} Pascasl Maseli and
Roland Meyer and
Hern{\'{a}}n Ponce de Le{\'{o}}n},
title = {Static Analysis of Memory Models for {SMT} Encodings},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1618--1647},
year = {2023}
}
@inproceedings{DBLP:conf/cav/MeyerOWW23,
author = {Roland Meyer and
Anton Opaterny and
Thomas Wies and
Sebastian Wolff},
title = {nekton: {A} Linearizability Proof Checker},
booktitle = {{CAV} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {170--183},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/concur/Keskin023,
author = {Eren Keskin and
Roland Meyer},
title = {Separability and Non-Determinizability of {WSTS}},
booktitle = {{CONCUR}},
series = {LIPIcs},
volume = {279},
pages = {8:1--8:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023}
}
@inproceedings{DBLP:conf/ieem/CaglarPAMJ23,
author = {Turgut Refik Caglar and
Hartmut Pohlheim and
Elena Andrushchenko and
Maurice Meyer and
Roland Jochem},
title = {A Smart Project Management System for Task Assignment Using Multi-Objective
Optimization Algorithms},
booktitle = {{IEEM}},
pages = {1728--1732},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/mie/ErdfelderBMQSBI23,
author = {Felix Erdfelder and
Henning Begerau and
David Meyers and
Klaus{-}J{\"{u}}rgen Quast and
Daniel Schumacher and
Tobias Brieden and
Roland Ihle and
Danny Ammon and
Henner M. Kruse and
Sven Zenker},
title = {Enhancing Data Protection via Auditable Informational Separation of
Powers Between Workflow Engine Based Agents: Conceptualization, Implementation,
and First Cross-Institutional Experiences},
booktitle = {{MIE}},
series = {Studies in Health Technology and Informatics},
volume = {302},
pages = {317--321},
publisher = {{IOS} Press},
year = {2023}
}
@inproceedings{DBLP:conf/stacs/00010Z23,
author = {Pascal Baumann and
Roland Meyer and
Georg Zetzsche},
title = {Regular Separability in B{\"{u}}chi {VASS}},
booktitle = {{STACS}},
series = {LIPIcs},
volume = {254},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023}
}
@inproceedings{DBLP:conf/tacas/MeyerWW23,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Make Flows Small Again: Revisiting the Flow Framework},
booktitle = {{TACAS} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {628--646},
publisher = {Springer},
year = {2023}
}
@article{DBLP:journals/corr/abs-2301-11242,
author = {Pascal Baumann and
Roland Meyer and
Georg Zetzsche},
title = {Regular Separability in B{\"{u}}chi {VASS}},
journal = {CoRR},
volume = {abs/2301.11242},
year = {2023}
}
@article{DBLP:journals/corr/abs-2304-04886,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Make flows small again: revisiting the flow framework},
journal = {CoRR},
volume = {abs/2304.04886},
year = {2023}
}
@article{DBLP:journals/corr/abs-2305-02736,
author = {Eren Keskin and
Roland Meyer},
title = {Separability and Non-Determinizability of {WSTS}},
journal = {CoRR},
volume = {abs/2305.02736},
year = {2023}
}
@article{DBLP:journals/corr/abs-2305-02967,
author = {Eren Keskin and
Roland Meyer and
S{\"{o}}ren van der Wall},
title = {Contextual Equivalence for Alternation and Urgency},
journal = {CoRR},
volume = {abs/2305.02967},
year = {2023}
}
@article{DBLP:journals/corr/abs-2305-08992,
author = {Florian Kofler and
Felix Meissen and
Felix Steinbauer and
Robert Graf and
Eva Oswald and
Ezequiel de la Rosa and
Hongwei Bran Li and
Ujjwal Baid and
Florian A. H{\"{o}}lzl and
{\"{O}}zg{\"{u}}n Turgut and
Izabela Horvath and
Diana Waldmannstetter and
Christina Bukas and
Maruf Adewole and
Syed Muhammad Anwar and
Anastasia Janas and
Anahita Fathi Kazerooni and
Dominic LaBella and
Ahmed W. Moawad and
Keyvan Farahani and
James A. Eddy and
Timothy Bergquist and
Verena Chung and
Russell Takeshi Shinohara and
Farouk Dako and
Walter I. Wiggins and
Zachary Reitman and
Chunhao Wang and
Xinyang Liu and
Zhifan Jiang and
Ariana Familiar and
Gian Marco Conte and
Elaine Johanson and
Zeke Meier and
Christos Davatzikos and
John B. Freymann and
Justin S. Kirby and
Michel Bilello and
Hassan M. Fathallah{-}Shaykh and
Roland Wiest and
Jan Kirschke and
Rivka R. Colen and
Aikaterini Kotrotsou and
Pamela LaMontagne and
Daniel S. Marcus and
Mikhail Milchenko and
Arash Nazeri and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Suyash Mohan and
John Mongan and
Christopher Hess and
Soonmee Cha and
Javier E. Villanueva{-}Meyer and
Errol Colak and
Priscila Crivellaro and
Andr{\'{a}}s Jakab and
Jake Albrecht and
Udunna Anazodo and
Mariam Aboian and
Juan Eugenio Iglesias and
Koen Van Leemput and
Spyridon Bakas and
Daniel Rueckert and
Benedikt Wiestler and
Ivan Ezhov and
Marie Piraud and
Bjoern H. Menze},
title = {The Brain Tumor Segmentation (BraTS) Challenge 2023: Local Synthesis
of Healthy Brain Tissue via Inpainting},
journal = {CoRR},
volume = {abs/2305.08992},
year = {2023}
}
@article{DBLP:journals/corr/abs-2305-09011,
author = {Hongwei Bran Li and
Gian Marco Conte and
Syed Muhammad Anwar and
Florian Kofler and
Koen Van Leemput and
Marie Piraud and
Ivan Ezhov and
Felix Meissen and
Maruf Adewole and
Anastasia Janas and
Anahita Fathi Kazerooni and
Dominic LaBella and
Ahmed W. Moawad and
Keyvan Farahani and
James A. Eddy and
Timothy Bergquist and
Verena Chung and
Russell Takeshi Shinohara and
Farouk Dako and
Walter I. Wiggins and
Zachary Reitman and
Chunhao Wang and
Xinyang Liu and
Zhifan Jiang and
Ariana Familiar and
Elaine Johanson and
Zeke Meier and
Christos Davatzikos and
John B. Freymann and
Justin S. Kirby and
Michel Bilello and
Hassan M. Fathallah{-}Shaykh and
Roland Wiest and
Jan Kirschke and
Rivka R. Colen and
Aikaterini Kotrotsou and
Pamela LaMontagne and
Daniel S. Marcus and
Mikhail Milchenko and
Arash Nazeri and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Suyash Mohan and
John Mongan and
Christopher Hess and
Soonmee Cha and
Javier E. Villanueva{-}Meyer and
Errol Colak and
Priscila Crivellaro and
Andr{\'{a}}s Jakab and
Jake Albrecht and
Udunna Anazodo and
Mariam Aboian and
Thomas Yu and
Ujjwal Baid and
Spyridon Bakas and
Marius George Linguraru and
Bjoern H. Menze and
Juan Eugenio Iglesias and
Benedikt Wiestler},
title = {The Brain Tumor Segmentation (BraTS) Challenge 2023: Brain {MR} Image
Synthesis for Tumor Segmentation (BraSyn)},
journal = {CoRR},
volume = {abs/2305.09011},
year = {2023}
}
@article{DBLP:journals/corr/abs-2307-15549,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Context-Aware Separation Logic},
journal = {CoRR},
volume = {abs/2307.15549},
year = {2023}
}
@article{DBLP:journals/computing/ChiniMS22,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Liveness in broadcast networks},
journal = {Computing},
volume = {104},
number = {10},
pages = {2203--2223},
year = {2022}
}
@article{DBLP:journals/fr/TranzattoMBGCKDRLWZNFSBBKVJDHPWKMHMP22,
author = {Marco Tranzatto and
Frank Mascarich and
Lukas Bernreiter and
Carolina Godinho and
Marco Camurri and
Shehryar Khattak and
Tung Dang and
Victor Reijgwart and
Johannes Loeje and
David Wisth and
Samuel Zimmermann and
Huan Nguyen and
Marius Fehr and
Lukas Solanka and
Russell Buchanan and
Marko Bjelonic and
Nikhil Khedekar and
Mathieu Valceschini and
Fabian Jenelten and
Mihir Dharmadhikari and
Timon Homberger and
Paolo De Petris and
Lorenz Wellhausen and
Mihir Kulkarni and
Takahiro Miki and
Satchel Hirsch and
Markus Montenegro and
Christos Papachristos and
Fabian Tresoldi and
Jan Carius and
Giorgio Valsecchi and
Joonho Lee and
Konrad Meyer and
Xiangyu Wu and
Juan I. Nieto and
Andy Smith and
Marco Hutter and
Roland Siegwart and
Mark W. Mueller and
Maurice F. Fallon and
Kostas Alexis},
title = {{CERBERUS:} Autonomous Legged and Aerial Robotic Exploration in the
Tunnel and Urban Circuits of the {DARPA} Subterranean Challenge},
journal = {Field Robotics},
volume = {2},
number = {1},
pages = {274--324},
year = {2022}
}
@article{DBLP:journals/pacmpl/HaasML22,
author = {Thomas Haas and
Roland Meyer and
Hern{\'{a}}n Ponce de Le{\'{o}}n},
title = {{CAAT:} consistency as a theory},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {114--144},
year = {2022}
}
@article{DBLP:journals/pacmpl/MeyerWW22,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {A concurrent program logic with a future and history},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1378--1407},
year = {2022}
}
@article{DBLP:journals/remotesensing/ZieglerMOPABBCD22,
author = {Alice Ziegler and
Hanna Meyer and
Insa Otte and
Marcell K. Peters and
Tim Appelhans and
Christina Behler and
Katrin B{\"{o}}hning{-}Gaese and
Alice Classen and
Florian Detsch and
J{\"{u}}rgen Deckert and
Connal Eardley and
Stefan W. Ferger and
Markus Fischer and
Friederike Gebert and
Michael Haas and
Maria Helbig{-}Bonitz and
Andreas Hemp and
Claudia Hemp and
Victor Kakengi and
Antonia V. Mayr and
Christine Ngereza and
Christoph Reudenbach and
Juliane R{\"{o}}der and
Gemma Rutten and
David Schellenberger Costa and
Matthias Schleuning and
Axel Ssymank and
Ingolf Steffan{-}Dewenter and
Joseph Tardanico and
Marco Tschapka and
Maximilian G. R. Vollst{\"{a}}dt and
Stephan W{\"{o}}llauer and
Jie Zhang and
Roland Brandl and
Thomas Nauss},
title = {Potential of Airborne LiDAR Derived Vegetation Structure for the Prediction
of Animal Species Richness at Mount Kilimanjaro},
journal = {Remote. Sens.},
volume = {14},
number = {3},
pages = {786},
year = {2022}
}
@inproceedings{DBLP:conf/aplas/BeckerMRSWW22,
author = {Mike Becker and
Roland Meyer and
Tobias Runge and
Ina Schaefer and
S{\"{o}}ren van der Wall and
Sebastian Wolff},
title = {Model-Based Fault Classification for Automotive Software},
booktitle = {{APLAS}},
series = {Lecture Notes in Computer Science},
volume = {13658},
pages = {110--131},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/icorr/GantenbeinMJSGL22,
author = {Jessica Gantenbein and
Jan T. Meyer and
Lukas J{\"{a}}ger and
Roland Sigrist and
Roger Gassert and
Olivier Lambercy},
title = {An Analysis of Intention Detection Strategies to Control Advanced
Assistive Technologies at the {CYBATHLON}},
booktitle = {{ICORR}},
pages = {1--6},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/podc/KrishnaG0C22,
author = {Shankaranarayanan Krishna and
Adwait Godbole and
Roland Meyer and
Soham Chakraborty},
title = {Parameterized Verification under Release Acquire is PSPACE-complete},
booktitle = {{PODC}},
pages = {482--492},
publisher = {{ACM}},
year = {2022}
}
@inproceedings{DBLP:conf/tacas/LeonHM22,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Thomas Haas and
Roland Meyer},
title = {Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)},
booktitle = {{TACAS} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {418--423},
publisher = {Springer},
year = {2022}
}
@article{DBLP:journals/corr/abs-2201-07067,
author = {Marco Tranzatto and
Frank Mascarich and
Lukas Bernreiter and
Carolina Godinho and
Marco Camurri and
Shehryar Khattak and
Tung Dang and
Victor Reijgwart and
Johannes Loeje and
David Wisth and
Samuel Zimmermann and
Huan Nguyen and
Marius Fehr and
Lukas Solanka and
Russell Buchanan and
Marko Bjelonic and
Nikhil Khedekar and
Mathieu Valceschini and
Fabian Jenelten and
Mihir Dharmadhikari and
Timon Homberger and
Paolo De Petris and
Lorenz Wellhausen and
Mihir Kulkarni and
Takahiro Miki and
Satchel Hirsch and
Markus Montenegro and
Christos Papachristos and
Fabian Tresoldi and
Jan Carius and
Giorgio Valsecchi and
Joonho Lee and
Konrad Meyer and
Xiangyu Wu and
Juan I. Nieto and
Andy Smith and
Marco Hutter and
Roland Siegwart and
Mark W. Mueller and
Maurice F. Fallon and
Kostas Alexis},
title = {{CERBERUS:} Autonomous Legged and Aerial Robotic Exploration in the
Tunnel and Urban Circuits of the {DARPA} Subterranean Challenge},
journal = {CoRR},
volume = {abs/2201.07067},
year = {2022}
}
@article{DBLP:journals/corr/abs-2206-06694,
author = {Moritz Roman Hernandez Petzsche and
Ezequiel de la Rosa and
Uta Hanning and
Roland Wiest and
Waldo Enrique Valenzuela Pinilla and
Mauricio Reyes and
Maria In{\^{e}}s Meyer and
Sook{-}Lei Liew and
Florian Kofler and
Ivan Ezhov and
David Robben and
Alexandre Hutton and
Tassilo Friedrich and
Teresa Zarth and
Johannes B{\"{u}}rkle and
The Anh Baran and
Bjoern H. Menze and
Gabriel Broocks and
Lukas Meyer and
Claus Zimmer and
Tobias Boeckh{-}Behrens and
Maria Berndt and
Benno Ikenberg and
Benedikt Wiestler and
Jan S. Kirschke},
title = {{ISLES} 2022: {A} multi-center magnetic resonance imaging stroke lesion
segmentation dataset},
journal = {CoRR},
volume = {abs/2206.06694},
year = {2022}
}
@article{DBLP:journals/corr/abs-2207-02355,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {A Concurrent Program Logic with a Future and History},
journal = {CoRR},
volume = {abs/2207.02355},
year = {2022}
}
@article{DBLP:journals/corr/abs-2207-04914,
author = {Marco Tranzatto and
Mihir Dharmadhikari and
Lukas Bernreiter and
Marco Camurri and
Shehryar Khattak and
Frank Mascarich and
Patrick Pfreundschuh and
David Wisth and
Samuel Zimmermann and
Mihir Kulkarni and
Victor Reijgwart and
Benoit Casseau and
Timon Homberger and
Paolo De Petris and
Lionel Ott and
Wayne Tubby and
Gabriel Waibel and
Huan Nguyen and
Cesar Cadena and
Russell Buchanan and
Lorenz Wellhausen and
Nikhil Khedekar and
Olov Andersson and
Lintong Zhang and
Takahiro Miki and
Tung Dang and
Mat{\'{\i}}as Mattamala and
Markus Montenegro and
Konrad Meyer and
Xiangyu Wu and
Adrien Briod and
Mark W. Mueller and
Maurice F. Fallon and
Roland Siegwart and
Marco Hutter and
Kostas Alexis},
title = {Team {CERBERUS} Wins the {DARPA} Subterranean Challenge: Technical
Overview and Lessons Learned},
journal = {CoRR},
volume = {abs/2207.04914},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-12553,
author = {Micha Horlboge and
Erwin Quiring and
Roland Meyer and
Konrad Rieck},
title = {I still know it's you! On Challenges in Anonymizing Source Code},
journal = {CoRR},
volume = {abs/2208.12553},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-14290,
author = {Mike Becker and
Roland Meyer and
Tobias Runge and
Ina Schaefer and
S{\"{o}}ren van der Wall and
Sebastian Wolff},
title = {Model-based Fault Classification for Automotive Software},
journal = {CoRR},
volume = {abs/2208.14290},
year = {2022}
}
@article{DBLP:journals/corr/abs-2209-13692,
author = {Roland Meyer and
Thomas Wies and
Sebastian Wolff},
title = {Embedding Hindsight Reasoning in Separation Logic},
journal = {CoRR},
volume = {abs/2209.13692},
year = {2022}
}
@inproceedings{DBLP:conf/tacas/LeonH021,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Thomas Haas and
Roland Meyer},
title = {Dartagnan: Leveraging Compiler Optimizations and the Price of Precision
(Competition Contribution)},
booktitle = {{TACAS} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {428--432},
publisher = {Springer},
year = {2021}
}
@proceedings{DBLP:conf/netys/2021,
editor = {Karima Echihabi and
Roland Meyer},
title = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
publisher = {Springer},
year = {2021}
}
@article{DBLP:journals/corr/abs-2101-12123,
author = {Adwait Godbole and
Shankara Narayanan Krishna and
Roland Meyer},
title = {Safety Verification of Parameterized Systems under Release-Acquire},
journal = {CoRR},
volume = {abs/2101.12123},
year = {2021}
}
@article{DBLP:journals/corr/abs-2107-02314,
author = {Ujjwal Baid and
Satyam Ghodasara and
Michel Bilello and
Suyash Mohan and
Evan Calabrese and
Errol Colak and
Keyvan Farahani and
Jayashree Kalpathy{-}Cramer and
Felipe C. Kitamura and
Sarthak Pati and
Luciano M. Prevedello and
Jeffrey D. Rudie and
Chiharu Sako and
Russell T. Shinohara and
Timothy Bergquist and
Rong Chai and
James A. Eddy and
Julia Elliott and
Walter Reade and
Thomas Schaffter and
Thomas Yu and
Jiaxin Zheng and
BraTS Annotators and
Christos Davatzikos and
John Mongan and
Christopher Hess and
Soonmee Cha and
Javier E. Villanueva{-}Meyer and
John B. Freymann and
Justin S. Kirby and
Benedikt Wiestler and
Priscila Crivellaro and
Rivka R. Colen and
Aikaterini Kotrotsou and
Daniel S. Marcus and
Mikhail Milchenko and
Arash Nazeri and
Hassan M. Fathallah{-}Shaykh and
Roland Wiest and
Andr{\'{a}}s Jakab and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Bjoern H. Menze and
Adam E. Flanders and
Spyridon Bakas},
title = {The {RSNA-ASNR-MICCAI} BraTS 2021 Benchmark on Brain Tumor Segmentation
and Radiogenomic Classification},
journal = {CoRR},
volume = {abs/2107.02314},
year = {2021}
}
@article{DBLP:journals/corr/abs-2111-15240,
author = {Antonio Paolillo and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Thomas Haas and
Diogo Behrens and
Rafael Lourenco de Lima Chehab and
Ming Fu and
Roland Meyer},
title = {Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models},
journal = {CoRR},
volume = {abs/2111.15240},
year = {2021}
}
@article{DBLP:journals/corr/abs-2112-10074,
author = {Raghav Mehta and
Angelos Filos and
Ujjwal Baid and
Chiharu Sako and
Richard McKinley and
Michael Rebsamen and
Katrin D{\"{a}}twyler and
Raphael Meier and
Piotr Radojewski and
Gowtham Krishnan Murugesan and
Sahil S. Nalawade and
Chandan Ganesh and
Benjamin C. Wagner and
Fang F. Yu and
Baowei Fei and
Ananth J. Madhuranthakam and
Joseph A. Maldjian and
Laura Alexandra Daza and
Catalina G{\'{o}}mez Caballero and
Pablo Arbel{\'{a}}ez and
Chengliang Dai and
Shuo Wang and
Hadrien Raynaud and
Yuanhan Mo and
Elsa D. Angelini and
Yike Guo and
Wenjia Bai and
Subhashis Banerjee and
Linmin Pei and
Murat Ak and
Sarahi Rosas{-}Gonz{\'{a}}lez and
Ilyess Zemmoura and
Clovis Tauber and
Minh H. Vu and
Tufve Nyholm and
Tommy L{\"{o}}fstedt and
Laura Mora Ballestar and
Ver{\'{o}}nica Vilaplana and
Hugh McHugh and
Gonzalo D. Maso Talou and
Alan Wang and
Jay B. Patel and
Ken Chang and
Katharina Hoebel and
Mishka Gidwani and
Nishanth Thumbavanam Arun and
Sharut Gupta and
Mehak Aggarwal and
Praveer Singh and
Elizabeth R. Gerstner and
Jayashree Kalpathy{-}Cramer and
Nicolas Boutry and
Alexis Huard and
Lasitha Vidyaratne and
Md Monibor Rahman and
Khan M. Iftekharuddin and
Joseph Chazalon and
{\'{E}}lodie Puybareau and
Guillaume Tochon and
Jun Ma and
Mariano Cabezas and
Xavier Llad{\'{o}} and
Arnau Oliver and
Liliana Valencia and
Sergi Valverde and
Mehdi Amian and
Mohammadreza Soltaninejad and
Andriy Myronenko and
Ali Hatamizadeh and
Xue Feng and
Quan Dou and
Nicholas J. Tustison and
Craig H. Meyer and
Nisarg A. Shah and
Sanjay N. Talbar and
Marc{-}Andr{\'{e}} Weber and
Abhishek Mahajan and
Andr{\'{a}}s Jakab and
Roland Wiest and
Hassan M. Fathallah{-}Shaykh and
Arash Nazeri and
Mikhail Milchenko and
Daniel S. Marcus and
Aikaterini Kotrotsou and
Rivka Colen and
John B. Freymann and
Justin S. Kirby and
Christos Davatzikos and
Bjoern H. Menze and
Spyridon Bakas and
Yarin Gal and
Tal Arbel},
title = {QU-BraTS: {MICCAI} BraTS 2020 Challenge on Quantifying Uncertainty
in Brain Tumor Segmentation - Analysis of Ranking Metrics and Benchmarking
Results},
journal = {CoRR},
volume = {abs/2112.10074},
year = {2021}
}
@article{DBLP:journals/jar/ChiniMS20,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Fine-Grained Complexity of Safety Verification},
journal = {J. Autom. Reason.},
volume = {64},
number = {7},
pages = {1419--1444},
year = {2020}
}
@article{DBLP:journals/nature/CalabreseDDFHKL20,
author = {Claudia Calabrese and
Natalie R. Davidson and
Deniz Demircioglu and
Nuno A. Fonseca and
Yao He and
Andr{\'{e}} Kahles and
Kjong{-}Van Lehmann and
Fenglin Liu and
Yuichi Shiraishi and
Cameron M. Soulette and
Lara Urban and
Liliana Greger and
Siliang Li and
Dongbing Liu and
Marc D. Perry and
Qian Xiang and
Fan Zhang and
Junjun Zhang and
Peter Bailey and
Serap Erkek and
Katherine A. Hoadley and
Yong Hou and
Matthew R. Huska and
Helena Kilpinen and
Jan O. Korbel and
Maximillian G. Marin and
Julia Markowski and
Tannistha Nandi and
Qiang Pan{-}Hammarstr{\"{o}}m and
Chandra Sekhar Pedamallu and
Reiner Siebert and
Stefan G. Stark and
Hong Su and
Patrick Tan and
Sebastian M. Waszak and
Christina K. Yung and
Shida Zhu and
Philip Awadalla and
Matthew Meyerson and
B. F. Francis Ouellette and
Kui Wu and
Huanming Yang and
Samirkumar B. Amin and
Aur{\'{e}}lien Chateigner and
Isidro Cort{\'{e}}s{-}Ciriano and
Brian Craft and
Milana Frenkel{-}Morgenstern and
Mary Goldman and
Ekta Khurana and
Fabien C. Lamaze and
Chang Li and
Xiaobo Li and
Xinyue Li and
Xingmin Liu and
Morten Muhlig Nielsen and
Akinyemi I. Ojesina and
Peter J. Park and
Jakob Skou Pedersen and
Bin Tean Teh and
Jian Wang and
Heng Xiong and
Sergei Yakneen and
Chen Ye and
Xiuqing Zhang and
Liangtao Zheng and
Jingchun Zhu and
Chad Creighton and
Jonathan G{\"{o}}ke and
Roland F. Schwarz and
Oliver Stegle and
Zemin Zhang and
Alvis Brazma and
Gunnar R{\"{a}}tsch and
Angela N. Brooks},
title = {Genomic basis for {RNA} alterations in cancer},
journal = {Nat.},
volume = {578},
number = {7793},
pages = {129--136},
year = {2020}
}
@article{DBLP:journals/pacmpl/MeyerW20,
author = {Roland Meyer and
Sebastian Wolff},
title = {Pointer life cycle types for lock-free data structures with memory
reclamation},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {68:1--68:36},
year = {2020}
}
@article{DBLP:journals/remotesensing/0004MKYWKRAMKBB20,
author = {Rui Song and
Jan{-}Peter Muller and
Sa{\"{\i}}d Kharbouche and
Feng Yin and
William Woodgate and
Mark Kitchen and
Marilyn Roland and
Nicola Arriga and
Wayne Meyer and
Georgia Koerber and
Damien Bonal and
Benoit Burban and
Alexander Knohl and
Lukas Siebicke and
Pauline Buysse and
Benjamin Loubet and
Leonardo Montagnani and
Christophe Lerebourg and
Nadine Gobron},
title = {Validation of Space-Based Albedo Products from Upscaled Tower-Based
Measurements Over Heterogeneous and Homogeneous Landscapes},
journal = {Remote. Sens.},
volume = {12},
number = {5},
pages = {833},
year = {2020}
}
@inproceedings{DBLP:conf/fsttcs/0001W20,
author = {Roland Meyer and
S{\"{o}}ren van der Wall},
title = {On the Complexity of Multi-Pushdown Games},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {182},
pages = {52:1--52:35},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020}
}
@inproceedings{DBLP:conf/lrec/MullerTM20,
author = {Klaus M{\"{u}}ller and
Aleksej Tikhonov and
Roland Meyer},
title = {LiViTo: Linguistic and Visual Features Tool for Assisted Analysis
of Historic Manuscripts},
booktitle = {{LREC}},
pages = {885--890},
publisher = {European Language Resources Association},
year = {2020}
}
@inproceedings{DBLP:conf/netys/AbdullaABDLM20,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Ahmed Bouajjani and
Egor Derevenetc and
Carl Leonardsson and
Roland Meyer},
title = {On the State Reachability Problem for Concurrent Programs Under Power},
booktitle = {{NETYS}},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {47--59},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tacas/LeonFH020,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
title = {Dartagnan: Bounded Model Checking for Weak Memory Models (Competition
Contribution)},
booktitle = {{TACAS} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {378--382},
publisher = {Springer},
year = {2020}
}
@phdthesis{DBLP:phd/dnb/Meyer19a,
author = {Roland Meyer},
title = {Operative Portr{\"{a}}ts: eine Bildgeschichte der Identifizierbarkeit
von Lavater bis Facebook},
school = {Karlsruhe University of Arts and Design, Germany},
year = {2019}
}
@article{DBLP:journals/pacmpl/MeyerW19,
author = {Roland Meyer and
Sebastian Wolff},
title = {Decoupling lock-free data structures from memory reclamation for static
analysis},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {58:1--58:31},
year = {2019}
}
@inproceedings{DBLP:conf/cav/GavrilenkoLFHM19,
author = {Natalia Gavrilenko and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
title = {{BMC} for Weak Memory Models: Relation Analysis for Compact {SMT}
Encodings},
booktitle = {{CAV} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {355--365},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/dac/MassoudLCSMD19,
author = {Rehab Massoud and
Hoang M. Le and
Peter Chini and
Prakash Saivasan and
Roland Meyer and
Rolf Drechsler},
title = {Temporal Tracing of On-Chip Signals using Timeprints},
booktitle = {{DAC}},
pages = {186},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/fsttcs/Chini0S19,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Complexity of Liveness in Parameterized Systems},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {150},
pages = {37:1--37:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019}
}
@inproceedings{DBLP:conf/gi/KramerM19,
author = {Juliane Kr{\"{a}}mer and
Roland Meyer},
title = {Sicherheit, Zuverl{\"{a}}ssigkeit, Korrektheit},
booktitle = {GI-Jahrestagung},
series = {{LNI}},
volume = {{P-294}},
pages = {455--456},
publisher = {{GI}},
year = {2019}
}
@inproceedings{DBLP:conf/netys/Chini0S19,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Liveness in Broadcast Networks},
booktitle = {{NETYS}},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {52--66},
publisher = {Springer},
year = {2019}
}
@incollection{DBLP:books/sp/19/ChiniM19,
author = {Peter Chini and
Roland Meyer},
title = {Inductive Counting and the Reachability Problem for Petri Nets},
booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
pages = {161--169},
publisher = {Springer},
year = {2019}
}
@article{DBLP:journals/corr/abs-1904-00833,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Liveness in Broadcast Networks},
journal = {CoRR},
volume = {abs/1904.00833},
year = {2019}
}
@article{DBLP:journals/corr/abs-1909-12004,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Complexity of Liveness in Parameterized Systems},
journal = {CoRR},
volume = {abs/1909.12004},
year = {2019}
}
@article{DBLP:journals/corr/abs-1910-11714,
author = {Roland Meyer and
Sebastian Wolff},
title = {Pointer Life Cycle Types for Lock-Free Data Structures with Memory
Reclamation},
journal = {CoRR},
volume = {abs/1910.11714},
year = {2019}
}
@inproceedings{DBLP:conf/birthday/MeyerW18,
author = {Roland Meyer and
Sebastian Wolff},
title = {Reasoning About Weak Semantics via Strong Semantics},
booktitle = {Principled Software Development},
pages = {283--303},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/concur/CzerwinskiLMMKS18,
author = {Wojciech Czerwinski and
Slawomir Lasota and
Roland Meyer and
Sebastian Muskalla and
K. Narayan Kumar and
Prakash Saivasan},
title = {Regular Separability of Well-Structured Transition Systems},
booktitle = {{CONCUR}},
series = {LIPIcs},
volume = {118},
pages = {35:1--35:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018}
}
@inproceedings{DBLP:conf/concur/MeyerMZ18,
author = {Roland Meyer and
Sebastian Muskalla and
Georg Zetzsche},
title = {Bounded Context Switching for Valence Systems},
booktitle = {{CONCUR}},
series = {LIPIcs},
volume = {118},
pages = {12:1--12:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018}
}
@inproceedings{DBLP:conf/fmcad/LeonFHM18,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
title = {{BMC} with Memory Models as Modules},
booktitle = {{FMCAD}},
pages = {1--9},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/icpp/GlantzPM18,
author = {Roland Glantz and
Maria Predari and
Henning Meyerhenke},
title = {Topology-induced Enhancement of Mappings},
booktitle = {{ICPP}},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/mfcs/HagueMM018,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla and
Martin Zimmermann},
title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown
Systems},
booktitle = {{MFCS}},
series = {LIPIcs},
volume = {117},
pages = {57:1--57:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018}
}
@inproceedings{DBLP:conf/sdm/GlantzM18,
author = {Roland Glantz and
Henning Meyerhenke},
title = {Many-to-many Correspondences between Partitions: Introducing a Cut-based
Approach},
booktitle = {{SDM}},
pages = {1--9},
publisher = {{SIAM}},
year = {2018}
}
@inproceedings{DBLP:conf/tacas/ChiniMS18,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Fine-Grained Complexity of Safety Verification},
booktitle = {{TACAS} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {20--37},
publisher = {Springer},
year = {2018}
}
@article{DBLP:journals/corr/abs-1802-05559,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
title = {Fine-Grained Complexity of Safety Verification},
journal = {CoRR},
volume = {abs/1802.05559},
year = {2018}
}
@article{DBLP:journals/corr/abs-1803-09703,
author = {Roland Meyer and
Sebastian Muskalla and
Georg Zetzsche},
title = {Bounded Context Switching for Valence Systems},
journal = {CoRR},
volume = {abs/1803.09703},
year = {2018}
}
@article{DBLP:journals/corr/abs-1804-07131,
author = {Roland Glantz and
Maria Predari and
Henning Meyerhenke},
title = {Topology-induced Enhancement of Mappings},
journal = {CoRR},
volume = {abs/1804.07131},
year = {2018}
}
@article{DBLP:journals/corr/abs-1805-02963,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla and
Martin Zimmermann},
title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown
Systems},
journal = {CoRR},
volume = {abs/1805.02963},
year = {2018}
}
@article{DBLP:journals/corr/abs-1807-05777,
author = {Peter Chini and
Rehab Massoud and
Roland Meyer and
Prakash Saivasan},
title = {Fast Witness Counting},
journal = {CoRR},
volume = {abs/1807.05777},
year = {2018}
}
@article{DBLP:journals/corr/abs-1810-10807,
author = {Roland Meyer and
Sebastian Wolff},
title = {Decoupling Lock-Free Data Structures from Memory Reclamation for Static
Analysis},
journal = {CoRR},
volume = {abs/1810.10807},
year = {2018}
}
@article{DBLP:journals/tcs/GlantzM17,
author = {Roland Glantz and
Henning Meyerhenke},
title = {On finding convex cuts in general, bipartite and plane graphs},
journal = {Theor. Comput. Sci.},
volume = {695},
pages = {54--73},
year = {2017}
}
@article{DBLP:journals/tecs/HaarM17,
author = {Stefan Haar and
Roland Meyer},
title = {Message from the Guest Editors},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {2},
pages = {40:1},
year = {2017}
}
@inproceedings{DBLP:conf/esa/ChiniKKMS17,
author = {Peter Chini and
Jonathan Kolberg and
Andreas Krebs and
Roland Meyer and
Prakash Saivasan},
title = {On the Complexity of Bounded Context Switching},
booktitle = {{ESA}},
series = {LIPIcs},
volume = {87},
pages = {27:1--27:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017}
}
@inproceedings{DBLP:conf/mfcs/AtigMMS17,
author = {Mohamed Faouzi Atig and
Roland Meyer and
Sebastian Muskalla and
Prakash Saivasan},
title = {On the Upward/Downward Closures of Petri Nets},
booktitle = {{MFCS}},
series = {LIPIcs},
volume = {83},
pages = {49:1--49:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017}
}
@inproceedings{DBLP:conf/mfcs/HagueMM17,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla},
title = {Domains for Higher-Order Games},
booktitle = {{MFCS}},
series = {LIPIcs},
volume = {83},
pages = {59:1--59:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017}
}
@inproceedings{DBLP:conf/netys/DerevenetcMS17,
author = {Egor Derevenetc and
Roland Meyer and
Sebastian Schweizer},
title = {Locality and Singularity for Store-Atomic Memory Models},
booktitle = {{NETYS}},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {133--148},
year = {2017}
}
@inproceedings{DBLP:conf/sas/HolikMVW17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Tom{\'{a}}s Vojnar and
Sebastian Wolff},
title = {Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite
an Unsound Heuristic},
booktitle = {{SAS}},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {169--191},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/sas/LeonFHM17,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
title = {Portability Analysis for Weak Memory Models. {PORTHOS:} One Tool for
all Models},
booktitle = {{SAS}},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {299--320},
publisher = {Springer},
year = {2017}
}
@proceedings{DBLP:conf/concur/2017,
editor = {Roland Meyer and
Uwe Nestmann},
title = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017}
}
@article{DBLP:journals/corr/AtigMMS17,
author = {Mohamed Faouzi Atig and
Roland Meyer and
Sebastian Muskalla and
Prakash Saivasan},
title = {On the Upward/Downward Closures of Petri Nets},
journal = {CoRR},
volume = {abs/1701.02927},
year = {2017}
}
@article{DBLP:journals/corr/DerevenetcMS17,
author = {Egor Derevenetc and
Roland Meyer and
Sebastian Schweizer},
title = {Locality and Singularity for Store-Atomic Memory Models},
journal = {CoRR},
volume = {abs/1703.04603},
year = {2017}
}
@article{DBLP:journals/corr/HagueMM17,
author = {Matthew Hague and
Roland Meyer and
Sebastian Muskalla},
title = {Domains for Higher-Order Games},
journal = {CoRR},
volume = {abs/1705.00355},
year = {2017}
}
@article{DBLP:journals/corr/HolikMVW17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Tom{\'{a}}s Vojnar and
Sebastian Wolff},
title = {Effect Summaries for Thread-Modular Analysis},
journal = {CoRR},
volume = {abs/1705.03701},
year = {2017}
}
@article{DBLP:journals/corr/LeonFHM17,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
title = {Portability Analysis for Axiomatic Memory Models. {PORTHOS:} One Tool
for all Models},
journal = {CoRR},
volume = {abs/1702.06704},
year = {2017}
}
@article{DBLP:journals/corr/MeyerMN17,
author = {Roland Meyer and
Sebastian Muskalla and
Elisabeth Neumann},
title = {Liveness Verification and Synthesis: New Algorithms for Recursive
Programs},
journal = {CoRR},
volume = {abs/1701.02947},
year = {2017}
}
@article{DBLP:journals/jea/GlantzMS16,
author = {Roland Glantz and
Henning Meyerhenke and
Christian Schulz},
title = {Tree-Based Coarsening and Partitioning of Complex Networks},
journal = {{ACM} J. Exp. Algorithmics},
volume = {21},
number = {1},
pages = {1.6:1--1.6:20},
year = {2016}
}
@article{DBLP:journals/siamco/ReyesHM16,
author = {Juan Carlos de los Reyes and
Roland Herzog and
Christian Meyer},
title = {Optimal Control of Static Elastoplasticity in Primal Formulation},
journal = {{SIAM} J. Control. Optim.},
volume = {54},
number = {6},
pages = {3016--3039},
year = {2016}
}
@inproceedings{DBLP:conf/fsttcs/HolikMM16,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Muskalla},
title = {Summaries for Context-Free Games},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {65},
pages = {41:1--41:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016}
}
@inproceedings{DBLP:conf/lics/DOsualdoMZ16,
author = {Emanuele D'Osualdo and
Roland Meyer and
Georg Zetzsche},
title = {First-order logic with reachability for infinite-state systems},
booktitle = {{LICS}},
pages = {457--466},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/vmcai/HazizaHMW16,
author = {Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Wolff},
title = {Pointer Race Freedom},
booktitle = {{VMCAI}},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {393--412},
publisher = {Springer},
year = {2016}
}
@article{DBLP:journals/corr/ChiniKMS16,
author = {Peter Chini and
Jonathan Kolberg and
Roland Meyer and
Prakash Saivasan},
title = {On the Complexity of Bounded Context Switching},
journal = {CoRR},
volume = {abs/1609.09728},
year = {2016}
}
@article{DBLP:journals/corr/GlantzSM16,
author = {Roland Glantz and
Christian L. Staudt and
Henning Meyerhenke},
title = {Correspondences between partitions},
journal = {CoRR},
volume = {abs/1603.04788},
year = {2016}
}
@article{DBLP:journals/corr/HolikMM16,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Muskalla},
title = {Antichains for Inclusion Games},
journal = {CoRR},
volume = {abs/1603.07256},
year = {2016}
}
@article{DBLP:journals/corr/MeyerM16,
author = {Roland Meyer and
Sebastian Muskalla},
title = {Munchausen Iteration},
journal = {CoRR},
volume = {abs/1605.00422},
year = {2016}
}
@article{DBLP:journals/tecs/FurbachM0S15,
author = {Florian Furbach and
Roland Meyer and
Klaus Schneider and
Maximilian Senftleben},
title = {Memory-Model-Aware Testing: {A} Unified Complexity Analysis},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {4},
pages = {63:1--63:25},
year = {2015}
}
@inproceedings{DBLP:conf/birthday/MeyerW15,
author = {Roland Meyer and
Heike Wehrheim},
title = {From Program Verification to Time and Space: The Scientific Life of
Ernst-R{\"{u}}diger Olderog},
booktitle = {Correct System Design},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {3--4},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/fase/BouajjaniCDM15,
author = {Ahmed Bouajjani and
Georgel Calin and
Egor Derevenetc and
Roland Meyer},
title = {Lazy {TSO} Reachability},
booktitle = {{FASE}},
series = {Lecture Notes in Computer Science},
volume = {9033},
pages = {267--282},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/fsttcs/AbdullaAMS15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Roland Meyer and
Mehdi Seyed Salehi},
title = {What's Decidable about Availability Languages?},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {45},
pages = {192--205},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015}
}
@inproceedings{DBLP:conf/netys/HolikM15,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer},
title = {Antichains for the Verification of Recursive Programs},
booktitle = {{NETYS}},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {322--336},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/pdp/GlantzMN15,
author = {Roland Glantz and
Henning Meyerhenke and
Alexander Noe},
title = {Algorithms for Mapping Parallel Processes onto Grid and Torus Architectures},
booktitle = {{PDP}},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {2015}
}
@proceedings{DBLP:conf/birthday/2015olderog,
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
publisher = {Springer},
year = {2015}
}
@article{DBLP:journals/corr/BouajjaniCDM15,
author = {Ahmed Bouajjani and
Georgel Calin and
Egor Derevenetc and
Roland Meyer},
title = {Lazy {TSO} Reachability},
journal = {CoRR},
volume = {abs/1501.02683},
year = {2015}
}
@article{DBLP:journals/corr/HazizaHMW15,
author = {Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Wolff},
title = {Pointer Race Freedom},
journal = {CoRR},
volume = {abs/1511.00184},
year = {2015}
}
@inproceedings{DBLP:conf/acsd/FurbachMSS14,
author = {Florian Furbach and
Roland Meyer and
Klaus Schneider and
Maximilian Senftleben},
title = {Memory Model-Aware Testing - {A} Unified Complexity Analysis},
booktitle = {{ACSD}},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {2014}
}
@inproceedings{DBLP:conf/concur/HuchtingMM14,
author = {Reiner H{\"{u}}chting and
Rupak Majumdar and
Roland Meyer},
title = {Bounds on Mobility},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {357--371},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icalp/DerevenetcM14,
author = {Egor Derevenetc and
Roland Meyer},
title = {Robustness against Power is PSpace-complete},
booktitle = {{ICALP} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {158--170},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/se/BouajjaniDM14,
author = {Ahmed Bouajjani and
Egor Derevenetc and
Roland Meyer},
title = {Robustness against Relaxed Memory Models},
booktitle = {Software Engineering},
series = {{LNI}},
volume = {{P-227}},
pages = {85--86},
publisher = {{GI}},
year = {2014}
}
@inproceedings{DBLP:conf/wea/GlantzMS14,
author = {Roland Glantz and
Henning Meyerhenke and
Christian Schulz},
title = {Tree-Based Coarsening and Partitioning of Complex Networks},
booktitle = {{SEA}},
series = {Lecture Notes in Computer Science},
volume = {8504},
pages = {364--375},
publisher = {Springer},
year = {2014}
}
@article{DBLP:journals/corr/DerevenetcM14,
author = {Egor Derevenetc and
Roland Meyer},
title = {Robustness against Power is PSPACE-complete},
journal = {CoRR},
volume = {abs/1404.7092},
year = {2014}
}
@article{DBLP:journals/corr/GlantzMN14,
author = {Roland Glantz and
Henning Meyerhenke and
Alexander Noe},
title = {Algorithms for Mapping Parallel Processes onto Grid and Torus Architectures},
journal = {CoRR},
volume = {abs/1411.0921},
year = {2014}
}
@article{DBLP:journals/corr/GlantzMS14,
author = {Roland Glantz and
Henning Meyerhenke and
Christian Schulz},
title = {Tree-based Coarsening and Partitioning of Complex Networks},
journal = {CoRR},
volume = {abs/1402.2782},
year = {2014}
}
@article{DBLP:journals/corr/KhomenkoMH13,
author = {Victor Khomenko and
Roland Meyer and
Reiner H{\"{u}}chting},
title = {A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013}
}
@article{DBLP:journals/siamjo/HerzogMW13,
author = {Roland Herzog and
Christian Meyer and
Gerd Wachsmuth},
title = {{B-} and Strong Stationarity for Optimal Control of Static Plasticity
with Hardening},
journal = {{SIAM} J. Optim.},
volume = {23},
number = {1},
pages = {321--352},
year = {2013}
}
@inproceedings{DBLP:conf/ciac/GlantzM13,
author = {Roland Glantz and
Henning Meyerhenke},
title = {Finding All Convex Cuts of a Plane Graph in Cubic Time},
booktitle = {{CIAC}},
series = {Lecture Notes in Computer Science},
volume = {7878},
pages = {246--263},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/concur/HuchtingMM13,
author = {Reiner H{\"{u}}chting and
Rupak Majumdar and
Roland Meyer},
title = {A Theory of Name Boundedness},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {182--196},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/esop/BouajjaniDM13,
author = {Ahmed Bouajjani and
Egor Derevenetc and
Roland Meyer},
title = {Checking and Enforcing Robustness against {TSO}},
booktitle = {{ESOP}},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {533--553},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/fsttcs/CalinDMM13,
author = {Georgel Calin and
Egor Derevenetc and
Rupak Majumdar and
Roland Meyer},
title = {A Theory of Partitioned Global Address Spaces},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {24},
pages = {127--139},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013}
}
@inproceedings{DBLP:conf/rp/MajumdarMW13,
author = {Rupak Majumdar and
Roland Meyer and
Zilong Wang},
title = {Provenance Verification},
booktitle = {{RP}},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {21--22},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/sas/MajumdarMW13,
author = {Rupak Majumdar and
Roland Meyer and
Zilong Wang},
title = {Static Provenance Verification for Message Passing Programs},
booktitle = {{SAS}},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {366--387},
publisher = {Springer},
year = {2013}
}
@article{DBLP:journals/corr/CalinDMM13,
author = {Georgel Calin and
Egor Derevenetc and
Rupak Majumdar and
Roland Meyer},
title = {A Theory of Partitioned Global Address Spaces},
journal = {CoRR},
volume = {abs/1307.6590},
year = {2013}
}
@article{DBLP:journals/corr/abs-1303-4349,
author = {Roland Glantz and
Henning Meyerhenke},
title = {Finding all Convex Cuts of a Plane Graph in Cubic Time},
journal = {CoRR},
volume = {abs/1303.4349},
year = {2013}
}
@article{DBLP:journals/corr/abs-1210-2972,
author = {Philippe Darondeau and
St{\'{e}}phane Demri and
Roland Meyer and
Christophe Morvan},
title = {Petri Net Reachability Graphs: Decidability Status of First Order
Properties},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {4},
year = {2012}
}
@article{DBLP:journals/jocn/WuergerPLCRM12,
author = {Sophie M. Wuerger and
Laura M. Parkes and
Penelope A. Lewis and
Alex Crocker{-}Buque and
Roland Marcus Rutschmann and
Georg F. Meyer},
title = {Premotor Cortex Is Sensitive to Auditory-Visual Congruence for Biological
Motion},
journal = {J. Cogn. Neurosci.},
volume = {24},
number = {3},
pages = {575--587},
year = {2012}
}
@article{DBLP:journals/siamco/HerzogMW12,
author = {Roland Herzog and
Christian Meyer and
Gerd Wachsmuth},
title = {C-Stationarity for Optimal Control of Static Plasticity with Linear
Kinematic Hardening},
journal = {{SIAM} J. Control. Optim.},
volume = {50},
number = {5},
pages = {3052--3082},
year = {2012}
}
@inproceedings{DBLP:conf/acsd/StraznyM12,
author = {Tim Strazny and
Roland Meyer},
title = {An Algorithmic Framework for Coverability in Well-Structured Systems},
booktitle = {{ACSD}},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2012}
}
@inproceedings{DBLP:conf/concur/MeyerKH12,
author = {Roland Meyer and
Victor Khomenko and
Reiner H{\"{u}}chting},
title = {A Polynomial Translation of {\(\pi\)}-Calculus {(FCP)} to Safe Petri
Nets},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {440--455},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/fase/LongCMM12,
author = {Zhenyue Long and
Georgel Calin and
Rupak Majumdar and
Roland Meyer},
title = {Language-Theoretic Abstraction Refinement},
booktitle = {{FASE}},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {362--376},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/miccai/SchaferMBSE12,
author = {Dirk Sch{\"{a}}fer and
Carsten Meyer and
Roland Bullens and
Axel Saalbach and
Peter Eshuis},
title = {Limited Angle C-Arm Tomography and Segmentation for Guidance of Atrial
Fibrillation Ablation Procedures},
booktitle = {{MICCAI} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {7510},
pages = {634--641},
publisher = {Springer},
year = {2012}
}
@article{DBLP:journals/corr/abs-1208-6152,
author = {Ahmed Bouajjani and
Egor Derevenetc and
Roland Meyer},
title = {Robustness Checking against {TSO:} Attacks and Defence},
journal = {CoRR},
volume = {abs/1208.6152},
year = {2012}
}
@article{DBLP:journals/ijat/DenkenaKMS11,
author = {Berend Denkena and
Jens K{\"{o}}hler and
Roland Meyer and
Hendrik Stiffel},
title = {Modification of the Tool-Workpiece Contact Conditions to Influence
the Tool Wear and Workpiece Loading During Hard Turning},
journal = {Int. J. Autom. Technol.},
volume = {5},
number = {3},
pages = {353--361},
year = {2011}
}
@article{DBLP:journals/peng/LarekBMPH11,
author = {Roland Larek and
Ekkard Brinksmeier and
Daniel Meyer and
Thorsten Pawletta and
Olaf Hagendorf},
title = {A discrete-event simulation approach to predict power consumption
in machining processes},
journal = {Prod. Eng.},
volume = {5},
number = {5},
pages = {575--579},
year = {2011}
}
@inproceedings{DBLP:conf/fsttcs/DarondeauDMM11,
author = {Philippe Darondeau and
St{\'{e}}phane Demri and
Roland Meyer and
Christophe Morvan},
title = {Petri Net Reachability Graphs: Decidability Status of {FO} Properties},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {13},
pages = {140--151},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011}
}
@inproceedings{DBLP:conf/icalp/BouajjaniMM11,
author = {Ahmed Bouajjani and
Roland Meyer and
Eike M{\"{o}}hlmann},
title = {Deciding Robustness against Total Store Ordering},
booktitle = {{ICALP} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {428--440},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/cav/MeyerS10,
author = {Roland Meyer and
Tim Strazny},
title = {Petruchio: From Dynamic Networks to Nets},
booktitle = {{CAV}},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {175--179},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/concur/HoenickeMO10,
author = {Jochen Hoenicke and
Roland Meyer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Kleene, Rabin, and Scott Are Available},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {462--477},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/icalp/HabermehlMW10,
author = {Peter Habermehl and
Roland Meyer and
Harro Wimmel},
title = {The Downward-Closure of Petri Net Languages},
booktitle = {{ICALP} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {466--477},
publisher = {Springer},
year = {2010}
}
@phdthesis{DBLP:phd/de/Meyer2009c,
author = {Roland Meyer},
title = {Structural stationarity in the {\(\pi\)}-calculus},
school = {University of Oldenburg, Germany},
year = {2009}
}
@article{DBLP:journals/acta/Meyer09,
author = {Roland Meyer},
title = {A theory of structural stationarity in the \emph{pi} -Calculus},
journal = {Acta Informatica},
volume = {46},
number = {2},
pages = {87--137},
year = {2009}
}
@article{DBLP:journals/fuin/MeyerKS09,
author = {Roland Meyer and
Victor Khomenko and
Tim Strazny},
title = {A Practical Approach to Verification of Mobile Systems Using Net Unfoldings},
journal = {Fundam. Informaticae},
volume = {94},
number = {3-4},
pages = {439--471},
year = {2009}
}
@article{DBLP:journals/ploscb/BandaraSEBM09,
author = {Samuel Bandara and
Johannes P. Schl{\"{o}}der and
Roland Eils and
Hans Georg Bock and
Tobias Meyer},
title = {Optimal Experimental Design for Parameter Estimation of a Cell Signaling
Model},
journal = {PLoS Comput. Biol.},
volume = {5},
number = {11},
year = {2009}
}
@inproceedings{DBLP:conf/acsd/KhomenkoM09,
author = {Victor Khomenko and
Roland Meyer},
title = {Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete},
booktitle = {{ACSD}},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@inproceedings{DBLP:conf/concur/MeyerG09,
author = {Roland Meyer and
Roberto Gorrieri},
title = {On the Relationship between {\(\pi\)}-Calculus and Finite Place/Transition
Petri Nets},
booktitle = {{CONCUR}},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {463--480},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/huc/HarmsATAMM09,
author = {Holger Harms and
Oliver Amft and
Gerhard Tr{\"{o}}ster and
Mirjam Appert and
Roland M{\"{u}}ller and
Andreas Meyer{-}Heim},
title = {Wearable therapist: sensing garments for supporting children improve
posture},
booktitle = {UbiComp},
series = {{ACM} International Conference Proceeding Series},
pages = {85--88},
publisher = {{ACM}},
year = {2009}
}
@incollection{DBLP:conf/gi/Meyer09,
author = {Roland Meyer},
title = {Strukturelle Stationarit{\"{a}}t},
booktitle = {Ausgezeichnete Informatikdissertationen},
series = {{LNI}},
volume = {{D-10}},
pages = {141--150},
publisher = {{GI}},
year = {2009}
}
@article{DBLP:journals/fac/MeyerFHR08,
author = {Roland Meyer and
Johannes Faber and
Jochen Hoenicke and
Andrey Rybalchenko},
title = {Model checking Duration Calculus: a practical approach},
journal = {Formal Aspects Comput.},
volume = {20},
number = {4-5},
pages = {481--505},
year = {2008}
}
@article{DBLP:journals/neuroimage/JannWHMBMSDK08,
author = {Kay Jann and
Roland Wiest and
Martinus Hauf and
Klaus Meyer and
Chris Boesch and
Johannes Mathis and
Gerhard Schroth and
Thomas Dierks and
Thomas Koenig},
title = {{BOLD} correlates of continuously fluctuating epileptic activity isolated
by independent component analysis},
journal = {NeuroImage},
volume = {42},
number = {2},
pages = {635--648},
year = {2008}
}
@article{DBLP:journals/peng/DenkenaBM08,
author = {Berend Denkena and
David Boehnke and
Roland Meyer},
title = {Reduction of wear induced surface zone effects during hard turning
by means of new tool geometries},
journal = {Prod. Eng.},
volume = {2},
number = {2},
pages = {123--132},
year = {2008}
}
@inproceedings{DBLP:conf/apn/MeyerKS08,
author = {Roland Meyer and
Victor Khomenko and
Tim Strazny},
title = {A Practical Approach to Verification of Mobile Systems Using Net Unfoldings},
booktitle = {Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {327--347},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/ifipTCS/Meyer08,
author = {Roland Meyer},
title = {On Boundedness in Depth in the pi-Calculus},
booktitle = {{IFIP} {TCS}},
series = {{IFIP}},
volume = {273},
pages = {477--489},
publisher = {Springer},
year = {2008}
}
@article{DBLP:journals/mansci/VereeckeDM06,
author = {Ann Vereecke and
Roland Van Dierdonck and
Arnoud De Meyer},
title = {A Typology of Plants in Global Manufacturing Networks},
journal = {Manag. Sci.},
volume = {52},
number = {11},
pages = {1737--1750},
year = {2006}
}
@article{DBLP:journals/sigsoft/BeckerHPBKPDLRWGMSHMW06,
author = {Steffen Becker and
Wilhelm Hasselbring and
Alexandra Paul and
Marko Boskovic and
Heiko Koziolek and
Jan Ploski and
Abhishek Dhama and
Henrik Lipskoch and
Matthias Rohr and
Daniel Winteler and
Simon Giesecke and
Roland Meyer and
Mani Swaminathan and
Jens Happe and
Margarete Muhle and
Timo Warns},
title = {Trustworthy software systems: a discussion of basic concepts and terminology},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {6},
pages = {1--18},
year = {2006}
}
@inproceedings{DBLP:conf/fmcad/FaberM06,
author = {Johannes Faber and
Roland Meyer},
title = {Model Checking Data-Dependent Real-Time Properties of the European
Train Control System},
booktitle = {{FMCAD}},
pages = {76--77},
publisher = {{IEEE} Computer Society},
year = {2006}
}
@inproceedings{DBLP:conf/ictac/MeyerFR06,
author = {Roland Meyer and
Johannes Faber and
Andrey Rybalchenko},
title = {Model Checking Duration Calculus: {A} Practical Approach},
booktitle = {{ICTAC}},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {332--346},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/sdl/EichnerFMSS05,
author = {Christoph Eichner and
Hans Fleischhack and
Roland Meyer and
Ulrik Schrimpf and
Christian Stehno},
title = {Compositional Semantics for {UML} 2.0 Sequence Diagrams Using Petri
Nets},
booktitle = {{SDL} Forum},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {133--148},
publisher = {Springer},
year = {2005}
}
@article{DBLP:journals/tip/RajpootWMC03,
author = {Nasir M. Rajpoot and
Roland G. Wilson and
Fran{\c{c}}ois G. Meyer and
Ronald R. Coifman},
title = {Adaptive wavelet packet basis selection for zerotree image coding},
journal = {{IEEE} Trans. Image Process.},
volume = {12},
number = {12},
pages = {1460--1472},
year = {2003}
}
@inproceedings{DBLP:conf/icip/RajpootMWC01,
author = {Nasir M. Rajpoot and
Fran{\c{c}}ois G. Meyer and
Roland G. Wilson and
Ronald R. Coifman},
title = {A new basis selection paradigm for wavelet packet image coding},
booktitle = {{ICIP} {(3)}},
pages = {816--819},
publisher = {{IEEE}},
year = {2001}
}
@inproceedings{DBLP:conf/ismir/ClausenEMS00,
author = {Michael Clausen and
Roland Engelbrecht and
Dirk Meyer and
J{\"{u}}rgen Schmitz},
title = {{PROMS:} {A} Web-based Tool for Searching in Polyphonic Music},
booktitle = {{ISMIR}},
year = {2000}
}
@inproceedings{DBLP:conf/icip/RajpootMWC99,
author = {Nasir M. Rajpoot and
Fran{\c{c}}ois G. Meyer and
Roland G. Wilson and
Ronald R. Coifman},
title = {On Zerotree Quantization for Embedded Wavelet Packet Image Coding},
booktitle = {{ICIP} {(2)}},
pages = {283--287},
publisher = {{IEEE}},
year = {1999}
}
a service of 
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-07-17 18:34 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
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:
