Items where Research Area is "Computer Science and Applications" and Year is 1996

Article

Boreale, Michele and De Nicola, Rocco A Symbolic Semantics for the pi-Calculus. Information and Computation, 126 (1). pp. 34-52. ISSN 0890-5401 (1996)

Corradini, Flavio and De Nicola, Rocco On Four Partial Ordering Semantics for a Process Calculus. Fundamenta Informaticae, 27 (4). pp. 349-383. ISSN 1875-8681 (1996)

De Nicola, Rocco and Smolka, Scott A. Concurrency: Theory and Practice. ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research, 28 (4es). p. 52. ISSN 0360-0300 (1996)

Pietrini, Pietro In tema di esplorazione funzionale del cervello: la tomografia ad emissione di positroni. Problemi in psichiatria, 11. pp. 65-69. (1996)

Pietrini, Pietro and Furey, Maura L. and Graff-Radford, Neill R. and Freo, Ulderico and Alexander, Gene E. and Grady, Cheryl L. and Dani, Alessio and Mentis, Marc J. and Schapiro, Mark B. Preferential metabolic involvement of visual cortical areas in a subtype of Alzheimer's disease: clinical implications. American Journal of Psychiatry, 153 (10). pp. 1261-1268. ISSN 0002-953X (1996)

Pietrini, Pietro and Gemignani, Angelo and Guazzelli, Mario Sulla lateralizzazione emisferica cerebrale. Basi anatomiche, aspetti funzionali ed implicazioni cliniche. Problemi in psichiatria, 10. pp. 2-9. (1996)

Book Section

Bemporad, Alberto and Casavola, Alessandro and Mosca, Edoardo A nonlinear command governor for constrained control systems. In: 13th IFAC World Congress. IFAC, pp. 473-478. (1996)

Bemporad, Alberto and De Luca, Alessandro and Oriolo, Giuseppe Local incremental planning for a car-like robot navigating among obstacles. In: International conference on robotics and automation. IEEE, Minneapolis, Minnesota - April 1996, pp. 1205-1211. ISBN 0-7803-2988-0 (1996)

Bemporad, Alberto and Mosca, Edoardo Robust nonlinear reference filtering for constrained linear systems with uncertain impulse/step responses. In: Decision and Control Conference. IEEE, Kobe, Japan, December 1996, pp. 3527-3528. ISBN 0-7803-3590-2 (1996)

Chen, Xiao Jun and De Nicola, Rocco Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. In: Automata, Languages and Programming (ICALP 1996). Lecture Notes in Computer Science, 1099 . Springer, pp. 63-74. ISBN 3-540-61440-0 (1996)

De Nicola, Rocco and Pugliese, Rosario A Process Algebra Based on LINDA. In: Coordination Languages and Models (COORDINATION 1996). Lecture Notes in Computer Science, 1061 . Springer, pp. 160-178. ISBN 3-540-61052-9 (1996)

Conference or Workshop Item

Bellini, A. and Bemporad, Alberto and Franchi, Eleonora and Manaresi, Nicolò and Rovatti, Riccardo and Torrini, G. Analog fuzzy implementation of a vehicle traction sliding-mode control. In: ISATA 29th International Symposium on Automotive Technology and Automation Automotive , 1996, Croydon, UK pp. 275-282. (Unpublished) (1996)

Bemporad, Alberto and Casavola, Alessandro and Mosca, Edoardo A predictive reference governor for constrained control systems. In: ASI - Annual ICIMS-NOE conference, Tolosa, France pp. 231-238. (Unpublished) (1996)