News

2024

• Journal article published in "Journal of Systems and Software"!
  1 October 2024
• Conference paper published!
  20 September 2024
• Conference paper published!
  20 September 2024
• Journal article published in "International Journal on Software Tools for Technology Transfer"!
  1 August 2024
• Journal article published in "Software: Practice and Experience"!
  1 May 2024
• Journal article published in "Journal of Systems and Software"!
  1 May 2024
• Conference paper published!
  16 April 2024
• Conference paper published!
  15 April 2024
• Journal article published in "Distributed Ledger Technologies: Research and Practice"!
  29 January 2024
• Journal article published in "IEEE Access"!
  1 January 2024
• Journal article published!
  1 January 2024
• Book chapter published!
  1 January 2024
• Journal article published!
  1 January 2024
• Journal article published in "IEEE Access"!
  1 January 2024
• Journal article published in "Expert Systems with Applications"!
  1 January 2024
• Conference paper published!
  1 January 2024
• Conference paper published!
  1 January 2024
• Book chapter published!
  1 January 2024

2023

• Journal article published in "Cluster Computing"!
  1 October 2023
• Journal article published in "BMC Bioinformatics"!
  11 September 2023
• Conference paper published in "2023 IEEE 31st International Requirements Engineering Conference (RE)"!
  1 September 2023
• Journal article published in "Schloss Dagstuhl - Leibniz-Zentrum für Informatik"!
  11 July 2023
• Journal article published in "IEEE Transactions on Software Engineering"!
  1 July 2023
• Conference paper published in "Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"!
  6 June 2023
• Preprint published!
  2 June 2023
• Conference paper published in "2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)"!
  13 March 2023
• Journal article published in "Ad Hoc Networks"!
  1 January 2023
• Journal article published!
  1 January 2023
• Book chapter published in "Intelligent Systems Reference Library"!
  1 January 2023
• Book chapter published in "Intelligent Systems Reference Library"!
  1 January 2023
• Book chapter published in "Distributed Computing to Blockchain: Architecture, Technology, and Applications"!
  1 January 2023
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2023
• Journal article published in "Software and Systems Modeling"!
  1 January 2023
• Conference paper published in "Proceedings of the IEEE International Conference on Requirements Engineering"!
  1 January 2023
• Conference paper published in "Leibniz International Proceedings in Informatics, LIPIcs"!
  1 January 2023
• Journal article published in "Systems Engineering"!
  1 January 2023
• Article published in "arXiv"!
  1 January 2023
• Journal article published in "Journal of Computer Security"!
  1 January 2023
• Article published in "SSRN"!
  1 January 2023
• Journal article published in "Expert Systems with Applications"!
  1 January 2023
• Journal article published in "IEEE Transactions on Software Engineering"!
  1 January 2023

2022

• Journal article published in "Computer Networks"!
  1 December 2022
• Journal article published in "IEEE Access"!
  10 June 2022
• Journal article published in "Information Systems"!
  1 March 2022
• Journal article published in "Sensors"!
  20 February 2022
• Journal article published in "IEEE Access"!
  1 January 2022
• Journal article published in "International Journal of Information Management Data Insights"!
  1 January 2022
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2022
• Journal article published in "Digital Policy, Regulation and Governance"!
  1 January 2022
• Journal article published in "Expert Systems with Applications"!
  1 January 2022
• Book chapter published!
  1 January 2022
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2022
• Article published in "SSRN"!
  1 January 2022
• Conference paper published!
  1 January 2022
• Conference paper published in "SOAP 2022 - Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, co-located with PLDI 2022"!
  1 January 2022
• Book chapter published in "Lecture Notes in Networks and Systems"!
  1 January 2022

2021

• Conference paper published in "Electronic Proceedings in Theoretical Computer Science"!
  5 September 2021
• Journal article published in "ACM Transactions on Privacy and Security"!
  31 May 2021
• Conference paper published in "Proceedings of the IEEE International Conference on Requirements Engineering"!
  1 January 2021
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2021
• Journal article published in "Innovations in Systems and Software Engineering"!
  1 January 2021
• Journal article published in "SN Computer Science"!
  1 January 2021
• Journal article published in "International Journal of Software Engineering and Knowledge Engineering"!
  1 January 2021
• Book chapter published in "Advances in Intelligent Systems and Computing"!
  1 January 2021
• Journal article published in "Innovations in Systems and Software Engineering"!
  1 January 2021
• Journal article published in "Expert Systems with Applications"!
  1 January 2021
• Book chapter published in "Lecture Notes in Networks and Systems"!
  1 January 2021
• Conference paper published in "Electronic Proceedings in Theoretical Computer Science, EPTCS"!
  1 January 2021
• Journal article published in "Ad Hoc Networks"!
  1 January 2021
• Journal article published in "Innovations in Systems and Software Engineering"!
  1 January 2021
• Journal article published in "Information and Computation"!
  1 January 2021
• Journal article published in "Innovations in Systems and Software Engineering"!
  1 January 2021
• Journal article published!
  1 January 2021
• Journal article published in "Systems Engineering"!
  1 January 2021
• Journal article published in "International Journal on Software Tools for Technology Transfer"!
  1 January 2021
• Book chapter published in "Lecture Notes in Networks and Systems"!
  1 January 2021
• Conference paper published in "SOAP 2021 - Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, co-located with PLDI 2021"!
  1 January 2021

2020

• Journal article published in "Applied Sciences"!
  1 May 2020
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2020
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2020
• Journal article published!
  1 January 2020
• Article published in "arXiv"!
  1 January 2020
• Book chapter published in "Lecture Notes in Computer Science"!
  1 January 2020
• Conference paper published in "Proceedings of the ACM Symposium on Applied Computing"!
  1 January 2020
• Conference paper published in "Proceedings - 16th European Dependable Computing Conference, EDCC 2020"!
  1 January 2020
• Journal article published in "Science of Computer Programming"!
  1 January 2020
• Journal article published in "Sensors (Switzerland)"!
  1 January 2020
• Conference paper published!
  1 January 2020
• Journal article published in "IEEE Transactions on Software Engineering"!
  1 January 2020
• Book chapter published in "Advances in Intelligent Systems and Computing"!
  1 January 2020
• Journal article published in "Applied Sciences (Switzerland)"!
  1 January 2020
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2020
• Conference paper published in "Proceedings of the ACM Symposium on Applied Computing"!
  1 January 2020
• Journal article published in "IEEE Access"!
  1 January 2020
• Book chapter published in "Studies in Computational Intelligence"!
  1 January 2020
• Article published in "arXiv"!
  1 January 2020

2019

• Book chapter published!
  17 December 2019
• Journal article published in "Journal of Systems and Software"!
  1 April 2019
• Journal article published in "ACM Transactions on Programming Languages and Systems"!
  1 January 2019
• Journal article published in "Applied Sciences (Switzerland)"!
  1 January 2019
• Book chapter published in "Studies in Computational Intelligence"!
  1 January 2019
• Journal article published in "IEEE Robotics and Automation Letters"!
  1 January 2019
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2019
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2019
• Journal article published in "Journal of Computer Languages"!
  1 January 2019
• Journal article published in "Expert Systems with Applications"!
  1 January 2019
• Conference paper published in "IEEE International Conference on Industrial Informatics (INDIN)"!
  1 January 2019
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2019
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2019
• Conference paper published!
  1 January 2019
• Journal article published!
  1 January 2019
• Journal article published in "Software - Practice and Experience"!
  1 January 2019
• Conference paper published in "Proceedings - 4th IEEE European Symposium on Security and Privacy Workshops, EUROS and PW 2019"!
  1 January 2019
• Book chapter published in "Lecture Notes in Business Information Processing"!
  1 January 2019
• Journal article published in "Journal of Cloud Computing"!
  1 January 2019
• Book chapter published in "Advances in Intelligent Systems and Computing"!
  1 January 2019

2018

• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2018
• Edited book published!
  1 January 2018
• Conference paper published in "2018 3rd International Conference on Fog and Mobile Edge Computing, FMEC 2018"!
  1 January 2018
• Conference paper published in "Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018"!
  1 January 2018
• Conference paper published in "2018 ACM International Conference on Computing Frontiers, CF 2018 - Proceedings"!
  1 January 2018
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2018
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2018
• Edited book published!
  1 January 2018
• Conference paper published in "Proceedings - International Conference on Software Engineering"!
  1 January 2018
• Conference paper published in "Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018"!
  1 January 2018
• Conference paper published in "IEEE International Conference on Intelligent Robots and Systems"!
  1 January 2018

2017

• Book chapter published in "Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST"!
  1 January 2017
• Conference paper published in "SLE 2017 - Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2017"!
  1 January 2017
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2017
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2017
• Journal article published in "Entertainment Computing"!
  1 January 2017
• Book chapter published in "Advances in Intelligent Systems and Computing"!
  1 January 2017
• Journal article published in "Innovations in Systems and Software Engineering"!
  1 January 2017

2016

• Book chapter published in "SpringerBriefs in Applied Sciences and Technology"!
  1 January 2016
• Journal article published in "Innovations in Systems and Software Engineering"!
  1 January 2016
• Conference paper published in "Proceedings of the IEEE International Conference on Industrial Technology"!
  1 January 2016
• Book chapter published in "Advances in Intelligent Systems and Computing"!
  1 January 2016
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2016
• Book chapter published in "SpringerBriefs in Applied Sciences and Technology"!
  1 January 2016
• Book chapter published in "SpringerBriefs in Applied Sciences and Technology"!
  1 January 2016
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2016
• Book chapter published in "Advances in Intelligent Systems and Computing"!
  1 January 2016
• Book chapter published in "SpringerBriefs in Applied Sciences and Technology"!
  1 January 2016
• Book chapter published in "Hyper-Lattice Algebraic Model for Data Warehousing"!
  1 January 2016

2015

• Journal article published in "Computer Languages, Systems and Structures"!
  1 January 2015
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2015
• Conference paper published in "2015 7th Computer Science and Electronic Engineering Conference, CEEC 2015 - Conference Proceedings"!
  1 January 2015
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2015
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2015
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2015
• Journal article published in "Software - Practice and Experience"!
  1 January 2015

2014

• Conference paper published in "Proceedings of the ACM Symposium on Applied Computing"!
  1 January 2014
• Conference paper published in "2014 Federated Conference on Computer Science and Information Systems, FedCSIS 2014"!
  1 January 2014

2013

• Journal article published in "Science of Computer Programming"!
  1 January 2013
• Conference paper published in "Proceedings of the ACM Symposium on Applied Computing"!
  1 January 2013
• Conference paper published in "Electronic Proceedings in Theoretical Computer Science, EPTCS"!
  1 January 2013
• Book chapter published in "Communications in Computer and Information Science"!
  1 January 2013
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2013
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2013
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2013
• Conference paper published in "2013 44th International Symposium on Robotics, ISR 2013"!
  1 January 2013

2012

• Journal article published in "Transforming Government: People, Process and Policy"!
  1 January 2012
• Conference paper published in "Proceedings of the ACM Symposium on Applied Computing"!
  1 January 2012
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2012
• Journal article published in "Computer Languages, Systems and Structures"!
  1 January 2012
• Book chapter published!
  1 January 2012
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2012

2011

• Journal article published in "Computer Languages, Systems and Structures"!
  1 January 2011
• Book chapter published in "Communications in Computer and Information Science"!
  1 January 2011
• Book chapter published in "Communications in Computer and Information Science"!
  1 January 2011
• Book chapter published in "Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions"!
  1 January 2011
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2011
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2011
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2011
• Conference paper published in "SIGITE11 - Proceedings of the 2011 ACM Special Interest Group for Information Technology Education Conference"!
  1 January 2011
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2011
• Book chapter published in "Communications in Computer and Information Science"!
  1 January 2011

2010

• Conference paper published in "Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010"!
  1 January 2010
• Conference paper published!
  1 January 2010
• Journal article published in "Computer Languages, Systems and Structures"!
  1 January 2010
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2010
• Conference paper published in "Proceedings - IEEE Symposium on Computers and Communications"!
  1 January 2010

2009

• Conference paper published in "ICCIT 2009 - 4th International Conference on Computer Sciences and Convergence Information Technology"!
  1 January 2009
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 2009
• Book chapter published in "IFIP Advances in Information and Communication Technology"!
  1 January 2009

2008

• Conference paper published in "Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008"!
  1 January 2008
• Journal article published in "Information and Computation"!
  1 January 2008

2007

• Conference paper published in "FMSE07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering"!
  1 January 2007
• Conference paper published in "Proceedings - IEEE Computer Security Foundations Symposium"!
  1 January 2007

2005

• Journal article published in "Electronic Notes in Theoretical Computer Science"!
  1 January 2005
• Journal article published in "Electronic Notes in Theoretical Computer Science"!
  1 January 2005
• Journal article published in "Electronic Notes in Theoretical Computer Science"!
  1 January 2005

2004

• Journal article published in "Computer Languages, Systems and Structures"!
  1 January 2004
• Journal article published in "Electronic Notes in Theoretical Computer Science"!
  1 January 2004
• Journal article published in "International Journal on Software Tools for Technology Transfer"!
  1 January 2004

2003

• Journal article published in "Science of Computer Programming"!
  1 January 2003
• Journal article published in "Electronic Notes in Theoretical Computer Science"!
  1 January 2003

2002

• Journal article published in "Computer Languages"!
  1 January 2002
• Journal article published in "Theoretical Computer Science"!
  1 January 2002
• Journal article published in "Computer Languages"!
  1 January 2002

2001

• Journal article published in "Electronic Notes in Theoretical Computer Science"!
  1 January 2001
• Journal article published in "Electronic Notes in Theoretical Computer Science"!
  1 January 2001

2000

• Journal article published in "Science of Computer Programming"!
  1 January 2000
• Journal article published in "Journal of Logic Programming"!
  1 January 2000

1999

• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 1999
• Journal article published in "Journal of Logic Programming"!
  1 January 1999
• Journal article published in "Journal of Logic Programming"!
  1 January 1999

1998

• Journal article published in "Theoretical Computer Science"!
  1 January 1998

1997

• Journal article published in "ACM Transactions on Programming Languages and Systems"!
  1 January 1997
• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 1997

1996

• Journal article published in "Journal of Logic Programming"!
  1 January 1996

1995

• Journal article published in "The Journal of Logic Programming"!
  1 January 1995
• Journal article published in "The Journal of Logic Programming"!
  1 January 1995

1993

• Journal article published in "Theoretical Computer Science"!
  1 January 1993

1992

• Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
  1 January 1992

1991

• Journal article published in "ACM SIGPLAN Notices"!
  1 January 1991

1989

• Journal article published in "Nonlinear Analysis"!
  1 January 1989