Skip to Main content Skip to Navigation


...
hal-03349266v1  Conference papers
Hao ChenBenoit LagadecFrancois Bremond. ICE: Inter-instance Contrastive Encoding for Unsupervised Person Re-identification
IEEE/CVF International Conference on Computer Vision (ICCV), Oct 2021, Virtual, Canada
...
hal-03349257v1  Conference papers
Hao ChenYaohui WangBenoit LagadecAntitza DantchevaFrancois Bremond. Joint Generative and Contrastive Learning for Unsupervised Person Re-identification
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), Jun 2021, Virtual, United States
...
hal-03346767v1  Conference papers
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The Space of Interaction
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470726⟩
...
hal-03346750v1  Journal articles
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The (In)Efficiency of interaction
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (POPL), pp.1-33. ⟨10.1145/3434332⟩
...
hal-03347326v1  Conference papers
Saverio GiallorenzoFabrizio MontesiMarco PeressottiFlorian RademacherSabine Sachweh. Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Coordination Models and Languages - 23rd International Conference, 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩
...
hal-03347275v1  Conference papers
Giuseppe de PalmaSaverio GiallorenzoJacopo MauroGianluigi Zavattaro. Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation
ICSOC 2020 - 18 th International Conference on Service-Oriented Computing, Dec 2020, Dubai, United Arab Emirates. pp.416 - 430, ⟨10.1007/978-3-030-65310-1_29⟩
...
hal-03346950v1  Conference papers
Paolo Pistone. On Generalized Metric Spaces for the Simply Typed Lambda-Calculus
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-14, ⟨10.1109/LICS52264.2021.9470696⟩
...
hal-03346791v1  Conference papers
Ugo Dal LagoReinhard KahleIsabel Oitavem. A Recursion-Theoretic Characterization of the Probabilistic Class PP
MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. ⟨10.4230/LIPIcs.MFCS.2021.35⟩
...
hal-03345749v1  Journal articles
Brigitte JaumardYan WangDavid Coudert. Dantzig–Wolfe decomposition for the design of filterless optical networks
Journal of Optical Communications and Networking, Piscataway, NJ ; Washington, DC : IEEE : Optical Society of America, 2021, 13 (12), pp.10. ⟨10.1364/JOCN.424415⟩
...
lirmm-03345614v1  Conference papers
Camille BourgauxDavid CarralMarkus KrötzschSebastian RudolphMichaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. To appear
...
hal-03342394v1  Journal articles
Simone MartiniAndrea MasiniMargherita Zorzi. From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
ACM Transactions on Computational Logic, Association for Computing Machinery, 2021, 22 (3), pp.1-29. ⟨10.1145/3461661⟩
...
lirmm-03344217v1  Journal articles
Efthymia TsamouraDavid CarralEnrico MaliziaJacopo Urbani. Materializing Knowledge Bases via Trigger Graphs
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2021, 14 (6), pp.943-956. ⟨10.14778/3447689.3447699⟩
...
hal-03342963v1  Conference papers
Paul TourniaireMarius IliePaul HofmanNicholas AyacheHervé Delingette. Attention-based Multiple Instance Learning with Mixed Supervision on the Camelyon16 Dataset
COMPAY 2021- 3rd MICCAI workshop on Computational Pathology, Sep 2021, Strasbourg, France
...
hal-03342381v1  Journal articles
Gerrit HoogenboomEric JustesChristophe PradalMarie LaunaySenthold Asseng et al.  iCROPM 2020: Crop Modeling for the Future
Journal of Agricultural Science, Cambridge University Press (CUP), 2021, 158 (10), pp.791 - 793. ⟨10.1017/s0021859621000538⟩
...
hal-03341862v1  Reports
Vincent FournetAurelie CalabreseSéverine DoursFrédéric MatontiEric Castet et al.  How to Estimate Fovea Position When The Fovea Cannot Be Identified Visually Anymore?
[Research Report] RR-9419, Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur. 2021, pp.1-45
...
hal-03340750v1  Conference papers
Lorenzo BacchianiMario BravettiJulien LangeGianluigi Zavattaro. A Session Subtyping Tool
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference Coordination Models and Languages, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta
...
hal-03340699v1  Journal articles
Mario BravettiGianluigi Zavattaro. Asynchronous session subtyping as communicating automata refinement
Software and Systems Modeling, Springer Verlag, 2021, 20, pp.311 - 333. ⟨10.1007/s10270-020-00838-x⟩
...
hal-03340696v1  Conference papers
Mario BravettiJulien LangeGianluigi Zavattaro. Fair Refinement for Asynchronous Session Types
FOSSACS'21 - 24th International Conference on Foundations of Software Science and Computation Structures, Mar 2021, Luxembourgh, Luxembourg. ⟨10.1007/978-3-030-71995-1⟩
...
hal-03340630v1  Journal articles
Mario Bravetti. Axiomatizing Maximal Progress and Discrete Time
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, ⟨10.23638/LMCS-17(1:1)2021⟩
...
hal-03340020v1  Conference papers
Sami DallaliClara FontaineEitan Altman. Splittable Routing Games in Ring Topology with Losses
ASMTA 2021 - 26th International Conference on Analytical & Stochastic Modelling Techniques & Applications, Dec 2021, Virtual, Japan
...
hal-03331230v1  Conference papers
Mario Henrique Cruz TorresJean-Pierre GiacaloneJoelle Abou Faysal. A Case Study on Formally Validating Motion Rules for Autonomous Cars
SEFM 2020 - Collocated Workshops - Software Engineering and Formal Methods, Sep 2020, Amsterdam, Netherlands. pp.233-248
...
hal-03339165v1  Conference papers
Sadaf Ul ZuhraSamir PerlazaEitan Altman. Simultaneous Information and Energy Transmission with Finite Constellations
ITW 2021 - IEEE Information Theory Workshop, Oct 2021, Kanazawa, Japan. pp.1-6
...
hal-03338936v1  Poster communications
Ankica BarisicEnlin ZhuFrédéric Mallet. Model-driven approach for the design of multi-chain smart contracts
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France
...
hal-03338884v1  Journal articles
Michael LodiSimone Martini. Computational Thinking, Between Papert and Wing
Science and Education, Springer Verlag, 2021, 30 (4), pp.883-908. ⟨10.1007/s11191-021-00202-5⟩
...
hal-03338864v1  Poster communications
Marco SbaragliaMichael LodiStefano Pio ZingaroSimone Martini. The Good, The Bad, and The Ugly of a Synchronous Online CS1
ITiCSE 2021: 26th ACM Conference on Innovation and Technology in Computer Science Education, Jun 2021, Virtual Event, Germany. ACM, 2, pp.660-660, 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2 (ITiCSE 2021). ⟨10.1145/3456565.3460075⟩
...
hal-03338823v1  Journal articles
Hervé GoëauPierre BonnetAlexis Joly. AI-based Identification of Plant Photographs from Herbarium Specimens
Biodiversity Information Science and Standards, Sofia : Pensoft Publishers, 2017-, 2021, 5, pp.1-4. ⟨10.3897/biss.5.73751⟩
...
hal-03338811v1  Journal articles
Antoine AffouardMathias ChouetJean-Christophe LombardoHugo GresseHervé Goëau et al.  Customized e-floras: How to develop your own project on the Pl@ntNet platform
Biodiversity Information Science and Standards, Sofia : Pensoft Publishers, 2017-, 2021, 5, pp.1-4. ⟨10.3897/biss.5.73857⟩
...
hal-03338808v1  Conference papers
Michael LodiMarco SbaragliaStefano Pio ZingaroSimone Martini. The Online Course Was Great: I Would Attend It Face-to-Face
GoodIT '21: Conference on Information Technology for Social Good, Sep 2021, Roma, Italy. pp.242-247, ⟨10.1145/3462203.3475902⟩
...
hal-03338675v1  Journal articles
Ivan LaneseDoriana MedićClaudio Antares Mezzina. Static vs Dynamic Reversibility in CCS
Acta Informatica, Springer Verlag, 2021
...
hal-03338673v1  Journal articles
Davide BresolinIvan Lanese. Static and Dynamic Property-Preserving Updates
Information and Computation, Elsevier, 2021
...
hal-03338672v1  Journal articles
Ivan LaneseUlrik SchultzIrek Ulidowski. Reversible Execution for Robustness in Embodied AI and Industrial Robots
IT Professional, Institute of Electrical and Electronics Engineers, 2021, 23, pp.12 - 17. ⟨10.1109/mitp.2021.3073757⟩
...
hal-03338671v1  Journal articles
Franco BarbaneraMariangiola Dezani-CiancagliniIvan LaneseEmilio Tuosto. Composition and Decomposition of Multiparty Sessions
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2021
...
hal-03338670v1  Conference papers
Giovanni FabbrettiIvan LaneseJean-Bernard Stefani. Causal-Consistent Debugging of Distributed Erlang Programs
RC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.1-17
...
hal-03338669v1  Conference papers
Ivan LaneseIain Phillips. Forward-Reverse Observational Equivalences in CCSK
RC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.126 - 143, ⟨10.1007/978-3-030-79837-6_8⟩
...
hal-03338602v1  Conference papers
Lorenzo BacchianiMario BravettiSaverio GiallorenzoJacopo MauroIacopo Talevi et al.  Microservice Dynamic Architecture-Level Deployment Orchestration
COORDINATION 2021 - 23rd IFIP WG 6.1 International Conference as Part of the 16th International Federated Conference on Distributed Computing Techniques, Jun 2021, Valletta / Virtual, Malta
...
hal-03338493v1  Journal articles
Martin AvanziniGilles BartheUgo Dal Lago. On continuation-passing transformations and expected cost analysis
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.1 - 30. ⟨10.1145/3473592⟩
...
hal-03337915v1  Conference papers
Saverio GiallorenzoFabrizio MontesiMarco PeressottiDavid RichterGuido Salvaneschi et al.  Multiparty Languages: The Choreographic and Multitier Cases
ECOOP 2021 - European Conference on Object-Oriented Programming, Jul 2021, Aarhus, Denmark. ⟨10.4230/LIPIcs.ECOOP.2021.23⟩