Author of the publication

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

, , , , and . Automatic Control, IEEE Transactions on, 58 (5): 1123--1138 (May 2013)
DOI: 10.1109/tac.2012.2230814

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

Search for top pair candidate events in ATLAS at sqrt(s)=7 TeV, , , , , , , , , and 190 other author(s). ATLAS-COM-CONF-2010-046. CERN, Geneva, (July 2010)Background studies for top-pair production in lepton plus jets final states in sqrt(s)=7 TeV ATLAS data, , , , , , , , , and 191 other author(s). ATLAS-COM-CONF-2010-085. CERN, Geneva, (August 2010)Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software, , , , and . Automatic Control, IEEE Transactions on, 58 (5): 1123--1138 (May 2013)Use of mass spectrometry to identify protein biomarkers of disease severity in the synovial fluid and serum of patients with rheumatoid arthritis, , , , , , , , , and 3 other author(s). Arthritis & Rheumatism, 50 (12): 3792-3803 (2004)Finite element modeling of the elastic modulus of thermal barrier coatings, , and . Surface and Coatings Technology, (2012)The relation between standing balance and walking function in children with spastic diplegic cerebral palsy., , , , and . Dev Med Child Neurol, 39 (2): 106--112 (February 1997)Binding and cleavage of E. coli HUbeta by the E. coli Lon protease, , , , , , , , , and 3 other author(s). Biophys J, 98 (1): 129-137 (January 2010)CALF: a CORDIC adaptive lattice filter., and . ICASSP, page 193-196. IEEE Computer Society, (1992)The Effect of User Characteristics on Interface Choice., , and . HCI (1), page 570-574. Elsevier, (1993)Attenuation of insulin signalling contributes to FSN-1-mediated regulation of synapse development, , , , , , , , , and . The EMBO Journal, 32 (12): 1745--1760 (May 2013)