| 2007 |
| 49 | EE | Rosario Giunta,
Giuseppe Pappalardo,
Emiliano Tramontana:
An aspect-generated approach for the integration of applications into grid.
SAC 2007: 1295-1296 |
| 48 | EE | Giovanni Novelli,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A grid-based infrastructure to support multimedia content distribution.
UPGRADE-CN 2007: 57-64 |
| 47 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
ETNGRID Workshop Final Report.
WETICE 2007: 213-216 |
| 46 | EE | Rosario Giunta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Handling Replica Management Concerns by Means of Aspects.
WETICE 2007: 284-289 |
| 45 | EE | Antonella Di Stefano,
Fabrizio Messina,
Giuseppe Pappalardo,
Corrado Santoro,
Luigi Toscano:
Evaluating Strategies for Resource Finding in a Peer-to-Peer Grid.
WETICE 2007: 290-295 |
| 44 | EE | Fabrizio Messina,
Giuseppe Pappalardo,
Emiliano Tramontana:
Design and evaluation of a high-level Grid communication infrastructure.
Concurrency and Computation: Practice and Experience 19(9): 1299-1316 (2007) |
| 43 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A framework for the design and automated implementation of communication aspects in multi-agent systems.
J. Network and Computer Applications 30(3): 1136-1152 (2007) |
| 2006 |
| 42 | EE | Maciej Koutny,
Giuseppe Pappalardo,
Marta Pietkiewicz-Koutny:
Towards an Algebra of Abstractions for Communicating Processes.
ACSD 2006: 239-250 |
| 41 | EE | Giuseppe Pappalardo,
Emiliano Tramontana:
Automatically discovering design patterns and assessing concern separations for applications.
SAC 2006: 1591-1596 |
| 40 | | Shiori Daigo,
Rosario Giunta,
Giuseppe Pappalardo,
Emiliano Tramontana:
JAPASSIST: An Assistant for Studying Japanese while Surfing the Web.
WEBIST (2) 2006: 245-251 |
| 39 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Emerging Technologies for Next-Generation GRID.
WETICE 2006: 157-162 |
| 38 | EE | Fabrizio Messina,
Giovanni Novelli,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A QoS-Aware Architecture for Multimedia Content Provisioning in a GRID Environment.
WOA 2006 |
| 37 | EE | Massimo Orazio Spata,
Giuseppe Pappalardo,
Salvatore Rinaudo,
Tonio Biondi:
Agent-Based Negotiation Techniques for a Grid: The Prophet Agents.
e-Science 2006: 149 |
| 36 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
The transparent implementation of agent communication contexts.
Concurrency and Computation: Practice and Experience 18(4): 387-407 (2006) |
| 35 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Supporting resource reservation and allocation for unaware applications in Grid systems.
Concurrency and Computation: Practice and Experience 18(8): 851-863 (2006) |
| 34 | | Giovanni Novelli,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Transcoding Agents for Multimedia Content Delivery in a Grid.
ITSSA 2(3): 281-288 (2006) |
| 2005 |
| 33 | EE | Marco Milazzo,
Giuseppe Pappalardo,
Emiliano Tramontana,
Giuseppe Ursino:
Handling run-time updates in distributed applications.
SAC 2005: 1375-1380 |
| 32 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Metrics for evaluating concern separation and composition.
SAC 2005: 1381-1382 |
| 31 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Emerging Technologies for Next-generation GRID.
WETICE 2005: 243-248 |
| 30 | EE | Fabrizio Messina,
Giuseppe Pappalardo,
Emiliano Tramontana:
SHiC: A Service-Aware, High-Level Communication Infrastructure Supporting Integration with the Grid.
WETICE 2005: 277-283 |
| 2004 |
| 29 | EE | Giacomo Capizzi,
Salvatore Coco,
Antonio Laudani,
Giuseppe Pappalardo:
A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks.
ICAISC 2004: 676-681 |
| 28 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Emiliano Tramontana:
An infrastructure for runtime evolution of software systems.
ISCC 2004: 1129-1135 |
| 27 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Separating Soft Real-Time from Functionality Concerns in Complex Object-Oriented Applications.
OTM Workshops 2004: 406-417 |
| 26 | EE | Antonella Di Stefano,
Corrado Santoro,
Giuseppe Pappalardo,
Emiliano Tramontana:
Enforcing agent communication laws by means of a reflective framework.
SAC 2004: 462-468 |
| 25 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Emerging Technologies for Next-Generation GRID.
WETICE 2004: 243-246 |
| 24 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
STREGA: A Support for Transparently Handling Resources for Grid Applications.
WETICE 2004: 249-254 |
| 23 | EE | Jonathan Burton,
Maciej Koutny,
Giuseppe Pappalardo:
Relating Communicating Processes with Different Interfaces.
Fundam. Inform. 59(1): 1-37 (2004) |
| 2002 |
| 22 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A Multi-agent Reflective Architecture for User Assistance and Its Application to E-commerce.
CIA 2002: 90-103 |
| 21 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Extending Applications Using Reflective Assistant Agents.
COMPSAC 2002: 587-594 |
| 20 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Emiliano Tramontana:
Introducing distribution into applications: a reflective approach for transparency and dynamic fine-grained object allocation.
ISCC 2002: 629-636 |
| 2001 |
| 19 | EE | Jonathan Burton,
Maciej Koutny,
Giuseppe Pappalardo:
Implementing Communicating Processes in the Event of Interface Difference.
ACSD 2001: 87- |
| 18 | EE | Jonathan Burton,
Maciej Koutny,
Giuseppe Pappalardo:
Verifying Implementation Relations.
FME 2001: 364-383 |
| 17 | | Maciej Koutny,
Giuseppe Pappalardo:
Behaviour Abstraction for Communicating Sequential Processes.
Fundam. Inform. 48(1): 21-54 (2001) |
| 1999 |
| 16 | | E. Alessi,
Giacomo Capizzi,
Salvatore Coco,
Giuseppe Pappalardo:
A New Clustering Based System for Automated Object Recognition.
IIA/SOCO 1999 |
| 15 | | Giacomo Capizzi,
Salvatore Coco,
Giuseppe Pappalardo:
Image Recognition by Wavelet Transforms.
IIA/SOCO 1999 |
| 14 | EE | Maciej Koutny,
Giuseppe Pappalardo:
A Model of Behaviour Abstraction for Communicating Processes.
STACS 1999: 313-322 |
| 1997 |
| 13 | | Maciej Koutny,
Luigi V. Mancini,
Giuseppe Pappalardo:
Two Implementation Relations and the Correctness of Communicating Replicated Processes.
Formal Asp. Comput. 9(2): 119-148 (1997) |
| 1993 |
| 12 | | Maciej Koutny,
Luigi V. Mancini,
Giuseppe Pappalardo:
Modelling Replicated Processing.
PARLE 1993: 672-675 |
| 1991 |
| 11 | | Maciej Koutny,
Luigi V. Mancini,
Giuseppe Pappalardo:
Formalising Replicated Distributed Processing.
SRDS 1991: 108-117 |
| 1990 |
| 10 | | Vincenza Carchiolo,
Antonella Di Stefano,
Alberto Faro,
Giuseppe Pappalardo:
Case study in protocol verification.
Comput. Syst. Sci. Eng. 5(3): 178-186 (1990) |
| 1989 |
| 9 | EE | Vincenza Carchiolo,
Antonella Di Stefano,
Alberto Faro,
Giuseppe Pappalardo:
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification.
ACM Trans. Program. Lang. Syst. 11(2): 284-329 (1989) |
| 8 | | Luigi V. Mancini,
Giuseppe Pappalardo:
Proving Correctness Properties of a Replicated Synchronous Program.
Comput. J. 32(5): 437-444 (1989) |
| 1988 |
| 7 | | Luigi V. Mancini,
Giuseppe Pappalardo:
Towards a Theory of Replicated Processing.
FTRTFT 1988: 175-192 |
| 6 | | Giuseppe Pappalardo,
Santosh K. Shrivastava:
A Formal Treatment of Interference in Remote Procedure Calls.
FTRTFT 1988: 209-227 |
| 5 | | Luigi V. Mancini,
Giuseppe Pappalardo:
Hoare logic of distributed redundant systems.
Comput. Syst. Sci. Eng. 3(4): 171-180 (1988) |
| 4 | EE | Vincenza Carchiolo,
Antonella Di Stefano,
Alberto Faro,
Giuseppe Pappalardo:
Behavioural approach to OSI system design.
Computer Communications 11(6): 291-298 (1988) |
| 1987 |
| 3 | | Giuseppe Pappalardo:
Experiences with a Verification and Simulation Tool for Behavioural Languages.
PSTV 1987: 251-264 |
| 1986 |
| 2 | | Vincenza Carchiolo,
Alberto Faro,
Orazio Mirabella,
Giuseppe Pappalardo,
Giuseppe Scollo:
A LOTOS Specification of the PROWAY Highway Service.
IEEE Trans. Computers 35(11): 949-968 (1986) |
| 1984 |
| 1 | | Vincenza Carchiolo,
Gesualdo Le Moli,
Sergio Palazzo,
Giuseppe Pappalardo:
Modelling and Specifying a Presentation Protocol by Temporal Ordering.
PSTV 1984: 423-440 |