.:. Browse > List by document type > Peer-reviewed conference/proceedings .:.

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

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Regularized Spherical Polar Fourier Diff usion MRI with Optimal Dictionary Learning Cheng J., Jiang T., Deriche R., Dinggang S., Pew-Thian Y. Dans The 16th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI) (2013) [hal-00824507 - version 1]

Church-Rosser Properties of Normal Rewriting Jouannaud J.-P., Li J.-Q. Dans Computer Science Logic 16 (2012) 350-365 [hal-00730271 - version 1]

Formal Verification of Netlog Protocols Chen M., Monin J.-F. Dans TASE (2012) [hal-00733634 - version 1]

Human Muscle Fatigue Model in Dynamic Motions Ma R., Chablat D., Bennis F., Ma L. Dans Advances in Robot Kinematics (2012) 1-8 [hal-00686180 - version 1]

Thread-Modular Model Checking with Iterative Refinement Meng W., He F., Wang B.-Y., Liu Q. Dans NFM 2012 - 4th International Conference on NASA Formal Methods (2012) [hal-00730342 - version 1]

Interpolation de données manquantes dans des séquences multi-modales d'images géophysiques satellitaires Ba S., Corpetti T., Ronan F. Dans RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle) (2012) 978-2-9539515-2-3 [hal-00656503 - version 1]

A Framework for Verifying Data-Centric Protocols Deng Y., Grumbach S., Monin J.-F. Dans DisCoTec 2011 - 6th International Federated Conferences on Formal Techniques for Distributed Systems 6722 (2011) 106-120 [hal-00647802 - version 1]

First steps towards the certification of an ARM simulator using Compcert Shi X., Monin J.-F., Tuong F., Blanqui F. Dans First International Conference on Certified Programs and Proofs 7086 (2011) [inria-00624833 - version 1]

Domain-driven Probabilistic Analysis of Programmable Logic Controllers Zhang H., Jiang Y., William N.N. H., Song X., Gu M. Dans 13th International Conference on Formal Engineering Methods(ICFEM 2011) (2011) [inria-00612414 - version 1]

Edola: A Domain Modeling and Verification Language for PLC Systems Zhang H., Gu M., Song X. Dans The Sixth International Conference on Software Engineering (ICSEA 2011) (2011) [inria-00612416 - version 1]