Towards everlasting privacy and efficient coercion resistance in remote electronic voting

Grontas, P., Pagourtzis, A., Zacharakis, A. & Zhang, B., 2019, FC 2018 International Workshops, VOTING 18: International Conference on Financial Cryptography and Data Security. Bracciali, A., Pintore, F., Clark, J., Eyal, I., Zohar, A., Teague, V. & Sala, M. (eds.). Cham: Springer Verlag, p. 210-231 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10958 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Understanding cognitive saliency by using an online game

Yesiltepe, D., Conroy-Dalton, R., Ozbil Torun, A., Hornberger, M. & Spiers, H., 20/08/2020, Spatial Cognition XII : 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26–28, 2020, Proceedings. Šķilters, J., Newcombe, N. S. & Uttal, D. (eds.). Cham: Springer, p. 76-87 12 p. (Lecture Notes in Computer Science ; vol. 12162).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Feature-based multi-video synchronization with subframe accuracy

Elhayek, A., Stoll, C., Kim, K. I., Seidel, H.-P. & Theobalt, C., 2012, Pattern recognition: Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings. Pinz, A., Pock, T., Bischof, H. & Liberl, F. (eds.). Berlin: Springer Verlag, p. 266-275 10 p. (Lecture Notes in Computer Science; vol. 7476).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Reflections on provenance ontology encodings

Ding, L., Bao, J., Michaelis, J., Zhao, J. & McGuinness, D., 2010, Provenance and annotation of data and processes: Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers. McGuinness, D. L., Michaelis, J. R. & Moreau, L. (eds.). Berlin: Springer, p. 198-205 8 p. (Lecture Notes in Computer Science; vol. 6378).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

OpenCL task partitioning in the presence of GPU contention

Grewe, D., Wang, Z. & O'Boyle, M., 2014, Languages and compilers for parallel computing: 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers. Cașcaval, C. & Montesinos , P. (eds.). Springer, p. 87-101 15 p. (Lecture Notes in Computer Science; vol. 8664).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

When history matters: assessing reliability for the reuse of scientific workflows

Gómez-pérez, J. M., García-cuesta, E., Garrido, A., Ruiz, J. E., Zhao, J. & Klyne, G., 2013, The semantic web – ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II. Berlin: Springer Verlag, p. 81-97 17 p. (Lecture Notes in Computer Science; vol. 8219).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution

Analyzing the effort of composing design models of large-scale software in industrial case studies

Farias, K., Garcia, A., Whittle, J. & Lucena, C., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Moreira, A., Schätz, B., Gray, J., Vallecillo, A. & Clarke, P. (eds.). Berlin: Springer, p. 639-655 17 p. (Lecture Notes in Computer Science; vol. 8107).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Building a semantic web image repository for biological research images

Zhao, J., Klyne, G. & Shotton, D., 2008, The semantic web: research and applications: 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings. Bechhofer, S., Hauswirth, M., Hoffmann, J. & Koubarakis, M. (eds.). Berlin: Springer, p. 154-169 16 p. (Lecture Notes in Computer Science; vol. 5021).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Wicked persuasion: a designerly approach

Knowles, B., Coulton, P., Lochrie, M. & Whittle, J., 23/05/2014, Persuasive Technology: 9th International Conference, PERSUASIVE 2014, Padua, Italy, May 21-23, 2014. Proceedings. Spagnolli, A., Chittaro, L. & Gamberini, L. (eds.). Berlin: Springer, p. 137-142 6 p. (Lecture Notes in Computer Science; vol. 8462).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Adaptation in open systems: giving interaction its rightful place

Dalpiaz, F., Chopra, A. K., Giorgini, P. & Mylopoulos, J., 2010, Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 31-45 15 p. (Lecture Notes in Computer Science; vol. 6412).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Modeling and reasoning about service-oriented applications via goals and commitments

Chopra, A. K., Dalpiaz, F., Giorgini, P. & Mylopoulos, J., 2010, Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings. Pernici, B. (ed.). Berlin: Springer, p. 113-128 16 p. (Lecture Notes in Computer Science; vol. 6051).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

OWL-P: a methodology for business process development

Desai, N., Mallya, A. U., Chopra, A. K. & Singh, M. P., 2006, Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers. Kolp, M., Bresciani, P., Henderson-Sellers, B. & Winikoff, M. (eds.). Berlin: Springer, p. 79-94 16 p. (Lecture Notes in Computer Science; vol. 3529).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Interoperation in protocol enactment

Chopra, A. K. & Singh, M. P., 2008, Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Baldoni, M., Son, T. C. & Riemsdijk, M. B. V. (eds.). Berlin: Springer, p. 36-49 14 p. (Lecture Notes in Computer Science; vol. 4897).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Elements of a business-level architecture for multiagent systems

Chopra, A. K. & Singh, M. P., 2010, Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Braubach, L., Briot, J.-P. & Thangarajah, J. (eds.). Berlin: Springer, p. 15-30 16 p. (Lecture Notes in Computer Science; vol. 5919).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Affordances of presentations in multi-display learning spaces for supporting small group discussion

Bligh, B. & Sharples, M., 09/2010, Sustaining TEL : from innovation to learning and practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010. Proceedings. Wolpers, M., Kirschner, P. A., Scheffel, M., Lindstaedt, S. & Dimitrova, V. (eds.). Berlin: Springer Verlag, p. 464-469 6 p. (Lecture Notes in Computer Science; vol. 6383).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed)

Switching sensitive driver circuit to combat dynamic delay in on-chip buses

Weerasekera, R., Zheng, L.-R., Pamunuwa, D. B., Tenhunen, H., Paliouras, V. (Editor), Vounckx, J. (Editor) & Verkest, D. (Editor), 09/2005, Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings. Paliouras, V., Vounckx, J. & Verkest, D. (eds.). Berlin: Springer, p. 277-285 9 p. (Lecture Notes in Computer Science; vol. 3728).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Publishing and consuming provenance metadata on the web of linked data

Hartig, O. & Zhao, J., 2010, Provenance and annotation of data and processes: Revised Selected Papers of the Third International Provenance and Annotation Workshop (IPAW 2010) . McGuinness, D. L., Michaelis, J. R. & Moreau, L. (eds.). Berlin: Springer Verlag, p. 78-90 13 p. (Lecture Notes in Computer Science; vol. 6378).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Stellar: A Programming Model for Developing Protocol-Compliant Agents

Günay, A. & Chopra, A. K., 14/07/2019, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Revised Selected Papers: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Mascardi, V., Weyns, D. & Ricci, A. (eds.). Springer, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11375).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

General Program Synthesis using Guided Corpus Generation and Automatic Refactoring

Wild, A. & Porter, B., 31/08/2019, Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings. Nejati, S. & Gay, G. (eds.). Cham: Springer-Verlag, p. 89-104 15 p. (Lecture Notes in Computer Science; vol. 11664).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Kretínský, J., Manta, A. & Meggendorfer, T., 21/10/2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Synthesizing Controllers for Multi-lane Traffic Maneuvers

Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E.-R., 4/11/2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 71-86 16 p. (Lecture Notes in Computer Science; vol. 9409).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Self-explanation in adaptive systems based on runtime goal-based models

Welsh, K., Bencomo, N., Sawyer, P. & Whittle, J., 2014, Transactions on Computational Collective Intelligence XVI. Kowalczyk, R. & Nguyen, N. T. (eds.). Berlin: Springer, p. 122-145 24 p. (Lecture Notes in Computer Science).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Local Wayfinding Decisions in a Complex Real-World Building

Jazuk, K., Gubler, G.-L., Mavros, P., Conroy-Dalton, R. & Hölscher, C., 25/08/2020, Spatial Cognition XII: 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26–28, 2020, Proceedings. Latvia: Springer-Verlag, Vol. 2020. p. 122-125 4 p. (Lecture Notes in Computer Science ; vol. 12162).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Solving the distributed two machine flow-shop scheduling problem using differential evolution

Dempster, P., Li, P. & Drake, J. H., 1/08/2017, Advances in Swarm Intelligence: 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I. Tan, Y., Tagaki, H. & Shi, Y. (eds.). Cham: Springer, p. 449-457 9 p. (Lecture Notes in Computer Science; vol. 10385).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 11/10/2018, Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (eds.). Cham: Springer, p. 160-176 17 p. (Lecture Notes in Computer Science; vol. 11232).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 5/09/2017, Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 224–239 16 p. (Lecture Notes in Computer Science; vol. 10503).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

A mobile cloud framework for context-aware and portable recommender system for smart markets

Khan, A., Ahmad, A., Rahman, A. U. & Alkhalil, A., 21/06/2019, EAI/Springer Innovations in Communication and Computing. Mehmood, R., See, S., Katib, I. & Chlamtac, I. (eds.). Cham: Springer, p. 283-309 27 p. (EAI/Springer Innovations in Communication and Computing).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Summary of the Workshop Models@run.time at MoDELS 2006

Bencomo, N., Blair, G. S. & France, R., 2006, Lecture Notes in Computer Science, Satellite Events at the MoDELS 2006 Conference. Springer-Verlag, p. 226-230 5 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

EHBT: An efficient protocol for group key management.

Mathy, L. & Hutchison, D., 11/2001, Lecture Notes in Computer Science: Networked Group Communication. Springer Berlin / Heidelberg, p. 159-171

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Charging in Peer-to-Peer Systems based on a Token Accounting System

Mauthe, A., Liebau, N., Heckmann, O., Kovacevic, A. & Steinmetz, R., 06/2006, Lecture Notes in Computer Science: Performability Has its Price. Springer Berlin / Heidelberg

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Peer-to-Peer Content Distribution Network

Mauthe, A., Heckmann, O., Liebau, N., Darlagiannis, V. & Bock, A., 01/2005, Lecture Notes in Computer Science: From Integrated Publication and Information Systems to Information and Knowledge Environments.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SAND: A Scalable, Distributed and Dynamic Active Network Directory Service

Sifalakis, M., Mauthe, A. & Hutchison, D., 2009, (Unpublished) Lecture Notes in Computer Science: Active and Programmable Networks. Springer Berlin / Heidelberg

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Caching Indices for Efficient Lookup in Structured Overlay Networks

Mauthe, A., Darlagiannis, V., Liebau, N., Heckmann, O. & Steinmetz, R., 07/2005, Lecture Notes in Computer Science: Agents and Peer-to-Peer Computing. p. 81-93

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Cloud of line distribution for arbitrary text detection in scene/video/license plate images

Wang, W., Wu, Y., Palaiahnakote, S., Lu, T. & Liu, J., 10/05/2018, Advances in Multimedia Information Processing – PCM 2017. Springer, Cham, p. 433-443 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Determining Risks from Advanced Multi-step Attacks to Critical Information Infrastructures.

Ma, Z. & Smith, P., 2013, Critical Information Infrastructures Security. CRITIS 2013.: Lecture Notes in Computer Science. Springer, Vol. 8328. p. 142-154 13 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sketching sustainability in computing

Sturdee, M., Mann, S. & Carpendale, S., 20/06/2019, C&C '19 Proceedings of the 2019 on Creativity and Cognition. New York: ACM, p. 29-40 12 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles

Wu, M., Louw, T., Lahijanian, M., Ruan, W., Huang, X., Merat, N. & Kwiatkowska, M., 27/01/2020, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 6210-6216 7 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

From detection to remediation: A self-organized system for addressing flash crowd problems

Xie, L., Smith, P., Hutchison, D., Banfield, M., Leopold, H., Jabbar, A. & Sterbenz, J. P. G., 12/09/2008, ICC 2008 - IEEE International Conference on Communications, Proceedings. p. 5809-5814 6 p. 4534123

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Robust Functional Regression for Outlier Detection

Hullait, H., Leslie, D. S., Pavlidis, N. G. & King, S., 23/01/2020, Advanced Analytics and Learning on Temporal Data: 4th ECML PKDD Workshop, AALTD 2019, Würzburg, Germany, September 20, 2019, Revised Selected Papers. Lemaire, V., Malinowski, S., Bagnall, A., Bondu, A., Guyet, T. & Tavenard, R. (eds.). Cham: Springer, p. 3-13 11 p. (Lecture Notes in Computer Science; vol. 11986).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Horus: An Interference-aware Resource Manager for Deep Learning Systems

Yeung, G., Borowiec, D., Yang, R., Friday, A., Harper, R. H. R. & Garraghan, P., 29/09/2020, Algorithms and Architectures for Parallel Processing. ICA3PP 2020. Qiu, M. (ed.). Springer, p. 492-508 17 p. (Lecture Notes in Computer Science; vol. 12453).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

DexPro: A Bytecode Level Code Protection System for Android Applications

Zhao, B., Tang, Z., Li, Z., Song, L., Gong, X., Fang, D., Liu, F. & Wang, Z., 21/10/2017, Cyberspace Safety and Security. Wen, S., Wu, W. & Castiglione, A. (eds.). Cham: Springer, p. 367-382 16 p. (Lecture Notes in Computer Science; vol. 10581).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Seeding the design process for future problems

Newman, P., Forshaw, S., Simm, W., Ferrario, M. A., Whittle, J. & Friday, A., 09/2014, Human-centered software engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. Sauer, S., Bogdan, C., Forbrig, P., Bernhaupt, R. & Winckler, M. (eds.). Berlin: Springer, p. 291-298 8 p. (Lecture Notes in Computer Science; vol. 8742).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

EA-Miner: towards automation in aspect-oriented requirements engineering

Sampaio, A., Rashid, A., Chitchyan, R. & Rayson, P., 02/2007, Transactions on Aspect-Oriented Software Development III. Rashid, A. & Aksit, M. (eds.). Berlin: Springer Verlag, p. 4-39 36 p. (Lecture Notes in Computer Science; vol. 4620).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review