italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

[1]      «      38   |   39   |   40   |   41   |   42      »      [42]

M. Flammini, S.Perennes. Lower Bounds on Systolic Gossiping, Information and Computation

S. Costantini, A. Provetti. Normal Forms for Answer Sets Programming, Università degli Studi di L'Aquila, Tech. Report

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler. Relating Fairness and Timing in Process Algebras, Concur'03, LNCS

Flavio Corradini, Leonardo Mariani, Emanuela Merelli. An agent-based layered middleware as tool integration, ESEC Workshop on Tool Integration, 2003

Flavio Corradini, Leonardo Mariani, Emanuela Merelli. A Programming Environment for Global Activity-based Applications, Workshop WOA'03, Workshop on Object-oriented Agent Systems

C. Arbib, M. Servilio, S. Smriglio. A Competitive Scheduling Problem and its Relevance to UMTS Channel Assignment, Networks

C. Arbib, M. Servilio, S. Smriglio. A Competitive Scheduling Problem and its Relevance to UMTS Channel Assignment, Networks

M. Flammini, G.Nicosia. Efficient Online Algorithms for the Bicriteria k-Server Problem, Journal of Discrete Algorithms

M. Flammini, G.Gambosi, A.Navarra. Wireless ATM Layouts for Chain Networks, ACM/Kluwer Journal on Special Topics in Mobile Networking and Applications (MONET), Special Issue on ``Algorithmic Solutions for Wireless, Mobile, Ad Hoc and Sensor Networks"

C. Arbib et al.. QoS Provision and IP Multimedia Services in FUTURE - Physical Demonstrator Architecture for Experiments, IST Mobile & Wireless Telecommunications Summit 03

A. Bertolino, A. Polini, P. Inverardi and H. Muccini. Towards Anti-Model-based Testing, Fast Abstract in The International Conference on Dependable Systems and Networks, DSN 2004. Florence, 2004

A. Di Marco, P. Inverardi, Daniele Compare, Antonio D'Onofrio. Automated Performance Validation of Software Design: An Industrial Experience, The 19th IEEE International Conference on Automated Software Engineering

M. Flammini, G.Nicosia. Competitive Algorithms for the Bicriteria k-Server Problem, Discrete Applied Mathematics, Special Issue associated to the International Symposium on Combinatorial Optimization 2002 (CO)

M.Flammini, A.Navarra, A.Proskurowski. On Routing of Wavebands for Gossiping in All-Optical Paths and Cycles, Theoretical Computer Science, Special Issue devoted to the 10th Colloquium on Structural Information and Communication Complexity (SIROCCO 2003)

L. Balzerani, G. De Angelis, D. Di Ruscio, A. Pierantonio. A Product Line Architecture for Web Applications, Web Technologies and Applications Special Track of the 20th ACM Symposium on Applied Computing (SAC 2005)

Arbib, C., F. Marinelli. Integrating Process Optimization and Inventory Planning in Cutting-Stock with Skiving Option: an Optimization Model and its Application, European Journal of Operational Research

Arbib, C., F. Marinelli. Integrating Process Optimization and Inventory Planning in Cutting-Stock with Skiving Option: an Optimization Model and its Application, European Journal of Operational Research

L. Forlizzi, J. Hromkovic, G. Proietti, S. Seibert. On the Stability of Approximation for Hamiltonian Path Problems, SOFSEM 2005, Lecture Notes in Computer Science, pagg. 145-154

V. Bilò, M. Flammini, L. Moscardelli. Pareto Approximations for the Bicriteria Scheduling Problem, Journal of Parallel and Distributed Computing

A. Cicchetti, D. Di Ruscio and A. Pierantonio. Weaving concerns in model based development of data–intensive Web applications, Model Transformation track of the 21th ACM Symposium on Applied Computing (SAC 2006)

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›