34407 articles – 26936 Notices  [english version]
.:. Consultation > Par auteur > Attali .:.
11 documents classés par :
1 - 2 Page Suivante Page Finale
fulltext access Secured Information Flow for Asynchronous Sequential Processes
Attali I., Caromel D., Henrio L., Luna F.
Dans 3rd International Workshop on Security Issues in Concurrency (SecCo'05) (2005) [inria-00122937 - version 1]
fulltext access Formalisation and Proofs of the Chilean Electronic Invoices System
Attali I., Barros T., Madelaine E.
Dans in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04) (2004) [inria-00087210 - version 1]
Aspect and XML-oriented Semantic Framework Generator: SmartTools
Parigot D., Courbis C., Degenne P., Fau A., Pasquier C., Fillon J., Held C., Attali I.
Electronic Notes in Theoretical Computer Science 65, 3 (2002) 97-116 [hal-00172776 - version 1]
SmartTools: A Generator of Interactive Environments Tools
Attali I., Courbis C., Degenne P., Fau A., Parigot D., Pasquier C.
Electronic Notes in Theoretical Computer Science 44, 2 (2001) 225-231 [hal-00172773 - version 1]
fulltext access Static Analysis of Java for Distributed and Parallel Programming
Attali I., Caromel D., Guider R.
N° RR-3634 (1999) [inria-00073040 - version 1]
fulltext access A language and an Integrated Environment for Program Transformations
Attali I., Pascual V., Roudet C.
N° RR-3313 (1997) [inria-00073376 - version 1]
fulltext access An Operational Semantics for the Eiffel Language
Attali I., Caromel D., Ehmety S. O.
N° RR-2732 (1995) [inria-00073962 - version 1]
fulltext access Integrating Natural Semantics and Attribute Grammars : the Minotaur System
Attali I., Parigot D.
N° RR-2339 (1994) [inria-00077110 - version 1]
fulltext access Language-based document processing
Arnon D. S., Attali I., Franchi-Zannettacci P.
N° RR-1731 (1992) [inria-00076970 - version 1]
fulltext access Functional evaluation of natural semantics specifications
Attali I., Chazarain J.
N° RR-1218 (1990) [inria-00075340 - version 1]