Elena Marchiori

Available subjects

• Research
• PhD students and PostDocs
• Tools and Programs
• Teaching
• Contact information
• Memberships
• Publications

Research

Available Positions

PhD students and PostDocs

• Wout Megchelenbrink is doing a PhD on the topic of metabolic network analysis within the project "Modelling therapeutic interventions in mitochondrial bioenergetics" in close collaboration with the comparative genomics group at the NCMLS (Martijn Huynen and Richard Notebaart). See the description of this project. The project is funded by NWO and ZonMw (2010-2014).
• Dimitrios Mavroeidis works in our group as PostDoc, within the project "Graphs for Multi Task Learning". The project deals with the development of new effective and efficient graph-based methods for multi-task learning. The project is funded by NWO (PI, 2011-2012).
• Twan van Laarhoven is doing a PhD within the project "Graphs for Multi Task Learning" funded by NWO (PI, 2010-2014).
• Pavel Jancura is doing a PhD on comparative analysis of biological networks using optimization-based algorithms, in collaboration with the Bioinformatics group at the Center for Molecular and Biomolecular Informatics (Martijn Huynen), within the project "Comparative Analysis of Protein Networks" funded by the RU (PI, 2008-2012).
• Fabio Gori is doing a PhD on Machine Learning for Metagenomics in collaboration with the Microbiology group at the Radboud University (Mike Jetten), within the project "Machine Learning for Metagenomics" funded by the RU (PI, 2008-2012).
• Gianluigi Folino, researcher at CNR, Italy, works on High Performance Data Mining using Bio-inspired techniques. He recently obtained a PhD at the RU as external student (PhD on March 22, 2010).
• Marius Codrea worked as PostDoc researcher on the computational analysis of proteomic data, within the Horizon breakthrough project "Informatics Tool for proteomic biomarker detection using large-scale nanoLC-FT Mass Spectrometry data" funded by NWO and ZonMw (PI, 2005-2007).
• Kees Jong (PhD on June 1, 2006) performed research on Machine Learning in Cancer Research within the project "Machine Learning techniques for cancer research" funded by the VU (PI, 2001-2005).
• Federico Divina (PhD on October 26, 2004) did his PhD on Evolutionary Inductive Learning within the project "Genetic Relational Search for Inductive learning" funded by NWO (PI, 2000-2004).

Tools and Programs

• Source CODE and results of Gaussian interaction profile kernels algorithms
  T. van Laarhoven, S. Nabuurs and E. Marchiori.
  Gaussian interaction profile kernels for predicting drug-target interaction.
  Bioinformatics, 2011.
• Source CODE of MTR
  F. Gori, G. Folino, M.S.M. Jetten, and E. Marchiori.
  MTR: Taxonomic annotation of short metagenomic reads using clustering at multiple taxonomic ranks.
  Bioinformatics, (OPEN ACCESS) 2011.
• Source CODE of the tool GWproxy
  G. Folino, F. Gori, M.S.M. Jetten, and E. Marchiori.
  Clustering metagenome short reads using weighted proteins.
  In Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 7th European Conference, EvoBIO, volume 5483 of Lecture Notes in Computer Science, pages 152-163. Springer, 2009.
• Matlab code of MultiRelief (non optimized, efficiency may be improved by using ad-hoc data structures for computing (approximated) nearest neighbor), and datasets used in the paper.
  Web server.
  K. Ye, A. Feenstra, A.Ijzerman, J. Heringa, E. Marchiori.
  Multi-RELIEF: a method to recognize specificity determining residues from multiple sequence alignments using a Machine Learning approach for feature weighting.
  Bioinformatics, 24(1), pp. 18-25, 2008.
• Matlab code of algorithms used in Hit Miss Networks' paper (non optimized, prototype code, efficiency may be improved by using e.g. kd-trees).
  Datasets, including those used in the experiments.
  E. Marchiori.
  Hit Miss Networks with Applications to Instance Selection.
  Journal of Machine Learning Research 9, pp. 997-1017, 2008.
• aCGH-Smooth: Automatic Breakpoint Identification and Smoothing of Array Comparative Genomic Hybridization Data
  K. Jong, E. Marchiori, A. van der Vaart, G. Meijer, B. Ylstra.
  Automatic Breakpoint Identification and Smoothing of Array Comparative Genomic Hybridization Data.
  Bioinformatics, 20: 3636-3637, 2004.
• Source CODE of our heuristic algorithm for the Weighted Set Covering problem (with readme file in italian ...)
  E. Marchiori, A. Steenbeek.
  An Evolutionary Algorithm for Large Scale Set Covering Problems with Application to Airline Crew Scheduling.
  Real World Applications of Evolutionary Computing. Springer-Verlag, LNCS 1083, pp. 367-381, 2000.
  
• Source CODE of our heuristic algorithm for the Maximum Clique problem
  E. Marchiori.
  Genetic, Iterated and Multistart Local Search for the Maximum Clique Problem.
  Applications of Evolutionary Computing , Springer, LNCS 2279, pp. 112-121, 2002.

Teaching

• Datamining.
• Evolutionary Algorithms.
• Bioinformatics.
• Bioinspired Algorithms.
• Research and Development 2.
• Introduction to AI.
• Master and Bachelor Projects.

Contact information

Memberships

• Member of the "Wetenschappelijke Adviesraad van de Nederlandse Hersenbank".
  
• Chair of the TC-20 technical committee (pattern recognition for bioinformatics) of the International Association of Pattern Recognition.
  
• Associate editor of the IEEE/ACM Transactions on Computational Biology and Bioinformatics.
  
• Editor of the journal BioData Mining.

Publications

• C. Pizzuti, S. Rombo, E. Marchiori.
  Complex detection in protein-protein interaction networks: a compact overview for researchers and practitioners.
  EvoBIO, Springer, (in print), 2012.

• T. van Laarhoven, S. Nabuurs and E. Marchiori.
  Gaussian interaction profile kernels for predicting drug-target interaction.
  Bioinformatics, Vol. 27, Issue 21, pp. 3036-3043, 2011 (paper and code available here).

• P. Jancura and E. Marchiori.
  A survey on evolutionary analysis in PPI networks.
  Protein Interaction / Book 2. InTech - Open Access Publisher. extended version, 2011.

• D. Mavroedis and E. Marchiori.
  Feature Selection for k-means Clustering Stability: Theoretical Analysis and an Algorithm.
  Submitted to a journal. 2011.

• W. Megchelenbrink, M. Huynen and E. Marchiori.
  Flux Measurement Selection in Metabolic Networks.
  IAPR Conference on Pattern Recognition in Bioinformatics (PRIB), Lecture Notes in Computer Science, Vol. 7036, pp. 214-224, 2011.

• P. Jancura, E. Mavridou, E. Carrillo-De Santa Pau and E. Marchiori.
  A Methodology for Detecting the Orthology Signal in a PPI Network at a Functional Complex Level.
  BMC Bioinformatics. Accepted, 2011.

• F. Gori, S. Green Tringe, B. Kartal, E.Marchiori, M. Jetten.
  The metagenomic basis of anammox metabolism in Brocadia fulgida.
  Biochemical Society Transactions. 39(6), pp. 1799-1804, 2011.

• F. Gori, D. Mavroedis, M. Jetten and E. Marchiori.
  Genomic signatures for metagenomic data analysis: exploiting the reverse complementarity of tetranucleotides.
  IEEE International Conference on Systems Biology (ISB), pp. 149-154, 2011.

• D. Mavroedis and E. Marchiori.
  A Novel Stability based Feature Selection Framework for k-means Clustering.
  Proceedings of the 2011 European conference on Machine learning and knowledge discovery in databases (ECML PKDD), pp. 421-436, Springer-Verlag, 2011.

• P. Jancura, D. Mavroedis, E. Marchiori.
  DEEN: a Simple and Fast Algorithm for Network Community Detection.
  Post-CIBB 2011, Springer LNBI. In print, 2011.

• P. Jancura, E. Mavridou, B. Pontes and E. Marchiori.
  Describing the orthology signal in a PPI network at a functional, complex level.
  Proceedings of the 7th International Symposium on Bioinformatics Research and Applications (ISBRA). pp. 209-226, Springer-Verlag, 2011.

• M. Hinne and E. Marchiori.
  Cutting Graphs Using Competing Ant Colonies and an Edge Clustering Heuristic.
  11th European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), LNCS 6622, pp. 60-71, Springer-Verlag, 2011.

• F. Gori, G. Folino, M.S.M. Jetten, and E. Marchiori.
  MTR: Taxonomic annotation of short metagenomic reads using clustering at multiple taxonomic ranks.
  Bioinformatics (OPEN ACCESS), vol. 7 (2), pp. 196-203, 2011. Source CODE of MTR
  

• J. Wang, Y. Li, E. Marchiori and C. Wang.
  Iterated Large-margin Discriminant Analysis for Feature Dimensionality Reduction in Medical Image Retrieval.
  International Journal of Biomedical Engineering and Technology, Vol. 7, No.2, pp. 116 - 134, 2011.

• T. Dijkstra, E. Tsivtsivadze, E. Marchiori, T. Heskes (editors).
  Pattern Recognition in Bioinformatics - 5th IAPR International Conference, PRIB 2010.
  Proceedings, LNCS 6282, Springer, 2010.

• P. Jancura and E. Marchiori.
  Dividing Protein Interaction Networks for Modular Network Comparative Analysis.
  Pattern Recognition Letters, doi:10.1016/j.patrec.2010.04.005, pp. 2083-2096, Elsevier, 2010.

• M. Chetty, A. Ngom and E. Marchiori (guest editors).
  Pattern Recognition in Bioinformatics.
  Neurocomputing, Volume 73, Issues 13-15, Elsevier, 2010.

• E. Marchiori.
  Improving Multi-Relief for detecting specificity residues from multiple sequence alignments.
  Proceedings of the 8th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics (EvoBIO), Lecture Notes in Computer Science, doi:10.1007/978-3-642-12211-8_14 pp. 158-169, LNCS 6023, Springer, 2010.

• E. Marchiori.
  Class Conditional Nearest Neighbor for Large Margin Instance Selection.
  IEEE Transactions on Pattern Analysis and Machine Intelligence, vol 32 (2), pp. 364-370, 2010.

• G. Folino, F. Gori, M.S.M. Jetten, E. Marchiori.
  Evidence-based Clustering of Reads and Taxonomic Analysis of Metagenomic Data.
  Proceedings of the 4th IAPR International Conference in Pattern Recognition in Bioinformatics (PRIB), Lecture Notes in Bioinformatics, LNBI 5780, pp. 102-112, Springer, 2009.

• E. Marchiori.
  Graph-based Discrete Differential Geometry for Critical Instance Filtering.
  Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database (ECML/PKDD), Lecture Notes in Artificial Intelligence, LNAI 5782, pp.63-78, Springer, 2009. Videolecture

• G. Folino, F. Gori, M.S.M. Jetten, E. Marchiori.
  Clustering Metagenome Short Reads using Weighted Proteins.
  Proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics (EvoBIO), Lecture Notes in Computer Science, LNCS 5483, pp. 152-163, Springer, 2009.

• J.H. Moore, J. Clegg, E. Marchiori, M. Ritchie, S. Smith (editors).
  Artificial Evolution Methods in the Biological and Biomedical Sciences.
  Special Issue of the Journal of Artificial Evolution and Applications. 2009.

• E. Marchiori.
  Class Conditional Nearest Neighbor and Large Margin Instance Selection.
  TR-ICIS-R08017, Submitted, 2008.

• P. Jancura, J. Heringa, E. Marchiori.
  Divide, Align and Full-Search for Discovering Conserved Protein Complexes.
  Proceedings of the Sixth European Conference on Evolutionary Computation, Machine Learning and Datamining in Bioinformatics. LNCS 4973, pp. 73-84, 2008.

• E. Marchiori.
  Hit Miss Networks with Applications to Instance Selection.
  Journal of Machine Learning Research 9, pp. 997-1017, 2008.

• K. Ye, A. Feenstra, A.Ijzerman, J. Heringa, E. Marchiori.
  Multi-RELIEF: a method to recognize specificity determining residues from multiple sequence alignments using a Machine Learning approach for feature weighting.
  Bioinformatics, 24(1), 2008, pp. 18-25.
  WEB SERVER

• E. Marchiori and J.H. Moore (Editors).
  Evolutionary Computation, Machine Learning and Datamining in Bioinformatics. Sixth European Conference, EvoBIO 2008. Springer, LNCS 4973.

• P. Jancura, J. Heringa, E. Marchiori.
  Dividing Protein Interaction Networks by Growing Orthologous Articulations.
  Third IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2008, LNBI 5265, pp. 187-200. Springer, 2008.

• M.C. Codrea, C.R. Jimenez, S. Piersma, J. Heringa, E. Marchiori.
  Robust Peak Detection and Alignment of nanoLC-FT Mass Spectrometry Data.
  The Fifth European Conference on Evolutionary Computation, Machine Learning and Datamining in Bioinformatics. Springer, LNCS 4447, 2007, pp.35-46 .

• M.C. Codrea, C.R. Jimenez, J. Heringa, E. Marchiori.
  Tools for computational processing of LC-MS datasets: a user's perspective.
  Computer Methods and Programs in Biomedicine, Elsevier, 2007, pp. 281-290.

• K.J.A. Vanhoutte, C. Laarakkers, E. Marchiori, P. Pickkers, J.F.M. Wetzels, J.L. Willems, L.P. van den Heuvel, F.G.M. Russel, R. Masereeuw.
  Biomarker discovery with SELDI-TOF MS in human urine associated with early renal injury: evaluation with computational analytical tools.
  Nephrology Dialysis Transplantation, 2007, 22(10):2932-43.

• E. Marchiori, J.H. Moore, J.C. Rajapakse (Editors).
  Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 5th European Conference, LNCS 4447, Springer, 2007.

• E. Marchiori, W. Pirovano, J. Heringa, and K.A. Feenstra.
  A Feature Selection Algorithm for Detecting Subtype Specific Functional Sites from Protein Sequences for Smad Receptor Binding.
  The Fifth International Conference on Machine Learning and Applications (ICMLA'06), IEEE, 2006, pp. 168-173.

• K. Jong, E. Marchiori, A. van der Vaart, S. Chin, B. Carvalho, M. Tijssen, P.P. Eijk, P. van den IJssel, H. Grabsch, P. Quirke, J.J. Oudejans, G.A. Meijer, C. Caldas and B. Ylstra.
  Cross-Platform Array Comparative Genomic Hybridization (array CGH) Meta-Analysis Separates Hematopoietic and Mesenchymal from Epithelial Tumors.
  Oncogene , advance online publication, August 28, 2006; doi:10.1038/sj.onc.1209919.

• E. Marchiori, C. Jimenez, M. West-Nielsen and N. Heegaard.
  Robust SVM-based biomarker selection with noisy mass spectrometric proteomic data.
  Applications of Evolutionary Computing. Springer, pp. 79-90, LNCS 3907, 2006.

• J.P. Patist, W. Kowalczyk, E. Marchiori.
  Maintaining Gaussian Mixture Models of Data Streams Under Block Evolution.
  International Conference on Computational Science, Springer,pp. 1071-1074, 2006.

• S. Bhulai, W. Hong Kan and E. Marchiori.
  Nearest neighbour algorithms for forecasting call arrivals in call centers.
  Technical Report WS2005-12, Vrije Universiteit Amsterdam, 2005.

• M. West-Nielsen, E.V. Hogdall, E. Marchiori, C.K. Hogdall, C. Schou, N.H.H. Heegaard.
  Sample handling for mass spectrometric proteomic investigations of human sera.
  Analytical Chemistry, vol. 77, no. 16, 5114-5123, 2005.

• E. Marchiori, N. Heegaard, C. Jimenez and M. West-Nielsen.
  Feature Selection for Classification with Proteomic Data of Mixed Quality.
  IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology. CIBCB , pp. 385-391, 2005.

• E. Marchiori, M. Sebag.
  Bayesian Learning with Local Support Vector Machines for Cancer Classification with Gene Expression Data.
  Applications of Evolutionary Computing. EvoBIO: Evolutionary Computation and Bioinformatics. Springer,pp.74-83, 2005.

• F. Divina, E. Marchiori.
  Handling Continuous Attributes in an Evolutionary Inductive Learner.
  (IR-AI-005, Vrije Universiteit). IEEE Transactions on Evolutionary Computation , 2005, 9(1), pp.32-43.

• K. Jong, E. Marchiori, M. Sebag, A. van der Vaart.
  Feature Selection in Proteomic Pattern Data with Support Vector Machines.
  CIBCB , pp. 41-48, IEEE, 2004.

• K. Jong, J. Mary, A. Cornuéjols, E. Marchiori, M. Sebag.
  Ensemble Feature Ranking.
  PKDD , IEEE, 2004, pp. 267-278.

• K. Jong, E. Marchiori, M. Sebag.
  Ensemble Learning with Evolutionary Computation: Application to Feature Ranking.
  PPSN VIII , Eds. X.Yao et al., Springer, LNCS 3242, pp. 1133-1142, 2004.

• A.E. Eiben, E. Marchiori, V.A. Valko.
  Evolutionary Algorithms with on-the-fly Population Size Adjustment.
  In PPSN VIII , Eds. X.Yao et al., Springer, LNCS 3242, pp.41-50, 2004.

• F. Divina, E. Marchiori.
  Knowledge-Based Evolutionary Search for Inductive Concept Learning.
  Knowledge Incorporation in Evolutionary Computation, Springer, 237-254, 2004.

• K. Jong, E. Marchiori, A. van der Vaart.
  Analysis of Proteomic Pattern Data for Cancer Detection.
  Applications of Evolutionary Computing. EvoBIO: Evolutionary Computation and Bioinformatics. Springer, pp. 41-51, 2004.

• K. Jong, E. Marchiori, A. van der Vaart, G. Meijer, B. Ylstra.
  (tool website) Automatic Breakpoint Identification and Smoothing of Array Comparative Genomic Hybridization Data.
  Bioinformatics, 20: 3636-3637, 2004.

• G.R. Raidl, S. Cagnoni, J. Branke, D.W. Corne, R. Drechsler,Y. Jin, C.G. Johnson, P. Machado, E. Marchiori, F. Rothlauf, G.D. Smith, G. Squillero Editors.
  Applications of Evolutionary Computing, LNCS, Vol. 3005, Springer-Verlag, 2004.

• F. Divina, M. Keijzer, E. Marchiori.
  A Method for Handling Numerical Attributes in GA-based Inductive Concept Learners.
  Genetic and Evolutionary Computation Conference ( GECCO 2003), 898-908, 2003.

• F. Divina, M. Keijzer, E. Marchiori.
  Non-Universal Suffrage Selection Operator Favor Population Diversity in Genetic Algorithms.
  GECCO 2003, Genetic and Evolutionary Computation Conference, LNCS 2724, pp. 1571-1573. Springer, 2003.

• K. Jong, E. Marchiori, A. van der Vaart.
  Finding Clusters using Support Vector Classifiers.
  European Symposium on Artificial Neural Networks ( ESANN'2003), pp.223-228, 2003.

• K. Jong, E. Marchiori, A. van der Vaart, B. Ylstra, G. Meijer, M, Weiss.
  Chromosomal Breakpoint Detection in Human Cancer.
  Applications of Evolutionary Computing. EvoBIO: Evolutionary Computation and Bioinformatics. Springer LNCS 2611 , pp. 54-65, 2003.

• S. Cagnoni, J. Cardalda, D.W. Corne, J. Gottlieb, A. Guillot, E. Hart, E. Marchiori, J.A. Meyer,M. Middendorf, G.R. Raidl, Editors.
  Applications of Evolutionary Computing, LNCS n. 2611, Springer-Verlag, 2003.

• F. Divina, M. Keijzer, E. Marchiori.
  Non-Universal Suffrage Selection Operators Favor Population Diversity in Genetic Algorithms.
  Proceedings of Annual Machine Learning Conference of Belgium and The Netherlands (Benelearn2002), 23-30, 2002.

• F. Divina, E. Marchiori.
  Evolutionary Concept learning
  Genetic and Evolutionary Computation Conference, pp. 343-350, 2002.

• J. Gottlieb, E. Marchiori, C. Rossi.
  Evolutionary Algorithms for the Satisfiability Problem.
  Evolutionary Computation, MIT press, vol.10, Nr.1, pp. 35-50, 2002.

• E. Marchiori.
  Genetic, Iterated and Multistart Local Search for the Maximum Clique Problem.
  Applications of Evolutionary Computing , Springer, LNCS 2279, pp. 112-121, 2002.

• F. Divina, E. Marchiori.
  Knowledge Based Evolutionary Programming for Inductive Learning in First-Order Logic.
  Genetic and Evolutionary Computation Conference, pp. 173, 2001.

• M. Dastani, E. Marchiori, R. Voorn.
  Finding Simplest Pattern Structures using Genetic Programming.
  Genetic and Evolutionary Computation Conference, pp. 3-10, 2001.

• B. Craenen, A.E. Eiben, E. Marchiori.
  How to Handle Constraints with Evolutionary Algorithms.
  Practical Handbook of Genetic Algorithms. L. Chambers ed., pp.341-361, 2001.

• B. Craenen, A. Eiben, E. Marchiori.
  Solving Constraint Satisfaction Problems with Heuristic-based Evolutionary Algorithms.
  In Proceedings of the Congress on Evolutionary Computation, ( CEC2000), pp. 1571-1577, IEEE, 2000.

• E. Marchiori, A. Steenbeek.
  An Evolutionary Algorithm for Large Scale Set Covering Problems with Application to Airline Crew Scheduling.
  Real World Applications of Evolutionary Computing. Springer-Verlag, LNCS 1083, pp. 367-381, 2000.
  Algorithm CODE (with readme in italian ...) please acknowledge the authors if you use it

• B. Craenen, A. Eiben, E. Marchiori, A. Steenbeek.
  Combining Local Search and Fitness Function Adaptation in a GA for Solving Binary Constraint Satisfaction Problems.
  Genetic and Evolutionary Computation Conference,pp. 381, 2000.

• E. Marchiori, A. Steenbeek.
  A Genetic Local Search Algorithm for Random Binary Constraint Satisfaction Problems.
  14th Annual Symposium on Applied Computing, ( SAC 2000), pp. 458-462, 2000.

• C. Rossi, E. Marchiori, J. Kok.
  An Adaptive Evolutionary Algorithm for the Satisfiability Problem.
  14th Annual Symposium on Applied Computing, ( SAC 2000), pp. 463-469, 2000.

• E. Marchiori.
  Data Mining.
  Encyclopedia of Life Support Systems , 2000.

• W. Kosters, E. Marchiori, A. Oerlemans.
  Mining Clusters with Association Rules.
  3rd International Symposium on Intelligent Data Analysis, ( IDA 99), Springer-Verlag, LNCS 1642, pp.39-50, 1999.

• E. Marchiori, C. Rossi.
  A Flipping Genetic Algorithm for Hard 3-SAT Problems.
  Genetic and Evolutionary Computation Conference, ( GECCO-99), pp. 393-400, 1999.

• E. Marchiori, F. Teusink.
  Termination of Logic Programs with Delay Declarations.
  The Journal of Logic Programming, Vol 39(1-3), pp. 95-124, 1999.

• E. Marchiori.
  Design of Abstract Domains using First-Order Logic.
  Theoretical Computer Science, Vol 222(1-2), pp. 153-179, 1999.

• E. Marchiori, A.G. Steenbeek.
  An Iterated Heuristic Algorithm for the Set Covering Problem.
  2nd Workshop on Algorithm Engineering ( WAE98), pp. 155-166, 1998.

• A.E. Eiben, J.I. van Hemert, E. Marchiori, A.G. Steenbeek.
  Solving Binary Constraint Satisfaction Problems using Evolutionary Algori thms with an Adaptive Fitness Function.
  Fifth International Conference on Parallel Problem Solving from Nature, LNCS 1498, pp. 196-205, 1998.

• A.G. Steenbeek, E. Marchiori, A.E. Eiben.
  Finding Balanced Graph Bi-Partitions Using a Hybrid Genetic Algorithm.
  1998 IEEE International Conference on Evolutionary Computation ( ICEC98), pp.90-95, 1998.

• E. Marchiori.
  A Simple Heuristic Based Genetic Algorithm for the Maximum Clique Problem.
  1998 ACM Symposium on Applied Computing ( SAC98), pp. 366-373, 1998.

• E. Marchiori, M. Marchiori, J.N. Kok.
  A Novel Search Technique for Solving Over-Constrained Problems.
  International Journal on Artificial Intelligence Tools (IJAIT), World Scientific, Vol.6, No.4, pp. 587-611, 1997.

• E. Marchiori.
  Combining Constraint Processing and Genetic Algorithms for Constraint Satisfaction Problems.
  7th International Conference on Genetic Algorithms ( ICGA97), pp.330-337, 1997.

• S. Etalle, M. Gabbrielli, E. Marchiori.
  A Transformation System for CLP with Dynamic Scheduling and CCP.
  ACM--SIGPLAN Symp. on Partial Evaluation and Semantic Based Program Manipulation ( PEPM'97),137-150, 1997.

• F.S. de Boer, M. Gabbrielli, E. Marchiori and C. Palamidessi.
  Proving Concurrent Constraint Programs Correct.
  ACM TOPLAS , Vol.19, No.15, pp. 685-726, 1997.

• E. Marchiori, M. Marchiori, J.N. Kok.
  Forward-Tracking: A Technique for Searching Beyond Failure.
  8th IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI'96), pp. 324-331, 1996.

• E. Marchiori.
  Prime Factorizations of Abstract Domains using First-Order Logic.
  Fifth Int. Conf. on Algebraic and Logic Programming ( ALP'96), pp. 203-223, 1996.

• E. Marchiori.
  On Termination of General Logic Programs w.r.t. Constructive Negation.
  The Journal of Logic Programming, 26, No. 1, pp. 69-89, 1996.

• E. Marchiori.
  Practical Methods for Proving Termination of General Logic Programs.
  The Journal of Artificial Intelligence Research, JAIR, Vol.4, pp.179-208, 1996.

• J.N. Kok, E. Marchiori, M. Marchiori, C. Rossi.
  Evolutionary Training of CLP-Constrained Neural Networks.
  2nd Int. Conf. on Practical Application of Constraint Technology (PACT'96), pp. 129-142, 1996.

• J.N. Kok, E. Marchiori, M. Marchiori, C. Rossi.
  Constraining of Weights using Regularities.
  European Symposium on Artificial Neural Networks (ESANN'96), pp. 267-272, 1996.

• E. Marchiori.
  A Methodology for Proving Termination of General Logic Programs.
  Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 356-367, 1995.

• E. Marchiori and F. Teusink.
  Proving Termination of Logic Programs with Delay Declarations.
  Proc. International Logic Programming Symposium (ILPS'95), pp. 447-461, 1995.

• L. Colussi, E. Marchiori, and M. Marchiori.
  A Dataflow Semantics for Constraint Logic Programs.
  Proc. 7th International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'95), pp. 431-448, 1995.

• L. Colussi, E. Marchiori, and M. Marchiori.
  On Termination of Constraint Logic Programs.
  Proc. International Conference on Principles and Practice of Constraint Programming (CP'95) , pp. 431-448, 1995. Springer link

• K.R. Apt and E. Marchiori and C. Palamidessi.
  Declarative Approach for First-Order Built-in's in Prolog.
  Applicable Algebra in Engineering, Communication and Computing (AAECC) 5, No. 3/4, pp. 159-191, 1994.

• K.R. Apt and E. Marchiori.
  Reasoning about Prolog Programs: from Modes through Types to Assertions.
  (FAC)Formal Aspects of Computing , 6, No. 6A, pp. 743-765, 1994.

• F.S. de Boer, M. Gabbrielli, E. Marchiori and C. Palamidessi.
  Proving Concurrent Constraint Programs Correct.
  Proc. 21th Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, ACM Press, pp. 98-108, 1994.

• L. Colussi, E. Marchiori and M. Marchiori.
  Combining Logic and Control to Characterize Global Invariants of Prolog Programs.
  ICLP W2 Post-Conference Workshop on Verification and Analysis of Logic Languages, F.S. de Boer and M. Gabbrielli eds., Vrije Universiteit Press, Amsterdam, pp. 1-14, 1994.

• E. Marchiori.
  A Logic for Variable Aliasing in Logic Programs.
  Proc. 4th International Conference on Algebraic and Logic Programming (ALP'94) , Springer-Verlag, pp. 287-304, 1994.

• K. Apt, E. Marchiori, C. Palamidessi.
  A Theory of First Order Built-in's in Prolog.
  Proc. 3rd International Conference on Algebraic and Logic Programming (ALP'92) , Springer-Verlag LNCS 632, pp. 69-83, 1992.

• L. Colussi, E. Marchiori.
  A Predicate Transformer for Unification.
  Proc. of the Joint International Conference and Symposium on Logic Programming (ILPS'92), pp. 67-85, 1992.

• L. Colussi, E. Marchiori.
  Proving Correctness of Logic Programs Using Axiomatic Semantics.
  Proc. of the Eight International Conference on Logic Programming (ICLP'91), pp. 629-644, 1991.