.:. Consultation > Liste des articles .:.

86 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 3 - 4 - 5 - 6 - 7 - 8 - 9

Specifying Imperative ML-Like Programs Using Dynamic Logic Maingaud S., Balat V., Bubel R., Hähnle R., Miquel A. Dans Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010 6528 (2010) 122-137 [hal-00800554 - version 1]

Termination in Impure Concurrent Languages Demangeon R., Hirschkoff D., Sangiorgi D. Dans CONCUR'10 6269 (2010) 328-342 [hal-00798789 - version 1]

Termination in higher-order concurrent calculi Demangeon R., Hirschkoff D., Sangiorgi D. Journal of Logic and Algebraic Programming 79, 7 (2010) 550-577 [hal-00798788 - version 1]

On Bisimilarity and Substitution in Presence of Replication Hirschkoff D., Pous D. Dans ICALP 6199 (2010) 454-465 [hal-00375604 - version 4]

Feasibility/Desirability Games for Normal Form Games, Choice Models and Evolutionary Games Lescanne P. [ensl-00408519 - version 1]

Proofs of randomized algorithms in Coq Audebaud P., Paulin-Mohring C. Science of Computer Programming (2009) [inria-00431771 - version 1]

HedN Game, a Relational Framework for Network Based Cooperation Delaplace F., Lescanne P. (2009-05-07) [hal-00382514 - version 2]

Deconstruction of Infinite Extensive Games using coinduction Lescanne P. [ensl-00376141 - version 2]

On the Values of Reducibility Candidates Riba C. Dans Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009 5608 (2009) pp 264-278 [hal-00800668 - version 1]

The lambda-calculus with constructors: Syntax, confluence and separation Arbiser A., Miquel A., Rios A. Journal of Functional Programming 19, 5 (2009) 581-631 [hal-00800559 - version 1]