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: **

**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

- Slashdot

- Some rules to have a good life :-)