PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hung, Dang Van"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Guest editorial to the special section on SEFM 2009.

, , und . Software and Systems Modeling, 12 (2): 227-228 (2013)

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.

Univ. -Prof. Dr. Joris van Slageren University of Stuttgart

Electrocatalytic proton reduction: Metal based fused diporphyrins with proton relays for efficient catalysis, , , , , , , , und . Dataset, (2024)Related to: Chandra, S., Singha Hazari, A., Song, Q., Hunger, D., Neuman, N. I., van Slageren, J., Klemm, E. & Sarkar, B. (2023). Remarkable Enhancement of Catalytic Activity of Cu-Complexes in the Electrochemical Hydrogen Evolution Reaction by Using Triply Fused Porphyrin. ChemSusChem 16, e202201146. doi: 10.1002/cssc.202201146.

Univ. -Prof. Klaus-Dieter Hungenberg University of Stuttgart

Katrin Hungerbühler University of Stuttgart

Nina van den Daele University of Stuttgart

Dr. phil. Leo van Waveren University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Guest editorial to the special section on SEFM 2009., , und . Software and Systems Modeling, 12 (2): 227-228 (2013)Towards Approximate Model Checking DC and PDC Specifications, , und . CoRR, (2012)Checking Timed Automata for Linear Duration Properties., und . J. Comput. Sci. Technol., 15 (5): 423-429 (2000)Modeling and Specification of Real-Time Interfaces with UTP., und . Theories of Programming and Formal Methods, Volume 8051 von Lecture Notes in Computer Science, Seite 136-150. Springer, (2013)Deriving Real-Time Programs from Duration Calculus Specifications., und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 92-97. Springer, (2001)On Checking Parallel Real-Time Systems for Linear Duration Properties., und . FTRTFT, Volume 1486 von Lecture Notes in Computer Science, Seite 241-250. Springer, (1998)Sampling Semantics of Duration Calculus., und . FTRTFT, Volume 1135 von Lecture Notes in Computer Science, Seite 188-207. Springer, (1996)A Theory of Duration Calculus with Application., und . Domain Modeling and the Duration Calculus, Volume 4710 von Lecture Notes in Computer Science, Seite 119-176. Springer, (2007)Verifying Linear Duration Constraints of Timed Automata., und . ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 295-309. Springer, (2004)A Summary of the Tutorials at ICTAC 2005.. ICTAC, Volume 3722 von Lecture Notes in Computer Science, Seite 609-612. Springer, (2005)