( en | de | ru )

 

Disambiguation of "Maple, Carsten"

Author of the publication

copydeleteadd this publication to your clipboard
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.

, , , , , , and . SEFM, volume 11724 of Lecture Notes in Computer Science, page 471-490. Springer, (2019)

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.

Carsten Güttler

From dust to planets: dust aggregation in the post fractal growth regime. TU Braunschweig, (2009)

Carsten Hof

Implementation of a model-independent search for new physics with the CMS detector exploiting the world-wide LHC Computing Grid. TU Aachen, (2009)

Carsten Clauß

Effiziente Parallelverarbeitung mit Nachrichtenaustausch auf Metacomputern. TU Aachen, (2009)

Carsten Bahnsen

Carsten Helssen

 

Other publications of authors with the same name

Prediction of Malignant Melanoma Incidence., and . Modelling and Simulation, page 234-239. IASTED/ACTA Press, (2003)Hybrid feature selection technique for intrusion detection system., , and . IJHPCN, 13 (2): 232-240 (2019)A Review of Critical Infrastructure Protection Approaches: Improving Security through Responsiveness to the Dynamic Modelling Landscape., , , , and . CoRR, (2019)Trust Issues on Crowd-Sourcing Methods for Urban Environmental Monitoring., , , and . Int. J. Distributed Syst. Technol., 3 (1): 35-47 (2012)Preparing computing students for culturally diverse e-mediated IT projects., , , and . Interact. Technol. Smart Educ., 3 (3): 185-195 (2006)Analysis of IoT-Based Load Altering Attacks Against Power Grids Using the Theory of Second-Order Dynamical Systems., , and . CoRR, (2020)Toward Smart Manufacturing Using Spiral Digital Twin Framework and Twinchain., , , , and . IEEE Trans. Ind. Informatics, 18 (2): 1359-1366 (2022)Securing the Internet of Things-enabled smart city infrastructure using a hybrid framework., and . Comput. Commun., (May 2023)Analysis of outage performance in a 6G-V2X communications system utilising free-space optical quantum key distribution., , , and . IET Quantum Commun., 4 (4): 191-199 (December 2023)Quantum Key Distribution for V2I communications with software-defined networking., , , , , , , , , and . IET Quantum Commun., 5 (1): 38-45 (March 2024)