| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6126301 | 2024-04-09 | Paper |
| Self-simulation for the Passive Optical Star model | 2023-05-08 | Paper |
| Collecting garbage pages in a distributed shared memory with reduced memory and communication overhead | 2021-12-20 | Paper |
| Greedy hot-potato routing on the two-dimensional mesh | 2020-11-30 | Paper |
| A lower bound for nearly minimal adaptive and hot potato algorithms | 2017-12-05 | Paper |
| Potential function analysis of greedy hot-potato routing | 2017-09-29 | Paper |
| Distributed geometric query monitoring using prediction models | 2016-03-02 | Paper |
| Veracity radius, capturing the locality of distributed computations | 2015-03-10 | Paper |
| A scheduling framework for large-scale, parallel, and topology-aware applications | 2012-03-07 | Paper |
| Top-\(k\) vectorial aggregation queries in a distributed environment | 2011-08-19 | Paper |
| A work-efficient distributed algorithm for reachability analysis. | 2010-04-20 | Paper |
| Hybrid BDD and All-SAT Method for Model Checking | 2009-06-03 | Paper |
| Efficient Dynamic Aggregation | 2008-09-09 | Paper |
| 3-Valued Circuit SAT for STE with Automatic Refinement | 2008-07-03 | Paper |
| Scaling model checking of dataraces using dynamic information | 2007-05-23 | Paper |
| VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND | 2007-03-13 | Paper |
| A platform-independent distributed runtime for standard multithreaded Java | 2006-11-17 | Paper |
| A work-efficient distributed algorithm for reachability analysis | 2006-10-24 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Distributed symbolic model checking for \(\mu\)-calculus | 2006-02-20 | Paper |
| A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion | 2005-08-17 | Paper |
| FAST, EFFICIENT MUTUAL AND SELF SIMULATIONS FOR SHARED MEMORY AND RECONFIGURABLE MESH | 2004-10-06 | Paper |
| Optimal point-to-point broadcast algorithms via lopsided trees | 2004-02-18 | Paper |
| A scalable parallel algorithm for reachability analysis of very large circuits | 2003-05-04 | Paper |
| Transparent adaptation of sharing granularity in MultiView-based DSM systems | 2003-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553260 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754071 | 2001-11-11 | Paper |
| Interactive-rate animation generation by parallel progressive ray-tracing on distributed-memory machines | 2001-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942227 | 2000-09-18 | Paper |
| Self-Simulation for the Passive Optical Star | 2000-03-16 | Paper |
| A lower bound for nearly minimal adaptive and hot potato algorithms | 1998-11-10 | Paper |
| Potential function analysis of greedy hot-potato routing | 1998-08-03 | Paper |
| Randomized Single-Target Hot-Potato Routing | 1997-07-06 | Paper |
| The Complexity of Data Reduction on a Reconfigurable Linear Array | 1996-02-26 | Paper |
| The complexity of reconfiguring network models | 1996-02-20 | Paper |
| Improved memory utilization in deterministic PRAM simulation | 1992-06-25 | Paper |
| Communication aspects of networks based on geometric incidence relations | 1989-01-01 | Paper |
