Autor der Publikation

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation

, , , und . Electronic Notes in Theoretical Computer Science, (April 2008)
DOI: http://dx.doi.org/10.1016/j.entcs.2008.03.072

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

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation, , , und . Electronic Notes in Theoretical Computer Science, (April 2008)Intelligent video anomaly detection and classification using faster RCNN with deep reinforcement learning model., , , , und . Image Vis. Comput., (2021)Simultaneous achievement of high performance and high reliability in a 38/77GHz InGaAs/AlGaAs PHEMT MMIC., , , , , , und . IEICE Electron. Express, 7 (8): 558-562 (2010)Electrical degradation mechanisms of RF power GaAs PHEMTs.. Massachusetts Institute of Technology, Cambridge, MA, USA, (2007)ndltd.org (oai:dspace.mit.edu:1721.1/40547).Corrosion-induced degradation of GaAs PHEMTs under operation in high humidity conditions., , , , , , , , und . Microelectron. Reliab., 49 (12): 1515-1519 (2009)Allometric scaling laws derived from symmetric tree networks., und . CoRR, (2017)Monte Carlo Simulation of a Submicron MOSFET Including Inversion Layer Quantization., , , und . VLSI Design, 6 (1-4): 287-290 (1998)A β-SiC MOSFET Monte Carlo Simulator Including Inversion Layer Quantization., , und . VLSI Design, 8 (1-4): 257-260 (1998)Development of a Method for Determining the Dependence of the Electron Mobility on the Longitudinal-Electric Field in MOSFETs., , und . VLSI Design, 8 (1-4): 261-264 (1998)Steady state traffic flow, entropy production rate, temporal fluctuations and fuel consumption, , , , , und . Physica A: Statistical Mechanics and its Applications, 361 (2): 630--642 (01.03.2006)