.:. Browse > List by year > 2009 .:.

698 documents ordered by : Date Title first author name document type Submit date

... 61 - 62 - 63 - 64 - 65 - 66 - 67 ...

Convertir des grammaires d'arbres adjoints à composantes multiples avec tuples d'arbres (TT-MCTAG) en grammaires à concaténation d'intervalles (RCG) Kallmeyer L., Parmentier Y. Traitement Automatique des Langues 50, 1 (2009) 227-255 [inria-00380770 - version 1]

TAGED Approximations for Temporal Properties Model-Checking Courbis R., Heam P.-C., Kouchnarenko O. Dans Proceedings of the 14th International Conference on Implementation and Application of Automata - CIAA'09 (2009) [inria-00380048 - version 1]

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems Cortier V., Kremer S., Warinschi B. N° RR-6912 (2009) [inria-00379776 - version 1]

Surfing Code Waves Marion J.-Y., Reynaud D. (2009) [inria-00378667 - version 1]

Byte-Range Asynchronous Locking in Distributed Settings Quinson M., Vernier F. Dans 17th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2009 (2009) [inria-00338189 - version 1]

Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder Klay F., Vigneron L. Dans 5th International Workshop on Formal Aspects in Security and Trust - FAST 2008 5491 (2008) 192-209 [inria-00376450 - version 1]

Deciding knowledge in security protocols under some e-voting theories Berrima M., Ben Rajeb N., Cortier V. N° RR-6903 (2009) [inria-00375784 - version 1]

Timed Model Checking Based Approach forWeb Services Analysis Guermouche N., Godart C. Dans IEEE International Conference on Web Services - ICWS'09 (2009) [inria-00375079 - version 1]

Transformation Heuristics for Formal Requirements Validation by Animation Mashkoor A., Jacquot J.-P., Souquières J. Dans 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009 (2009) [inria-00374082 - version 1]

Precise Evaluation of the Efficiency and the Robustness of Stochastic DAG Schedules Canon L.-C., Jeannot E. N° RR-6895 (2009) [inria-00372651 - version 2]