The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Elena Marchiori: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Elena Marchiori
    A Logic for Variable Aliasing in Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:287-304 [Conf]
  4. Elena Marchiori
    Prime Factorizations of Abstract Domains Using First Order Logic. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:209-223 [Conf]
  5. 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]
  6. Livio Colussi, Elena Marchiori, Massimo Marchiori
    On Termination of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:431-448 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Elena Marchiori
    Genetic, Iterated and Multistart Local Search for the Maximum Clique Problem. [Citation Graph (0, 0)][DBLP]
    EvoWorkshops, 2002, pp:112-121 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Federico Divina, Elena Marchiori
    Evolutionary Concept Learning. [Citation Graph (0, 0)][DBLP]
    GECCO, 2002, pp:343-350 [Conf]
  18. 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]
  19. Elena Marchiori
    Combining Constraint Processing and Genetic Algorithms for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    ICGA, 1997, pp:330-337 [Conf]
  20. Livio Colussi, Elena Marchiori
    A Predicate Transformer for Unification. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:67-81 [Conf]
  21. Livio Colussi, Elena Marchiori
    Proving Correctness of Logic Programs Using Axiomatic Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:629-642 [Conf]
  22. 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]
  23. 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]
  24. Elena Marchiori
    A Methodology for Proving Termination of General Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:356-361 [Conf]
  25. 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]
  26. 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]
  27. Livio Colussi, Elena Marchiori, Massimo Marchiori
    A Dataflow Semantics for Constraint Logic Programs [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:431-448 [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. Elena Marchiori
    A simple heuristic based genetic algorithm for the maximum clique problem. [Citation Graph (0, 0)][DBLP]
    SAC, 1998, pp:366-373 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. Elena Marchiori, Frank Teusink
    Proving Termination of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:447-461 [Conf]
  37. 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]
  38. 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]
  39. 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]
  40. Elena Marchiori
    Practical Methods for Proving Termination of General Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 1996, v:0, n:, pp:- [Journal]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]

  52. Divide, Align and Full-Search for Discovering Conserved Protein Complexes. [Citation Graph (, )][DBLP]


  53. Clustering Metagenome Short Reads Using Weighted Proteins. [Citation Graph (, )][DBLP]


  54. Improving Multi-Relief for Detecting Specificity Residues from Multiple Sequence Alignments. [Citation Graph (, )][DBLP]


  55. A Feature Selection Algorithm for Detecting Subtype Specific Functional Sites from Protein Sequences for Smad Receptor Binding. [Citation Graph (, )][DBLP]


  56. Graph-Based Discrete Differential Geometry for Critical Instance Filtering. [Citation Graph (, )][DBLP]


  57. A systematic methodology to use LEGO bricks in web communication design. [Citation Graph (, )][DBLP]


  58. Dividing Protein Interaction Networks by Growing Orthologous Articulations. [Citation Graph (, )][DBLP]


  59. Evidence-Based Clustering of Reads and Taxonomic Analysis of Metagenomic Data. [Citation Graph (, )][DBLP]


  60. From Paradigmatic to Syntagmatic Communities: A Socio-Semiotic Approach to the Evolution Pattern of Online Travel Communities. [Citation Graph (, )][DBLP]


  61. Applying a Conceptual Framework to Analyze Online Reputation of Tourism Destinations. [Citation Graph (, )][DBLP]


  62. 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.006secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002