Skip to Main content Skip to Navigation


hal-02995771v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computational Complexity
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020
hal-03173193v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computability, Decidability and Logic
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
...
hal-03091740v1  Book sections
Moreno FalaschiCatuscia PalamidessiMarco 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-02931167v1  Book sections
Alain CouvreurHugues Randriambololona. Algebraic geometry codes and some applications
A Concise Encyclopedia of Coding Theory, In press, A Concise Encyclopedia of Coding Theory
hal-03031139v1  Book sections
Tarmo UustaluNiccolò VeltriNoam Zeilberger. The sequent calculus of skew monoidal categories (extended version)
C. Casadio; P. J. Scott. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Springer, In press, Outstanding Contributions to Logic
...
hal-02350777v1  Book sections
Konstantinos ChatzikokolakisGeoffrey Smith. Refinement Metrics for Quantitative Information Flow
Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday., 11760, Springer, pp.397-416, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_23⟩
hal-02410747v1  Book sections
Mário AlvimSophia KnightFrank Valencia. Toward a Formal Model for Group Polarization in Social Networks
Mário S. Alvim; Konstantinos Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 11760, Springer, pp.419-441, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_24⟩
hal-02410767v1  Book sections
Nicolás AristizabalCarlos PinzónCamilo RuedaFrank Valencia. Make Puzzles Great Again
Mário S. Alvim; Konstantinos Chatzikokolakis; Carlos Olarte; Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, 11760, Springer, pp.442-459, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9_25⟩
hal-02169218v1  Book sections
Natasha FernandesKacem LefkiCatuscia Palamidessi. Utility-Preserving Privacy Mechanisms for Counting Queries
Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese. Models, Languages and Tools for Concurrent and Distributed Programming, 11665, Springer, pp.487-495, 2019, Lecture Notes in Computer Science
...
hal-01942275v1  Book sections
Matteo AcclavioLutz Straßburger. From Syntactic Proofs to Combinatorial Proofs
International Joint Conference on Automated Reasoning, IJCAR 2018, Springer, pp.481-497, 2018, 978-3-319-94204-9
...
hal-01420485v2  Book sections
Aurore GuillevicFrançois Morain. Discrete Logarithms
Nadia El Mrabet; Marc Joye. Guide to pairing-based cryptography, CRC Press - Taylor and Francis Group, pp.42, 2016, 9781498729505
hal-01136745v1  Book sections
Fabrice JossinetYann PontyJérôme Waldispühl. Preface.
Computational methods for Structural RNAs (CMSR'14), 22 (3), Mary Ann Liebert, pp.189, 2015, Journal of Computational Biology
hal-01239733v1  Book sections
Dale Miller. Foundational Proof Certificates
David Delahaye and Bruno Woltzenlogel Paleo. All about Proofs, Proofs for All, Mathematical Logic and Foundations (55), College Publications, pp.150-163, 2015, All about Proofs, Proofs for All, 978-1-84890-166-7
hal-01271650v1  Book sections
Davide ChiarugiMoreno FalaschiCarlos OlarteCatuscia Palamidessi. A Declarative View of Signaling Pathways
Chiara Bodei; Gian Luigi Ferrari; Corrado Priami. Programming Languages with Applications to Biology and Security, 9465, Springer, pp.183-201, 2015, Lecture Notes in Computer Science, 978-3-319-25526-2
...
hal-01079893v1  Book sections
Yann PontyFabrice Leclerc. Drawing and Editing the Secondary Structure(s) of RNA.
Ernesto Picardi. RNA Bioinformatics, 1269, Springer New York, pp.63-100, 2015, Methods in Molecular Biology, 978-1-4939-2290-1. ⟨10.1007/978-1-4939-2291-8_5⟩
...
hal-01077506v3  Book sections
Yann Ponty. Bio-algorithmique des ARN : petite promenade aux interfaces
Eric Sopena. 1024 - Bulletin de la société informatique de France, 4, SIF, pp.23--53, 2014
...
hal-01060490v1  Book sections
Loïc PaulevéCourtney ChancellorMaxime FolschetteMagnin MorganOlivier Roux. Analyzing Large Network Dynamics with Process Hitting
Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8
...
hal-01092279v1  Book sections
Richard BluteAlessio GuglielmiIvan T. IvanovPrakash PanangadenLutz Straßburger. A Logical Basis for Quantum Evolution and Entanglement
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, 8222, Springer, pp.90 - 107, 2014, ⟨10.1007/978-3-642-54789-8_6⟩
...
hal-01006380v1  Book sections
Ehab ElsalamounyKonstantinos ChatzikokolakisCatuscia Palamidessi. Generalized differential privacy: regions of priors that admit robust optimal mechanisms
van Breugel, Franck and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan. Horizons of the Mind. A Tribute to Prakash Panangaden, 8464, Springer International Publishing, pp.292-318, 2014, Lecture Notes in Computer Science, 978-3-319-06879-4. ⟨10.1007/978-3-319-06880-0_16⟩
hal-00846818v1  Book sections
Stefanie SchirmerYann PontyRobert Giegerich. Introduction to RNA secondary structure comparison.
Gorodkin, Jan and Ruzzo, Walter L. RNA Sequence, Structure, and Function: Computational and Bioinformatic Methods, 1097, Springer, pp.247-73, 2013, Methods in molecular biology, ISBN 978-1-62703-708-2. ⟨10.1007/978-1-62703-709-9_12⟩
hal-00945149v1  Book sections
Juan Antonio CorderoJiazi YiThomas Heide ClausenEmmanuel Baccelli. Enabling Multihop Communication in Spontaneous Wireless Networks
H. Haddadi, O. Bonaventure. Recent Advances in Networking, 1, ACM, 2013, ACM SIGCOMM eBook
hal-00782869v1  Book sections
Nathanael BeekerStéphane GaubertChristian GlusaLeo Liberti. Is the Distance Geometry Problem in NP?
Antonio Mucherino and Carlile Lavor and Leo Liberti and Nelson Maculan. Distance Geometry: Theory, Methods, and Applications, Springer, pp.85-93, 2013, 978-1-4614-5127-3. ⟨10.1007/978-1-4614-5128-0_5⟩
...
hal-00651607v1  Book sections
Emmanuel BaccelliThomas Heide Clausen. Réseaux
Introduction à la Science Informatique, CRDP, pp.237 - 280, 2011
...
hal-00651600v1  Book sections
Juan Antonio Cordero FuertesEmmanuel BaccelliPhilippe JacquetThomas Heide Clausen. Wired/Wireless Compound Networking
Mobile Ad-Hoc Networks: Applications, InTech, pp.349 - 375, 2011