 |
 |
|
|
|
|---|---|---|
|
hal-00874689v1
Communication dans un congrès
Eloi Duchaussoy, Vincent Augusto, Maria Di Mascolo, Xiaolan Xie. Dynamic re-scheduling for home health care vehicle routing problem International Conference on Operational Research Applied to Health Services, ORAHS'13, Istambul, Turkey, 7-12 July 2013-Koc University, Jul 2013, Istambul, Turkey |
||
|
emse-01236691v1
Communication dans un congrès
Muhammad Habibi, Olga Battaïa, Van-Dat Cung, Alexandre Dolgui. Coordination of Collection and Disassembly Planning for End-of-Life Product 15th IFAC Symposium on Information Control Problems in Manufacturing — INCOM 2015, May 2015, Ottawa, Canada. IFAC-PapersOnLine, 48 (3), pp.Pages 76-80, 2015, 15th IFAC Symposium on Information Control Problems in Manufacturing — INCOM 2015. <10.1016/j.ifacol.2015.06.061> |
||
|
emse-01065860v1
Communication dans un congrès
Muhammad Khoirul Khakim Habibi, Olga Battaïa, Van-Dat Cung, Alexandre Dolgui. Integrated Procurement-Disassembly Problem Bernard Grabot, Bruno Vallespir, Samuel Gomes, Abdelaziz Bouras, Dimitris Kiritsis. IFIP WG 5.7 International Conference, APMS 2014, Sep 2014, Ajaccio, France. Springer, 439, pp.482-490, 2014, Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World, Part II, IFIP Advances in Information and Communication Technology |
||
|
halshs-01298863v1
Communication dans un congrès
Sonia Rouibi, Patrick Burlat, Yacine Ouzrout, Yannick Frein. La modélisation Arena comme outil d'étude de l'influence du VMI sur les niveaux de stocks des chaînes logistiques 8e Conférence Internationale de Modélisation et SIMulation, 2010, Hammamet, Tunisie. 8e Conférence Internationale de Modélisation et SIMulation, 2010, 8e Conférence Internationale de Modélisation et SIMulation |
||
|
hal-01445289v1
Ouvrage (y compris édition critique et traduction)
Jean-Guillaume Dumas, Pascal Lafourcade, Patrick Redon. Architectures PKI et communications sécurisées Dunod, pp.400, 2015, Info Sup, 9782100726158. <http://www.dunod.com/informatique-multimedia/fondements-de-linformatique/mathematiques-et-informatique-theorique/architectures-pki-et-communi> |
||
|
hal-01366059v1
Communication dans un congrès
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade. Formal Analysis of Security Properties on the OPC-UA SCADA Protocol 35th International Conference, SAFECOMP 2016, Sep 2016, Trondheim, Norway. 2016, 35th International Conference, SAFECOMP 2016. <https://www.ntnu.edu/safecomp2016>. <10.1007/978-3-319-45477-1_6> |
||
|
hal-01314922v1
Chapitre d'ouvrage
Yan Gérard, Isabelle Sivignon. Petit manuel de survie en milieu digital Étienne BAUDRIER Loïc MAZO Informatique Mathématique - une photographie en 2016, CNRS Editions, 2016, 978-2-271-09335-6. <http://www.cnrseditions.fr/mathematiques/7264-informatique-mathematique.html> |
||
|
hal-01338054v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Analysis of Electronic Exams First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France |
||
|
hal-01338064v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. <10.1109/ICC.2012.6364938> |
||
|
hal-01338067v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A formal taxonomy of privacy in voting protocols [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011 |
||
|
hal-01338070v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. 2012, <10.1007/978-3-642-27901-0_13> |
||
|
hal-01233555v1
Article dans une revue
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. <10.3233/JCS-150535> |
||
|
hal-01238097v1
Article dans une revue
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On the existence and decidability of unique decompositions of processes in the applied π-calculus Journal of Theoretical Computer Science (TCS), Elsevier, 2015, <10.1016/j.tcs.2015.11.033> |
||
|
hal-01337410v1
Communication dans un congrès
Jannik Dreier, Ali Kassem, Pascal Lafourcade. Formal Analysis of E-Cash Protocols 12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. 2015, <10.5220/0005544500650075> |
||
|
hal-01337411v1
Rapport
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. On the Verifiability of (Electronic) Exams [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015 |
||
|
hal-01338002v1
Communication dans un congrès
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus 16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. 2013, <10.1007/978-3-642-37075-5_4> |
||
|
hal-01337412v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Security Analysis of Traditional and Electronic Exams E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Revised Selected Papers, Aug 2014, Vienne, Austria. 2015, <10.1007/978-3-319-25915-4_16> |
||
|
hal-01338012v1
Rapport
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012 |
||
|
hal-01338020v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols Principles of Security and Trust - Second International Conference (POST 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. 2013, <10.1007/978-3-642-36830-1_13> |
||
|
hal-01337413v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Analysis of Electronic Exams 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. 2014, <10.5220/0005050901010112> |
||
|
hal-01338031v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Auction Protocols [Technical Report] TR-2012-17, VERIMAG. 2012 |
||
|
hal-01338037v1
Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion European Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. 2012, <10.1007/978-3-642-33167-1_26> |
||
|
hal-01338039v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion [Research Report] VERIMAG. 2012 |
||
|
hal-01338057v1
Communication dans un congrès
Jannik Dreier, Jean-Guillaume Dumas, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols & Brandt's Protocol Revisited 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy |
||
|
hal-01338071v1
Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011 |
||
|
hal-01326059v1
Communication dans un congrès
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen Erik Demaine ; Fabrizio Grandoni FUN with algorithms 2016, Jun 2016, La Maddalena, Italy. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 49, pp.8:1-8:20, 2016, Leibniz International Proceedings in Informatics (LIPIcs). <http://www2.idsia.ch/cms/fun16/>. <10.4230/LIPIcs.FUN.2016.8> |
||
|
hal-00953911v1
Communication dans un congrès
Marie-Christine Fauvet, Helga Duarte-Amaya, Marlon Dumas, Boualem Benatallah. Handling Transactional Properties in Web Service Composition WISE2005 International Conference, 2005, New York City (NY), pp.P. 273--289, 2005 |
||
|
hal-01163342v1
Communication dans un congrès
Lakhdar Akroun, Farouk Toumani, Lhouari Nourine. Reasoning in description logics with variables: preliminary results regarding the EL logic. 28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015., pp.12, 2015 |
||
|
hal-00693312v1
Communication dans un congrès
Stéphanie Chollet, Vincent Lestideau, Yoann Maurel, Etienne Gandrille, Philippe Lalanda et al. Practical Use of Formal Concept Analysis in Service-Oriented Computing Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. ICFCA 2012 - International Conference on Formal Concept Analysis, May 2012, Leuven, Belgium. Springer Berlin, 7278, pp.61-76, 2012, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-29892-9_11> |
||
|
hal-00954013v1
Article dans une revue
Helga Duarte-Amaya, Marie-Christine Fauvet, Marlon Dumas, Boualem Benatallah. Vers un modèle de composition de services Web avec propriétés transactionnelles Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2005, 10 (3/2005), pp.9--28 |
||
|
|
|
