Skip to Main content Skip to Navigation


hal-00337343v1  Book sections
Hélène Bonneau-MaynardAlexandre DenisFrédéric BechetLaurence DevillersFabrice Lefèvre et al.  Media : évaluation de la compréhension dans les systèmes de dialogue
Stéphane Chaudiron; Khalid Choukri. L'évaluation des technologies de traitement de la langue, les campagnes Technolangue, Hermès, Lavoisier, pp.209-232, 2008, Cognition et traitement de l'information, 978-2746219922
...
hal-00561271v1  Journal articles
Pierre-Cyrille Heam. A Note on Partially Ordered Tree Automata
Information Processing Letters, Elsevier, 2008, 108 (4), pp.242--246. ⟨10.1016/j.ipl.2008.05.012⟩
...
inria-00429345v1  Journal articles
Yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. Approximation based tree regular model checking
Nordic Journal of Computing, Publishing Association Nordic Journal of Computing, 2008, 14, pp.216-241
...
hal-00342320v1  Journal articles
Marco GaboardiJean-Yves MarionSimona Ronchi Della Rocca. Soft Linear Logic and Polynomial Complexity Classes
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 205 (6), pp.67-87. ⟨10.1016/j.entcs.2008.03.066⟩
inria-00576602v1  Journal articles
Silvio GhilardiEnrica NicoliniDaniele Zucchelli. A comprehensive combination framework
ACM Transactions on Computational Logic, Association for Computing Machinery, 2008, 9 (2), pp.Article n° 8. ⟨10.1145/1342991.1342992⟩
...
inria-00329803v1  Conference papers
Florent JacquemardMichaël Rusinowitch. Closure of Hedge-Automata Languages by Hedge Rewriting
19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩
inria-00432621v1  Journal articles
Nawal GuermoucheOlivier PerrinChristophe Ringeissen. Timed Specification For Web Services Compatibility Analysis
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 200 (3), pp.155-170. ⟨10.1016/j.entcs.2008.04.098⟩
...
hal-00563430v1  Journal articles
Gérard CécéPierre-Cyrille HeamYann Mainier. Efficiency of Automata in Semi-Commutation Verification Techniques
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (2), pp.197--215. ⟨10.1051/ita:2007029⟩
inria-00329730v1  Conference papers
Tarek AbbesAdel BouhoulaMichaël Rusinowitch. An inference system for detecting firewall filtering rules anomalies
23rd Annual ACM Symposium on Applied Computing - SAC'08, 2008, Fortaleza, Brazil. pp.2122-2128
...
hal-00342331v1  Journal articles
Jérôme BesombesJean-Yves Marion. Learning discrete categorial grammars from structures
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (1), pp.165-182. ⟨10.1051/ita:2007055⟩
inria-00337523v1  Conference papers
Daniel ReynaudJean-Yves Marion. Obfuscation by Interpretation
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
...
inria-00243131v1  Reports
Isabelle Gnaedig. Termination of Priority Rewriting
[Research Report] 2008, pp.13
inria-00337520v1  Conference papers
Daniel Reynaud. A Survey on Virtual Machines for Malware Analysis
3rd International Workshop on the Theory of Computer Viruses - TCV 08, 2008, Nancy, France
inria-00323839v1  Books
Carlos ArecesRob Goldblatt. Advances in Modal Logic, Volume 7
College Publications, VIII-406 p., 2008, 978-1-904987-68-0
...
hal-00336409v1  Book sections
Fabienne Venant. Calcul dynamique du sens d'un adjectif : de l'ante à la postposition, un méchant changement de sens
Autour des langues et du langage : perspective pluridisciplinaire, Presse Universitaire de Grenoble, pp.xx-xx, 2008
inria-00099805v1  Book sections
Claire GardentKristina Striegnitz. Generating Bridging Definite Descriptions
Harry Bunt and Reinhard Muskens. Computing Meaning, 3, Kluwer Academic Publishers, pp.369--396, 2008, Studies in Linguistics and Philosophy - 83, 978-1-4020-5956-8
...
inria-00329715v1  Journal articles
Yannick ChevalierMichaël Rusinowitch. Hierarchical combination of intruder theories
Information and Computation, Elsevier, 2008, 206 (2-4), pp.352-377. ⟨10.1016/j.ic.2007.07.004⟩