From

Institution

Field

Type

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

Reset

Papers matching “procedure calls” 129

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
2021 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep

3

citations
Roll call votes in the committees of the European Parliament: A new dataset
2024 European Union Politics article Social Sciences European Union Policy and Governance Open access

Lukas Obholzer, Moritz Wiesenthal

2

citations
A new three-step hybrid approach is a safe procedure for incisional hernia: early experiences with a single centre retrospective cohort
2020 Hernia article Medicine Hernia repair and management Open access

Matthijs L. Van den Dop, Gijs H. J. de Smet, Michaël P. A. Bus, Johan Frederik Lange, Sascha M. P. Koch, Willem E. Hueting

4

citations
Call to action: long‐term neurodevelopment in monochorionic twins
2021 Ultrasound in Obstetrics and Gynecology article Medicine Assisted Reproductive Technology and Twin Pregnancy Open access

Asma A. Khalil, Rosemary Townsend, Keith Reed, Enrico Lopriore

10

citations
Nationwide Awareness Campaign and Call for Dental Screening for Hereditary Hemorrhagic Telangiectasia in Germany
2023 International Journal of Dentistry article Medicine Vascular Anomalies and Treatments Open access

Urban W. Geisthoff, Frank Hölzle, Boris Alexander Stuck, Joachim Jackowski, Freya Droege

4

citations
Optimized Implementation of Cardiac Resynchronization Therapy: A Call for Action for Referral and Optimization of Care
2020 European Journal of Heart Failure article Medicine Cardiac pacing and defibrillation studies Open access

Wilfried Müllens, Angelo Auricchio, Pieter Martens, Klaus Karl Witte, Martín Cowie, Victoria Delgado, +23 more

156

citations
Optimized implementation of cardiac resynchronization therapy: a call for action for referral and optimization of care
2020 EP Europace article Medicine Cardiac pacing and defibrillation studies Open access

Wilfried Müllens, Angelo Auricchio, Pieter Martens, Klaus Karl Witte, Martín Cowie, Victoria Delgado, +23 more

55

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

21

citations
Mass spectrometry based precision diagnostics: on the cusp of selective testing
2025 Clinical Chemistry and Laboratory Medicine (CCLM) article Medicine Clinical Laboratory Practices and Quality Control Open access

L. Renee Ruhaak, Christa M. Cobbaert

4

citations
Molotov cocktail protection - protective clothing material for emergency forces
2022 Communications in development and assembling of textile products article Materials Science Textile materials and evaluations Open access

Rahel Krause, Justin Kühn, Thomas Gries, Marén Gültner, Yvette Dietzel

0

citations
Mortality after mechanical thrombectomy in anterior circulation stroke may be higher at nighttime and on weekends
2020 European Radiology article Medicine Acute Ischemic Stroke Management Open access

Charlotte Zaeske, Lukas Goertz, Jonathan Kottlors, Marc Schlamann, Oezguer A. Onur, Volker Maus, +5 more

11

citations
Symbolic execution formally explained
2021 Formal Aspects of Computing article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue

13

citations
Construction of Maternal-Fetal Medicine Centers in the Netherlands
2020 Maternal-Fetal Medicine article Medicine Congenital Anomalies and Fetal Surgery Open access

Dick Oepkes, Femke Slaghekke

0

citations
Neurosurgical Endovascular Credentialing in Europe and the United Kingdom for the “Complete” Neurovascular Surgeon: The Time has Come
2024 Neurosurgery article Medicine Intracranial Aneurysms: Treatment and Complications Open access

Rosa Sun, Philipp Taussky, Elad I. Levy, Samir Adil Matloob, Torstein Ragnar Meling, Peter C. Whitfield, +23 more

3

citations
kMap.py: A Python program for simulation and data analysis in photoemission tomography
2021 Computer Physics Communications article Materials Science Electron and X-Ray Spectroscopy Techniques Open access

Dominik Brandstetter, Xiaosheng Yang, Daniel Lüftner, Frank Stefan Tautz, Peter Puschnig

1

citations
Deep-learning based representation and recognition for genome variants—from SNVs to structural variants
2024 National Science Review article Biochemistry, Genetics and Molecular Biology Genomics and Phylogenetic Studies Open access cited by 1 patent

Songbo Wang, Kai Ye

7

citations
What’s Important (Arts and Humanities): Shouldn’t Our GOAL! Be to Find a Better Way?
2023 Journal of Bone and Joint Surgery article Medicine Healthcare and Environmental Waste Management Open access

Nicolas D. John Barker, Carlijn Tukkers, Rob G. H. H. Nelissen

1

citations
Analgosedierung in der Interventionellen Radiologie
2026 RöFo - Fortschritte auf dem Gebiet der Röntgenstrahlen und der bildgebenden Verfahren article Medicine Anesthesia and Sedative Agents Open access

Peter Minko, Timo Alexander Auer, Philipp Bruners, Elif Can, Bernhard Gebauer, Gerd Groezinger, +15 more

0

citations
Automatic Fault Detection and Diagnosis in Cellular Networks and Beyond 5G: Intelligent Network Management
2022 Algorithms article Computer Science Wireless Communication Networks Research Open access

Arun Kumar Sangaiah, Samira Rezaei, Amir Javadpour, Farimasadat Miri, Weizhe Zhang, Desheng Wang

23

citations
Optimal patient protocols in regional acute stroke care
2021 Health Care Management Science article Business, Management and Accounting Facility Location and Emergency Management Open access

Bjarty L. Garcia, René Bekker, R.D. van der Mei, Niels Henrik Chavannes, Nyika D. Kruyt

5

citations
Cooperative and competitive behaviour among passengers during the costa concordia disaster
2020 Safety Science article Engineering Evacuation and Crowd Dynamics Open access

Andrea Bartolucci, Cristina Casareale, John Drury

50

citations
Gradient Approximation and Multivariable Derivative-Free Optimization Based on Noncommutative Maps
2021 IEEE Transactions on Automatic Control article Mathematics Advanced Optimization Algorithms Research Open access

Jan Feiling, Mohamed-Ali Belabbas, Christian Ebenbauer

4

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

citations
A plain language summary of the PERSEUS study of daratumumab plus bortezomib, lenalidomide, and dexamethasone for treating newly diagnosed multiple myeloma
2024 Future Oncology article Medicine Multiple Myeloma Research and Treatments Open access

Pieter Sonneveld, Meletios Athanasios Dimopoulos, Mario Boccadoro, Hang Quach, P. Joy Ho, Meral Beksaç, +34 more

2

citations
Catholic Clergy Abuse in the Netherlands: The Role of Social Relations in Redress Procedures
2025 Victims & Offenders article Social Sciences Military, Security, and Education Studies Open access

Naomi R. S. Ormskerk, Maarten Jacob Johannes Kunst, Nicole L. Immler

1

citations