Autor der Publikation

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.

, , , , und . SEW, Seite 104-114. IEEE Computer Society, (2009)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Discrete-Time Quasi-Sliding-Mode Control With Prescribed Performance Function and its Application to Piezo-Actuated Positioning Systems., , und . IEEE Trans. Ind. Electron., 65 (1): 942-950 (2018)Non-Contact Driver Respiration Rate Detection Technology Based on Suppression of Multipath Interference with Directional Antenna., , , , , , und . Inf., 11 (4): 192 (2020)Disperse Asymmetric Subspace Relation Hashing for Cross-Modal Retrieval., , , , , und . IEEE Trans. Circuits Syst. Video Technol., 34 (1): 603-617 (Januar 2024)A 2.4-mW interference-resilient receiver front end with series N-path filter-based balun for body channel communication., , , , , , , und . Int. J. Circuit Theory Appl., 46 (11): 2118-2133 (2018)Similarity Measure of Time Series With Different Sampling Frequencies Based on Context Density Consistency and Dynamic Time Warping., , , , und . IEEE Signal Process. Lett., (2023)An Intelligent MT Data Inversion Method With Seismic Attribute Enhancement., , , , , , , , , und 3 andere Autor(en). IEEE Trans. Geosci. Remote. Sens., (2023)Research on multi-robot scheduling algorithms based on machine vision., und . EURASIP J. Image Video Process., (2018)Sculpt3D: Multi-View Consistent Text-to-3D Generation with Sparse 3D Prior., , , , , , , und . CoRR, (2024)SCB-ST-Dataset4: Extending the Spatio-Temporal Behavior Dataset in Student Classroom Scenarios Through Image Dataset Method., und . CoRR, (2023)EFRNet: Efficient Feature Reconstructing Network for Real-Time Scene Parsing., , , , , und . IEEE Trans. Multim., (2022)