| 2009 |
|---|
| 60 | EE | Gianluigi Folino,
Fabio Gori,
Mike S. M. Jetten,
Elena Marchiori:
Clustering Metagenome Short Reads Using Weighted Proteins.
EvoBIO 2009: 152-163 |
| 2008 |
|---|
| 59 | | Elena Marchiori,
Jason H. Moore:
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
Springer 2008 |
| 58 | EE | Pavol Jancura,
Jaap Heringa,
Elena Marchiori:
Divide, Align and Full-Search for Discovering Conserved Protein Complexes.
EvoBIO 2008: 71-82 |
| 57 | EE | Pavol Jancura,
Jaap Heringa,
Elena Marchiori:
Dividing Protein Interaction Networks by Growing Orthologous Articulations.
PRIB 2008: 187-200 |
| 56 | EE | Kai Ye,
K. Anton Feenstra,
Jaap Heringa,
Adriaan P. IJzerman,
Elena 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): 18-25 (2008) |
| 2007 |
|---|
| 55 | | Elena Marchiori,
Jason H. Moore,
Jagath C. Rajapakse:
Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics, 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007, Proceedings
Springer 2007 |
| 54 | EE | Marius C. Codrea,
Connie R. Jimenez,
Sander Piersma,
Jaap Heringa,
Elena Marchiori:
Robust Peak Detection and Alignment of nanoLC-FT Mass Spectrometry Data.
EvoBIO 2007: 35-46 |
| 53 | EE | Marius C. Codrea,
Connie R. Jimenez,
Jaap Heringa,
Elena Marchiori:
Tools for computational processing of LC-MS datasets: A user's perspective.
Computer Methods and Programs in Biomedicine 86(3): 281-290 (2007) |
| 2006 |
|---|
| 52 | EE | Elena Marchiori,
Connie R. Jimenez,
Mikkel West-Nielsen,
Niels H. H. Heegaard:
Robust SVM-Based Biomarker Selection with Noisy Mass Spectrometric Proteomic Data.
EvoWorkshops 2006: 79-90 |
| 51 | EE | Jan Peter Patist,
Wojtek Kowalczyk,
Elena Marchiori:
Maintaining Gaussian Mixture Models of Data Streams Under Block Evolution.
International Conference on Computational Science (1) 2006: 1071-1074 |
| 2005 |
|---|
| 50 | | Franz Rothlauf,
Jürgen Branke,
Stefano Cagnoni,
David W. Corne,
Rolf Drechsler,
Yaochu Jin,
Penousal Machado,
Elena Marchiori,
Juan Romero,
George D. Smith,
Giovanni Squillero:
Applications of Evolutionary Computing, EvoWorkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings
Springer 2005 |
| 49 | | Elena Marchiori,
Niels H. H. Heegaard,
Connie R. Jimenez,
Mikkel West-Nielsen:
Feature Selection for Classification with Proteomic Data of Mixed Quality.
CIBCB 2005: 385-391 |
| 48 | EE | Elena Marchiori,
Michèle Sebag:
Bayesian Learning with Local Support Vector Machines for Cancer Classification with Gene Expression Data.
EvoWorkshops 2005: 74-83 |
| 47 | EE | Federico Divina,
Elena Marchiori:
Handling continuous attributes in an evolutionary inductive learner.
IEEE Trans. Evolutionary Computation 9(1): 31-43 (2005) |
| 2004 |
|---|
| 46 | | Günther R. Raidl,
Stefano Cagnoni,
Jürgen Branke,
David Corne,
Rolf Drechsler,
Yaochu Jin,
Colin G. Johnson,
Penousal Machado,
Elena Marchiori,
Franz Rothlauf,
George D. Smith,
Giovanni Squillero:
Applications of Evolutionary Computing, EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings
Springer 2004 |
| 45 | EE | Kees Jong,
Elena Marchiori,
Aad van der Vaart:
Analysis of Proteomic Pattern Data for Cancer Detection.
EvoWorkshops 2004: 41-51 |
| 44 | EE | Kees Jong,
Jérémie Mary,
Antoine Cornuéjols,
Elena Marchiori,
Michèle Sebag:
Ensemble Feature Ranking.
PKDD 2004: 267-278 |
| 43 | EE | Kees Jong,
Elena Marchiori,
Michèle Sebag:
Ensemble Learning with Evolutionary Computation: Application to Feature Ranking.
PPSN 2004: 1133-1142 |
| 42 | EE | A. E. Eiben,
Elena Marchiori,
V. A. Valkó:
Evolutionary Algorithms with On-the-Fly Population Size Adjustment.
PPSN 2004: 41-50 |
| 41 | EE | Kees Jong,
Elena Marchiori,
Gerrit Meijer,
Aad van der Vaart,
Bauke Ylstra:
Breakpoint identification and smoothing of array comparative genomic hybridization data.
Bioinformatics 20(18): 3636-3637 (2004) |
| 2003 |
|---|
| 40 | | Günther R. Raidl,
Jean-Arcady Meyer,
Martin Middendorf,
Stefano Cagnoni,
Juan J. Romero Cardalda,
David Corne,
Jens Gottlieb,
Agnès Guillot,
Emma Hart,
Colin G. Johnson,
Elena Marchiori:
Applications of Evolutionary Computing, EvoWorkshop 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003, Proceedings
Springer 2003 |
| 39 | EE | Kees Jong,
Elena Marchiori,
Aad van der Vaart:
Finding clusters using support vector classifiers.
ESANN 2003: 223-228 |
| 38 | EE | Kees Jong,
Elena Marchiori,
Aad van der Vaart,
Bauke Ylstra,
Marjan Weiss,
Gerrit Meijer:
Chromosomal Breakpoint Detection in Human Cancer.
EvoWorkshops 2003: 54-65 |
| 37 | EE | Federico Divina,
Maarten Keijzer,
Elena Marchiori:
Non-universal Suffrage Selection Operators Favor Population Diversity in Genetic Algorithms.
GECCO 2003: 1574-1575 |
| 36 | EE | Federico Divina,
Maarten Keijzer,
Elena Marchiori:
A Method for Handling Numerical Attributes in GA-Based Inductive Concept Learners.
GECCO 2003: 898-908 |
| 2002 |
|---|
| 35 | EE | Elena Marchiori:
Genetic, Iterated and Multistart Local Search for the Maximum Clique Problem.
EvoWorkshops 2002: 112-121 |
| 34 | | Federico Divina,
Elena Marchiori:
Evolutionary Concept Learning.
GECCO 2002: 343-350 |
| 33 | | Jens Gottlieb,
Elena Marchiori,
Claudio Rossi:
Evolutionary Algorithms for the Satisfiability Problem.
Evolutionary Computation 10(1): 35-50 (2002) |
| 2000 |
|---|
| 32 | | Elena Marchiori,
Adri G. Steenbeek:
An Evolutionary Algorithm for Large Scale Set Covering Problems with Application to Airline Crew Scheduling.
EvoWorkshops 2000: 367-381 |
| 31 | | Bart G. W. Craenen,
A. E. Eiben,
Elena Marchiori,
Adri G. Steenbeek:
Combining Local Search and Fitness Function Adaptation in a GA for Solving Binary Constraint Satisfaction Problems.
GECCO 2000: 381 |
| 30 | | Elena Marchiori,
Adri G. Steenbeek:
A Genetic Local Search Algorithm for Random Binary Constraint Satisfaction Problems.
SAC (1) 2000: 458-462 |
| 29 | | Claudio Rossi,
Elena Marchiori,
Joost N. Kok:
An Adaptive Evolutionary Algorithm for the Satisfiability Problem.
SAC (1) 2000: 463-469 |
| 1999 |
|---|
| 28 | EE | Walter A. Kosters,
Elena Marchiori,
Ard A. J. Oerlemans:
Mining Clusters with Association Rules.
IDA 1999: 39-50 |
| 27 | | Elena Marchiori,
Frank Teusink:
Termination of Logic Programs with Delay Declarations.
J. Log. Program. 39(1-3): 95-124 (1999) |
| 26 | EE | Elena Marchiori:
Design of Abstract Domains Using First-Order Logic.
Theor. Comput. Sci. 222(1-2): 153-179 (1999) |
| 1998 |
|---|
| 25 | | Elena Marchiori,
Adri G. Steenbeek:
An Iterated Heuristic Algorithm for the Set Covering Problem.
Algorithm Engineering 1998: 155-166 |
| 24 | EE | A. E. Eiben,
Jano I. van Hemert,
Elena Marchiori,
Adri G. Steenbeek:
Solving Binary Constraint Satisfaction Problems Using Evolutionary Algorithms with an Adaptive Fitness Function.
PPSN 1998: 201-210 |
| 23 | EE | Elena Marchiori:
A simple heuristic based genetic algorithm for the maximum clique problem.
SAC 1998: 366-373 |
| 1997 |
|---|
| 22 | | Elena Marchiori:
Combining Constraint Processing and Genetic Algorithms for Constraint Satisfaction Problems.
ICGA 1997: 330-337 |
| 21 | | Annalisa Bossi,
Dennis Dams,
Gilberto Filé,
Elena Marchiori:
Verification, Model Checking and Abstract Interpretation (Workshop Overview).
ILPS 1997: 421-422 |
| 20 | EE | Sandro Etalle,
Maurizio Gabbrielli,
Elena Marchiori:
A Transformation System for CLP with Dynamic Scheduling and CCP.
PEPM 1997: 137-150 |
| 19 | EE | Frank S. de Boer,
Maurizio Gabbrielli,
Elena Marchiori,
Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct.
ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997) |
| 18 | EE | Elena Marchiori,
Massimo Marchiori,
Joost N. Kok:
A Novel Search Technique for Solving Over-Constrained Problems.
International Journal on Artificial Intelligence Tools 6(4): 587-611 (1997) |
| 1996 |
|---|
| 17 | | Elena Marchiori:
Prime Factorizations of Abstract Domains Using First Order Logic.
ALP 1996: 209-223 |
| 16 | | Elena Marchiori,
Massimo Marchiori,
Joost N. Kok:
Forward-Tracking: A Technique for Searching Beyond Failure.
ICTAI 1996: 324-331 |
| 15 | EE | Elena Marchiori:
Practical Methods for Proving Termination of General Logic Programs
CoRR cs.AI/9604102: (1996) |
| 14 | | Elena Marchiori:
Practical Methods for Proving Termination of General Logic Programs.
J. Artif. Intell. Res. (JAIR) 4: 179-208 (1996) |
| 13 | | Elena Marchiori:
On Termination of General Logic Programs w.r.t. Constructive Negation.
J. Log. Program. 26(1): 69-89 (1996) |
| 1995 |
|---|
| 12 | | Livio Colussi,
Elena Marchiori,
Massimo Marchiori:
On Termination of Constraint Logic Programs.
CP 1995: 431-448 |
| 11 | | Livio Colussi,
Elena Marchiori,
Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs.
GULP-PRODE 1995: 557-568 |
| 10 | | Elena Marchiori:
A Methodology for Proving Termination of General Logic Programs.
IJCAI 1995: 356-361 |
| 9 | | Elena Marchiori,
Frank Teusink:
Proving Termination of Logic Programs with Delay Declarations.
ILPS 1995: 447-461 |
| 8 | | Livio Colussi,
Elena Marchiori,
Massimo Marchiori:
A Dataflow Semantics for Constraint Logic Programs
PLILP 1995: 431-448 |
| 1994 |
|---|
| 7 | | Elena Marchiori:
A Logic for Variable Aliasing in Logic Programs.
ALP 1994: 287-304 |
| 6 | | Frank S. de Boer,
Maurizio Gabbrielli,
Elena Marchiori,
Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct.
POPL 1994: 98-108 |
| 5 | | Krzysztof R. Apt,
Elena Marchiori,
Catuscia Palamidessi:
A Declarative Approach for First-Order Built-in's of Prolog.
Appl. Algebra Eng. Commun. Comput. 5: 159-191 (1994) |
| 4 | | Krzysztof R. Apt,
Elena Marchiori:
Reasoning About Prolog Programs: From Modes Through Types to Assertions.
Formal Asp. Comput. 6(6A): 743-765 (1994) |
| 1992 |
|---|
| 3 | | Krzysztof R. Apt,
Elena Marchiori,
Catuscia Palamidessi:
A Theory of First-Order Built-in's of Prolog.
ALP 1992: 69-83 |
| 2 | | Livio Colussi,
Elena Marchiori:
A Predicate Transformer for Unification.
JICSLP 1992: 67-81 |
| 1991 |
|---|
| 1 | | Livio Colussi,
Elena Marchiori:
Proving Correctness of Logic Programs Using Axiomatic Semantics.
ICLP 1991: 629-642 |
