Home » Publications Equipe

Publication  de  la  collection  HAL LS2N-GALLINETTE  pour  2016

Nombre de publications retournées : 9

Récapitulatif du nombre de publications de la collection par types

Revues internationales avec comité de lecture (ART_INT)

    • [1] K. Quirin, N. Tabareau. Lawvere-Tierney sheafification in Homotopy Type Theory. In Journal of Formalized Reasoning ; éd. ASDD-AlmaDL, 2016, vol. 9, num. 2.
    • [2] N. Beldiceanu, M. Carlsson, R. Douence, H. Simonis. Using finite transducers for describing and synthesising structural time-series constraints. In Constraints ; éd. Springer Verlag, 2016, vol. 21, num. 1.
    • [3] I. Figueroa, N. Tabareau, . Tanter. Effect capabilities for Haskell: Taming effect interference in monadic programming. In Science of Computer Programming ; éd. Elsevier, 2016, vol. 119.

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [4] J. Cohen. Renaming Global Variables in C Mechanically Proved Correct. In Fourth International Workshop on Verification and Program Transformation, avril 2016, Eindhoven, Pays-Bas.
    • [5] G. Jaber, G. Lewertowski, P. Pédrot, M. Sozeau, N. Tabareau. The Definitional Side of the Forcing. In Logics in Computer Science, mai 2016, New York, états-Unis.
    • [6] P. Dagand, N. Tabareau, . Tanter. Partial Type Equivalences for Verified Dependent Interoperability. In ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, septembre 2016, Nara, Japon.
    • [7] E. Arafailova, N. Beldiceanu, R. Douence, P. Flener, M. Francisco Rodríguez, J. Pearson, H. Simonis. Time-Series Constraints: Improvements and Application in CP and MIP Contexts. In CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, mai 2016, Banff, Canada.In Claude-Guy Quimper (éds.), . Springer, 2016.

Theses et HDR (THESE)

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales -