Author of the publication

Formalizing Java-MaC.

, , , , and . RV@CAV, volume 89 of Electronic Notes in Theoretical Computer Science, page 171-190. Elsevier, (2003)

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.

 

Other publications of authors with the same name

Intercomparison and analyses of the climatology of the West African Monsoon in the West African Monsoon Modeling and Evaluation project (WAMME) first model intercomparison experiment, , , , , , , , , and 34 other author(s). Climate Dynamics, 35 (1): 3--27 (Jul 1, 2010)Formalizing Java-MaC., , , , and . RV@CAV, volume 89 of Electronic Notes in Theoretical Computer Science, page 171-190. Elsevier, (2003)Modeling of Part-Mating Strategies for Automating Assembly Operations for Robots., and . IEEE Trans. Syst. Man Cybern. Syst., 24 (7): 1065-1074 (1994)Row-by-Row Dynamic Source-Line Voltage Control (RRDSV) Scheme for Two Orders of Magnitude Leakage Current Reduction of Sub-1-V-VDD SRAM's., , , , , , , , , and . IEICE Trans. Electron., 88-C (4): 760-767 (2005)Interannual Variations of TOA Albedo over the Arctic, Antarctic and Tibetan Plateau in 2000-2019., , , and . Remote. Sens., 12 (9): 1460 (2020)Ultrasensitive Electrical Detection of Hemagglutinin for Point-of-Care Detection of Influenza Virus Based on a CMP-NANA Probe and Top-Down Processed Silicon Nanowire Field-Effect Transistors., , , , , , , , , and 1 other author(s). Sensors, 19 (20): 4502 (2019)An Analysis of Network Performance Requirements for Industrial IoT Services based on 5G Non-Public Network in Smart Energy., , , and . ICTC, page 1456-1461. IEEE, (2023)Extraction of interface states at emitter-base heterojunctions in AlGaAs/GaAs heterostructure bipolar transistors using sub-bandgap photonic excitation., , , , , , , , , and 3 other author(s). Microelectron. Reliab., 48 (3): 382-388 (2008)Integrated modeling of aerosol, cloud, precipitation and land processes at satellite-resolved scales., , , , , , , , , and 13 other author(s). Environ. Model. Softw., (2015)GDDR5 Training., , and . ATS, page 423-428. IEEE Computer Society, (2008)