Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Département d'informatique
Home
Browse
Document list
List by subject
List by authors
Search
Home
Last submissions
Simon Abelard, Alain Couvreur, Grégoire Lecerf. Efficient computation of Riemann-Roch spaces for plane curves with ordinary singularities. 2021. ⟨hal-03110135⟩
Éric Fusy, Emmanuel Guitter. Maps of unfixed genus and blossoming trees. 2021. ⟨cea-03109970⟩
Sammy Khalife, Yann Ponty, Laurent Bulteau. Sequence graphs realizations and ambiguity in language models. 2021. ⟨hal-02495333v3⟩
Sammy Khalife. Sequence graphs: characterization and counting of admissible elements. 2021. ⟨hal-03109398⟩
Maxime Buron. Efficient reasoning on large and heterogeneous graphs. Artificial Intelligence [cs.AI]. École Polytechnique, 2020. English. ⟨tel-03107689⟩
Thibaut Benjamin. A type theoretic approach to weak w-categories and related higher structures. Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩. ⟨tel-03106197⟩
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri. Factorization and Normalization, Essentially. APLAS 2019 - 17th Asian Symposium on Programming Languages and Systems, Dec 2019, Bali, Indonesia. ⟨10.1007/978-3-030-34175-6_9⟩. ⟨hal-02411556⟩
Enric Florit, Benjamin Smith. An atlas of the Richelot isogeny graph. 2021. ⟨hal-03094296v2⟩
Enric Florit, Benjamin Smith. Automorphisms and isogeny graphs of abelian varieties, with applications to the superspecial Richelot isogeny graph. 2020. ⟨hal-03094375v2⟩
Daniele Gorla, Federica Granese, Catuscia Palamidessi. Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. International Journal of Information Security, Springer Verlag, 2021, ⟨10.1007/s10207-020-00530-7⟩. ⟨hal-03094843⟩
Marie Albenque, Laurent Ménard, Gilles Schaeffer. Local convergence of large random triangulations coupled with an Ising model. Transactions of the American Mathematical Society, American Mathematical Society, 2021, 374 (1), pp.175-217. ⟨10.1090/tran/8150⟩. ⟨hal-02999826⟩
Marie Albenque, Nina Holden, Xin Sun. Scaling limit of triangulations of polygons. Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2020, 25, ⟨10.1214/20-EJP537⟩. ⟨hal-02997922⟩
Andrei L. Kanunnikov, Valentin V. Promyslov, Ekaterina Vassilieva. On the matchings-Jack and hypermap-Jack conjectures for labelled matchings and star hypermaps. 2020. ⟨hal-03092818⟩
Ekaterina Vassilieva. On the product of generating functions for domino and bi-tableaux. 2019. ⟨hal-03092817⟩
Alina R. Mayorova, Ekaterina Vassilieva. A domino tableau-based view on type B Schur-positivity. 2020. ⟨hal-03092812⟩
Benedetta Franceschiello, Alessandro Sarti, Giovanna Citti. A neuro-mathematical model for size and context related illusions. Space-time geometries in the brain, In press. ⟨hal-03092136⟩
Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi. Refinement Orders for Quantitative Information Flow and Differential Privacy. Journal of Cybersecurity and Privacy, MDPI, 2020, 1, pp.40 - 77. ⟨10.3390/jcp1010004⟩. ⟨hal-03091754⟩
Catuscia Palamidessi, Marco Romanelli. Modern Applications of Game-Theoretic Principles. CONCUR 2020 - 31st International Conference on Concurrency Theory, Sep 2020, Vienne / Virtual, Austria. pp.4:1-4:9, ⟨10.4230/LIPIcs.CONCUR.2020.4⟩. ⟨hal-03091743⟩
Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli. Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. Frank S. de Boer and Jacopo Mauro. Recent Developments in the Design and Implementation of Programming Languages, 86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.11:1-11:20, 2020, OASICS, ⟨10.4230/OASIcs.Gabbrielli.2020.11⟩. ⟨hal-03091740⟩
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi. Dynamic slicing for Concurrent Constraint Languages. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2020, 177 (3-4), pp.331-357. ⟨10.3233/FI-2020-1992⟩. ⟨hal-02423973v2⟩
Number of fulltext
1 932
Number of reference
794
Submissions evolution
Submissions distribution by document type