PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lux, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
A Formalization of Strong Security.

, , , and . Archive of Formal Proofs, (2014)

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.

Florian Lux University of Stuttgart

Dr. Barbara Lux University of Stuttgart

Univ. -Prof. Dr. -Ing. Alexander Verl University of Stuttgart

Reflection-based Prototyping Framework for OPC UA Servers for Companion Specifications, , , , , and . 2023 IEEE International Conference on Industrial Technology (ICIT), (2023)
Reflection-based Prototyping Framework for OPC UA Servers for Companion Specifications, , , , , and . 2023 IEEE International Conference on Industrial Technology (ICIT), (2023)Control Architecture for Automation, , and . Springer Handbook of Automation, Springer, Cham, (2023)Edge-Cloud Automation of Manufacturing Machines : Analysis of Potential Designs and their Impact on the Machine Performance, , , and . 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), IEEE, (2023)

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Trachtmann University of Stuttgart

Replication Data for: Highly efficient real-time spatially resolved sensing of ultraviolet light, , , , , , , and . Dataset, (2025)Related to: Yannick Schellander, Fabian Munkes, Alexander Trachtmann, Patrick Schalberger, Robert Löw, Harald Kübler, Tilman Pfau, Norbert Fruehauf, "Highly efficient real-time spatially resolved sensing of ultraviolet light," Proc. SPIE 13109, Metamaterials, Metadevices, and Metasystems 2024, 1310906 (2024). doi: 10.1117/12.3028038.
 

Other publications of authors with the same name

A tool for static detection of timing channels in Java., and . J. Cryptographic Engineering, 1 (4): 303-313 (2011)Declassification with Explicit Reference Points., and . ESORICS, volume 5789 of Lecture Notes in Computer Science, page 69-85. Springer, (2009)A Formalization of Declassification with WHAT-and-WHERE-Security., , , and . Archive of Formal Proofs, (2014)Scheduler-Independent Declassification., , and . MPC, volume 7342 of Lecture Notes in Computer Science, page 25-47. Springer, (2012)A Formalization of Strong Security., , , and . Archive of Formal Proofs, (2014)Who Can Declassify?., and . Formal Aspects in Security and Trust, volume 5491 of Lecture Notes in Computer Science, page 35-49. Springer, (2008)