 |
|
|
|
|---|---|---|
|
emse-01250400v1
Communication dans un congrès
Olga Battaïa, Xavier Delorme, Alexandre Dolgui, Brigitte Finel, Frédéric Grimaud. Flow Line Balancing Problem: A Survey J.M. Framinan, P. Perez Gonzalez, A. Artiba. International Conference on Industrial Engineering and Systems Management (IESM 2015), Oct 2015, Seville, Spain. p. 1065-1071, 2015, Proceedings of the International Conference on Industrial Engineering and Systems Management (IESM 2015) |
||
|
hal-01322825v1
Poster
Kamal Amroun, Zineb Habbas, Wassila Aggoune-Mtalaa. A Compressed enumerative algorithm for efficient processing of Generalized hypertree Decompositions Colloque sur l'Optimisation et les Systèmes d'Information - COSI'2014, Jun 2014, Béjaia, Algeria |
||
|
hal-01397035v1
Article dans une revue
Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More. How to Explain Modern Security Concepts to your Children Cryptologia, Taylor & Francis, 2016 |
||
|
hal-01313342v1
Communication dans un congrès
Xavier Delorme, Olga Battaïa, Alexandre Dolgui, Brigitte Finel, Frédéric Grimaud. Flow Line Balancing Problem: A Survey IEEE International Conference on Industrial Engineering and Systems Management (IESM 2015), Oct 2015, Seville, Spain. <http://www.univ-valenciennes.fr/evenements/iesm2015> |
||
|
emse-01438176v1
Article dans une revue
Sergey Kovalev, Xavier Delorme, Alexandre Dolgui, Ammar Oulamara. Minimizing the number of stations and station activation costs for a production line Computers & Operations Research, 2017, 79, pp.131 - 139. <10.1016/j.cor.2016.10.007> |
||
|
lirmm-00743882v1
Communication dans un congrès
Anne Berry, Marianne Huchard, Amedeo Napoli, Alain Sigayret. Hermes: an efficient algorithm for building Galois sub-hierarchies Laszlo Szathmary, Uta Priss. CLA: Concept Lattices and their Applications, Oct 2012, Fuengirola, Málaga, Spain. Universidad de Malaga, 9th International Conference on Concept Lattices and Applications, pp.21-32, 2012, <http://www.matap.uma.es/cla2012/CLA2012/> |
||
|
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-01337414v1
Communication dans un congrès
Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions without Cryptography Fun with Algorithms - 7th International Conference (FUN 2014), Jul 2014, Lipari, Italy. 2014, <10.1007/978-3-319-07890-8_14> |
||
|
hal-01337415v1
Rapport
Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Secure Auctions Without Cryptography (extended version) [Technical Report] ETH Zurich. 2014 |
||
|
hal-01337416v1
Communication dans un congrès
Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Defining Verifiability in e-Auction Protocols 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS '13), May 2013, Hangzhou, China. <10.1145/2484313.2484387> |
||
|
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> |
||
|
emse-00904013v1
Communication dans un congrès
Sergey Kovalev, Xavier Delorme, Alexandre Dolgui, Ammar Oulamara. Minimizing station activation costs in a multi-model transfer line with parallel operations at workstations 26th Conference of the European Chapter on Combinatorial Optimization (ECCO XXVI), May 2013, Paris, France. p. 108, 2013 |
||
|
hal-00445448v1
Chapitre d'ouvrage
Amine Mahjoub, Aziz Moukrim, Christophe Rapine, Eric Sanlaville. Sensitivity analysis for one and m machines J-C Billaut and A Moukrim and E Sanlaville. Flexibility and Robustness in Scheduling, ISTE-Wiley publishing, London, pp.73-97, 2008 |
||
|
|
|
