dblp.uni-trier.dewww.uni-trier.de

Andrea Schaerf Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
58EEMaria J. Blesa, Christian Blum, Luca Di Gaspero, Andrea Roli, Michael Sampels, Andrea Schaerf: Hybrid Metaheuristics, 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings Springer 2009
57EESara Ceschia, Andrea Schaerf: Multi-neighborhood Local Search for the Patient Admission Problem. Hybrid Metaheuristics 2009: 156-170
2008
56EELuca Di Gaspero, Andrea Schaerf: Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem. Hybrid Metaheuristics 2008: 146-157
2007
55EELuca Di Gaspero, Giacomo di Tollo, Andrea Roli, Andrea Schaerf: Hybrid Local Search for Constrained Financial Portfolio Selection Problems. CPAIOR 2007: 44-58
54EEIgor Pesek, Andrea Schaerf, Janez Zerovnik: Hybrid Local Search Techniques for the Resource-Constrained Project Scheduling Problem. Hybrid Metaheuristics 2007: 57-68
53EELuca Di Gaspero, Andrea Schaerf: EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms. SLS 2007: 177-181
52EELuca Di Gaspero, Andrea Roli, Andrea Schaerf: EasyAnalyzer: An Object-Oriented Framework for the Experimental Analysis of Stochastic Local Search Algorithms. SLS 2007: 76-90
51EELuca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany: The minimum shift design problem. Annals OR 155(1): 79-105 (2007)
50EELuca Di Gaspero, Andrea Schaerf: A composite-neighborhood tabu search approach to the traveling tournament problem. J. Heuristics 13(2): 189-207 (2007)
2006
49 Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf: A Study on the Short-Term Prohibition Mechanisms in Tabu Search. ECAI 2006: 83-87
48EEAndrea Schaerf, Luca Di Gaspero: Measurability and Reproducibility in University Timetabling Research: Discussion and Proposals. PATAT 2006: 40-49
2005
47EEMarco Cadoli, Andrea Schaerf: : Compiling problem specifications into SAT. Artif. Intell. 162(1-2): 89-120 (2005)
2004
46EENysret Musliu, Andrea Schaerf, Wolfgang Slany: Local search for shift design. European Journal of Operational Research 153(1): 51-64 (2004)
45 Luca Di Gaspero, Andrea Schaerf: The course timetabling problem: theory and practice. Intelligenza Artificiale 1(3): 47-54 (2004)
2003
44EELuca Di Gaspero, Johannes Gärtner, Guy Kortsarz, Nysret Musliu, Andrea Schaerf, Wolfgang Slany: The Minimum Shift Design Problem: Theory and Practice. ESA 2003: 593-604
43 Amnon Meisels, Andrea Schaerf: Modelling and Solving Employee Timetabling Problems. Ann. Math. Artif. Intell. 39(1-2): 41-59 (2003)
42 Luca Di Gaspero, Andrea Schaerf: EasyLocal++: an object-oriented framework for the flexible design of local-search algorithms. Softw., Pract. Exper. 33(8): 733-765 (2003)
2002
41EELuca Di Gaspero, Andrea Schaerf: Multi-neighbourhood Local Search with Application to Course Timetabling. PATAT 2002: 262-275
2001
40EEMarco Cadoli, Andrea Schaerf: Compiling Problem Specifications into SAT. ESOP 2001: 387-401
39EEAndrea Schaerf: Local Search Techniques for Constrained Portfolio Selection Problems CoRR cs.CE/0104017: (2001)
2000
38EELuca Di Gaspero, Andrea Schaerf: Tabu Search Techniques for Examination Timetabling. PATAT 2000: 104-117
37EEKrzysztof R. Apt, Andrea Schaerf: Programming in Alma-0, or Imperative and Declarative Programming Reconciled CoRR cs.LO/0004002: (2000)
36 Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile: NP-SPEC: an executable specification language for solving all problems in NP. Comput. Lang. 26(2-4): 165-195 (2000)
35 Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini: LOCAL++: A C++ framework for local search algorithms. Softw., Pract. Exper. 30(3): 233-257 (2000)
1999
34EEAndrea Schaerf, Amnon Meisels: Solving Employee Timetabling Problems by Generalized Local Search. AI*IA 1999: 380-389
33EEKrzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. Correct System Design 1999: 89-113
32EEMarco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile: NP-SPEC: An Executable Specification Language for Solving All Problems in NP. PADL 1999: 16-30
31EEAndrea Schaerf, Maurizio Lenzerini, Marco Cadoli: LOCAL++: A C++ Framework for Local Search Algorithms. TOOLS (29) 1999: 152-161
30 Andrea Schaerf: A Survey of Automated Timetabling. Artif. Intell. Rev. 13(2): 87-127 (1999)
29EEKrzysztof R. Apt, Andrea Schaerf: The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming CoRR cs.LO/9907027: (1999)
28 Andrea Schaerf: Scheduling Sport Tournaments using Constraint Logic Programming. Constraints 4(1): 43-65 (1999)
27 Andrea Schaerf: Local search techniques for large high school timetabling problems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 29(4): 368-377 (1999)
1998
26EEKrzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf: Alma-O: An Imperative Language That Supports Declarative Programming. ACM Trans. Program. Lang. Syst. 20(5): 1014-1066 (1998)
25EEFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998)
24EEMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99(2): 209-260 (1998)
23 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3): 227-252 (1998)
1997
22 Andrea Schaerf: Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems. IJCAI 1997: 1254-1259
21EEKrzysztof R. Apt, Andrea Schaerf: Search and Imperative Programming. POPL 1997: 67-79
1996
20 Andrea Schaerf: Tabu Search Techniques for Large High-School Timetabling Problems. AAAI/IAAI, Vol. 1 1996: 363-368
19 Andrea Schaerf: Scheduling Sport Tournaments using Constraint Logic Programming. ECAI 1996: 634-638
1995
18EEAndrea Schaerf, Yoav Shoham, Moshe Tennenholtz: Adaptive Load Balancing: A Study in Multi-Agent Learning CoRR cs.AI/9505102: (1995)
17 Andrea Schaerf, Yoav Shoham, Moshe Tennenholtz: Adaptive Load Balancing: A Study in Multi-Agent Learning. J. Artif. Intell. Res. (JAIR) 2: 475-500 (1995)
1994
16 Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf: Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994: 199-204
15EEMartin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf: Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994
14 Andrea Schaerf: Reasoning with Individuals in Concept Languages. Data Knowl. Eng. 13(2): 141-176 (1994)
13 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: Deduction in Concept Languages: From Subsumption to Instance Checking. J. Log. Comput. 4(4): 423-452 (1994)
1993
12 Andrea Schaerf: Reasoning with Individuals in Concept Languages. AI*IA 1993: 108-119
11 Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI 1993: 704-709
10EEAndrea Schaerf: On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. ISMIS 1993: 508-517
9EEMartin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems CoRR cs.AI/9312101: (1993)
8 Martin Buchheit, Francesco M. Donini, Andrea Schaerf: Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. (JAIR) 1: 109-138 (1993)
7 Andrea Schaerf: On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. J. Intell. Inf. Syst. 2(3): 265-278 (1993)
1992
6 Andrea Schaerf: On the Role of Subsumption Algorithms in Concept Description Languages. Description Logics 1992: 86-97
5 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf: Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 113-132
4 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992: 342-353
1991
3 Maurizio Lenzerini, Andrea Schaerf: Concept Languages as Query Languages. AAAI 1991: 471-476
2 Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf: A Hybrid System with Datalog and Concept Languages. AI*IA 1991: 88-97
1 Maurizio Lenzerini, Andrea Schaerf: Querying Concept-based Knowledge Bases. PDK 1991: 107-123

Coauthor Index

1Krzysztof R. Apt [21] [26] [29] [33] [37]
2Maria J. Blesa (María J. Blesa Aguilera) [58]
3Christian Blum [58]
4Jacob Brunekreef [26]
5Martin Buchheit [8] [9] [11] [15] [16] [24]
6Marco Cadoli [31] [32] [35] [36] [40] [47]
7Sara Ceschia [57]
8Marco Chiarandini [49]
9Francesco M. Donini [2] [4] [5] [8] [9] [11] [13] [15] [16] [23] [24] [25]
10Johannes Gärtner [44] [51]
11Luca Di Gaspero [38] [41] [42] [44] [45] [48] [49] [50] [51] [52] [53] [55] [56] [58]
12Giovambattista Ianni [36]
13Guy Kortsarz [44] [51]
14Maurizio Lenzerini [1] [2] [3] [4] [5] [13] [23] [25] [31] [35]
15Amnon Meisels [34] [43]
16Nysret Musliu [44] [46] [51]
17Daniele Nardi [2] [4] [5] [13] [23] [25]
18Werner Nutt [4] [5] [15] [16] [24] [25]
19Luigi Palopoli [32] [36]
20Vincent Partington [26]
21Igor Pesek [54]
22Andrea Roli [52] [55] [58]
23Michael Sampels [58]
24Yoav Shoham [17] [18]
25Wolfgang Slany [44] [46] [51]
26Moshe Tennenholtz [17] [18]
27Giacomo di Tollo [55]
28Domenico Vasile [32] [36]
29Janez Zerovnik [54]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)