Search the dblp DataBase
Elena Marchiori :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Livio Colussi , Elena Marchiori , Massimo Marchiori A Dataflow Semantics for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:557-568 [Conf ] Krzysztof R. Apt , Elena Marchiori , Catuscia Palamidessi A Theory of First-Order Built-in's of Prolog. [Citation Graph (0, 0)][DBLP ] ALP, 1992, pp:69-83 [Conf ] Elena Marchiori A Logic for Variable Aliasing in Logic Programs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:287-304 [Conf ] Elena Marchiori Prime Factorizations of Abstract Domains Using First Order Logic. [Citation Graph (0, 0)][DBLP ] ALP, 1996, pp:209-223 [Conf ] Elena Marchiori , Niels H. H. Heegaard , Connie R. Jimenez , Mikkel West-Nielsen Feature Selection for Classification with Proteomic Data of Mixed Quality. [Citation Graph (0, 0)][DBLP ] CIBCB, 2005, pp:385-391 [Conf ] Livio Colussi , Elena Marchiori , Massimo Marchiori On Termination of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:431-448 [Conf ] Kees Jong , Elena Marchiori , Aad van der Vaart Finding clusters using support vector classifiers. [Citation Graph (0, 0)][DBLP ] ESANN, 2003, pp:223-228 [Conf ] Kees Jong , Elena Marchiori , Aad van der Vaart Analysis of Proteomic Pattern Data for Cancer Detection. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2004, pp:41-51 [Conf ] Kees Jong , Elena Marchiori , Aad van der Vaart , Bauke Ylstra , Marjan Weiss , Gerrit Meijer Chromosomal Breakpoint Detection in Human Cancer. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2003, pp:54-65 [Conf ] Elena Marchiori Genetic, Iterated and Multistart Local Search for the Maximum Clique Problem. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2002, pp:112-121 [Conf ] Elena Marchiori , Connie R. Jimenez , Mikkel West-Nielsen , Niels H. H. Heegaard Robust SVM-Based Biomarker Selection with Noisy Mass Spectrometric Proteomic Data. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2006, pp:79-90 [Conf ] Elena Marchiori , Adri G. Steenbeek An Evolutionary Algorithm for Large Scale Set Covering Problems with Application to Airline Crew Scheduling. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2000, pp:367-381 [Conf ] Elena Marchiori , Michèle Sebag Bayesian Learning with Local Support Vector Machines for Cancer Classification with Gene Expression Data. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2005, pp:74-83 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] GECCO, 2000, pp:381- [Conf ] Federico Divina , Maarten Keijzer , Elena Marchiori A Method for Handling Numerical Attributes in GA-Based Inductive Concept Learners. [Citation Graph (0, 0)][DBLP ] GECCO, 2003, pp:898-908 [Conf ] Federico Divina , Maarten Keijzer , Elena Marchiori Non-universal Suffrage Selection Operators Favor Population Diversity in Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] GECCO, 2003, pp:1574-1575 [Conf ] Federico Divina , Elena Marchiori Evolutionary Concept Learning. [Citation Graph (0, 0)][DBLP ] GECCO, 2002, pp:343-350 [Conf ] Jan Peter Patist , Wojtek Kowalczyk , Elena Marchiori Maintaining Gaussian Mixture Models of Data Streams Under Block Evolution. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (1), 2006, pp:1071-1074 [Conf ] Elena Marchiori Combining Constraint Processing and Genetic Algorithms for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] ICGA, 1997, pp:330-337 [Conf ] Livio Colussi , Elena Marchiori A Predicate Transformer for Unification. [Citation Graph (0, 0)][DBLP ] JICSLP, 1992, pp:67-81 [Conf ] Livio Colussi , Elena Marchiori Proving Correctness of Logic Programs Using Axiomatic Semantics. [Citation Graph (0, 0)][DBLP ] ICLP, 1991, pp:629-642 [Conf ] Elena Marchiori , Massimo Marchiori , Joost N. Kok Forward-Tracking: A Technique for Searching Beyond Failure. [Citation Graph (0, 0)][DBLP ] ICTAI, 1996, pp:324-331 [Conf ] Walter A. Kosters , Elena Marchiori , Ard A. J. Oerlemans Mining Clusters with Association Rules. [Citation Graph (0, 0)][DBLP ] IDA, 1999, pp:39-50 [Conf ] Elena Marchiori A Methodology for Proving Termination of General Logic Programs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:356-361 [Conf ] Sandro Etalle , Maurizio Gabbrielli , Elena Marchiori A Transformation System for CLP with Dynamic Scheduling and CCP. [Citation Graph (0, 0)][DBLP ] PEPM, 1997, pp:137-150 [Conf ] Kees Jong , Jérémie Mary , Antoine Cornuéjols , Elena Marchiori , Michèle Sebag Ensemble Feature Ranking. [Citation Graph (0, 0)][DBLP ] PKDD, 2004, pp:267-278 [Conf ] Livio Colussi , Elena Marchiori , Massimo Marchiori A Dataflow Semantics for Constraint Logic Programs [Citation Graph (0, 0)][DBLP ] PLILP, 1995, pp:431-448 [Conf ] Frank S. de Boer , Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi Proving Concurrent Constraint Programs Correct. [Citation Graph (0, 0)][DBLP ] POPL, 1994, pp:98-108 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PPSN, 1998, pp:201-210 [Conf ] A. E. Eiben , Elena Marchiori , V. A. Valkó Evolutionary Algorithms with On-the-Fly Population Size Adjustment. [Citation Graph (0, 0)][DBLP ] PPSN, 2004, pp:41-50 [Conf ] Kees Jong , Elena Marchiori , Michèle Sebag Ensemble Learning with Evolutionary Computation: Application to Feature Ranking. [Citation Graph (0, 0)][DBLP ] PPSN, 2004, pp:1133-1142 [Conf ] Elena Marchiori A simple heuristic based genetic algorithm for the maximum clique problem. [Citation Graph (0, 0)][DBLP ] SAC, 1998, pp:366-373 [Conf ] Elena Marchiori , Adri G. Steenbeek A Genetic Local Search Algorithm for Random Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] SAC (1), 2000, pp:458-462 [Conf ] Claudio Rossi , Elena Marchiori , Joost N. Kok An Adaptive Evolutionary Algorithm for the Satisfiability Problem. [Citation Graph (0, 0)][DBLP ] SAC (1), 2000, pp:463-469 [Conf ] Annalisa Bossi , Dennis Dams , Gilberto Filé , Elena Marchiori Verification, Model Checking and Abstract Interpretation (Workshop Overview). [Citation Graph (0, 0)][DBLP ] ILPS, 1997, pp:421-422 [Conf ] Elena Marchiori , Frank Teusink Proving Termination of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:447-461 [Conf ] Elena Marchiori , Adri G. Steenbeek An Iterated Heuristic Algorithm for the Set Covering Problem. [Citation Graph (0, 0)][DBLP ] Algorithm Engineering, 1998, pp:155-166 [Conf ] Krzysztof R. Apt , Elena Marchiori , Catuscia Palamidessi A Declarative Approach for First-Order Built-in's of Prolog. [Citation Graph (0, 0)][DBLP ] Appl. Algebra Eng. Commun. Comput., 1994, v:5, n:, pp:159-191 [Journal ] Kees Jong , Elena Marchiori , Gerrit Meijer , Aad van der Vaart , Bauke Ylstra Breakpoint identification and smoothing of array comparative genomic hybridization data. [Citation Graph (0, 0)][DBLP ] Bioinformatics, 2004, v:20, n:18, pp:3636-3637 [Journal ] Elena Marchiori Practical Methods for Proving Termination of General Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 1996, v:0, n:, pp:- [Journal ] Jens Gottlieb , Elena Marchiori , Claudio Rossi Evolutionary Algorithms for the Satisfiability Problem. [Citation Graph (0, 0)][DBLP ] Evolutionary Computation, 2002, v:10, n:1, pp:35-50 [Journal ] Krzysztof R. Apt , Elena Marchiori Reasoning About Prolog Programs: From Modes Through Types to Assertions. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:6A, pp:743-765 [Journal ] Elena Marchiori , Massimo Marchiori , Joost N. Kok A Novel Search Technique for Solving Over-Constrained Problems. [Citation Graph (0, 0)][DBLP ] International Journal on Artificial Intelligence Tools, 1997, v:6, n:4, pp:587-611 [Journal ] Elena Marchiori Practical Methods for Proving Termination of General Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Artif. Intell. Res. (JAIR), 1996, v:4, n:, pp:179-208 [Journal ] Elena Marchiori On Termination of General Logic Programs w.r.t. Constructive Negation. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1996, v:26, n:1, pp:69-89 [Journal ] Elena Marchiori , Frank Teusink Termination of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:39, n:1-3, pp:95-124 [Journal ] Elena Marchiori Design of Abstract Domains Using First-Order Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:222, n:1-2, pp:153-179 [Journal ] Federico Divina , Elena Marchiori Handling continuous attributes in an evolutionary inductive learner. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Evolutionary Computation, 2005, v:9, n:1, pp:31-43 [Journal ] Frank S. de Boer , Maurizio Gabbrielli , Elena Marchiori , Catuscia Palamidessi Proving Concurrent Constraint Programs Correct. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1997, v:19, n:5, pp:685-725 [Journal ] Marius C. Codrea , Connie R. Jimenez , Jaap Heringa , Elena Marchiori Tools for computational processing of LC-MS datasets: A user's perspective. [Citation Graph (0, 0)][DBLP ] Computer Methods and Programs in Biomedicine, 2007, v:86, n:3, pp:281-290 [Journal ] Marius C. Codrea , Connie R. Jimenez , Sander Piersma , Jaap Heringa , Elena Marchiori Robust Peak Detection and Alignment of nanoLC-FT Mass Spectrometry Data. [Citation Graph (0, 0)][DBLP ] EvoBIO, 2007, pp:35-46 [Conf ] Divide, Align and Full-Search for Discovering Conserved Protein Complexes. [Citation Graph (, )][DBLP ] Clustering Metagenome Short Reads Using Weighted Proteins. [Citation Graph (, )][DBLP ] Improving Multi-Relief for Detecting Specificity Residues from Multiple Sequence Alignments. [Citation Graph (, )][DBLP ] A Feature Selection Algorithm for Detecting Subtype Specific Functional Sites from Protein Sequences for Smad Receptor Binding. [Citation Graph (, )][DBLP ] Graph-Based Discrete Differential Geometry for Critical Instance Filtering. [Citation Graph (, )][DBLP ] A systematic methodology to use LEGO bricks in web communication design. [Citation Graph (, )][DBLP ] Dividing Protein Interaction Networks by Growing Orthologous Articulations. [Citation Graph (, )][DBLP ] Evidence-Based Clustering of Reads and Taxonomic Analysis of Metagenomic Data. [Citation Graph (, )][DBLP ] From Paradigmatic to Syntagmatic Communities: A Socio-Semiotic Approach to the Evolution Pattern of Online Travel Communities. [Citation Graph (, )][DBLP ] Applying a Conceptual Framework to Analyze Online Reputation of Tourism Destinations. [Citation Graph (, )][DBLP ] Multi-RELIEF: a method to recognize specificity determining residues from multiple sequence alignments using a Machine-Learning approach for feature weighting. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.013secs