Obtaining (Ɛ,δ)-differential privacy guarantees when using the Poisson distribution to synthesize tabular data

Jackson, J., Mitra, R., Francis, B. & Dove, I., 12/09/2024, Privacy in Statistical Databases – PSD2024. Domingo-Ferrer, J. & Önen, M. (eds.). Cham: Springer, p. 102-112 11 p. (Lecture Notes in Computer Science; vol. 14915).

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

Angry-Builds: An empirical study of affect metrics and builds success on GitHub ecosystem

Ortu, M., Pinna, A., Tonelli, R., Marchesi, M., Bowes, D. & Destefanis, G., 21/05/2018, XP '18: Proceedings of the 19th International Conference on Agile Software Development: Companion. New York: Association for Computing Machinery (ACM), 2 p. a35

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

SIF Permutations and Chord-connected Diagrams

Blitvic, N., 2014, Discrete Mathematics and Theoretical Computer Science Proceedings: 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), 2014 Chicago, United States. p. 801-814 14 p.

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

Improving the Reliability for Confidence Estimation

Qu, H., Li, Y., Foo, L. G., Kuen, J., Gu, J. & Liu, J., 30/10/2022, Computer Vision – ECCV 2022 - 17th European Conference, 2022, Proceedings. Avidan, S., Brostow, G., Cissé, M., Farinella, G. M. & Hassner, T. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 391-408 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13687 LNCS).

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

The relationship between evolutionary coupling and defects in large industrial software (journal-first abstract)

Kirbas, S., Caglayan, B., Hall, T., Counsell, S., Bowes, D., Sen, A. & Bener, A., 2/04/2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 471 1 p.

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

Programmable resource discovery using peer-to-peer networks

Smith, P., Simpson, S. & Hutchison, D., 1/01/2002, IFIP-TC6 4th International Working Conference, IWAN 2002: Active Networks . Tschudin, C., Takada, O., Sterbenz, J. & Plattner, B. (eds.). Springer, p. 229-240 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2546).

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

Budget imbalance criteria for auctions: a formalized theorem

Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

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

Minimizing Characterizing Sets

Bulut, K., Jourdan, G. V. & Türker, U. C., 13/02/2020, Formal Aspects of Component Software (FACS 2019). Arbab, F. & Jongmans, S. S. (eds.). Cham: Springer, p. 72-86 15 p. (Lecture Notes in Computer Science; vol. 12018).

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

Performance modelling and evaluation of firewall architectures for multimedia applications

Roedig, U. & Schmitt, J., 1/05/2004, Networking 2004: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Third International IFIP-TC6 Networking Conference Athens, Greece, May 9–14, 2004, Proceedings. Mitrou, N., Kontovasilis, K., Rouskas, G. N., Iliadis, I. & Merakos, L. (eds.). Berlin: Springer Verlag, p. 40-51 12 p. (Lecture Notes in Computer Science; vol. 3042).

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

Ubiquitous interaction: using surfaces in everyday environments as pointing devices

Strohbach, M., Van Laerhoven, K., Gellersen, H. & Schmidt, A., 01/2002, Universal Access Theoretical Perspectives, Practice, and Experience: 7th ERCIM International Workshop on User Interfaces for All, Paris, France, October 24–25, 2002, Revised Papers. Carbonell, N. & Stephanidis, C. (eds.). Berlin: Springer, p. 263-279 17 p. (Lecture Notes in Computer Science; vol. 2615).

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

D-DEMOS: a distributed, end-to-end verifiable, internet voting system

Chondros, N., Zhang, B., Zacharias, T., Diamantopoulos, P., Maneas, S., Patsonakis, C., Delis, A., Kiayias, A. & Roussopoulos, M., 27/06/2016, Proceedings of the 36th IEEE International Conference on Distributed Computing Systems (ICDCS 2016) . IEEE, p. 711-720 10 p. (2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), ).

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

Ceremonies for end-to-end verifiable elections

Kiayias, A., Zacharias, T. & Zhang, B., 03/2017, PKC 2017: Public-Key Cryptography – PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part II Editors (view affiliations). Springer, p. 305-334 30 p. (Lecture Notes in Computer Science; vol. 10175).

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

Algorithm engineering in robust optimization

Goerigk, M. & Schöbel, A., 11/11/2016, Algorithm Engineering: Selected Results and Surveys. Kliemann, L. & Sanders, P. (eds.). Springer, p. 245-279 35 p. (Lecture Notes in Computer Science; vol. 9220).

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

The Optimized Social Distance Lab: A Methodology for Automated Building Layout Redesign for Social Distancing

Fagan, D. & Conroy-Dalton, R., 2/02/2022, Machine Learning, Optimization, and Data Science: 7th International Conference, LOD 2021, Grasmere, UK, October 4–8, 2021, Revised Selected Papers, Part II. Nicosia, G., Ojha, V., La Malfa, E., La Malfa, G., Jansen, G., Pardalos, P. M., Giuffrida, G. & Umeton, R. (eds.). Cham: Springer, (Lecture Notes in Computer Science; vol. 13164).

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

Experience of enhancing the space sensing of networked robots using atlas service-oriented architecture

Helal, S., Lim, S., Bose, R., Yang, H.-I., Kim, H. & Cho, Y.-J., 2008, 8th Asia-Pacific Conference on Computer-Human Interaction, APCHI 2008. Lee, S., Choo, H., Ha, S. & Shin, I. C. (eds.). Berlin: Springer, 10 p. (Lecture Notes in Computer Science; vol. 5068).

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

A means-end analysis of consumers' perceptions of virtual world affordances for e-commerce

Tran, M. Q., Minocha, S., Roberts, D., Laing, A. & Langdridge, D., 2011, Human-Computer Interaction – INTERACT 2011. INTERACT 2011. Campos, P., Graham, N., Jorge, J., Nunes, N., Palanque, P. & Winckler, M. (eds.). Lisbon: Springer, p. 362-379 18 p. (Lecture Notes in Computer Science; vol. 6946).

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

Collaborative Learning of Gesture Recognition and 3D Hand Pose Estimation with Multi-order Feature Analysis

Yang, S., Liu, J., Lu, S., Er, M. H. & Kot, A. C., 3/12/2020, Computer Vision – ECCV 2020 (ECCV 2020). Springer, Cham, p. 769-786 (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

HARD-Net: Hardness-AwaRe Discrimination Network for 3D Early Activity Prediction

Li, T., Liu, J., Zhang, W. & Duan, L., 23/08/2020, Computer Vision – ECCV 2020: 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XI. Springer, Cham, p. 420-436 (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

A detailed analysis of a multi-agent diverse team

Soriano Marcolino, L., Zhang, C., Xin Jiang, A. & Tambe, M., 4/06/2014, Coordination, Organizations, Institutions and Norms in Agent Systems IX: COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers. Balke, T., Dignum, F., van Riemsdijk, M. B. & Chopra, A. K. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 8386).

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

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 7/08/2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Cham: Springer, p. 55-78 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

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

OpenFlyData: the way to go for biological data integration

Zhao, J., Miles, A., Klyne, G. & Shotton, D., 2009, Data integration in the life sciences: 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings. Paton, N. W., Missier, P. & Hedeler, C. (eds.). Berlin: Springer, p. 47-54 8 p. (Lecture Notes in Computer Science; vol. 5647).

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

The Jinx on the NASA software defect data sets

Petrić, J., Bowes, D., Hall, T., Christianson, B. & Baddoo, N., 1/06/2016, EASE '16 Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering. New York: Association for Computing Machinery, Inc, 5 p. 13

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

Novel Class Detection Using Hybrid Ensemble

PANDIT, D., ZHANG, L., MISTRY, K. & JIANG, R., 2/12/2020, 2020 International Conference on Machine Learning and Cybernetics (ICMLC). IEEE, p. 267-272 6 p. 9469587. (Proceedings - International Conference on Machine Learning and Cybernetics; vol. 2020-December).

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

Modeling personalised adaptive systems

Sutcliffe, A. & Sawyer, P., 2013, Advanced Information Systems Engineering: 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings. Salinesi, C., Norrie, M. C. & Pastor, Ó. (eds.). Berlin: Springer, p. 178-192 15 p. (Lecture Notes in Computer Science; vol. 7908).

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

QoS Filters: Addressing the Heterogeneity Gap

Yeadon, N. J., Mauthe, A., Hutchison, D. & Garcia, F., 1996, Interactive Distributed Multimedia Systems and Services European Workshop IDMS'96 Berlin, Germany, March 4–6, 1996 Proceedings. Butscher, B., Moeller , E. & Pusch, H. (eds.). Berlin: Springer Verlag, p. 227-243 17 p. (Lecture Notes in Computer Science; vol. 1045).

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

The CONNECT Architecture

Grace, P., Georgantas, N., Bennaceur, A., Blair, G., Chauvel, F., Issarny, V., Paolucci, M., Saadi, R., Souville, B. & Sykes, D., 2011, Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Bernardo, M. & Issarny, V. (eds.). Berlin: Springer Verlag, p. 27-52 26 p. (Lecture Notes in Computer Science; vol. 6659).

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

Reservation and grouping stations for the IEEE 802.11 DCF

Xiao, Y., Li, H., Wu, K., Leung, K. K. & Ni, Q., 2005, NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings. Boutaba, R., Almeroth, K., Puigjaner, R., Shen, S. & Black, J. P. (eds.). Berlin: Springer Verlag, p. 395-405 11 p. (Lecture Notes in Computer Science; vol. 3462).

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

A convolution BiLSTM neural network model for Chinese event extraction

Zeng, Y., Yang, H., Feng, Y., Wang, Z. & Zhao, D., 2/12/2016, Natural Language Understanding and Intelligent Applications: 5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2–6, 2016, Proceedings. Lin, C.-Y., Xue, N., Zhao, D., Huang, X. & Feng, Y. (eds.). Cham: Springer, p. 275-287 13 p. ( Lecture Notes in Computer Science; vol. 10102).

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

Efficient overlay audio conferencing

Egi, N., Blundell, N. & Mathy, L., 05/2006, NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems: 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings. Boavida, F., Plagemann, T., Stiller, B., Westphal, C. & Monteiro, E. (eds.). Berlin: Springer Verlag, p. 666-677 12 p. (Lecture Notes in Computer Science; vol. 3976).

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

Detection of stance and sentiment modifiers in political blogs

Skeppstedt, M., Simaki, V., Paradis, C. & Kerren, A., 2017, SPECOM 2017: Speech and Computer. Karpov, A., Potapova, R. & Mporas, I. (eds.). Cham: Springer, p. 302-311 10 p. (Lecture Notes in Computer Science; vol. 10458).

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

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. & Meggendorfer, T., 13/07/2017, CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham: Springer, p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).

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

Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games

Meggendorfer, T. & Weininger, M., 26/07/2024, Computer Aided Verification: CAV 2024. Gurfinkel, A. & Ganesh, V. (eds.). Cham: Springer, p. 359-372 14 p. (Lecture Notes in Computer Science; vol. 14683).

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

Deep learning based pedestrian detection at distance in smart cities

Dinakaran, R. K., Easom, P., Bouridane, A., Zhang, L., Jiang, R., Mehboob, F. & Rauf, A., 1/01/2020, Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer-Verlag, p. 588-593 6 p. (Advances in Intelligent Systems and Computing; vol. 1038).

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

Where we Succeed and Fail: Reflecting on the Challenge of doing Research with Children

Read, J., Metatla, O., Horton, M., Rubegni, E. & Yip, J., 27/06/2022, Proceedings of Interaction Design and Children, IDC 2022. New York: ACM, p. 712-714 3 p. (Proceedings of Interaction Design and Children, IDC 2022).

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

The making of a dataset for smart spaces

Kim, E., Helal, S., Lee, J. & Hossain, S., 2010, International Conference on Ubiquitous Intelligence and Computing, UIC 2010. Yu, Z., Liscano, R., Chen, G., Zhang, D. & Zhou, X. (eds.). Berlin: Springer, p. 110-124 15 p. (Lecture Notes in Computer Science; vol. 6406).

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

Assessing behavioral responses in persuasive ubiquitous systems

Lee, D., Helal, S. & Sung, Y., 2013, nternational Conference on Smart Homes and Health Telematics: ICOST 2013: Inclusive Society: Health and Wellbeing in the Community, and Care at Home . Biswas, J., Kobayashi, H., Wong, L., Abdulrazak, B. & Mokhtari, M. (eds.). Berlin: Springer, p. 176-186 11 p. (Lecture Notes in Computer Science; vol. 7910 ).

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

An augment-and-branch-and-cut framework for mixed 0-1 programming

Letchford, A. N. & Lodi, A., 2003, Combinatorial Optimization : Eureka! You Shrink. Jünger, M., Reinelt, G. & Rinaldi, G. (eds.). Berlin: Springer, p. 119-133 15 p. (Lecture Notes in Computer Science ; vol. 2570).

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

Polynomial-time separation of simple comb inequalities

Lodi, A. & Letchford, A. N., 2002, Integer Programming and Combinatorial Optimization: Proceedings of the 9th International IPCO Conference. Cook, W. J. & Schulz, A. S. (eds.). Berlin: Springer, p. 93-108 16 p. (Lecture Notes in Computer Science; vol. 2337).

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

A faster exact separation algorithm for blossom inequalities

Letchford, A. N., Reinelt, G. & Theis, D. O., 2004, Integer Programming and Combinatorial Optimization : Proceedings of the 10th International IPCO Conference. Nemhauser, G. & Bienstock, D. (eds.). Berlin: Springer, p. 19-52 34 p. (Lecture Notes in Computer Science; vol. 3064).

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

Tracking differential evolution algorithms: an adaptive approach through multinomial distribution tracking with exponential forgetting

Epitropakis, M., Tasoulis, D., Pavlidis, N., Plagianakos, V. P. & Vrahatis, M. N., 2012, Artificial Intelligence: Theories and Applications: 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings. Maglogianis, I., Plagianakos, V. & Vlahavas, I. (eds.). Berlin: Springer Verlag, p. 214-222 9 p. (Lecture Notes in Computer Science; vol. 7297).

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

Trading strategies for markets: a design framework and its application

Vytelingum, P., Dash, R. K., He, M., Sykulski, A. & Jennings, N. R., 2006, Agent-mediated electronic commerce : designing trading agents and mechanisms. La Poutre, H., Sadeh, N. M. & Janson, S. (eds.). Berlin: Springer Verlag, p. 171-186 16 p. (Lecture Notes in Computer Science; vol. 3937).

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

On the complexity of wafer-to-wafer integration

Duvillié, G., Bougeret, M., Boudet, V., Dokka Venkata Satyanaraya, T. & Girodeau, R., 16/05/2015, Algorithms and Complexity : 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings. Paschos, V. T. & Widmayer, P. (eds.). Cham: Springer, p. 208-220 13 p. (Lecture Notes in Computer Science; vol. 9079).

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

Fast Separation Algorithms for Three-Index Assignment Problems

Dokka, T., Mourtos, I. & Spieksma, F. C. R., 2012, Combinatorial optimization: Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, revised selected papers. Ridha Mahjoub, A., Markakis, V., Milis, I. & Paschos, V. T. (eds.). New York: Springer Berlin Heidelberg, p. 189-200 12 p. (Lecture Notes in Computer Science; vol. 7422).

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