Paolo Ciancarini

Proceedings of the WWW2012 Workshop on Linked Data on the Web, 2012

Automatic Typing of DBpedia Entities.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Priority Level Planning in Kriegspiel.

[BibT_eX]

[DOI]

Andrea Gasparro

Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012

A Role-Playing Game for a Software Engineering Lab: Developing a Product Line.

[BibT_eX]

[DOI]

Sara Zuppiroli

Maurizio Gabbrielli

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011

Encyclopedic Knowledge Patterns from Wikipedia Links.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

User-sensitive Explanations under a Knowledge Pattern Lens.

[BibT_eX]

[DOI]

Proceedings of the second Workshop on Semantic Personalized Information Management: Retrieval and Recommendation 2011, 2011

Informatics Education in Italian High Schools.

[BibT_eX]

[DOI]

Mariacarla Calzarossa

Luisa Mich

Nello Scarabottolo

Proceedings of the Informatics in Schools. Contributing to 21st Century Education, 2011

2010

Playing the perfect Kriegspiel endgame.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Progress Through Uncertainty in Some Kriegspiel Endings.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2010

Monte Carlo tree search in Kriegspiel.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Semion: A Smart Triplification Tool.

[BibT_eX]

[DOI]

Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Retrograde Analysis of Kriegspiel endgames.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE Conference on Computational Intelligence and Games, 2010

2009

Implementation and Performance Analysis of XMatch: a Language for Quality-based Selection of Grid Services.

[BibT_eX]

[DOI]

J. Grid Comput., 2009

Detecting clones in game-playing software.

[BibT_eX]

[DOI]

Entertain. Comput., 2009

Monte Carlo Tree Search Techniques in the Game of Kriegspiel.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Plagiarism detection in game-playing software.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Foundations of Digital Games, 2009

Solving Kriegspiel Endings with Brute Force: The Case of KR vs. K.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Games, 12th International Conference, 2009

2008

An evaluation of business solutions in manufacturing enterprises.

[BibT_eX]

[DOI]

Int. J. Bus. Intell. Data Min., 2008

EUCIP in Italian Universities.

[BibT_eX]

[DOI]

Cristiana Rita Alfonsi

Elena Breno

Mariacarla Calzarossa

Proceedings of the Learning to Live in the Knowledge Society, 2008

On the Effectiveness of Manual and Automatic Unit Test Generation.

[BibT_eX]

[DOI]

Alberto Bacchelli

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Business Process Modeling for Organizational Knowledge Management.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

A Program to Play Kriegspiel.

[BibT_eX]

J. Int. Comput. Games Assoc., 2007

The ECDL programme in Italian Universities.

[BibT_eX]

[DOI]

Mariacarla Calzarossa

Comput. Educ., 2007

Model Driven Development of Ontology-Based Grid Services.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Representing Kriegspiel States with Metapositions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

Service oriented software engineering for modeling agents and services in grid systems.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2006

An approach to the quantitative evaluation of Grid services.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2006

2005

Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments.

[BibT_eX]

[DOI]

Carlos A. Varela

Kenjiro Taura

Sci. Program., 2005

On the Impact of Formal Methods in the SOA.

[BibT_eX]

[DOI]

Laura Bocchi

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

An OWL-S based approach to express grid services coordination.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Towards a Language for a Satisfaction-Based Selection of Grid Services.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing and Applied Mathematics, 2005

On the education of future software engineers.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

On the Education of Future Software Engineers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education in the Modern Age, 2005

Transactional Aspects in Semantic Based Discovery of Services.

[BibT_eX]

[DOI]

Laura Bocchi

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

Towards a Model for Quality of Web and Grid Services.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Towards a Metamodeling Based Method for Representing and Selecting Grid Services.

[BibT_eX]

[DOI]

Proceedings of the Grid Services Engineering and Management, 2004

Searching over Metapositions in Kriegspiel.

[BibT_eX]

[DOI]

Proceedings of the Computers and Games, 4th International Conference, 2004

2003

Issues in Coordination Languages and Architectures.

[BibT_eX]

[DOI]

Alexander L. Wolf

Sci. Comput. Program., 2003

An Ontology Driven Design Method for inter-Agent Communication.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Towards a Framework for Web Sites Quality Evaluation.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Metadata on the Web: On the integration of RDF and Topic Maps.

[BibT_eX]

[DOI]

Proceedings of the Extreme Markup Languages® 2003 Conference, 2003

A Perspective on Multiagent Coordination Models.

[BibT_eX]

[DOI]

Laura Bocchi

Proceedings of the Communication in Multiagent Systems, 2003

Computer Programming of Kriegspiel Endings: The Case of KR versus K.

[BibT_eX]

Proceedings of the Advances in Computer Games, 2003

2002

Architecting families of software systems with process algebras.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

XlinkProxy: external linkbases wih Xlink (Technical Note).

[BibT_eX]

[DOI]

New Rev. Hypermedia Multim., 2002

A survey of coordination middleware for XML-centric applications.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2002

XML-Based Hypertext Functionalities for Software Engineering.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 2002

Coordination middleware for XML-centric applications.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Towards Ontology Driven Software Design.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

XLinkProxy: external linkbases with XLink.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Document Engineering, 2002

2001

Designing a document-centric coordination application over the Internet.

[BibT_eX]

[DOI]

Interact. Comput., 2001

Agent-Based Software Engineering - Guest Editors' Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2001

Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001

WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2001

Coordination Models: A Guided Tour.

[BibT_eX]

Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000

Using a coordination language to specify and analyze systems containing mobile components.

[BibT_eX]

[DOI]

Francesco Franzè

ACM Trans. Softw. Eng. Methodol., 2000

Hypertext functionalities with XML.

[BibT_eX]

Markup Lang., 2000

A declarative coordination language.

[BibT_eX]

[DOI]

Daniela Fogli

Comput. Lang., 2000

ÆMPA: a process algebraic description language for the performance analysis of software architectures.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Software and Performance, 2000

On the formalization of architectural types with process algebras.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Agent-oriented software engineering (workshop).

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Software engineering and the Internet: a roadmap.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Agent-Oriented Software Engineering: The State of the Art.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000

1999

Managing Complex Documents Over the WWW: A Case Study for XML.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1999

Active documents in XML.

[BibT_eX]

[DOI]

SIGWEB Newsl., 1999

Coordination Technologies for Internet Agents.

[BibT_eX]

Andrea Omicini

Nord. J. Comput., 1999

Coordination Mechanisms for Web Agents.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 1999

Coordination models and languages for parallel programming.

[BibT_eX]

Thilo Kielmann

Proceedings of the Parallel Computing: Fundamentals & Applications, 1999

Message Passing vs. Tuple Space Coordination in an Aerodynamics Application.

[BibT_eX]

[DOI]

S. Sancese

Angelo Messina

Proceedings of the Parallel Computing Technologies, 1999

A Formal Approach to the Specification of Java Components.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Multiagent System Engineering: The Coordination Viewpoint.

[BibT_eX]

[DOI]

Andrea Omicini

Proceedings of the Intelligent Agents VI, 1999

Agent-Oriented Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VI, 1999

Mobility and Coordination for Distributed Java Applications.

[BibT_eX]

[DOI]

Andrea Giovannini

Proceedings of the Advances in Distributed Systems, 1999

The World Wide Web as a Place for Agents.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Today: Recent Trends and Developments, 1999

1998

Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface.

[BibT_eX]

Jan Vitek

World Wide Web, 1998

Coordinating Java Agents over the WWW.

[BibT_eX]

[DOI]

World Wide Web, 1998

Coordinating Multiagent Aplications on the WWW: A Reference Architecture.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

A Logic for a Coordination Model with Multiple Spaces.

[BibT_eX]

[DOI]

M. Mazza

L. Pazzaglia

Sci. Comput. Program., 1998

Coordination Languages for Parallel Programming.

[BibT_eX]

[DOI]

Farhad Arbab

Chris Hankin

Parallel Comput., 1998

An Extensible Rendering Engine for XML.

[BibT_eX]

[DOI]

Alfredo Rizzi

Comput. Networks, 1998

Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1998

Visualizing Z Notation in HTML Documents.

[BibT_eX]

[DOI]

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Working Group Report on Coordination Architectures for Distributed Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998

The World Wide Web as a Place to Work in.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Enabling Technologies (WETICE '98), 1998

Software architecture and mobility.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Architecture, 1998

Coordinating distributed applets with Shade/Java.

[BibT_eX]

[DOI]

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

A Coordination Model to Specify Systems Including Mobile Agents.

[BibT_eX]

[DOI]

Giuseppe Franzè

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

1997

Formal Requirements and Design Specifications: The Clepsydra Methodology.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1997

Engineering Formal Requirements: An Analysis and Testing Method for Z Documents.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1997

Analyzing and Refining an Architectural Style.

[BibT_eX]

[DOI]

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

A Multi-Agent Process Centered Environment Integrated with the WWW.

[BibT_eX]

[DOI]

A. Fantini

Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Reusing Software Architectures: A Formal Basis.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Coordinating Java Agents for Financial Applications on the WWW.

[BibT_eX]

Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997

Redesigning the Web: from passive pages to coordinated agents in PageSpaces.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Autonomous Decentralized Systems, 1997

1996

An overview of declarative process modelling using logic programming.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1996

On the Animation of "not Executable" Specifications by Prolog.

[BibT_eX]

[DOI]

Leon Sterling

Todd Turnidge

Int. J. Softw. Eng. Knowl. Eng., 1996

Guest Editor's Introduction.

[BibT_eX]

[DOI]

Leon Sterling

Int. J. Softw. Eng. Knowl. Eng., 1996

Coordination Models and Languages as Software Integrators.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

PageSpace: An Architecture to Coordinate Distributed Applications on the Web.

[BibT_eX]

[DOI]

Comput. Networks, 1996

Rule-Based Coordination of Logic Programs.

[BibT_eX]

[DOI]

Comput. Lang., 1996

Coordination technology for the WWW.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Enabling Technologies, 1996

Using the web to coordinate distributed applications.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

Engineering Formal Requirements: Analysis and Testing.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Jada - Coordination and Communication for Java Agents.

[BibT_eX]

[DOI]

Proceedings of the Mobile Object Systems, 1996

Analyzing the Dynamics of a Z Specification.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Animating a Non-executable Formal Specification with a Distributed Symbolic Language.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Weaving the Web Using Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, First International Conference, 1996

Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets.

[BibT_eX]

[DOI]

Stefania Castellani

Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995

Declarative Specification of the Architecture of a Software Development Environment.

[BibT_eX]

[DOI]

Andrea Corradini

Softw. Pract. Exp., 1995

Report on the Workshop: Applications of Logic Programming in Software Engineering.

[BibT_eX]

[DOI]

Leon Sterling

Knowl. Eng. Rev., 1995

A Formal Approach to Software Design: The Clepsydra Methodology.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

A Course on Formal Methods in Software Engineering: Matching Requirements with Design.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Working group report on process [production process workflow in cooperative virtual enterprises].

[BibT_eX]

[DOI]

V. Juggy Jagannathan

Mark Klein

Wil M. P. van der Aalst

Proceedings of the 4th Workshop on Enabling Technologies, 1995

Modeling the software process using coordination rules.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Enabling Technologies, 1995

From Formal Requirements to Formal Design.

[BibT_eX]

Proceedings of the SEKE'95, 1995

Distributing Search and Knowledge Using a Coordination Language.

[BibT_eX]

[DOI]

P. Mancini

Proceedings of the Parallel Computing Technologies, 1995

A Logic Language Based on GAMMA-Like Multiset Rewriting.

[BibT_eX]

Daniela Fogli

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Distributed Programming with Logic Tuple Spaces.

[BibT_eX]

[DOI]

New Gener. Comput., 1994

Distributed Searches: A Basis for Comparison.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 1994

Experiments in Distributing and Co-ordinating Knowledge.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 1994

Parallel Symbolic Computing with the Shared Dataspace Coordination Model.

[BibT_eX]

Proceedings of the ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, 1994

Applications of Logic Programming in Software Process Modeling.

[BibT_eX]

Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994

On the Operational Sematics of a Coordination Language.

[BibT_eX]

[DOI]

Keld K. Jensen

Daniel Yankelevich

Proceedings of the Object-Based Models and Languages for Concurrent Systems, 1994

1993

Coordinating Rule-Based Software Processes with ESP.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1993

Linda meets Minix.

[BibT_eX]

[DOI]

N. Guerrini

ACM SIGOPS Oper. Syst. Rev., 1993

Marrying LO with SP.

[BibT_eX]

Stefania Castellani

Sonia Pompei

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

What is Logic Programming good for in Software Engineering?

[BibT_eX]

[DOI]

Giorgio Levi

Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993

1992

Parallel Programming with Logic Languages: A Survey.

[BibT_eX]

[DOI]

Comput. Lang., 1992

A Linda-Based Runtime System for a Distributed Logic Language.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1992

A Distributed Programming Environment based on Logic Tuple Spaces.

[BibT_eX]

David Gelernter

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

The Concurrent Language, Shared Prolog.

[BibT_eX]

[DOI]

Antonio Brogi

ACM Trans. Program. Lang. Syst., 1991

Towards innovative software engineering environments.

[BibT_eX]

[DOI]

Andrea Corradini

Nicoletta De Francesco

J. Syst. Softw., 1991

Static Analysis of a Parallel Logic Language Based on the Blackboard Model.

[BibT_eX]

[DOI]

Tiziana Castagnetti

J. Parallel Distributed Comput., 1991

PoliS: a programming model for multiple tuple spaces.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Parallel Logic Programming Using the Linda Model of Computation.

[BibT_eX]

[DOI]

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990

The evolution of configuration management and version control.

[BibT_eX]

[DOI]

Lars Bendix

Softw. Eng. J., 1990

Software process enactment in Oikos.

[BibT_eX]

[DOI]

Carlo Montangero

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Design and Distributed Implementation of the Parallel Logic Language Shared Prolog.

[BibT_eX]

[DOI]

Marco Danelutto

Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

The Logic Language ESP and its Programming Environment.

[BibT_eX]

Carlo Montangero

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

Software processes as a hierarchy.

[BibT_eX]

[DOI]

Carlo Montangero

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

Coordination Languages for Open System Design.

[BibT_eX]

[DOI]