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
Specification and Verification of Spatial Data Types with B-Toolkit.

, und . COMPSAC, Seite 711-716. IEEE Computer Society, (2002)

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

Checking Timed Automata for Linear Duration Properties., und . J. Comput. Sci. Technol., 15 (5): 423-429 (2000)On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties., und . RTCSA, Seite 165-172. IEEE Computer Society, (2007)Specification and Verification of Spatial Data Types with B-Toolkit., und . COMPSAC, Seite 711-716. IEEE Computer Society, (2002)Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development., und . TASE, Seite 293-304. IEEE Computer Society, (2007)On Model Finding with Constraint Patterns., , und . SoMeT, Volume 286 von Frontiers in Artificial Intelligence and Applications, Seite 279-290. IOS Press, (2016)A noninterleaving semantics for communicating sequential processes: a fixed-point approach., und . Acta Cybern., 8 (3): 293-314 (1988)Towards Approximate Model Checking DC and PDC Specifications, , und . CoRR, (2012)Guest editorial to the special section on SEFM 2009., , und . Software and Systems Modeling, 12 (2): 227-228 (2013)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)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)