Abu Dhabi Campus

Filter
Conference contribution

Search results

  • Conference contribution

    Configurable spare processors: A new approach to system level fault-tolerance

    Kim, K., Karri, R. & Potkonjak, M., 1996, IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems. Anon (ed.). IEEE, p. 295-303 9 p.

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

  • Confinement of Existing Reinforced Concrete Columns with Reduced Deformation Capacity using Local TRM and FRP Jackets

    Bournas, D. A. & Triantafillou, T., Oct 21 2009, 16th Greek Concrete Conference. Cyprus

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

  • Confinement of L-shaped Columns with Anchored FRP Jackets

    Karantzikis, M., Antonopoulos, C. P. & Triantafillou, T., Jul 11 2005, 3rd International Conference on Composites in Construction – CCC2005. Lyon

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

  • ConFirm: Detecting firmware modifications in embedded systems using Hardware Performance Counters

    Wang, X., Konstantinou, C., Maniatakos, M. & Karri, R., Jan 5 2016, 2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015. Institute of Electrical and Electronics Engineers Inc., p. 544-551 8 p. 7372617. (2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015).

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

  • Conflict-free coloring for rectangle ranges using O(n.382) colors

    Ajwani, D., Elbassioni, K., Govindarajan, S. & Ray, S., 2007, SPAA'07: Proceedings of the Nineteenth Annual Symposium on Parallelism in Algorithms and Architectures. p. 181-187 7 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

    Open Access
  • Conformal Measure Ensembles for Percolation and the FK–Ising Model

    Camia, F., Conijn, R. & Kiss, D., 2019, Sojourns in Probability Theory and Statistical Physics - II - Brownian Web and Percolation, A Festschrift for Charles M. Newman. Sidoravicius, V. (ed.). Springer, p. 44-89 46 p. (Springer Proceedings in Mathematics and Statistics; vol. 299).

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

  • Confronting Global Protest: The U.S. Government’s Response to Worldwide Student Unrest in the 1960/70s - The Case of West Germany

    Klimke, M., Jan 5 2006, Panel “Imaginary Worlds: (Trans)National Identities in Germany in and after 1968,” Annual Meeting of the American Historical Association (AHA), Philadelphia, Pennsylvania..

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

  • Confusion/diffusion capabilities of some robust hash functions

    Coskun, B. & Memon, N., 2006, 2006 IEEE Conference on Information Sciences and Systems, CISS 2006 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1188-1193 6 p. 4067986. (2006 IEEE Conference on Information Sciences and Systems, CISS 2006 - Proceedings).

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

  • Conjugate conformal prediction for online binary classification

    Kocak, M. A., Erkip, E. & Shasha, D. E., 2016, 32nd Conference on Uncertainty in Artificial Intelligence 2016, UAI 2016. Janzing, D. & Ihler, A. (eds.). Association For Uncertainty in Artificial Intelligence (AUAI), p. 347-356 10 p. (32nd Conference on Uncertainty in Artificial Intelligence 2016, UAI 2016).

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

  • CoNLL 2017 shared task: Multilingual parsing from raw text to universal dependencies

    Zeman, D., Popel, M., Straka, M., Hajič, J., Nivre, J., Ginter, F., Luotolahti, J., Pyysalo, S., Petrov, S., Potthast, M., Tyers, F., Badmaeva, E., Gökırmak, M., Nedoluzhko, A., Cinková, S., Hajič, J., Hlaváčová, J., Kettnerová, V., Urešová, Z. & Kanerva, J. & 42 others, Ojala, S., Missilä, A., Manning, C., Schuster, S., Reddy, S., Taji, D., Habash, N., Leung, H., de Marneffe, M. C., Sanguinetti, M., Simi, M., Kanayama, H., de Paiva, V., Droganova, K., Alonso, H. M., Çöltekin, Ç., Sulubacak, U., Uszkoreit, H., Macketanz, V., Burchardt, A., Harris, K., Marheinecke, K., Rehm, G., Kayadelen, T., Attia, M., Elkahky, A., Yu, Z., Pitler, E., Lertpradit, S., Mandl, M., Kirchner, J., Alcalde, H. F., Strnadová, J., Banerjee, E., Manurung, R., Stella, A., Shimada, A., Kwak, S., Mendonça, G., Lando, T., Nitisaroj, R. & Li, J., Jan 1 2017, CoNLL 2017 - SIGNLL Conference on Computational Natural Language Learning, Proceedings of the CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies. Association for Computational Linguistics (ACL), p. 1-19 19 p. (CoNLL 2017 - SIGNLL Conference on Computational Natural Language Learning, Proceedings of the CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies).

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

    Open Access
  • Conll-UL: Universal morphological lattices for universal dependency parsing

    More, A., Çetinoglu, Ö., Çöltekin, Ç., Habash, N., Sagot, B., Seddah, D., Taji, D. & Tsarfaty, R., May 7 2018, LREC 2018 - 11th International Conference on Language Resources and Evaluation. Isahara, H., Maegaard, B., Piperidis, S., Cieri, C., Declerck, T., Hasida, K., Mazo, H., Choukri, K., Goggi, S., Mariani, J., Moreno, A., Calzolari, N., Odijk, J. & Tokunaga, T. (eds.). European Language Resources Association (ELRA), p. 3847-3853 7 p. (LREC 2018 - 11th International Conference on Language Resources and Evaluation).

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

  • CoNLoCNN: Exploiting Correlation and Non-Uniform Quantization for Energy-Efficient Low-precision Deep Convolutional Neural Networks

    Hanif, M. A., Sarda, G. M., Marchisio, A., Masera, G., Martina, M. & Shafique, M., 2022, 2022 International Joint Conference on Neural Networks, IJCNN 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings of the International Joint Conference on Neural Networks; vol. 2022-July).

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

    Open Access
  • Connected search for a lazy robber

    Adler, I., Paul, C. & Thilikos, D. M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

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

  • Connecting Information Literacy to Islamic Traditions

    Parrott, J., Apr 25 2019, Information Literacy Network of the Gulf.

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

  • Connectivity-aware coordination of robotic networks for area coverage optimization

    Stergiopoulos, Y., Kantaros, Y. & Tzes, A., 2012, 2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings. p. 31-35 5 p. 6209909. (2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings).

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

  • Connectivity preserving distributed swarm aggregation for multiple kinematic agents

    Dimarogonas, D. V. & Kyriakopoulos, K. J., 2007, Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC. Institute of Electrical and Electronics Engineers Inc., p. 2913-2918 6 p. 4434601. (Proceedings of the IEEE Conference on Decision and Control).

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

    Open Access
  • Connectivity preserving state agreement for multiple unicycles

    Dimarogonas, D. V. & Kyriakopoulos, K. J., 2007, Proceedings of the 2007 American Control Conference, ACC. p. 1179-1184 6 p. 4282650. (Proceedings of the American Control Conference).

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

    Open Access
  • Consensus on asynchronous communication networks in presence of external input

    Pilotto, C., Chandy, K. M. & White, J., 2010, 2010 49th IEEE Conference on Decision and Control, CDC 2010. Institute of Electrical and Electronics Engineers Inc., p. 3838-3844 7 p. 5717134. (Proceedings of the IEEE Conference on Decision and Control).

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

  • Consensus over evolutionary graphs

    Freris, N. M. & Tembine, H., Nov 27 2018, 2018 European Control Conference, ECC 2018. Institute of Electrical and Electronics Engineers Inc., p. 2218-2223 6 p. 8550392. (2018 European Control Conference, ECC 2018).

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

  • Considerations for an internet of things curriculum

    DeFranco, J. & Kassab, M., 2019, Proceedings of the 52nd Annual Hawaii International Conference on System Sciences, HICSS 2019. Bui, T. X. (ed.). IEEE Computer Society, p. 7808-7814 7 p. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2019-January).

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

  • Considering roughness to describe and generate vertical musical structure in content-based algorithmic-assisted audio composition

    Bernardes, G., Davies, M. E. P., Guedes, C. & Pennycook, B., 2014, Proceedings - 40th International Computer Music Conference, ICMC 2014 and 11th Sound and Music Computing Conference, SMC 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos. Kouroupetroglou, G. & Georgaki, A. (eds.). National and Kapodistrian University of Athens, p. 318-324 7 p. (Proceedings - 40th International Computer Music Conference, ICMC 2014 and 11th Sound and Music Computing Conference, SMC 2014 - Music Technology Meets Philosophy: From Digital Echos to Virtual Ethos).

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

  • Constituent System Design: A Software Architecture Approach

    Teixeira, P. G., Lebtag, B. G. A., Santos, R. P. D., Fernandes, J., Mohsin, A., Kassab, M. & Neto, V. V. G., Mar 2020, Proceedings - 2020 IEEE International Conference on Software Architecture Companion, ICSA-C 2020. Institute of Electrical and Electronics Engineers Inc., p. 218-225 8 p. 9095723. (Proceedings - 2020 IEEE International Conference on Software Architecture Companion, ICSA-C 2020).

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

  • Constrained coalition formation

    Rahwan, T., Michalak, T., Elkind, E., Faliszewski, P., Sroka, J., Wooldridge, M. & Jennings, N. R., 2011, AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. p. 719-725 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

  • Constrained Coalition Formation

    Rahwan, T., Michalak, T., Elkind, E., Faliszewski, P., Sroka, J., Wooldridge, M. & Jennings, N. R., Aug 11 2011, Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI press, p. 719-725 7 p. (Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011).

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

  • Constrained-control of a quadrotor helicopter for trajectory tracking under wind-gust disturbances

    Alexis, K., Nikolakopoulos, G. & Tzes, A., 2010, MELECON 2010 - The 15th IEEE Mediterranean Electrotechnical Conference: Book of Abstracts. p. 1411-1416 6 p. 5476026. (Proceedings of the Mediterranean Electrotechnical Conference - MELECON).

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

  • Constrained control of event-driven networked systems

    Dritsas, L. & Tzes, A., 2008, Proceedings of the 17th World Congress, International Federation of Automatic Control, IFAC. 1 PART 1 ed. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 17, no. 1 PART 1).

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

  • Constrained finite time control of networked systems with uncertain delays

    Dritsas, L., Nikolakopoulos, G. & Tzes, A., 2006, 14th Mediterranean Conference on Control and Automation, MED'06. 1700694. (14th Mediterranean Conference on Control and Automation, MED'06).

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

  • Constrained finite time optimal control of a micro-capacitor

    Dritsas, L., Nikolakopoulos, G. & Tzes, A., 2006, IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics. p. 3161-3165 5 p. 4153139. (IECON Proceedings (Industrial Electronics Conference)).

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

  • Constrained Mean-Field-Type Games: Stationary Case

    Barreiro-Gomez, J. & Tembine, H., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 2208-2213 6 p. 9029483. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

  • Constrained optimal attitude control of a quadrotor helicopter subject to wind-gusts: Experimental studies

    Alexis, K., Nikolakopoulos, G. & Tzes, A., 2010, Proceedings of the 2010 American Control Conference, ACC 2010. IEEE Computer Society, p. 4451-4455 5 p. 5531005. (Proceedings of the 2010 American Control Conference, ACC 2010).

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

  • Constrained optimal control for a special class of networked systems

    Dritsas, L., Nikolakopoulos, G. & Tzes, A., 2007, Proceedings of the 2007 American Control Conference, ACC. p. 1009-1014 6 p. 4283073. (Proceedings of the American Control Conference).

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

  • Constrained Optimal Control over networks with uncertain delays

    Dritsas, L., Nikolakopoulos, G. & Tzes, A., 2006, Proceedings of the 45th IEEE Conference on Decision and Control 2006, CDC. Institute of Electrical and Electronics Engineers Inc., p. 4993-4998 6 p. 4177829. (Proceedings of the IEEE Conference on Decision and Control).

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

  • Constrained spectrum approximation in the Hellinger distance

    Ferrante, A., Pavon, M. & Ramponi, F., 2007, 2007 European Control Conference, ECC 2007. Institute of Electrical and Electronics Engineers Inc., p. 322-327 6 p. 7068705. (2007 European Control Conference, ECC 2007).

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

  • Constraint-based placement and routing for FPGAs using self-organizing maps

    Maniatakos, M., Xu, S. & Miranker, W. L., 2008, Proceedings - 20th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'08. p. 465-469 5 p. 4669810. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2).

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

  • Constructing call graphs of Scala programs

    Ali, K., Rapoport, M., Lhoták, O., Dolby, J. & Tip, F., 2014, ECOOP 2014 - Object-Oriented Programming: 28th European Conference, Proceedings. Springer Verlag, p. 54-79 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8586 LNCS).

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

    Open Access
  • Construction quality effects on pavement asset preservation and valuation: A mechanistic-empirical performance-based LCCA approach

    Parker, N. A., Hussain, S., Ozbay, K. & Jawad, D., 2006, Applications of Advanced Technology in Transportation - Proceedings of the Ninth International Conference on Applications of Advanced Technology in Transportation. p. 177-182 6 p. (Applications of Advanced Technology in Transportation - Proceedings of the Ninth International Conference on Applications of Advanced Technology in Transportation).

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

  • Constructive linear time algorithms for branchwidth

    Bodlaender, H. L. & Thilikos, D. M., 1997, Automata, Languages and Programming - 24th International Colloquium, ICALP 1997, Proceedings. Degano, P., Gorrieri, R. & Marchetti-Spaccamela, A. (eds.). Springer Verlag, p. 627-637 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1256).

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

    Open Access
  • Constructive linear time algorithms for small cutwidth and carving-width

    Thilikos, D. M., Serna, M. J. & Bodlaender, H. L., 2000, Algorithms and Computation - 11th International Conference, ISAAC 2000, Proceedings. Lee, D. T., Teng, S.-H. & Teng, S.-H. (eds.). Springer Verlag, p. 192-203 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1969).

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

  • Contact-free Crater Depth Monitoring Using Measured Acoustic Shock Waves for Smart Laser Surgery Applications: Preliminary Result

    Kenhagho, H. N., Sugiarto, I., Guzman, R., Cattin, P. & Zam, A., Oct 2019, Proceedings - 2019 International Conference on Radar, Antenna, Microwave, Electronics, and Telecommunications, ICRAMET 2019. Institute of Electrical and Electronics Engineers Inc., p. 118-121 4 p. 8980427. (Proceedings - 2019 International Conference on Radar, Antenna, Microwave, Electronics, and Telecommunications, ICRAMET 2019).

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

  • Contagion and observability in security domains

    Bachrach, Y., Draief, M. & Goyal, S., 2013, 2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013. IEEE Computer Society, p. 1364-1371 8 p. 6736686. (2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013).

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

  • Content-adaptive reference frame compression based on intra-frame prediction for multiview video coding

    Sampaio, F., Zatt, B., Shafique, M., Agostini, L., Henkel, J. & Bampi, S., 2013, 2013 IEEE International Conference on Image Processing, ICIP 2013 - Proceedings. IEEE Computer Society, p. 1831-1835 5 p. 6738377. (2013 IEEE International Conference on Image Processing, ICIP 2013 - Proceedings).

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

  • Content authentication for neural imaging pipelines: End-to-end optimization of photo provenance in complex distribution channels

    Korus, P. & Memon, N., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 8613-8621 9 p. 8953353. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

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

    Open Access
  • Content-driven adaptive computation offloading for energy-aware hybrid distributed video coding

    Shafique, M., Khan, M. U. K. & Henkel, J., 2013, Proceedings of the International Symposium on Low Power Electronics and Design, ISLPED 2013. p. 106-113 8 p. 6629275. (Proceedings of the International Symposium on Low Power Electronics and Design).

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

  • Content-driven memory pressure balancing and video memory power management for parallel High Efficiency Video Coding

    Sampaio, F., Shafique, M., Zatt, B., Bampi, S. & Henkel, J., Oct 13 2015, Proceedings of the 2014 ACM/IEEE International Symposium on Low Power Electronics and Design, ISLPED 2014. Institute of Electrical and Electronics Engineers Inc., p. 153-158 6 p. 7298241. (Proceedings of the International Symposium on Low Power Electronics and Design; vol. 2015-October).

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

  • Contextual Embeddings Can Distinguish Homonymy from Polysemy in a Human-Like Way

    Wilson, K. & Marantz, A., 2022, ICNLSP 2022 - Proceedings of the 5th International Conference on Natural Language and Speech Processing. Abbas, M. & Freihat, A. A. (eds.). Association for Computational Linguistics (ACL), p. 144-155 12 p. (ICNLSP 2022 - Proceedings of the 5th International Conference on Natural Language and Speech Processing).

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

  • Contextual information portals

    Chen, J., Karthik, T. & Subramanian, L., 2010, Artificial Intelligence for Development - Papers from the AAAI Spring Symposium, Technical Report. AI Access Foundation, p. 20-25 6 p. (AAAI Spring Symposium - Technical Report; vol. SS-10-01).

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

  • Continuous-flow pi-based sorting of proteins and peptides for isolation of basic pi range molecules

    Song, Y. A., Celio, C. & Han, J., 2007, Proceedings of the 11th International Conference on Miniaturized Systems for Chemistry and Life Sciences, uTAS 2007. Viovy, J.-L., Tabeling, P., Descroix, S. & Malaquin, L. (eds.). Chemical and Biological Microsystems Society, p. 811-813 3 p. (Proceedings of the 11th International Conference on Miniaturized Systems for Chemistry and Life Sciences, uTAS 2007).

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

  • Continuous pI-based sorting of proteins and peptides in a microfluidic chip using diffusion potential

    Song, Y. A. & Han, J., 2005, Micro Total Analysis Systems - Proceedings of MicroTAS 2005 Conference: 9th International Conference on Miniaturized Systems for Chemistry and Life Sciences. Transducer Research Foundation, p. 1025-1027 3 p. (Micro Total Analysis Systems - Proceedings of MicroTAS 2005 Conference: 9th International Conference on Miniaturized Systems for Chemistry and Life Sciences; vol. 1).

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

  • Contraction bidimensionality: The accurate picture

    Fomin, F. V., Golovach, P. & Thilikos, D. M., 2009, Algorithms - ESA 2009 - 17th Annual European Symposium, Proceedings. p. 706-717 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5757 LNCS).

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

    Open Access
  • Contraction-bidimensionality of geometric intersection graphs

    Baste, J. & Thilikos, D. M., Feb 1 2018, 12th International Symposium on Parameterized and Exact Computation, IPEC 2017. Lokshtanov, D. & Nishimura, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 89).

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