Luigi Palopoli

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian: Timed-automata based schedulability analysis for distributed firm real-time systems: a case study. STTT 15(3): 211-228 (2013)

Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli: Discovering Characterizations of the Behavior of Anomalous Subpopulations. IEEE Trans. Knowl. Data Eng. 25(6): 1280-1292 (2013)

Daniele Fontanelli, Luigi Palopoli, Luca Greco: Optimal CPU allocation to a set of control tasks with soft real-time execution constraints. HSCC 2013: 233-242

Luigi Palopoli: Editorʼs foreword. J. Comput. Syst. Sci. 78(1): 1 (2012)

Luca Abeni, Nicola Manica, Luigi Palopoli: Efficient and robust probabilistic guarantees for real-time tasks. Journal of Systems and Software 85(5): 1147-1156 (2012)

Tommaso Cucinotta, Fabio Checconi, Luca Abeni, Luigi Palopoli: Adaptive real-time scheduling for legacy multimedia applications. ACM Trans. Embedded Comput. Syst. 11(4): 86 (2012)

Gianluigi Greco, Enrico Malizia, Francesco Scarcello, Luigi Palopoli: Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. ECAI 2012: 372-377

Luigi Palopoli, Daniele Fontanelli, Nicola Manica, Luca Abeni: An Analytical Bound for Probabilistic Deadlines. ECRTS 2012: 179-188

Daniele Fontanelli, Luigi Palopoli, Tizar Rizano: High speed robotics with low cost hardware. ETFA 2012: 1-8

Nicola Manica, Luigi Palopoli, Luca Abeni: Numerically efficient probabilistic guarantees for resource reservations. ETFA 2012: 1-8

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the complexity of core, kernel, and bargaining set. Artif. Intell. 175(12-13): 1877-1910 (2011)

Sergio Greco, Nicola Leone, Luigi Palopoli, Pasquale Rullo, Domenico Saccà: A long tour from theory to practice. Intelligenza Artificiale 5(1): 133-138 (2011)

Valeria Fionda, Luigi Palopoli: Biological Network Querying Techniques: Analysis and Comparison. Journal of Computational Biology 18(4): 595-625 (2011)

Nicola Ferraro, Luigi Palopoli, Simona Panni, Simona E. Rombo: Asymmetric Comparison and Querying of Biological Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 8(4): 876-889 (2011)

Tommaso Cucinotta, Luca Abeni, Luigi Palopoli, Giuseppe Lipari: A Robust Mechanism for Adaptive Scheduling of Multimedia Applications. ACM Trans. Embedded Comput. Syst. 10(4): 46 (2011)

Luigi Palopoli, Roberto Passerone, Tizar Rizano: Scalable Offline Optimization of Industrial Wireless Sensor Networks. IEEE Trans. Industrial Informatics 7(2): 328-339 (2011)

Paolo Pivato, Luigi Palopoli, Dario Petri: Accuracy of RSS-Based Centroid Localization Algorithms in an Indoor Environment. IEEE T. Instrumentation and Measurement 60(10): 3451-3460 (2011)

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of the Core over Coalition Structures. IJCAI 2011: 216-221

Daniele Fontanelli, Luigi Palopoli, Luca Greco: Deterministic and Stochastic QoS Provision for Real-Time Control Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 103-112

Tizar Rizano, Roberto Passerone, David Macii, Luigi Palopoli: Model-based design of embedded control software for hybrid vehicles. SIES 2011: 75-78

Giancarlo Fortino, Alfredo Garro, Luigi Palopoli, Wilma Russo, Giandomenico Spezzano (Eds.): Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011. CEUR Workshop Proceedings 741, CEUR-WS.org 2011

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Tractable Strong Outlier Identification. CoRR abs/1109.4623 (2011)

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier detection for simple default theories. Artif. Intell. 174(15): 1247-1253 (2010)

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Detecting and repairing anomalous evolutions in noisy environments - Logic programming formalization and complexity results. Ann. Math. Artif. Intell. 60(3-4): 179-228 (2010)

Francesco Bruno, Luigi Palopoli, Simona E. Rombo: New Trends in Graph Mining: Structural and Node-Colored Network Motifs. IJKDB 1(1): 81-99 (2010)

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints. J. Artif. Intell. Res. (JAIR) 38: 633-685 (2010)

Tommaso Cucinotta, Luigi Palopoli: QoS Control for Pipelines of Tasks Using Multiple Resources. IEEE Trans. Computers 59(3): 416-430 (2010)

Tommaso Cucinotta, Luigi Palopoli, Luca Abeni, Dario Faggioli, Giuseppe Lipari: On the Integration of Application Level and Resource Level QoS Control for Real-time Applications. IEEE Trans. Industrial Informatics 6(4): 479-491 (2010)

Andrea Quagli, Daniele Fontanelli, Luca Greco, Luigi Palopoli, Antonio Bicchi: Design of Embedded Controllers Based on Anytime Computing. IEEE Trans. Industrial Informatics 6(4): 492-502 (2010)

Fabio Fassetti, Luigi Palopoli: On the complexity of identifying head-elementary-set-free programs. TPLP 10(1): 113-123 (2010)

Daniele Fontanelli, Luca Greco, Luigi Palopoli: Adaptive reservations for feedback control. CDC 2010: 4236-4243

Fabio Fassetti, Ofelia Leone, Luigi Palopoli, Simona E. Rombo, Adolfo Saiardi: IP6K Gene Discovery in Plant mtDNA. CIBB 2010: 59-71

Thi Thieu Hoa Le, Luigi Palopoli, Roberto Passerone, Yusi Ramadian, Alessandro Cimatti: Parametric analysis of distributed firm real-time systems: A case study. ETFA 2010: 1-8

Tommaso Cucinotta, Fabio Checconi, Luca Abeni, Luigi Palopoli: Self-tuning schedulers for legacy real-time applications. EuroSys 2010: 55-68

Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli, Domenico Trimboli: Detection of Discriminating Rules. ICAART (1) 2010: 169-177

Ruslan Asaula, Daniele Fontanelli, Luigi Palopoli: Safety provisions for human/robot interactions using stochastic discrete abstractions. IROS 2010: 2175-2180

Nicola Ferraro, Luigi Palopoli, Simona Panni, Simona E. Rombo: "Master-Slave" Biological Network Alignment. ISBRA 2010: 215-229

Nicola Manica, Luca Abeni, Luigi Palopoli: Reservation-Based Interrupt Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 46-55

Nicola Ferraro, Luigi Palopoli, Simona Panni, Simona E. Rombo: Asymmetric Global Alignment of Protein-Protein Interaction Graph Databases (Extended Abstract). SEBD 2010: 334-341

Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: A technique to search for functional similarities in protein-protein interaction networks. IJDMB 3(4): 431-453 (2009)

Luigi Palopoli, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri: Improving protein secondary structure predictions by prediction fusion. Information Fusion 10(3): 217-232 (2009)

Luigi Palopoli, Tommaso Cucinotta, Luca Marzario, Giuseppe Lipari: AQuoSA - adaptive quality of service architecture. Softw., Pract. Exper. 39(1): 1-31 (2009)

Luca Abeni, Luigi Palopoli, Claudio Scordino, Giuseppe Lipari: Resource Reservations for General Purpose Applications. IEEE Trans. Industrial Informatics 5(1): 12-21 (2009)

Luca Abeni, Luigi Palopoli: Legacy Real-Time Applications in a Reservation-Based System. IEEE Trans. Industrial Informatics 5(3): 220-228 (2009)

Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli: Detecting outlying properties of exceptional objects. ACM Trans. Database Syst. 34(1) (2009)

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Constrained coalitional games: formal framework, properties, and complexity results. AAMAS (2) 2009: 1295-1296

Daniele Fontanelli, Luigi Palopoli, Roberto Passerone: On the global convergence of a class of distributed algorithms for maximizing the coverage of a WSN. CDC 2009: 7885-7890

Tommaso Cucinotta, Luca Abeni, Luigi Palopoli, Fabio Checconi: The wizard of OS: a heartbeat for Legacy multimedia applications. ESTImedia 2009: 70-79

Ruslan Asaula, Daniele Fontanelli, Luigi Palopoli: A Probabilistic Methodology for Predicting Injuries to Human Operators in Automated Production Lines. ETFA 2009: 1-8

Tommaso Cucinotta, Giuseppe Lipari, Luigi Palopoli, Luca Abeni, Rodrigo M. Santos: Multi-level Feedback Control for Quality of Service Management. ETFA 2009: 1-8

Andrea Quagli, Daniele Fontanelli, Luca Greco, Luigi Palopoli, Antonio Bicchi: Designing Real-time Embedded Controllers using the Anytime Computing Paradigm. ETFA 2009: 1-8

Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti: Solving the Wake-Up Scattering Problem Optimally. EWSN 2009: 166-182

Daniele Fontanelli, Luigi Palopoli, Roberto Passerone: Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. HSCC 2009: 180-193

Luca Miceli, Luigi Palopoli, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri: Experimental Evaluation of Protein Secondary Structure Predictors. ICCS (1) 2009: 848-857

Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of Compact Coalitional Games. IJCAI 2009: 147-152

Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: Extracting similar sub-graphs across PPI networks. ISCIS 2009: 183-188

Erika De Francesco, Giuliana Di Santo, Luigi Palopoli, Simona E. Rombo: A Summary of Genomic Databases: Overview and Discussion. Biomedical Data and Applications 2009: 37-54

Fabio Fassetti, Luigi Palopoli: On the complexity of identifying Head Elementary Set Free programs. CoRR abs/0905.3802 (2009)

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier detection using default reasoning. Artif. Intell. 172(16-17): 1837-1872 (2008)

Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: Protein-Protein Interaction Network Querying by a "Focus and Zoom" Approach. BIRD 2008: 331-346

Luigi Palopoli, Luca Abeni, Tommaso Cucinotta, Giuseppe Lipari, Sanjoy K. Baruah: Weighted feedback reclaiming for multimedia applications. ESTImedia 2008: 121-126

Luca Abeni, Luigi Palopoli: Adaptive real-time scheduling for legacy applications. ETFA 2008: 583-590

Nicola Manica, Luca Abeni, Luigi Palopoli: QoS Support in the X11 Window System. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 103-112

Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian: Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. RTSS 2008: 80-89

Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: Singling out functional similarities in graph databases. SEBD 2008: 271-278

Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli: An Unsupervised Outlier Detection Approach for Cleaning String Data Entries. SEBD 2008: 358-365

Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games. CoRR abs/0810.3136 (2008)

Pasquale De Meo, Luigi Palopoli, Giovanni Quattrone, Domenico Ursino: Combining Description Logics with synopses for inferring complex knowledge patterns from XML sources. Inf. Syst. 32(8): 1184-1224 (2007)

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Outlier detection by logic programming. ACM Trans. Comput. Log. 9(1) (2007)

Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: GRAPPIN: Bipartite GRAph Based Protein-Protein Interaction Network Similarity Search. BIBM 2007: 355-361

Tommaso Cucinotta, Luigi Palopoli: Feedback Scheduling for Pipelines of Tasks. HSCC 2007: 131-144

Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Infeasibility Certificates and the Complexity of the Core in Coalitional Games. IJCAI 2007: 1402-1407

Renato Lo Cigno, Luigi Palopoli, Alessio Colombo: Analysis of Different Scheduling Strategies in 802.11e Networks with Multi-Class Traffic. LCN 2007: 455-462

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli: The LP-OD System: Logic Programming Meets Outlier Detection. LPNMR 2007: 254-259

Luigi Palopoli, Domenico Rosaci, Domenico Ursino: Agents' roles in B2C e-commerce. AI Commun. 19(2): 95-126 (2006)

Alfredo Garro, Luigi Palopoli, Francesco Ricca: Exploiting agents in e-learning and skills management context. AI Commun. 19(2): 137-154 (2006)

Luigi Palopoli, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri: JSSPrediction: a Framework to Predict Protein Secondary Structures Using Integration. CBMS 2006: 931-935

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization and Complexity Results. IFIP AI 2006: 41-50

Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli: Un Metodo per la Scoperta di Proprietà Inattese. SEBD 2006: 321-328

Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Luigi Palopoli: Protection Techniques from Information Extraction. Web Intelligence 2006: 1029-1033

Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: A graph-based approach for extracting terminological properties from information sources with heterogeneous formats. Knowl. Inf. Syst. 8(4): 462-497 (2005)

Luca Abeni, Tommaso Cucinotta, Giuseppe Lipari, Luca Marzario, Luigi Palopoli: QoS Management Through Adaptive Reservations. Real-Time Systems 29(2-3): 131-155 (2005)

Luigi Palopoli, Claudio Pinello, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli: Maximizing the stability radius of a set of systems under real-time scheduling constraints. IEEE Trans. Automat. Contr. 50(11): 1790-1795 (2005)

G. Acati, Mario Cannataro, E. Giampà, Marco Mastratisi, Luigi Palopoli, Pasquale Rullo: A Software Platform for Services Delivery in the Public Administration. CAiSE Workshops (2) 2005: 69-81

Luigi Palopoli, Simona E. Rombo, Giorgio Terracina: Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming. ISMIS 2005: 504-513

Francesco Buccafurri, Domenico Rosaci, Giuseppe M. L. Sarnè, Luigi Palopoli: Modeling cooperation in multi-agent communities. Cognitive Systems Research 5(3): 171-190 (2004)

Luigi Palopoli, Giorgio Terracina: Coopps: a System for the Cooperative Prediction of Protein Structures. J. Bioinformatics and Computational Biology 2(3): 471-496 (2004)

Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the complexity of inducing categorical and quantitative association rules. Theor. Comput. Sci. 314(1-2): 217-249 (2004)

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Detecting Outliers via Logical Theories and Its Data Complexity. Discovery Science 2004: 101-113

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Disjunctive Logic Programming. ECAI 2004: 416-419

Michele Cirinei, Antonio Mancina, Davide Cantini, Paolo Gai, Luigi Palopoli: An Educational Open Source Real-Time Kernel for Small Embedded Control Systems. ISCIS 2004: 866-875

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Discovering Anomalies in Evidential Knowledge by Logic Programming. JELIA 2004: 578-590

Tommaso Cucinotta, Luigi Palopoli, Luca Marzario, Giuseppe Lipari, Luca Abeni: Adaptive reservations in a Linux environment. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 238-245

Pasquale Grimaldi, Simona E. Rombo, Giorgio Terracina, Luigi Palopoli: Derivazione efficiente di pattern strutturati frequenti da database di natura biologica. SEBD 2004: 106-117

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Outlier Detection by Logic Programming. CoRR cs.AI/0409019 (2004)

Luigi Palopoli, Giorgio Terracina, Domenico Ursino: A Plausibility Description Logic for Handling Information Sources with Heterogeneous Data Representation Formats. Ann. Math. Artif. Intell. 39(4): 385-430 (2003)

Luigi Palopoli, Giorgio Terracina, Domenico Ursino: Experiences using DIKE, a system for supporting cooperative information system and data warehouse design. Inf. Syst. 28(7): 835-865 (2003)

Luigi Palopoli, Giorgio Terracina, Domenico Ursino: DIKE: a system supporting the semi-automatic construction of cooperative information systems from heterogeneous databases. Softw., Pract. Exper. 33(9): 847-884 (2003)

Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: Uniform Techniques for Deriving Similarities of Objects and Subschemes in Heterogeneous Databases. IEEE Trans. Knowl. Data Eng. 15(2): 271-294 (2003)

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4(2): 149-180 (2003)

Luigi Palopoli, Giorgio Terracina: A Framework for Improving Protein Structure Predictions by Teamwork. APBC 2003: 163-171

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. Answer Set Programming 2003

Luigi Palopoli, Luca Abeni, Giuseppe Lipari: On the Application of Hybrid Control to CPU Reservations. HSCC 2003: 389-404

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. IJCAI 2003: 833-838

Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: A technique for deriving hyponymies and overlappings from database schemes. Data Knowl. Eng. 40(3): 285-314 (2002)

Luigi Palopoli, Luigi Pontieri, Giorgio Terracina, Domenico Ursino: A novel three-level architecture for large data warehouses. Journal of Systems Architecture 47(11): 937-958 (2002)

Luigi Palopoli, Giuseppe Lipari, Gerardo Lamastra, Luca Abeni, Gabriele Bolognini, Paolo Ancilotti: An object-oriented tool for simulating distributed real-time control systems. Softw., Pract. Exper. 32(9): 907-932 (2002)

Luigi Palopoli, Giorgio Terracina: Discovering Frequent Structured Patterns from String Databases: An Application to Biological Sequences. Discovery Science 2002: 34-46

Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi: Synthesis of Robust Control Systems under Resource Constraints. HSCC 2002: 337-350

Luigi Palopoli, Giorgio Terracina, Domenico Ursino: A Plausibility Description Logics for Reasoning with Information Sources Having Different Formats and Structures. ISMIS 2002: 46-54

Alfredo Garro, Luigi Palopoli: An XML Multi-agent System for E-learning and Skill Management. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 283-294

Luca Abeni, Luigi Palopoli, Giuseppe Lipari, Jonathan Walpole: Analysis of a Reservation-Based Feedback Scheduler. RTSS 2002: 71-80

Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: Modeling Web-search scenarios exploiting user and source profiles. AI Commun. 14(4): 215-230 (2001)

Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: Supporting User-Profiled Semantic Web-Oriented Search. CIA 2001: 26-31

Luigi Palopoli, Giorgio Terracina, Domenico Ursino: A Graph-Based Approach For Extracting Terminological Properties of Elements of XML Documents. ICDE 2001: 330-337

Fabio Conticelli, Luigi Palopoli: Discrete-Time Multirate Stabilization of Chained Form Systems: Convergence, Robustness, and Performance. ICRA 2001: 1463-1468

Luigi Palopoli, Giuseppe Lipari, Luca Abeni, Marco Di Natale, Paolo Ancilotti, Fabio Conticelli: A Tool for Simulation and Fast Prototyping of Embedded Control Systems. LCTES/OM 2001: 73-81

Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: Un modello concettuale per rappresentare e derivare la semantica associata a sorgenti informative strutturate e semi-strutturate. SEBD 2001: 131-145

Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the Complexity of Mining Association Rules. SEBD 2001: 177-184

Francesco Buccafurri, Luigi Palopoli, Domenico Rosaci, Giuseppe M. L. Sarnè: A System Implementing Cooperation in Multi-Agent Networks. WOA 2001: 20-23

Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the complexity of inducing categorical and quantitative association rules. CoRR cs.CC/0111009 (2001)

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems. CoRR cs.DB/0106012 (2001)

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)

Luigi Palopoli, Luigi Pontieri, Giorgio Terracina, Domenico Ursino: Intensional and extensional integration and abstraction of heterogeneous databases. Data Knowl. Eng. 35(3): 201-237 (2000)

Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker: More on tractable disjunctive Datalog. J. Log. Program. 46(1-2): 61-101 (2000)

Luigi Palopoli, Giorgio Terracina, Domenico Ursino: The System DIKE: Towards the Semi-Automatic Synthesis of Cooperative Information Systems and Data Warehouses. ADBIS-DASFAA Symposium 2000: 108-117

Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: Semi-automatic Extraction of Hyponymies and Overlappings from Heterogeneous Database Schemes. DEXA 2000: 614-623

Luca Abeni, Luigi Palopoli, Giorgio C. Buttazzo: On adaptive control techniques in real-time resource allocation. ECRTS 2000: 129-136

Silvana Castano, Luigi Palopoli, Riccardo Torlone: A General Methodological Framework for the Development of Web-Based Information Systems. ER (Workshops) 2000: 128-139

Luigi Palopoli, Fabio Conticelli, Benedetto Allotta: Multi-Level Stabilizing Control of an Nonholonomic Vehicle and Its Discrete-Time Multirate Implementation. ICRA 2000: 1830-1835

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems. PODS 2000: 237-244

Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, Giorgio C. Buttazzo: Real-Time control system analysis: an integrated approach. RTSS 2000: 131-140

Silvana Castano, Luigi Palopoli, Riccardo Torlone: The InterData methodological framework for the development of Web-based information systems. SEBD 2000: 139-152

Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: Metaquerying: proprietà e tecniche di implementazione. SEBD 2000: 317-330

Luigi Palopoli, Giorgio Terracina, Domenico Ursino: Derivazione di iponimie/iperonimie tra entità appartenenti a basi di dati eterogenee. SEBD 2000: 357-370

Luigi Palopoli, Fiora Pirri, Clara Pizzuti: Algorithms for Selective Enumeration of Prime Implicants. Artif. Intell. 111(1-2): 41-72 (1999)

Marco Cadoli, Luigi Palopoli, Francesco Scarcello: Propositional lower bounds: Algorithms and complexity. Ann. Math. Artif. Intell. 27(1-4): 129-148 (1999)

Luigi Palopoli, Domenico Saccà, Domenico Ursino: Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes. Data Knowl. Eng. 30(3): 239-273 (1999)

Luigi Palopoli, Domenico Saccà, Domenico Ursino: DLP: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes. Inf. Syst. 24(5): 401-424 (1999)

Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities. CoopIS 1999: 34-45

Luigi Palopoli, Luigi Pontieri, Domenico Ursino: Automatic and Semantic Techniques for Scheme Integration and Scheme Abstraction. DEXA 1999: 511-520

Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile: NP-SPEC: An Executable Specification Language for Solving All Problems in NP. PADL 1999: 16-30

Luigi Palopoli, Paolo Ancilotti, Giorgio C. Buttazzo: A C Language Extension for Programming Real-Time Applications. RTCSA 1999: 103-110

Luigi Palopoli, Luigi Pontieri, Domenico Saccà, Domenico Ursino: Progettazione Semi-Automatica di Data Warehouse di Grandi Dimensioni . SEBD 1999: 3-17

Sergio Flesca, Luigi Palopoli, Domenico Saccà, Domenico Ursino: An architecture for accessing a large number of autonomous, heterogeneous databases. Networking and Information Systems 1(4-5): 495-518 (1998)

Marco Cadoli, Luigi Palopoli: Circumscribing DATALOG: Expressive Power and Complexity. Theor. Comput. Sci. 193(1-2): 215-244 (1998)

Luigi Palopoli, Domenico Saccà, Domenico Ursino: An Automatic Techniques for Detecting Type Conflicts in Database Schemes. CIKM 1998: 306-313

Luigi Palopoli, Domenico Saccà, Domenico Ursino: Automatic Derivation of Terminological Properties from Database Schemes. DEXA 1998: 90-99

Nicola Leone, Luigi Palopoli, Domenico Saccà: On the Complexity of Search Queries. FMLDO 1998: 113-127

Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Automatic Extraction of Database Scheme Semantic Properties Using Knowledge Discovery Techniques. IADT 1998: 392-399

Luigi Palopoli, Domenico Saccà, Domenico Ursino: Semi-Automatic Semantic Discovery of Properties from Database Schemas. IDEAS 1998: 244-253

Marco Cadoli, Luigi Palopoli, Francesco Scarcello: Propositional Lower Bounds: Generalization and Algorithms. JELIA 1998: 355-367

Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Utilizzo della logica descrittiva per l'estrazione di proprietà terminologiche e strutturali complesse. SEBD 1998: 71-86

Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. Artif. Intell. 96(2): 421-449 (1997)

Fabrizio Angiulli, Luigi Palopoli, Riccardo Torlone: THE GPR System: An Architecture for Integrating Active and Deductive Rules on Complex Database Objects. TAPOS 3(4): 285-301 (1997)

Luigi Palopoli, Riccardo Torlone: Generalized Production Rules as a Basis for Integrating Active and Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(6): 848-862 (1997)

Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. APPIA-GULP-PRODE 1997: 333-344

Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. DBPL 1997: 281-298

Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Discovering description logic assertions from database schemes. Description Logics 1997

Massimo La Camera, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Knowledge Discovery su Schemi per l'Integrazione di Basi di Dati. SEBD 1997: 166-190

Luigi Palopoli, Carlo Zaniolo: Polynomial-Time Computable Stable Models. Ann. Math. Artif. Intell. 17(3-4): 261-290 (1996)

Sergio Greco, Luigi Palopoli, Eugenio Spadafora: Querying Datalog with Arrays: Design and Implementation Issues. Journal of Systems Integration 6(4): 299-327 (1996)

Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power - Preliminary Report. Description Logics 1996: 97-101

Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker: The Expressive Power of Tractable Disjunction. ECAI 1996: 345-349

Sergio Greco, Luigi Palopoli, Eugenio Spadafora: Extending Datalog with Arrays. Data Knowl. Eng. 17(1): 31-57 (1995)

Nicola Leone, Luigi Palopoli, Massimo Romeo: A Language for Updating Logic Programs and its Implementation. J. Log. Program. 23(1): 1-61 (1995)

Francesco Scarcello, Nicola Leone, Luigi Palopoli: Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995: 545-556

Sergio Greco, Luigi Palopoli, Eugenio Spadafora: Datalog^A: Array Manipulations in a Deductive Database Language. DASFAA 1995: 180-188

Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo: Disjunctive Ordered Logic. DEXA 1995: 303-312

Fabrizio Angiulli, F. De Marte, Luigi Palopoli, Riccardo Torlone: The GPR System: an Architecture for Integrating Active and Deductive Rules. SEBD 1995: 35-53

Luigi Palopoli, Riccardo Torlone: A Rule-Based Update Language for Complex Objects with Identity. Data Knowl. Eng. 13(1): 67-96 (1994)

Nicola Leone, Luigi Palopoli, Massimo Romeo: Modifying Intensional Logic Knowledge. Fundam. Inform. 21(3): 183-203 (1994)

Luigi Palopoli, Riccardo Torlone: Active and Passive Rules for Complex Object Databases. DEXA 1994: 390-399

Rachel Ben-Eliyahu, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. KR 1994: 39-50

Luigi Palopoli, Riccardo Torlone: Modeling Database Applications Using Generalized Production Rules. RIDE-ADS 1994: 30-38

Nicola Leone, Luigi Palopoli, Massimo Romeo: Updating Logic Programs. ISMIS 1993: 235-244

Luigi Palopoli, Riccardo Torlone: Actions and Transactions on Complex Objects. SEBD 1993: 17-31

Luigi Palopoli, Carlo Zaniolo: Polynominal Time Computable Stable Models. ILPS 1993: 645

Luigi Palopoli, Riccardo Torlone: Management of Extended Update Operations. LOGIDATA+: Deductive Databases with Complex Objects 1993: 60-78

Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati: Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993: 252-273

Luigi Palopoli: Testing Logic Programs for Local Stratification. Theor. Comput. Sci. 103(2): 205-234 (1992)

Luigi Palopoli, Riccardo Torlone: Specifying the Dynamics of Complex Object Databases. FMLDO 1992: 19-35

Sergio Greco, Luigi Palopoli, Pasquale Rullo: Netlog: A Logic Query Language for Network Model Databases. Data Knowl. Eng. 6: 183-203 (1991)

Pasquale Legato, Giuseppe Paletta, Luigi Palopoli: Optimization of join strategies in distributed databases. Inf. Syst. 16(4): 363-374 (1991)

Luigi Palopoli: A new proof of undecidability of safety of logic queries. SIGACT News 21(4): 69-72 (1990)