Skip to Main content Skip to Navigation

hal-02902709v1  Journal articles
Alin BostanFrédéric ChyzakAntonio Jiménez-PastorPierre Lairez. The Sage Package comb_walks for Walks in the Quarter Plane
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩
hal-00780432v1  Journal articles
Alin BostanFrédéric ChyzakMark Van HoeijLucien Pech. Explicit formula for the generating series of diagonal 3D rook paths
Seminaire Lotharingien de Combinatoire, Université Louis Pasteur, 2011, 66, pp.1-27
ensl-00534899v2  Conference papers
Andrew NovocinDamien StehléGilles Villard. An LLL-reduction algorithm with quasi-linear time complexity
STOC'11 - 43rd annual ACM symposium on Theory of computing, 2011, San Jose, United States. pp.403-412, ⟨10.1145/1993636.1993691⟩
hal-00959010v1  Journal articles
Karell BertetMirabelle Nebut. Efficient Algorithms on the Family Associated to an Implicational System
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2004, 6 (2), pp.315-338
hal-03106126v1  Conference papers
Christophe AliasFabrice BarayAlain Darte. Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩
hal-01361427v1  Conference papers
Pablo ArrighiSimon MartielSimon Perdrix. Reversible Causal Graph Dynamics
Reversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩
ensl-00993445v1  Conference papers
Goel SarushiIvan MorelDamien StehléGilles Villard. LLL reducing with the most significant bits
39th International Symposium on Symbolic and Algebraic Computation, Kobe, Japan, July 23-25, 2014, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608645⟩
hal-02101946v1  Reports
Eric Rémila. On the structure of some spaces of tilings.
[Research Report] LIP RR-2000-15, Laboratoire de l'informatique du parallélisme. 2000, 2+23p
hal-00308962v1  Conference papers
Céline FouardGrégoire Malandain. Systematized calculation of optimal coefficients of 3-D chamfer norms
Discrete Geometry for Computer Imagery, 2003, Napoli, Italy. pp.214--223, ⟨10.1007/b94107⟩
hal-01302790v1  Conference papers
Benoît LibertFabrice MouhartemKhoa Nguyen. A Lattice-Based Group Signature Scheme with Message-Dependent Opening
14th International Conference on Applied Cryptography and Network Security (ACNS 2016), Jun 2016, Guildford, United Kingdom
hal-01474342v1  Conference papers
Marina Krstic MarinkovicLuka Stanisic. Platform independent profiling of a QCD code
Lattice 2016 - 34th annual International Symposium on Lattice Field Theory, Jul 2016, Southampton, United Kingdom. pp.1-7
hal-00925748v1  Conference papers
Louis BigoJean-Louis GiavittoMoreno AndreattaOlivier MichelAntoine Spicher. Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes
MCM 2013 - 4th International Conference Mathematics and Computation in Music, Jun 2013, Montreal, Canada. pp.38-51, ⟨10.1007/978-3-642-39357-0_3⟩
hal-01377667v1  Book sections
Antoine SpicherJean-Louis Giavitto. Interaction-based Programming in MGS
Andrew Adamatzky. Advances in Unconventional Computing - Volume 1: Theory, 22, Springer, pp.305-342, 2017, Series: Emergence, Complexity and Computation, 978-3-319-33923-8. ⟨10.1007/978-3-319-33924-5⟩
hal-02101757v1  Reports
Eric Thierry. A new bound on the 2-dimension of partially ordered sets.
[Research Report] LIP RR-2003-47, Laboratoire de l'informatique du parallélisme. 2003, 2+5p
hal-01955233v1  Journal articles
Michel HabibLhouari Nourine. Representation of lattices via set-colored posets
Discrete Applied Mathematics, Elsevier, 2018, 249, pp.64-73. ⟨10.1016/j.dam.2018.03.068⟩
hal-01571243v1  Journal articles
Laurent BeaudouArnaud MaryLhouari Nourine. Algorithms for k-meet-semidistributive lattices
Theoretical Computer Science, Elsevier, 2017, 658, pp.391 - 398. ⟨10.1016/j.tcs.2015.10.029⟩
hal-03106797v1  Conference papers
Anaïs BadoualMisa ArizonoAudrey DenizotMathieu DucrosHugues Berry et al.  Simulation of Astrocytic Calcium Dynamics in Lattice Light Sheet Microscopy Images
ISBI 2021 - IEEE International Symposium on Biomedical Imaging, Apr 2021, Nice, France. pp.1-5
tel-00645387v1  Habilitation à diriger des recherches
Damien Stehlé. Euclidean lattices: algorithms and cryptography
Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011
hal-01905491v1  Journal articles
Miguel CouceiroPierre MercurialiRomain PéchouxAbdallah Saffidine. On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press, 33 (3), pp.197-218