( en | de | ru )

 

Disambiguierung von "Lee, Insup"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments.

, , , , , und . Sensors, 19 (5): 1114 (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xavier Lee Lee

Bongsoo Lee

The role of negative regulators in coordination of the Myxococcus xanthus developmental program. Uni Marburg, (2009)

Min-Hi Lee

Induction and regulation of antiviral defence mechanisms through intracytoplasmic sensors. HU Berlin, (2009)

Sangbok Lee

Nathaniel Lee

 

Weitere Publikationen von Autoren mit dem selben Namen

Verisim: Formal Analysis of Network Simulations., , , , , , und . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)Automation of analysis and simulation for understanding of large real-time Ada software., , und . ICECCS, Seite 55-58. IEEE Computer Society, (1995)A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments., , , und . SAFECOMP, Volume 7612 von Lecture Notes in Computer Science, Seite 305-316. Springer, (2012)Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey., , , , , und . FHIES/SEHC, Volume 9062 von Lecture Notes in Computer Science, Seite 64-80. Springer, (2014)A layered approach for testing timing in the model-based implementation., , , , und . DATE, Seite 1-4. European Design and Automation Association, (2014)Towards the effective temporal association mining of spam blacklists., und . CEAS, Seite 73-82. ACM, (2011)Implementing a Real-Time Process Algebra in HOL., , und . TPHOLs, Seite 144-154. IEEE Computer Society, (1991)XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems., , , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 402-405. Springer, (1996)Trapfetch: A breakpoint-based prefetcher for both launch and run-time., , , , , und . SMC, Seite 2766-2771. IEEE, (2017)Parameter Invariant Monitoring for Signal Temporal Logic., , , , und . HSCC, Seite 187-196. ACM, (2018)