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