Author of the publication

Type Inference, Abstract Interpretation and Strictness Analysis.

, and . Theor. Comput. Sci., 121 (1&2): 113-143 (1993)

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

A Layered Approach to Modelling and Design of Cross-Layer Protocols in Ad-Hoc Wireless Networks., , , and . WCNC, page 1798-1803. IEEE, (2008)A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform., , , , , and . IEEE Real Time Technology and Applications Symposium, page 189-. IEEE Computer Society, (2003)Models of IP's for Automotive Virtual Integration Platforms., , , , , , , and . ICCD, page 379-. IEEE Computer Society, (2002)System Design: Traditional Concepts and New Paradigms., and . ICCD, page 2-13. IEEE Computer Society, (1999)Gait analysis in children with cerebral palsy via inertial and magnetic sensors., , , , and . Med. Biol. Engineering and Computing, 51 (4): 377-386 (2013)Recognizing Physisorption and Chemisorption in Carbon Nanotubes Gas Sensors by Double Exponential Fitting of the Response., , , , and . Sensors, 16 (5): 731 (2016)An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms., , , , and . FPL, volume 2438 of Lecture Notes in Computer Science, page 677-686. Springer, (2002)Multiple Viewpoint Contract-Based Specification and Design., , , , , and . FMCO, volume 5382 of Lecture Notes in Computer Science, page 200-225. Springer, (2007)Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores., , , , and . SoCC, page 109-110. IEEE, (2005)A low-power VLSI feature extractor for speech recognition., , , and . ICASSP, page 3061-3064. IEEE, (1998)