News
2024
-
Conference paper published!
17 October 2024 -
Conference paper published!
17 October 2024 -
Journal article published in "International Journal on Software Tools for Technology Transfer"!
1 October 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 -
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 in "Journal of Software: Evolution and Process"!
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 -
Journal article published in "Systems Engineering"!
1 January 2024 -
Book chapter published in "Studies in Big Data"!
1 January 2024 -
Journal article published in "IEEE Access"!
1 January 2024 -
Journal article published in "Journal of Systems and Software"!
1 January 2024 -
Journal article published in "Software - Practice and Experience"!
1 January 2024 -
Journal article published in "IEEE Access"!
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 in "Innovations in Systems and Software Engineering"!
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 -
Conference paper 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 "Lecture Notes in Networks and Systems"!
1 January 2023 -
Conference paper published in "Leibniz International Proceedings in Informatics, LIPIcs"!
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 -
Conference paper 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 -
Conference paper 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
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 -
Conference paper 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 -
Conference paper 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 -
Conference paper 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 -
Conference paper published in "Lecture Notes in Networks and Systems"!
1 January 2021 -
Conference paper 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 -
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 -
Conference paper 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 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 -
Conference paper 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 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 -
Conference paper published in "Lecture Notes in Business Information Processing"!
1 January 2019 -
Journal article published in "Journal of Cloud Computing"!
1 January 2019 -
Conference paper published in "Advances in Intelligent Systems and Computing"!
1 January 2019
2018
-
Conference paper 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 - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018"!
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 -
Conference paper published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
1 January 2018 -
Conference paper 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 - 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
-
Conference paper 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 -
Conference paper published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
1 January 2017 -
Conference paper 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 -
Conference paper 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 -
Conference paper 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 "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 -
Conference paper 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 -
Conference paper 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 "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 -
Conference paper published in "Communications in Computer and Information Science"!
1 January 2013 -
Conference paper 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 "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 -
Conference paper 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 -
Conference paper 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 -
Conference paper published in "Communications in Computer and Information Science"!
1 January 2011 -
Conference paper 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 -
Conference paper 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 "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
1 January 2011 -
Conference paper 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 -
Conference paper 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 "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 -
Conference paper 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 -
Conference paper published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
1 January 2009 -
Conference paper 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
-
Conference paper published in "Electronic Notes in Theoretical Computer Science"!
1 January 2005 -
Conference paper published in "Electronic Notes in Theoretical Computer Science"!
1 January 2005 -
Conference paper published in "Electronic Notes in Theoretical Computer Science"!
1 January 2005
2004
-
Conference paper 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
-
Conference paper published in "Science of Computer Programming"!
1 January 2003 -
Conference paper 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
-
Conference paper published in "Electronic Notes in Theoretical Computer Science"!
1 January 2001 -
Conference paper published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
1 January 2001 -
Conference paper published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
1 January 2001 -
Conference paper 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
-
Conference paper published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!
1 January 1997 -
Journal article published in "ACM Transactions on Programming Languages and Systems"!
1 January 1997 -
Conference paper 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
1991
-
Journal article published in "ACM SIGPLAN Notices"!
1 January 1991
1989
-
Journal article published in "Nonlinear Analysis"!
1 January 1989