PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hung, Dang Van"

Author of the publication

copydeleteadd this publication to your clipboard
A Theory of Duration Calculus with Application.

, and . Domain Modeling and the Duration Calculus, volume 4710 of Lecture Notes in Computer Science, page 119-176. Springer, (2007)

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.

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

Electrocatalytic proton reduction: Metal based fused diporphyrins with proton relays for efficient catalysis, , , , , , , , and . 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

 

Other publications of authors with the same name

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