Home » Team publications

Publications  for  the  collection  HAL LS2N-GALLINETTE  for  2016

Total of the publications found : 9

Overview of LS2N-GALLINETTE publications by types

International journals with reviewing committee (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.

International conferences with reviewing committee (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.

PhD Thesis (THESE)

Other publications (AUTRES)

Copyright : LS2N 2017 - Legal notices -