Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Book as Editor
Proceedings CADE-12 Workshop on correctness and metatheoretic extensibility of automated reasoning systems

D. Basin, F. Giunchiglia, M. Kaufmann (a cura di)
Trento: Istituto trentino di cultura, 1994

Book as Editor
Control of partial differential equations

G. Da Prato, L. Tubaro (a cura di)
New York, N.Y. ; Basel: Marcel Dekker, Inc., New York, 1994, 279 p. - (Lecture notes in pure and applied mathematics; 165). - ISBN: 824792408

Conference
First steps towards correct system synthesis of system code

A. Armando, A. Cimatti, F. Giunchiglia, P. Traverso
in Proceedings of CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems, 1994. Atti di: Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems, Nancy, France, 26 June 1994

Conference
Constraint fulfilment in control systems via predictive reference management

A. Bemporad, E.MOSCA
in Proc. 33rd IEEE Conf. on Decision and Control, 1994, p. 3016-3022, Lake Buena Vista, FL

Conference
Constraint fulfilment in feedback control via predictive reference management

A. Bemporad, E.MOSCA
in Proc. 3rd IEEE Conf. on Control Applications, 1994, p. 1909-1914, Glasgow, U.K.

Journal Article
On the stabilizing property of SIORHC

A. Bemporad, L. Chisci, E. Mosca
in AUTOMATICA, v. 30, n. 12 (1994), p. 2013-2015

Conference
A many sorted natural deduction

A. Cimatti, F. Giunchiglia, R. W. Weyhrauch
in From Theorem Provers to Mathematical Assistants, Amsterdam: [s.n.], 1994, p. 3-14. Atti di: Workshop From Theorem Provers to Mathematical Assistants, Amsterdam, 8-12 August 1994

Journal Article
Inhibition of MDR1 gene expression by antimessenger oligonucleotides lowers multiple drug resistance in neoplastic cells

A. Quattrone, L. Papucci, L. Morganti, M. Coronnello, E. Mini, T. Mazzei, F. Colonna, A. Garbesi, S. Capaccioli
in ONCOLOGY RESEARCH, v. 6, (1994), p. 311-320

Conference
Proof Planning by Abstraction

A. Villafiorita, R. Sebastiani
in ECAI-94 Workshop 'From Theorem Provers to Mathematical Assistants: Issues and Possible Solutions, Berlin: Springer, 1994, p. 319-346. Atti di: ECAI-94 Workshop 'From Theorem Provers to Mathematical Assistants: Issues and Possible Solutions, Amsterdam, Holland, August 1994. - DOI: 10.1023/A:1005877613942

Conference
Local world semantics

C. Ghidini, F. Giunchiglia
1994, p. 29-32. Atti di: 2. incontro del gruppo di lavoro della AI*IA su aspetti epistemologici e gnoseologici dell'inteligenza artificiale, Parma, 26-28 settembre 1994