SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
1
The Well Supported Semantics for Multidimensional Dynamic Logic Programs
Federico Banti
,
José Júlio Alferes
,
Antonio Brogi
,
Pascal Hitzler
Cite
DOI
Towards Semi-automated Workflow-Based Aggregation of Web Services
Antonio Brogi
,
Razvan Popescu
Cite
DOI
Behavioural Types and Component Adaptation
Antonio Brogi
,
Carlos Canal
,
Ernesto Pimentel
Cite
DOI
Behavioural Types for Service Integration: Achievements and Challenges
Antonio Brogi
,
Carlos Canal
,
Ernesto Pimentel
Cite
DOI
Digital reconstruction of the Arrigo VII funerary complex
Clara Baracchini
,
Antonio Brogi
,
Marco Callieri
,
Lucia Capitani
,
Paolo Cignoni
,
Andrea Fasano
,
Claudio Montani
,
C. Nenci
,
R. P. Novello
,
Paolo Pingi
,
Federico Ponchio
,
Roberto Scopigno
Cite
DOI
Formalizing Web Service Choreographies
Antonio Brogi
,
Carlos Canal
,
Ernesto Pimentel
,
Antonio Vallecillo
Cite
DOI
From Logic Programs Updates to Action Description Updates
José Júlio Alferes
,
Federico Banti
,
Antonio Brogi
Cite
DOI
Measuring Component Adaptation
Antonio Brogi
,
Carlos Canal
,
Ernesto Pimentel
Cite
DOI
Semantics for Dynamic Logic Programming: A Principle-Based Approach
José Júlio Alferes
,
Federico Banti
,
Antonio Brogi
,
João Alexandre Leite
Cite
DOI
Towards an Engineering Approach to Component Adaptation
Steffen Becker
,
Antonio Brogi
,
Ian Gorton
,
Sven Overhage
,
Alexander B. Romanovsky
,
Massimo Tivoli
Cite
DOI
«
»
Cite
×