( en | de | ru )

 

Disambiguation of "Mueller, Johannes"

Author of the publication

copydeleteadd this publication to your clipboard
UPEC-PN: Exhaustive constant time verification of low-level software using property checking.

, , , , and . MBMV, page 1-8. VDE/IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johannes Mueller

Johannes Mueller

Johannes Mueller

Johannes Mueller

Wilhelm Mueller

 

Other publications of authors with the same name

DeVoS: Deniable Yet Verifiable Vote Updating., , and . IACR Cryptol. ePrint Arch., (2023)Designing with Citizens: Challenges and Evaluation Methods for Crowd-sourced Urban Layouts., and . CAID@IJCAI, volume 2099 of CEUR Workshop Proceedings, page 34-39. CEUR-WS.org, (2017)UPEC-PN: Exhaustive constant time verification of low-level software using property checking., , , , and . MBMV, page 1-8. VDE/IEEE, (2023)Optimization of the interconnect resistance contribution for STT-MRAM technology., , , and . Microelectron. J., (2020)Identifying Users and Use of (Electric-) Free-Floating Carsharing in Berlin and Munich., , and . ITSC, page 2568-2573. IEEE, (2015)OLBVH: octree linear bounding volume hierarchy for volumetric meshes., , , and . Vis. Comput., 36 (10): 2327-2340 (2020)Accelerated Airborne Virus Spread Simulation: Coupling Agent-based Modeling with GPU-accelerated Computational Fluid Dynamics., , , , , , , , , and 2 other author(s). VISIGRAPP (1: GRAPP), page 278-285. SCITEPRESS, (2022)Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms., , , , , , , , , and 12 other author(s). Array, (2022)Deformation simulation using cubic finite elements and efficient p-multigrid methods., , , , and . Comput. Graph., (2015)Analysis of Schedule and Layout Tuning for Sparse Matrices With Compound Entries on GPUs., , and . Comput. Graph. Forum, 39 (6): 133-143 (2020)