1. Published

    Aggregation Algorithm vs. Average For Time Series Prediction

    Jamil, W., Kalnishkan, Y. & Bouchachia, H., 23 Sep 2016, Proceedings of the ECML PKDD 2016 Workshop on Large-scale Learning from Data Streams in Evolving Environments, STREAMEVOLV-2016. p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Published

    AGILE: Software Architecture for Mobility

    Andrade, L., Baldan, P., Baumeister, H., Corradini, A., De Nicola, R., Fiadeiro, J. L., Gadducci, F., Gnesi, S., Hoffman, P., P., K., Kosiuczenko, H., Lapadula, P., Latella, F., Lopes, M., Loreti, N., Massink, A., Mazzanti, M., Montanari, F., Oliveira, F., Pugliese, R. & 5 others, Tarlecki, M., Wermelinger, U., Wirsing, R., Zawlocki, M. & Bruni, A., 1 Jan 2003, In: Lecture Notes in Computer Science. 2755, p. 1-33 33 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Agility through coordination

    Andrade, L. F. & Fiadeiro, J. L., 1 Sep 2002, In: Information Systems Management. 27, 6, p. 411-424 14 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P. & Schmid, U., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers. p. 73-84 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    Alexey Chervonenkis's Bibliography: Introductory Comments

    Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 2051-2066 16 p.

    Research output: Contribution to journalEditorial

  6. Published

    Alexey Chervonenkis's Bibliography

    Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 2067-2080 14 p.

    Research output: Contribution to journalEditorial

  7. Published

    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

    Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, ADT.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I., 8 Jul 2016, ACM SIGLOG News. Immerman, N. (ed.). New York: ACM, Vol. 3. p. 21-43 23 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  9. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I., 2017, Electronic Colloquium on Computation Complexity .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2010, 7th Annual Conference on Theory and Applications of Models of Computation. Berlin, Vol. 6108. p. 60 71 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2011, In: Information and Computation. 209, 10, p. 1269-1292 24 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Algebraic Semantics of Coordination or What Is in a Signature

    Fiadeiro, J. L. & Lopes, A., 1999, AMAST. Springer, Vol. 1548. p. 293-307 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Published

    Algebraic semantics of design abstractions for context-awareness

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3423, p. 79-93 15 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Algebraic semantics of service component modules

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS. p. 37-55 19 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  15. Published

    Algebraic Software Architecture Reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1999, ESEC / SIGSOFT FSE. Springer, Vol. 1687. p. 393-409 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. E-pub ahead of print

    Algebras for Tree Decomposable Graphs

    Bruni, R., Montanari, U. & Sammartino, M., 23 Jun 2020, (E-pub ahead of print) Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 203-220 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12150 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Published

    Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem.

    Cohen, N., Fomin, F., Gutin, G., Kim, E. J., Saurabh, S. & Yeo, A., 2010, In: Journal of Computer and System Sciences. 76, p. 650-662

    Research output: Contribution to journalArticlepeer-review

  18. Published

    Algorithmic construction of low-discrepancy point sets via dependent randomized rounding

    Doerr, B., Gnewuch, M. & Wahlström, M., 2010, In: Journal of Complexity. 26, 5, p. 490-507 18 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Algorithmic Learning in a Random World

    Vovk, V., Gammerman, A. & Shafer, G., 2005, Springer.

    Research output: Book/ReportBook

  20. Published

    Algorithms for generating convex sets in acyclic digraphs

    Balister, P., Gerke, S., Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., Dec 2009, In: Journal of Discrete Algorithms. 7, 4, p. 509–518 10 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Algorithms for hierarchical clustering: An Overview

    Murtagh, F. & Contreras Albornoz, P., 2011, Data Mining and Knowledge Discovery, Wiley Interdisciplinary Reviews (WIRES). John Wiley & Sons, 12 p. (Wiley Interdisciplinary Reviews).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  22. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

    Crowston, R., 2013, (Unpublished) 125 p.

    Research output: ThesisDoctoral Thesis

  23. Published

    Algorithms for the workflow satisfiability problem engineered for counting constraints

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., Jul 2016, In: Journal of Combinatorial Optimization. 32, 1, p. 3–24 22 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Algorithms for Workflow Satisfiability Problem with User-independent Constraints

    Gutin, G. & Karapetyan, D., Mar 2020, In: International Journal of Graph Computing. 1, 1, p. 25-38 14 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Algorithms with large domination ratio

    Alon, N., Gutin, G. & Krivelevich, M., 2004, In: Journal of Algorithms. 50, 1, p. 118-131

    Research output: Contribution to journalArticle

  26. Published

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Variables

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2012, In: Journal of Computer and System Sciences. 78, p. 151--163

    Research output: Contribution to journalArticlepeer-review

  27. Forthcoming

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Vertices

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2011, (Accepted/In press) In: Journal of Computer and System Sciences. in press

    Research output: Contribution to journalArticlepeer-review

  28. Published

    All-solid-state carbonate-selective electrode based on screen-printed carbon paste electrode

    Li, G., Lyu, X., Wang, Z., Rong, Y., Hu, R., Luo, Z. & Wang, Y., 12 Jan 2017, In: Measurement Science and Technology. 28, 2, p. 1-7 7 p., 025104.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Almost all almost regular c-partite tournaments with $c geq 5$ are vertex pancyclic

    Tewes, M., Volkmann, L. & Yeo, A., 2002, In: Discrete Mathematics. 242, 1-3, p. 201-228 28 p.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    Almost minimum diameter orientations of semicomplete multipartitite and extended digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2002, In: Graphs and Combinatorics. 18, 3, p. 499-506 8 p.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    Alternating Control Flow Reconstruction

    Kinder, J. & Kravchenko, D., Jan 2012, Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Springer, p. 267-282

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Published

    Alternating cycles and trails in 2-edge-coloured multigraphs

    Bang-Jensen, J. & Gutin, G., 1998, In: Discrete Mathematics. 188, 1, p. 61-72

    Research output: Contribution to journalArticle

  33. E-pub ahead of print

    Alternative parameterizations of Metric Dimension

    Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 25 Jan 2019, (E-pub ahead of print) In: Theoretical Computer Science. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  34. Published

    AMADEUS- A Multi-Method Approach for Developing Universal Specifications

    Loucopoulos, P., Black, W. J., Layzell, P. J. & Alabdul Razak, A. G. S., 1987, Esprit Technical Week, 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Published

    Ambient Intelligence

    Sadri, F. & Stathis, K., 2008, Encyclopedia of Artificial Intelligence. Idea Group Inc, p. 85-91

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  36. Published

    Ambient Intelligence: 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

    Kameas, A. (ed.) & Stathis, K. (ed.), 2018, 233 p. (Information Systems and Applications, incl. Internet/Web, and HCI)

    Research output: Book/ReportScholarly edition

  37. Published

    Ambient intelligence using KGP agents

    Stathis, K. & Toni, F., 1 Nov 2004, p. 351--362.

    Research output: Contribution to conferencePaper

  38. Published

    Ambient Intelligence: Agents and Interaction in Connected Communities

    Stathis, K., Spence, R., de Bruijn, O. & Purcell, P., 2006, Networked Neighbourhoods: The Connected Community in Context. Purcell, P. (ed.). London: Springer, p. 279-304

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Published

    Amending contracts for choreographies

    Bocchi, L., Lange, J. & Tuosto, E., 31 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 59, p. 111-129 19 p.

    Research output: Contribution to journalConference articlepeer-review

  40. Published

    Amino acid architecture and the distribution of polar atoms on the surfaces of proteins

    Shanahan, H. P. & Thornton, J. M., 15 Aug 2005, In: BIOPOLYMERS. 78, 6, p. 318-328 11 p.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Amnesic distributed storage

    Chockler, G., Guerraoui, R. & Keidar, I., 1 Jan 2007, Proceedings of the 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Vol. 4731 LNCS. p. 139-151 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Published

    An abstract framework for globalising interactive systems

    Stathis, K. & Sergot, M., Feb 1998, In: Interacting with Computers. 9, 4, p. 401-416 16 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

    Kinder, J., Zuleger, F. & Veith, H., 2009, Proc. 10th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2009). Springer, p. 214-228

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Published

    An abstract model of service discovery and binding

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 1 Jul 2011, In: Formal Aspects of Computing. 23, 4, p. 433-463 31 p.

    Research output: Contribution to journalArticlepeer-review

  45. E-pub ahead of print

    An adaptive multi-agent system for task reallocation in a MapReduce job

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 1 Apr 2021, (E-pub ahead of print) In: Journal of Parallel and Distributed Computing.

    Research output: Contribution to journalArticlepeer-review

  46. Published
  47. Published

    An Agent Architecture for Concurrent Bilateral Negotiations

    Alrayes, B. & Stathis, K., 2014, Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Published

    An agent development framework based on social positions

    Lekeas, G. & Stathis, K., 2004, p. 5461-5466. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  49. Published

    An Agent Development Framework based on Social Positions

    Lekeas, G. K. & Stathis, K., 1 Oct 2004, IEEE Interantional Conference on Systems, Man and Cybernetics. Thiessen, W. & Wieringa, P. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Published

    An agile approach to language modelling and development

    Johnstone, A., Mosses, P. D. & Scott, E., Mar 2010, In: Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153 9 p.

    Research output: Contribution to journalArticlepeer-review

Previous 12 3 4 5 6 7 8 9 ...49 Next