| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
ACM Trans. Internet Techn.
|
| 2026 | J | jnl |
Combining declarative and linear programming for application management in the cloud-edge continuum.
Future Gener. Comput. Syst.
|
| 2026 | J | jnl |
Future Gener. Comput. Syst.
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
Inf. Softw. Technol.
|
| 2025 | — | conf |
ESOCC
|
| 2025 | J | jnl |
Combining Declarative and Linear Programming for Application Management in the Cloud-Edge Continuum.
CoRR
|
| 2025 | J | jnl |
Empir. Softw. Eng.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | C | conf |
COORDINATION
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | conf |
IC2E
|
| 2025 | J | jnl |
Future Internet
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
ESOCC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Softw. Pract. Exp.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2025 | J | jnl |
CoRR
|
| 2024 | C | conf |
ISCC
|
| 2024 | C | conf |
CLOSER
|
| 2024 | Misc | conf |
ICIN
|
| 2024 | J | jnl |
CLEI Electron. J.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Softw. Pract. Exp.
|
| 2024 | Misc | conf |
QCE
|
| 2024 | C | conf |
ICSOFT
|
| 2024 | Misc | conf |
QCE
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
CAiSE Research Projects Exhibition
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
SANER (Companion)
|
| 2024 | C | conf |
CLOSER
|
| 2024 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2024 | C | conf |
LOPSTR
|
| 2024 | J | jnl |
SN Comput. Sci.
|
| 2024 | — | conf |
Euro-Par Workshops (2)
|
| 2024 | — | conf |
FRAME@HPDC
|
| 2024 | B | conf |
ECSA
|
| 2024 | — | conf |
FRAME@HPDC
|
| 2024 | A | conf |
EASE
|
| 2023 | B | conf |
COMPSAC
|
| 2023 | J | jnl |
ACM Comput. Surv.
|
| 2023 | J | jnl |
Future Gener. Comput. Syst.
|
| 2023 | J | jnl |
Computing
|
| 2023 | J | jnl |
CoRR
|
| 2023 | C | conf |
CLOSER
|
| 2023 | J | jnl |
ERCIM News
|
| 2023 | B | conf |
NetSoft
|
| 2023 | B | conf |
CLOUD
|
| 2023 | Misc | conf |
QCE
|
| 2023 | — | conf |
ICSOC (1)
|
| 2023 | J | jnl |
Sensors
|
| 2023 | — | conf |
SOSE
|
| 2023 | J | jnl |
Future Internet
|
| 2023 | — | conf |
SOSE
|
| 2023 | B | conf |
ICLP
|
| 2023 | — | conf |
ICSOFT (Selected Papers)
|
| 2023 | J | jnl |
SN Comput. Sci.
|
| 2023 | J | jnl |
Future Internet
|
| 2023 | C | conf |
CLOSER
|
| 2023 | — | conf |
FRAME@HPDC
|
| 2023 | — | conf |
ICSOC Workshops
|
| 2023 | — | conf |
MECO
|
| 2023 | J | jnl |
J. Log. Comput.
|
| 2023 | Misc | conf |
UCC
|
| 2023 | C | conf |
CLEI
|
| 2023 | — | conf |
ECSA (Tracks, Workshops and Doctoral Symposium)
|
| 2023 | C | conf |
ICSOFT
|
| 2023 | Misc | conf |
UCC
|
| 2023 | J | jnl |
Sci. Comput. Program.
|
| 2022 | B | conf |
ECSA
|
| 2022 | J | jnl |
Serv. Oriented Comput. Appl.
|
| 2022 | — | conf |
SummerSOC
|
| 2022 | J | jnl |
J. Log. Comput.
|
| 2022 | C | conf |
DAIS
|
| 2022 | C | conf |
PADL
|
| 2022 | — | conf |
INFOCOM Workshops
|
| 2022 | — | conf |
Microservices
|
| 2022 | — | conf |
ECSA (Tracks and Workshops)
|
| 2022 | J | jnl |
ACM Trans. Internet Techn.
|
| 2022 | C | conf |
CLOSER
|
| 2022 | J | jnl |
J. Softw. Evol. Process.
|
| 2022 | — | conf |
ESOCC
|
| 2022 | — | conf |
ICSOC Workshops
|
| 2022 | J | jnl |
Theory Pract. Log. Program.
|
| 2022 | — | conf |
ESOCC
|
| 2022 | J | jnl |
Computing
|
| 2022 | — | conf |
SummerSOC
|
| 2022 | B | conf |
ECSA
|
| 2022 | J | jnl |
J. Syst. Softw.
|
| 2022 | B | conf |
CCGRID
|
| 2021 | — | conf |
CILC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
EDCC Workshops
|
| 2021 | C | conf |
Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies.
CLOSER
|
| 2021 | J | jnl |
Future Gener. Comput. Syst.
|
| 2021 | J | jnl |
J. Grid Comput.
|
| 2021 | B | conf |
SMARTCOMP
|
| 2021 | — | conf |
CAiSE Workshops
|
| 2021 | J | jnl |
J. Syst. Softw.
|
| 2021 | C | conf |
CLOSER
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Future Gener. Comput. Syst.
|
| 2021 | — | conf |
ITASEC
|
| 2021 | — | conf |
CloudNet
|
| 2021 | J | jnl |
Computing
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
CLOSER (Selected Papers)
|
| 2021 | J | jnl |
Softw. Pract. Exp.
|
| 2021 | — | conf |
SummerSOC
|
| 2020 | C | conf |
CLOSER
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Softw. Pract. Exp.
|
| 2020 | — | conf |
ICLP Technical Communications
|
| 2020 | J | jnl |
SICS Softw.-Intensive Cyber Phys. Syst.
|
| 2020 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Internet Technol. Lett.
|
| 2020 | J | jnl |
Softw. Pract. Exp.
|
| 2020 | — | conf |
ESOCC Workshops
|
| 2020 | J | jnl |
Future Gener. Comput. Syst.
|
| 2020 | — | ed. |
ESOCC
|
| 2020 | J | jnl |
Simul. Model. Pract. Theory
|
| 2020 | — | conf |
ESOCC
|
| 2020 | — | conf |
ESOCC
|
| 2020 | — | conf |
ISSRE Workshops
|
| 2019 | J | jnl |
IEEE Trans. Cloud Comput.
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Formal Aspects Comput.
|
| 2019 | — | conf |
ICSOC Workshops
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
SEFM Workshops
|
| 2019 | — | conf |
FMEC
|
| 2019 | A | conf |
ICSOC
|
| 2019 | — | conf |
EDGE
|
| 2019 | J | jnl |
SICS Softw.-Intensive Cyber Phys. Syst.
|
| 2019 | — | ch. |
Fog and Edge Computing
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | ed. |
EnSEmble@ESEC/SIGSOFT FSE
|
| 2019 | B | conf |
CLOUD
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ICSOC Workshops
|
| 2018 | J | jnl |
Softw. Pract. Exp.
|
| 2018 | J | jnl |
Int. J. Parallel Program.
|
| 2018 | — | conf |
FMEC
|
| 2018 | C | conf |
CLOSER
|
| 2018 | — | conf |
STAF Workshops
|
| 2018 | J | jnl |
J. Syst. Softw.
|
| 2018 | — | conf |
ECML/PKDD (3)
|
| 2018 | — | conf |
ESOCC Workshops
|
| 2018 | — | conf |
CLOSER (Selected Papers)
|
| 2018 | J | jnl |
Sci. Comput. Program.
|
| 2018 | — | conf |
ESOCC Workshops
|
| 2018 | J | jnl |
Sci. Comput. Program.
|
| 2018 | J | jnl |
Softw. Pract. Exp.
|
| 2018 | — | conf |
ESOCC
|
| 2017 | — | conf |
COMPSAC (1)
|
| 2017 | — | conf |
Euro-Par Workshops
|
| 2017 | B | conf |
IC2E
|
| 2017 | J | jnl |
Comput. Sci. Res. Dev.
|
| 2017 | — | conf |
SEFM Workshops
|
| 2017 | C | conf |
ICFEC
|
| 2017 | — | conf |
FMEC
|
| 2017 | — | conf |
SDS
|
| 2017 | C | conf |
COORDINATION
|
| 2017 | J | jnl |
IEEE Internet Things J.
|
| 2017 | — | conf |
MODELSWARD (Revised Selected Papers)
|
| 2017 | — | conf |
ESOCC Workshops
|
| 2017 | — | conf |
SEFM Workshops
|
| 2017 | C | conf |
MODELSWARD
|
| 2016 | J | jnl |
Trans. Petri Nets Other Model. Concurr.
|
| 2016 | Misc | conf |
TASE
|
| 2016 | — | conf |
ESOCC
|
| 2016 | J | jnl |
Sci. Comput. Program.
|
| 2016 | B | conf |
ECSA
|
| 2016 | J | jnl |
J. Syst. Softw.
|
| 2015 | J | jnl |
CLEI Electron. J.
|
| 2015 | — | conf |
ESOCC Workshops
|
| 2015 | — | conf |
ESOCC
|
| 2015 | — | conf |
PNSE @ Petri Nets
|
| 2015 | — | conf |
STAF Projects Showcase
|
| 2014 | J | jnl |
J. Univers. Comput. Sci.
|
| 2014 | C | conf |
CLOSER
|
| 2014 | A | conf |
ICSOC
|
| 2014 | — | conf |
GI-Jahrestagung
|
| 2014 | — | conf |
CIbSE
|
| 2014 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2014 | — | conf |
ESOCC
|
| 2014 | — | conf |
ESOCC Workshops
|
| 2013 | — | conf |
ESOCC Workshops
|
| 2013 | — | conf |
ESOCC Workshops
|
| 2012 | J | jnl |
ACM Trans. Auton. Adapt. Syst.
|
| 2012 | — | conf |
GreenCom
|
| 2012 | — | conf |
S-Cube@ICSE
|
| 2012 | — | conf |
WAS4FI-Mashups
|
| 2011 | J | jnl |
Intelligenza Artificiale
|
| 2011 | — | conf |
FACS
|
| 2011 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2010 | — | ed. |
ECOWS
|
| 2010 | — | conf |
CIbSE
|
| 2010 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2010 | — | conf |
SASO
|
| 2009 | J | jnl |
Fundam. Informaticae
|
| 2009 | — | conf |
ICSOC/ServiceWave
|
| 2009 | — | ed. |
CIbSE
|
| 2009 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2008 | B | conf |
Petri Nets
|
| 2008 | — | conf |
CIbSE
|
| 2008 | — | conf |
Il Milione
|
| 2008 | — | conf |
CIbSE
|
| 2008 | J | jnl |
Fundam. Informaticae
|
| 2008 | J | jnl |
Int. J. Cooperative Inf. Syst.
|
| 2008 | C | conf |
WETICE
|
| 2008 | J | jnl |
ACM Trans. Internet Techn.
|
| 2008 | C | conf |
MobiQuitous
|
| 2008 | Misc | conf |
TASE
|
| 2008 | J | jnl |
Frontiers Comput. Sci. China
|
| 2007 | — | conf |
FSEN
|
| 2007 | — | conf |
FOCLASA
|
| 2007 | — | conf |
CIbSE
|
| 2007 | J | jnl |
Int. J. Web Serv. Res.
|
| 2007 | A | conf |
ICSOC
|
| 2007 | — | conf |
ICSOC Workshops
|
| 2007 | — | ed. |
FOCLASA
|
| 2007 | — | conf |
KES (3)
|
| 2007 | J | jnl |
Int. J. Bus. Process. Integr. Manag.
|
| 2006 | — | conf |
SWAP
|
| 2006 | B | conf |
JELIA
|
| 2006 | A | conf |
ICSOC
|
| 2006 | A | conf |
ICSOC
|
| 2006 | J | jnl |
Sci. Comput. Program.
|
| 2006 | — | conf |
FOCLASA
|
| 2006 | J | jnl |
Fundam. Informaticae
|
| 2006 | — | conf |
WS-FM
|
| 2006 | J | jnl |
Fundam. Informaticae
|
| 2006 | J | jnl |
Sci. Comput. Program.
|
| 2006 | J | jnl |
Sci. Comput. Program.
|
| 2006 | J | jnl |
Sci. Comput. Program.
|
| 2006 | — | conf |
CIbSE
|
| 2005 | J | jnl |
J. Syst. Softw.
|
| 2005 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2005 | A | conf |
SC
|
| 2005 | Misc | conf |
EPIA
|
| 2005 | J | jnl |
Stud Logica
|
| 2005 | B | conf |
LPNMR
|
| 2005 | A | conf |
ICSOC
|
| 2004 | — | conf |
AMAST
|
| 2004 | — | conf |
FOCLASA
|
| 2004 | — | conf |
VAST
|
| 2004 | — | conf |
WSFM
|
| 2004 | — | conf |
CLIMA
|
| 2004 | C | conf |
COORDINATION
|
| 2004 | — | ch. |
Program Development in Computational Logic
|
| 2004 | — | conf |
FOCLASA
|
| 2004 | — | ed. |
FOCLASA
|
| 2004 | B | conf |
LPNMR
|
| 2004 | — | conf |
Architecting Systems with Trustworthy Components
|
| 2004 | — | conf |
IBERAMIA
|
| 2003 | J | jnl |
J. Intell. Inf. Syst.
|
| 2003 | Misc | conf |
EPIA
|
| 2003 | — | conf |
APPIA-GULP-PRODE
|
| 2003 | — | ed. |
FOCLASA
|
| 2003 | — | conf |
CIA
|
| 2003 | — | conf |
FOCLASA
|
| 2003 | J | jnl |
Sci. Comput. Program.
|
| 2003 | — | conf |
FOCLASA
|
| 2003 | — | conf |
FOCLASA
|
| 2003 | — | conf |
TACoS
|
| 2003 | — | conf |
SecCo
|
| 2002 | — | conf |
Component Deployment
|
| 2002 | — | conf |
Formal Methods and Component Interaction @ ICALP
|
| 2002 | C | conf |
COORDINATION
|
| 2002 | B | conf |
JELIA
|
| 2002 | — | ed. |
Formal Methods and Component Interaction @ ICALP
|
| 2002 | — | conf |
FOCLASA
|
| 2002 | — | conf |
FOCLASA
|
| 2002 | — | conf |
Formal Methods and Component Interaction @ ICALP
|
| 2002 | Misc | conf |
PDPTA
|
| 2002 | — | conf |
Formal Methods and Component Interaction @ ICALP
|
| 2001 | — | conf |
TOSCA
|
| 2001 | C | conf |
LOPSTR
|
| 2001 | Misc | conf |
SAC
|
| 2001 | C | conf |
PADL
|
| 2001 | — | conf |
QAPL
|
| 2001 | — | conf |
APPIA-GULP-PRODE
|
| 2001 | — | conf |
ConCoord
|
| 2000 | C | conf |
COORDINATION
|
| 2000 | — | conf |
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
|
| 2000 | J | jnl |
J. Funct. Log. Program.
|
| 1999 | J | jnl |
Comput. Lang.
|
| 1999 | — | conf |
APPIA-GULP-PRODE
|
| 1999 | — | conf |
Eurographics (Short Presentations)
|
| 1999 | C | conf |
COORDINATION
|
| 1999 | J | jnl |
J. Log. Comput.
|
| 1998 | J | jnl |
New Gener. Comput.
|
| 1998 | — | conf |
EXPRESS
|
| 1998 | C | conf |
LOPSTR
|
| 1997 | J | jnl |
ACM SIGCSE Bull.
|
| 1997 | J | jnl |
Theor. Comput. Sci.
|
| 1997 | B | conf |
LPNMR
|
| 1997 | C | conf |
COORDINATION
|
| 1997 | J | jnl |
Ann. Math. Artif. Intell.
|
| 1996 | — | conf |
ELP
|
| 1996 | — | conf |
APPIA-GULP-PRODE
|
| 1996 | C | conf |
LOPSTR
|
| 1995 | B | conf |
LPNMR
|
| 1995 | J | jnl |
Theor. Comput. Sci.
|
| 1994 | — | conf |
GULP-PRODE (2)
|
| 1994 | C | conf |
META
|
| 1994 | — | ed. |
ICLP Workshop: Process-Based Parallel Logic Programming
|
| 1994 | — | conf |
PLILP
|
| 1994 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1994 | A* | conf |
LICS
|
| 1993 | J | jnl |
J. Log. Comput.
|
| 1993 | J | jnl |
J. Log. Program.
|
| 1992 | A | conf |
ECAI
|
| 1992 | J | jnl |
New Gener. Comput.
|
| 1992 | — | conf |
META
|
| 1992 | — | conf |
ELP
|
| 1992 | — | conf |
JICSLP
|
| 1992 | — | conf |
CNKBS
|
| 1992 | J | jnl |
Inf. Process. Lett.
|
| 1991 | — | conf |
AI*IA
|
| 1991 | — | conf |
PLILP
|
| 1991 | A* | conf |
KR
|
| 1991 | — | conf |
RCLP
|
| 1991 | — | conf |
ELP
|
| 1991 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1991 | — | conf |
ICLP Workshop on Construction of Logic Programs
|
| 1990 | B | conf |
ICLP
|
| 1990 | J | jnl |
Inf. Process. Lett.
|
| 1990 | A | conf |
ECAI
|
| 1990 | — | conf |
PLILP
|
| 1990 | A | conf |
ECAI
|
| 1989 | — | conf |
TAPSOFT, Vol.1
|
| 1989 | B | conf |
ICLP
|