FEDERICO MANCINI

University of Bergen
Department of Informatics
HIB - P.B. 7803
N-5020 Bergen, Norway
Email: fma042[at]uib.no
Office: Høyteknologisenteret, Datablokken, Room 3148

I am currently working as part-time associate professor in the Programming Theory group at the University of Bergen as part of the Secure Mobile Data Collection Systems, while holding a full time position as researcher at the Norwegian Defence Research Center (FFI). I previously worked as a postdoc in the SHIP project (Secure Heterogeneous Information Presentation).

EDUCATION:

I graduated in Computer Engineering with ``summa cum laudae'' at the ``Università degli studi Roma Tre'' in Rome in December 2004, with the thesis:

``Selective Visual Attention: From the Neurobiological Basis to a Computational Implementation''

After that, I studied as a PhD student of the Algorithms Group at the Informatic Department of the University of Bergen under the supervision of Pinar Heggernes.

I graduated in September 2008 with the thesis:

“Graph Modification Problems Related to Graph Classes” (Part 1)

PUBLICATIONS

JOURNAL PAPERS:

- On the complexity of reconstructing H-free graphs from their Star Systems. (.pdf)
F.Fomin, J.Kratochvil, D.Lokshtanov, F.Mancini and J.A.Telle
Journal of Graph Theory 68(2):113-124, 2011.

- Strongly chordal and chordal bipartite graphs are sandwich monotone.
Pinar Heggernes, Federico Mancini, Charis Papadopoulos, and R. Sritharan
Journal of Combinatorial Optimization 22(3):438-456, 2011.

- Rooted directed path graphs are leaf powers. (.pdf)
Andreas Brandstädt, Christian Hundt, Federico Mancini and Peter Wagner
Discrete Mathematics 310:897-910, 2010.

- Clustering with partial information. (.pdf)
Hans Bodlaender, Mike Fellows, Pinar Heggernes, Federico Mancini, Charis Papadopoulos, and Frances Rosamond
Theoretical Computer Science. To appear.

- Characterizing and Computing Minimal Cograph Completions. (.pdf)
Daniel Lokshtanov, Federico Mancini and Charis Papadopoulos
Discrete Applied Mathematics 158(7):755-764, 2010.

- Minimum fill-in and treewidth of split+kv and +ke graphs. (.pdf)
Federico Mancini
Discrete Applied Mathematics 158(7):747-754, 2010.

- Dinamically Mantaining Split Graphs (.ps,.pdf)
Pinar Heggernes and Federico Mancini
Discrete Applied Mathematics 157(9): 2057-2069, 2009.

- Minimal Split Completions of Graphs (.ps,.pdf)
Pinar Heggernes and Federico Mancini
Discrete Applied Mathematics 157(12): 2659-2669, 2009.

- Minimal comparability completions of arbitrary graphs (.pdf)
Pinar Heggernes, Federico Mancini, and Charis Papadopoulos.
Discrete Applied Mathematics 156(5):705-718, 2008.

CONFERENCE PROCEEDINGS:

- Secure Data Storage for Java ME-Based Mobile Data Collection Systems (Extended version)
S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.
Proceedings of MEDES 2012 - 4th International ACM Conference on Management of Emergent Digital EcoSystems, 28-31 October, Addis Ababa, Ethiopia.
Conference Proceedings pp: To appear.

- Secure Data Storage for Java ME-Based Mobile Data Collection Systems (Short paper)
S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.
Proceedings of HealthCom 2012 - 14th IEEE Conference on e-Health Networking Applications and Services, 10-13 October, Beijing, China.
Conference Proceedings pp: To appear.

- Secure Mobile Data Collection Systems for Low-Budget Settings
S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.
Proceedings of ARES 2012 - 7th International Conference on Availability, Reliability and Security, 20-24 August 2012, Prague, Czech Republic.
Conference Proceedings pp:196-205.

- Challenges in Implementing End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings
S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr, R. A. B. Valvik.
Proceedings of EssoS 2012 - 4th International Symposium on Engineering Secure Software and Systems, 16-17 February, Eindhoven, The Netherlands.
Springer Verlag, Lecture Notes in Computer Science, 7159:38-45.

- Adding Security to Mobile Data Collection
S. H. Gejibo, F. Mancini, K. A. Mughal, J. I. Klungsyr.
Proceedings of HealthCom 2011 - 13th IEEE Conference on e-Health Networking Applications and Services, 13-15 June, Columbia, USA.
Conference Proceedings pp:86-89.

- A parameterized algorithm for Chordal Sandwich (.pdf)
Pinar Heggernes, Federico Mancini, Jesper Nederlof, and Yngve Villanger.
Proceedings of CIAC 2010 - 7th International Conference on Algorithms and Complexity, May 26-28, Rome.
Springer Verlag, Lecture Notes in Computer Science, 6078:120-130.

- The SHIP Validator: An Annotation-Based Content-Validation Framework for Java Applications
Dag Hovland, Federico Mancini, and Khalid A. Mughal
Proceedings of ICIW 2010 - 5th International Conference on Internet and Web Applications and Services, May 9-15, Barcelona, Spain.
IEEE proceedings, pp: 122-128.

- Investigating the limitations of Java annotations for input validation
Dag Hovland, Federico Mancini, and Khalid A. Mughal
Proceedings of SecSE 2010 - 4th International Workshop on Secure Software Engineering, February 15-18, Krakow, Poland. IEEE Proceedings, pp: 513 - 518.

- Strongly chordal and chordal bipartite graphs are sandwich monotone (.pdf)
Pinar Heggernes, Federico Mancini, Charis Papadopoulos, and R. Sritharan
Proceedings of COCOON 2009 - 15th Annual International Conference on Computing and Combinatorics, July 13-15, Niagara Falls, NY, USA.
Springer Verlag, Lecture Notes in Computer Science 5609: 398-407.

- Clustering with partial information (.pdf)
Hans L. Bodlaender, Michael R. Fellows, Pinar Heggernes, Federico Mancini, Charis Papadopoulos and Frances Rosamond
Proceedings of MFCS 2008 - 33rd International Symposium on Mathematical Foundations of Computer Science, August 25-29, Toru, Poland.
Springer Verlag, Lecture Notes in Computer Science 5162:144-155.

- Characterizing and Computing Minimal Cograph Completions. (.pdf)
Daniel Lokshtanov, Federico Mancini and Charis Papadopoulos
Proceedings of FAW 2008 - 2nd International Frontiers of Algorithmics Workshop, June 19 - 21, Changsha, China.
Springer Verlag, Lecture Notes in Computer Science 5059:147-158.

- On the complexity of reconstructing H-free graphs from their Star Systems. (.pdf)
F.Fomin, J.Kratochvil, D.Lokshtanov, F.Mancini and J.A.Telle
Proceedings of LATIN 2008 - 8th Latin American Theoretical Informatics Symposium, April 2008, Rio de Janeiro, Brazil.
Springer Verlag, Lecture Notes in Computer Science 4957:194-205.

- Minimum fill-in and treewidth of split+kv and +ke graphs. (.pdf)
Federico Mancini
Proceedings of ISAAC 2007 - 17th International Symposium on Algorithms and Computation, December 2007, Sendai, Japan.
Springer Verlag, Lecture Notes in Computer Science 4835:881-892.

- Making arbitrary graphs transitively orientable: Minimal comparability completions (.pdf)
Pinar Heggernes, Federico Mancini, and Charis Papadopoulos
Proceedings of ISAAC 2006 - 17th International Symposium on Algorithms and Computation, December 2006, Kolkata, India.
Springer Verlag, Lecture Notes in Computer Science 4288: 419 - 428.

- Minimal Split Completions of Graphs (.ps,.pdf)
Pinar Heggernes and Federico Mancini
Proceedings of LATIN 2006 - 7th Latin American Theoretical Informatics Symposium, March 2006, Valdivia, Chile.
Springer Verlag, Lecture Notes in Computer Science 3887:592 - 604.

TECHNICAL REPORTS AND NOT PUBLISHED WORKS:

- A Formal Approach to the Specification of Data Validation Constraints in MDE.
Alessandro Rossini, Adrian Rutle, Federico Mancini, Dag Hovland, Khalid A. Mughal, Yngve Lamo and Uwe Egbert Wolter.
Presented at NWPT 2009 - 21th Nordic Workshop on Programming Theory, October 14-16, Lyngby, Denmark.

PHD STUDENTS:

- Samson H. Gejibo.
Thesis: Securing Mobile Data Collection Systems. Expected to finish in 2014.

MASTER STUDENTS:

- Remi Andre B. Valvik.
Thesis: Security API for Java ME: secureXdata.

IN PREPARATION:

Coming soon

IMPLEMENTATIONS:

- API to add secure storage to J2ME based MDCS (Mobile Data Collection Systems). In collaboration with openXdata.

- Input Validation in Java - The SHIP Validator: http://shipvalidator.sourceforge.net.

LINKS:

- Latex file with university template for beamer package

- Winter school 2005