Not finding it? Sign in to also search OpenAlex live.
-
Towards an Isabelle Theory for distributed, interactive systems : the untimed case2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more
3citations -
Estimation of Kinetic Parameters in Stochastic Biomedical Models Using Estimation Theory2021 IEEE International Symposium on Intelligent Systems and Informatics (SISY) conference-paper Computer Science Petri Nets in System Modeling
Lukas David Schuck, Lejla Begic Fazlic, Guido Dartmann, Anke Schmeink
0citations -
CompDSE: A Methodology for Design Space Exploration of Computing Subsystems Within Complex Cyber‐Physical Systems2025 IET Cyber-Physical Systems Theory & Applications article Computer Science Embedded Systems Design Techniques Open access
Faezeh Sadat Saadatmand, Todor P. Stefanov, Ignacio González Alonso, Andy D. Pimentel, Benny Åkesson
0citations -
Technology Acceptance and Usability of a Virtual Reality Intervention for Military Members and Veterans With Posttraumatic Stress Disorder: Mixed Methods Unified Theory of Acceptance and Use of Technology Study2022 JMIR Formative Research article Computer Science Virtual Reality Applications and Impacts Open access
Chelsea Jones, Antonio Miguel Cruz, Lorraine Smith‐MacDonald, Matthew Robert Graham Brown, Eric H. G. J. M. Vermetten, Suzette Brémault‐Phillips
20citations -
A Comprehensive Review of Quasi-Deterministic Authentication in High-Load Web Systems: Security Models, Optimization Techniques, and Emerging Computing Applications0citations