From

Institution

Field

Type

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

Reset

Papers matching “liveness” 101

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Liveness Proofs for Hardware Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko

0

citations
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Javier Esparza, Vincent P. Grande

0

citations
Applications of Artificial Intelligence in Live Action Role-Playing Games (LARP)
2020 IEEE Conference on Games (CoG) conference-paper Computer Science Artificial Intelligence in Games Open access

Christoph Salge, Emily Short, Mike Preuß, Pieter H.M. Spronck

0

citations
High Recall, Small Data: The Challenges of Within-System Evaluation in a Live Legal Search System
2024 arXiv (Cornell University) preprint Computer Science Information Retrieval and Search Behavior Open access

Gineke Wiggers, Suzan Verberne, Arjen P. de Vries

0

citations
Integrating Web-Based Collaborative Live Editing and Wireframing into a Model-Driven Web Engineering Process
2020 Data Science and Engineering article Computer Science Web Applications and Data Management Open access

Peter de Lange, Petru Nicolaescu, Alexander Tobias Neumann, Ralf Klamma

4

citations
Silent Metronome: Rhythmic Grounding for Live Music Accompaniment
2026 arXiv (Cornell University) preprint Computer Science Music and Audio Processing Open access

Kevin Bretz, Derya Soydaner, Aske Plaat

0

citations
A broad kinase inhibitor library live cell imaging screen using liver, kidney and cardiac hiPSC-ICAM1-eGFP reporter lineages identifies liabilities for TNFα pathway modulation
2025 Archives of Toxicology article Computer Science Computational Drug Discovery Methods Open access

Matthijs Vlasveld, Linda van den Berk, Janet Piñero, Palle Steen Helmke, Gerhard Franz Ecker, Rob Van Rossom, +5 more

1

citations
A broad kinase inhibitor library live cell imaging screen using liver, kidney and cardiac hiPSC-ICAM1-eGFP reporter lineages identifies liabilities for TNFα pathway modulation
2025 Leiden Repository (Leiden University) article Computer Science Computational Drug Discovery Methods Open access

0

citations
Research Data Live Longer...
2020 RWTH Publications (RWTH Aachen) article Computer Science Research Data Management Practices Open access

Daniela Hausen, Benedikt Magrean, Dominik Schmitz, Ute Trautwein‐Bruns, Jürgen Windeck

0

citations
Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

14

citations
DiSSCo/dissco-core-translator: v1.6.2-alpha
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Research Data Management Practices Open access

Sam Leeflang, southeo

0

citations
International Society of Biocuration Presents: Curate This!
2026 other Computer Science Research Data Management Practices Open access

Charles Tapley Hoyt

0

citations
International Society of Biocuration Presents: Curate This!
2026 other Computer Science Research Data Management Practices Open access

Charles Tapley Hoyt

0

citations
Chatbox sociality: Extreme personae, speculative communities, and the affordances of alt-tech livestreaming
2026 First Monday article Computer Science Media and Digital Communication Open access

Idil Galip, Eleni Maragkou

1

citations
Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets
2021 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling Open access

Wil M. P. van der Aalst

1

citations
python-spectrometer
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, René Otten

0

citations
qutil
2025 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

0

citations
qutil
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, Han Na We

0

citations
Microbial Content Generation for Natural Terrains in Computer Games
2022 Frontiers in Computer Science article Computer Science Artificial Intelligence in Games Open access

Maarten H. Lamers, Wim van Eck

1

citations
Quantum environment afterglow from broadband excitation spectroscopy in superconducting qubits
2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

J. R. Guimarães, Y. L. Liu, Y. Gao, Y. Haddad, A. Galicia, D. A. Volkov, +7 more

0

citations
POS0067-PARE USING AI BASED TECHNOLOGY TO GAIN INSIGHTS FROM OSTEOARTHRITIS PATIENTS IN THE UK VIA SOCIAL LISTENING
2023 conference-abstract Computer Science Sentiment Analysis and Opinion Mining Open access

Neil Betteridge, Gudula Petersen, T. Andreu, Matthias Härtung

0

citations
Impactful Datasets in Earth, Space, and Environmental Sciences: Highlighting the Data That Transform Research
2026 AGU Advances article Computer Science Research Data Management Practices Open access

Joseph Gum, Graziella Caprarelli, Alberto Montanari, Brian Sedora, Shelley Stall, Matt Biddle, +94 more

0

citations
Activity recognition using wearable sensors for tracking the elderly
2020 User Modeling and User-Adapted Interaction article Computer Science Context-Aware Activity Recognition Systems Open access

Stylianos Paraschiakos, Ricardo Cachucho, Matthijs Moed, Diana van Heemst, Simon P. Mooijaart, P. Eline Slagboom, +2 more

60

citations
A Privacy-Preserving Protocol for the Kidney Exchange Problem
2020 Workshop on Privacy in the Electronic Society conference-paper Computer Science Cryptography and Data Security Open access

7

citations
Satellite Streaming Video QoE Prediction: A Real-World Subjective Database and Network-Level Prediction Models
2025 IEEE Access article Computer Science Image and Video Quality Assessment Open access

Zaixi Shang, Jae Chung, David Lerner, Werner Robitza, Rakesh Rao Ramachandra Rao, Alexander Raake, +1 more

1

citations