From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “program slicing” 20

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

1

citations
Slicing Match-Action Pipeline Resources for Multitenancy on Programmable Switches
2025 IEEE International Conference on Network Softwarization (NetSoft) conference-paper Computer Science Software-Defined Networks and 5G

Johannes Krude, Felix Frei, Pedram Ahmadiyeh, René Glebke, Mirko Stoffers, Klaus Wehrle

1

citations
Redundancy and Analog Slicing for Precise In-Memory Machine Learning—Part II: Applications and Benchmark
2021 IEEE Transactions on Electron Devices article Engineering Advanced Memory and Neural Computing Open access

Giacomo Pedretti, Piergiulio Mannocci, Can Li, Zhong Sun, John Paul Strachan, Daniele Ielmini

11

citations
Redundancy and Analog Slicing for Precise In-Memory Machine Learning—Part I: Programming Techniques
2021 IEEE Transactions on Electron Devices article Engineering Advanced Memory and Neural Computing Open access cited by 2 patents

Giacomo Pedretti, Piergiulio Mannocci, Can Li, Zhong Sun, John Paul Strachan, Daniele Ielmini

26

citations
The N-Formyl Peptide Receptor 2 (FPR2) Agonist MR-39 Exhibits Anti-Inflammatory Activity in LPS-Stimulated Organotypic Hippocampal Cultures
2021 Cells article Neuroscience Neuroinflammation and Neurodegeneration Mechanisms Open access

Ewa Trojan, Kinga Tylek, Monika Leśkiewicz, Władysław Lasoń, Lars‐Ove Brandenburg, Marcello Leopoldo, +2 more

28

citations
Research data for dissertation 'Real-time Tomographic Reconstruction'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Jan‐Willem Buurlage

0

citations
Research data for dissertation 'Real-time Tomographic Reconstruction'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Parallel Computing and Optimization Techniques Open access

Jan‐Willem Buurlage

0

citations
Spatiotemporal heterogeneity of glioblastoma is dictated by microenvironmental interference
2021 bioRxiv (Cold Spring Harbor Laboratory) preprint Medicine Glioma Diagnosis and Treatment Open access

Vidhya Madapusi Ravi, Paulina Will, Jan Kueckelhaus, Na Sun, Kevin Joseph, Henrike Salié, +20 more

12

citations
A Unified Hardware-to-Decoder Architecture for Hybrid Continuous-Variable and Discrete-Variable Quantum Error Correction in LiDMaS+
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dennis Delali Kwesi Wayo, Chinonso Onah, Leonardo Goliatt, Sven Groppe

0

citations
Feature-based Print Method for Multi-Axis Material Extrusion in Additive Manufacturing
2020 Procedia CIRP article Engineering Additive Manufacturing and 3D Printing Technologies Open access cited by 1 patent

Günther Schuh, Georg Bergweiler, Gerret Lukas, Steffen Hohenstein, Jan Schenk

13

citations
Cerebrospinal fluid volume improves prediction of malignant edema after endovascular treatment of stroke
2022 International Journal of Stroke article Medicine Acute Ischemic Stroke Management Open access

Frans H. W. Kauw, Marie Louise E. Bernsen, Jan Willem Dankbaar, Hugo W. de Jong, L. Jaap Kappelle, Birgitta K. Velthuis, +7 more

12

citations
Transferrin receptor 1 shedding by the pro-inflammatory iRhom–ADAM17 complex and ADAM10 regulates cellular iron uptake and ferroptosis
2026 Experimental & Molecular Medicine article Medicine Iron Metabolism and Disorders Open access

Katharina Schun, Cindy Rinkens, Daniel Mehling, Yan Yu, Sarah Knapp, Carolin Peschke, +8 more

1

citations
Identification of images of COVID-19 from Chest Computed Tomography (CT) images using Deep learning: Comparing COGNEX VisionPro Deep Learning 1.0 Software with Open Source Convolutional Neural Networks
2020 arXiv (Cornell University) preprint Medicine COVID-19 diagnosis using AI Open access

Arjun Sarkar, Joerg Vandenhirtz, József Nagy, David Bacsa

1

citations
Digital cross-section mapping: automated 3D quantification of peri-sulcular structures adjacent to epi- and subgingival finish lines in digital dentistry
2026 Journal of Dentistry article Dentistry Dental materials and restorations Open access

Majed Kutaini, Sven Reich

0

citations
Defining Precystic vs. Cystic Alterations in Pkd1 Renal Mutants
2024 Journal of the American Society of Nephrology article Biochemistry, Genetics and Molecular Biology Genetic and Kidney Cyst Diseases

Daniel Spies, Sara Clerici, Marco Chiaravalli, Gangqi Wang, Laura Cassina, Ton J. Rabelink, +1 more

0

citations
Live imaging of human airway epithelial repair in precision-cut lung slices after targeted cell damage
2026 Biochemistry and Biophysics Reports article Medicine Tissue Engineering and Regenerative Medicine Open access

Lara Gentemann, Fabian Röpken, Philipp Joel Mroch, Nils Noltemeyer, Sören Donath, Anna Seidler, +8 more

0

citations

20 results