Leo Liberti

Publications

Mathematics

Current (accepted) work

• [LLMM] Carlile Lavor, Leo Liberti, Antonio Mucherino, Nelson Maculan, On a discretizable subclass of instances of the molecular distance geometry problem, SAC09 Proceedings (Bioinformatics Track), to appear.
• [LCT] Leo Liberti, Sonia Cafieri, Fabien Tarissan, Reformulations in Mathematical Programming: A Computational Approach, in A. Abraham, A.-E. Hassanien, P. Siarry (eds.), Global Optimization: Theoretical Foundations and Applications, Studies in Computational Intelligence series, Springer, New York, to appear.
• [L] Leo Liberti, Reformulations in Mathematical Programming: Definitions and Systematics, RAIRO-RO, to appear.
• [ALMM] Edoardo Amaldi, Leo Liberti, Francesco Maffioli, Nelson Maculan, Edge-swapping algorithms for the minimum fundamental cycle basis problem, Mathematical Methods of Operations Research, to appear.
• [BL2] Maurizio Bruglieri, Leo Liberti, Optimally running a biomass-based energy production process, in J. Kallrath, P. Pardalos, S. Rebennack (eds.), Optimization in the Energy Industry, Springer, to appear
• [NBBKL] Giacomo Nannicini, Philippe Baptiste, Gilles Barbier, Daniel Krob, Leo Liberti, Fast paths in large-scale dynamic road networks, Computational Optimization and Applications, to appear.
• [LLMN] Leo Liberti, Carlile Lavor, Nelson Maculan, Marco-Antonio Chaer Nascimento, Reformulation in mathematical programming: an application to quantum chemistry, Discrete Applied Mathematics, to appear.
• [LLMM] Leo Liberti, Carlile Lavor, Nelson Maculan, Fabrizio Marinelli, Double Variable Neighbourhood Search with smoothing for the Molecular Distance Geometry Problem, Journal of Global Optimization, to appear.

2009

• [LMZ09] Leo Liberti, Nelson Maculan, Yue Zhang, Optimal configuration of gamma ray machine radiosurgery units: the sphere covering subproblem, Optimization Letters, 3:109-121, 2009.

2008

• [LNM08] Leo Liberti, Giacomo Nannicini, Nenad Mladenovic, A good recipe for solving MINLPs, Matheuristics08 Proceedings, 2008.
• [TLL08] Fabien Tarissan, Leo Liberti, Camilo La Rota, Biological Regulatory Network reconstruction: a mathematical programming approach, ECCS08 Proceedings, 2008.
• [LTL08] Camilo La Rota, Fabien Tarissan, Leo Liberti, Inferring parameters in Genetic Regulatory Networks, CLAIO08 Proceedings, 2008.
• [DL08] Kanika Dhyani, Leo Liberti, Mathematical programming formulations for the bottleneck Hyperplane Clustering problem, MCO08 Proceedings, Communications in Computer and Information Science 14:87-96, Springer 2008.
• [BL08] Maurizio Bruglieri, Leo Liberti, Optimal running and planning of a biomass-based energy production process, Energy Policy, 36:2430-2438, 2008.
• [LLM08A] Carlile Lavor, Leo Liberti, Nelson Maculan, Molecular distance geometry problem, in P. Pardalos and C. Floudas (eds.), Encyclopedia of Optimization, 2nd Edition, 2305-2311, Springer, Berlin, 2008.
• [SL08] Hanif Sherali, Leo Liberti, Reformulation-Linearization Technique for Global Optimization, in P. Pardalos and C. Floudas (eds.), Encyclopedia of Optimization, 2nd Edition, 3263-3268, Springer, Berlin, 2008.
• [NL08] Giacomo Nannicini, Leo Liberti, Shortest paths in dynamic graphs, International Transactions in Operational Research, 15:551-563, 2008.
• [NBKL08] Giacomo Nannicini, Philippe Baptiste, Daniel Krob, Leo Liberti, Fast Computation of Point-to-Point Paths on Time-dependent Road Networks, COCOA08 Proceedings, LNCS 5165:225-234, Springer, 2008.
• [L08c] Leo Liberti, Automatic generation of symmetry-breaking constraints, in B. Yang, D.-Z. Du and C.A. Wang (eds.) COCOA08 Proceedings, LNCS 5165:328-338, Springer 2008.
• [NDLS08] Giacomo Nannicini, Leo Liberti, Daniel Delling, Dominik Schultes, Bidirectional A* search for time-dependent fast paths, in C.C. McGeoch (ed.) WEA08 Proceedings, LNCS 5038:334-346, Springer 2008.
• [L08b] Leo Liberti, Reformulations in Mathematical Programming: Definitions, in G. Righini (ed.), CTW08 Proceedings, Università di Milano, 66-70, 2008.
• [LR08] Leo Liberti, Franco Raimondi, The Secret Santa problem, in R. Fleischer and J. Xu (eds.) AAIM08 Proceedings, LNCS 5034:271-279, Springer 2008.
• [L08] Leo Liberti, Spherical cuts for Integer Programming problems, International Transactions in Operational Research, 15:283-294, 2008.
• [NBKL08] Giacomo Nannicini, Philippe Baptiste, Daniel Krob, Leo Liberti, Fast computation of Point-to-Point Time-dependent Paths on Dynamic Road Networks with Interval Data, in A. Quillaut, Ph. Mahey (eds.), Proceedings of ROADEF 2008 (Long Papers), Presses Universitaires de l'Université Blaise Pascal, Clermont-Ferrand, 2008.
• [LLM08] Leo Liberti, Carlile Lavor, Nelson Maculan, A branch-and-prune algorithm for the molecular distance geometry problem, International Transactions in Operational Research, 15(1):1-17, 2008.

2007

• [L07B] Leo Liberti, Reformulation Techniques in Mathematical Programming, Thèse d'Habilitation à diriger des Recherches, Université de Paris IX - Dauphine, Nov. 2007.
• [DLMM07] Tanja Davidovic, Leo Liberti, Nelson Maculan, Nenad Mladenovic, Towards the Optimal Solution of the Multiprocessor Scheduling Problem with Communication Delays, MISTA 2007 International Conference Proceedings Paris, August 2007.
• [L07A] Leo Liberti, Compact linearization of binary quadratic problems, 4OR, 5(3):231-245, 2007.
• [KBLM07] Sergei Kucherenko, Pietro Belotti, Leo Liberti, Nelson Maculan, The Kissing Number Problem: New Results from Global Optimization (PDF), Discrete Applied Mathematics, 155(14):1837-1841, 2007.
• [NBKL07] Giacomo Nannicini, Philippe Baptiste, Daniel Krob, Leo Liberti, Fast point-to-point shortest path queries on dynamic road networks with interval data, CTW 2007 Proceedings, Enschede, May 2007.
• [PLA07] Marie-Christine Plateau, Leo Liberti, Laurent Alfandari Edge cover by bipartite subgraphs, CTW 2007 Proceedings, Enschede, May 2007.
• [L07] Leo Liberti A useful characterization of the feasible region of binary linear programs, CTW 2007 Proceedings, Enschede, May 2007.
• [LLMN07] Leo Liberti, Carlile Lavor, Nelson Maculan, Marco-Antonio Chaer Nascimento, Solving Hartree-Fock systems with global optimization methods, Europhysics Letters, 77:50006, 2007.

2006

• [BL06] Maurizio Bruglieri, Leo Liberti, Modelling the optimal design of a biomass-based energy production process, ORMMES Proceedings, Coimbra, Oct. 2006
• [DO06] Ulrich Faigle, Leo Liberti, Francesco Maffioli, Stefan Pickl (eds.) Graphs and Combinatorial Optimization, Discrete Optimization: Special issue dedicated to the CTW04 Conference, September 2006.
• [LP06] Leo Liberti, Costas Pantelides, An exact reformulation algorithm for large nonconvex NLPs involving bilinear terms, Journal of Global Optimization, 36:161-189, 2006.
• [LLMA06] Leo Liberti, Carlile Lavor, Nelson Maculan, Computational experience with the molecular distance geometry problem (PDF), in J. Pintér (ed.), Global Optimization: Scientific and Engineering Case Studies, Springer, Berlin, 2006.
• [L06] Leo Liberti, Writing Global Optimization Software (PDF), in Liberti, Maculan (eds.), Global Optimization: from Theory to Implementation, Springer, Berlin, 2006, 211-262.
• [LM06] Leo Liberti, Nelson Maculan (eds.), Global Optimization: from Theory to Implementation (PDF), Springer, Berlin, 2006. The original publication is available on the Springer site.

2005

• [LLM2005B] Leo Liberti, Carlile Lavor, Nelson Maculan, Double VNS for the Molecular Distance Geometry Problem (PDF), Proc. of Mini Euro Conference on Variable Neighbourhood Search, Tenerife, November 2005.
• [LLM2005A] Leo Liberti, Carlile Lavor, Nelson Maculan, Grover's Algorithm applied to the Molecular Distance Geometry Problem (PDF), Proc. of VII Brazilian Congress of Neural Networks, Natal, 16-19 October 2005.
• [LD2005] Leo Liberti, Milan Drazic, Variable Neighbourhood Search for the Global Optimization of Constrained NLPs, Proc. of the Global Optimization Workshop, Almeria, Spain, 18-22 September 2005.
• [L2005] Leo Liberti, Linearity embedded in nonconvex programs (PDF), Journal of Global Optimization, 33(2):157-196, 2005.
• [LAMM2005] Leo Liberti, Edoardo Amaldi, Nelson Maculan, Francesco Maffioli, Mathematical models and a constructive heuristic for finding minimum fundamental cycle bases (PDF), Yugoslav Journal of Operational Research, 15(1):15-24, 2005.
• [LK2005] Leo Liberti, Sergei Kucherenko, Comparison of Deterministic and Stochastic Approaches to Global Optimization (PDF), International Transactions in Operational Research, 12(3):263-286, 2005.

2004

• [LMK2004] Leo Liberti, Nelson Maculan, Sergei Kucherenko, The Kissing Number Problem: a New Result from Global Optimization (PDF), CTW04 Workshop Proceedings, Menaggio, Italy, June 2004.
• [ALMM2004B] Edoardo Amaldi, Leo Liberti, Nelson Maculan, Francesco Maffioli, Algorithms for finding minimum fundamental cycle bases in graphs (PDF), CTW04 Workshop Proceedings, Menaggio, Italy, June 2004.
• [LM2004] Leo Liberti, Francesco Maffioli, CTW04 Workshop Proceedings (PDF), Menaggio, Italy, June 2004.
• [ALMM2004A] Edoardo Amaldi, Leo Liberti, Nelson Maculan, Francesco Maffioli, Efficient edge-swapping heuristics for finding minimum fundamental cycle bases (PDF), in C. Ribeiro and S. Martins (eds.), Experimental and Efficient Algorithms, Lecture Notes in Computer Science, LNCS 3059:14-29, Springer 2004
• [L2004D] Leo Liberti, On a class of nonconvex problems where all local minima are global (PDF), Publications de l'Institute Mathématique, 76(90):101-109, 2004.
• [DLMM2004] Tatjana Davidovic, Leo Liberti, Nelson Maculan, Nenad Mladenovic, Mathematical programming-based approach to scheduling of communicating tasks, Les Cahiers du GERAD (ISSN:0711-2440) G-2004-99, 2004.
• [L2004C] Leo Liberti, Automatic Reformulation of Bilinear MINLPs (PDF), DEI - Politecnico di Milano, Internal Report 2004.24.
• [L2004B] Leo Liberti, Reformulation and Convex Relaxation Techniques for Global Optimization (PDF), Ph.D. Thesis, Imperial College London, UK, March 2004 (extended abstract (PDF) published on 4OR, 2:255-258, 2004).
• [L2004A] Leo Liberti, Reduction Constraints for the Global Optimization of NLPs (PDF), International Transactions in Operational Research, 11(1): 33-41, 2004.

2003

• [ALMM2003B] Edoardo Amaldi, Leo Liberti, Nelson Maculan, Francesco Maffioli, Local Search for the Minimum Fundamental Cycle Basis Problem (PDF), Workshop on Real-life Applications of Metaheuristics, Antwerp, 18 Dec. 2003.
• [ALMM2003A] Edoardo Amaldi, Leo Liberti, Nelson Maculan, Francesco Maffioli, The Minimum Fundamental Cycle Basis Problem: a New Heuristic based on Edge Swaps (PDF), SYM-OP-IS 2003 Conference Proceedings, Herceg-Novi, Crna Gora, 30 Sept. 2003.
• [L2003B] Leo Liberti, Effective RLT Tightening in Continuous Bilinear Programs (PDF), Politecnico di Milano, Internal Report 2003.18.
• [LP2003] Leo Liberti, Costantinos C. Pantelides, Convex Envelopes of Monomials of Odd Degree (PDF), Journal of Global Optimization, 25, 157-168, 2003.
• [L2003A] Leo Liberti, Comparison of Convex Relaxations for Monomials of Odd Degree (PDF), in I. Tsevendorj, P.M. Pardalos, R. Enkhbat (eds.), Optimization and Optimal Control, World Scientific Publishing Co., 2003.

Days of Yore

• [L1999] Leo Liberti, Structure of the Invertible CA Transformations Group (PDF), Journal of Computer and System Sciences, 59, 521-536, 1999.

System administration

• Leo Liberti, Franco Raimondi, An Economical Scheme for Quasi Real-Time Backup, SysAdmin Magazine, 11(7), July 2002.
• Leo Liberti Web-enabled Filesystem-based Databases, SysAdmin Magazine, 11(3), March 2002.
• Leo Liberti, Franco Raimondi, La mia prima pagina dinamica, Inter.net Magazine, 70 July/August 2001 (in Italian).
• Leo Liberti, Automating Firewall Log Scanning, Linux Journal, 87:104-107, July 2001.
• Leo Liberti, Quick Network Redundancy Schemes, SysAdmin Magazine, 10(4):8-16, 2001.