University of Haifa

Filter
Conference contribution

Search results

  • Counting active S-boxes is not enough

    Dunkelman, O., Kumar, A., Lambooij, E. & Sanadhya, S. K., 2020, Progress in Cryptology – INDOCRYPT 2020 - 21st International Conference on Cryptology in India 2020, Proceedings. Bhargavan, K., Oswald, E. & Prabhakaran, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 332-344 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12578 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Counting Homomorphic Cycles in Degenerate Graphs

    Gishboliner, L., Levanzov, Y., Shapira, A. & Yuster, R., 2022, ACM-SIAM Symposium on Discrete Algorithms, SODA 2022. Association for Computing Machinery, p. 417-430 14 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2022-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Counting ordered patterns in words generated by morphisms

    Kitaev, S., Mansour, T. & Séébold, P., 2008, Language and Automata Theory and Applications - Second International Conference, LATA 2008, Revised Papers. p. 287-298 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5196 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Court's Rejection of Plea Agreement as a Tool to Protect the Innocent

    Gazal Ayal, O., 2002, 5th CASLE Workshop. Ghent, p. 1-16

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Covariant Symbolic Calculi on Real Symmetric Domains

    Arazy, J. & Upmeier, H., 2003, Singular Integral Operators, Factorization and Applications. Böttcher, A., Kaashoek, M. A., Brites Lebre, A., dos Santos, A. F. & Speck, F-O. (eds.). Basel: Birkhauser Verlag Basel, p. 1-27 27 p. (Operator Theory: Advances and Applications book series; vol. 142).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Creating consistent diagnoses list for developmental disorders using UMLS

    Asbeh, N., Peleg, M., Schertz, M. & Kuflik, T., 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 333-336 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4032 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Creating examples as a way to examine mathematical concepts’ definitions

    Hess-Green, R. & Olsher, S., 5 Sep 2018, Proceedings of the 5th ERME Topic Conference Mathematics Education in the Digital Age (MEDA 5). Weigand, H. G., Clark-Wilson, A., Donevska-Todorova, A., Faggiano, E., Gronbaek, N. & Traglova, J. (eds.). Copenhagen, Denmark, p. 99-106 7 p.

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

  • Creative Mathematical Tasks in MOFET classes

    Schneiderman, O., Applebaum, M. & LEIKIN, ROZA., 2006, Proceedings of the 4th Conference on Creativity in Mathematics Education and the Education of Gifted Students. p. 98-101

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Creativity and expertise: The chicken or the egg? Discovering properties of geometry figures in DGE

    Leikin, R. & Elgrabli, H., 1 Feb 2015, CERME 9 - Ninth Congress of the European Society for Research in Mathematics Education. Krainer, K. & Vondrová, N. (eds.). Prague, Czech Republic, p. 1024-1031 8 p. (Proceedings of the Ninth Congress of the European Society for Research in Mathematics Education).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Creativity in teaching mathematics as an indication of teachers’ expertise: Research Forum on "Conceptualizing and developing expertise in mathematics instruction"

    LEIKIN, ROZA., 2012, The Proceedings of the 36th International Conference for the Psychology of Mathematics Education . Vol. 1. p. 128-131

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Creativity is connecting things: The role of network topology in fostering collective creativity in multi-participant asynchronous online discussions

    Sher, N., Kent, C. & Rafaeli, S., 2020, Proceedings of the 53rd Annual Hawaii International Conference on System Sciences, HICSS 2020. Bui, T. X. (ed.). IEEE Computer Society, p. 310-319 10 p. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2020-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cross Chain Atomic Swaps in the Absence of Time via Attribute Verifiable Timed Commitments

    Manevich, Y. & Akavia, A., 2022, Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022. Institute of Electrical and Electronics Engineers Inc., p. 606-625 20 p. (Proceedings - 7th IEEE European Symposium on Security and Privacy, Euro S and P 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cross-domain mediation in collaborative filtering

    Berkovsky, S., Kuflik, T. & Ricci, F., 2007, User Modeling 2007 - 11th International Conference, UM 2007, Proceedings. Springer Verlag, p. 355-359 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4511 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cross Lingual and Semantic Retrieval for Cultural Heritage Appreciation

    Szpektor, I., Dagan, I., Lavie, A., Shacham, D. & Wintner, S., 2007, Proceedings of the ACL-2007 Workshop on Language Technology for Cultural Heritage Data (LaTeCH 2007). p. 65-72

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cross product line analysis

    Wulf-Hadash, O. & Reinhartz-Berger, I., 2013, Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2013. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cross social networks interests predictions based on graph features

    Tiroshi, A., Berkovsky, S., Kaafar, M. A., Chen, T. & Kuflik, T., 2013, RecSys 2013 - Proceedings of the 7th ACM Conference on Recommender Systems. p. 319-322 4 p. (RecSys 2013 - Proceedings of the 7th ACM Conference on Recommender Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cross-technique mediation of user models

    Berkovsky, S., Kuflik, T. & Ricci, F., 2006, Adaptive Hypermedia and Adaptive Web-Based Systems - 4th International Conference, AH 2006. Springer Verlag, p. 21-30 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4018 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cryptanalysis of iterated Even-Mansour schemes with two keys

    Dinur, I., Dunkelman, O., Keller, N. & Shamir, A., 2014, Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings, Part I. Sarkar, P. & Iwata, T. (eds.). Springer Verlag, p. 439-457 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8873).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Cryptanalysis of SP networks with partial non-linear layers

    Bar-On, A., Dinur, I., Dunkelman, O., Lallemand, V., Keller, N. & Tsaban, B., 2015, Advances in Cryptology – EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Fischlin, M. & Oswald, E. (eds.). Springer Verlag, p. 315-342 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9056).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cryptosystems with a multi prime composite modulus

    Gueron, S. & Drucker, N., 16 Mar 2018, CCNC 2018 - 2018 15th IEEE Annual Consumer Communications and Networking Conference. Institute of Electrical and Electronics Engineers Inc., p. 1-7 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cultivating a culture of learning to foster socioscientific reasoning

    Ben-Horin, H., Pion, C. & Kali, Y., 2017, Making a Difference: Prioritizing Equity and Access in CSCL - 12th International Conference on Computer Supported Collaborative Learning, CSCL 2017 - Conference Proceedings. Smith, B. K., Borge, M., Mercier, E. & Lim, K. Y. (eds.). International Society of the Learning Sciences (ISLS), p. 833-834 2 p. (Computer-Supported Collaborative Learning Conference, CSCL; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cultural tourism in the digital age: Where are we today? Where do we want to be tomorrow? How do we get there?

    Collins-kreiner, N. & Petrevska, B., 2015, Conference Proceedings from the V Congress of geographers of Macedonia. p. 21-28

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • CURA: Complex-system Unified reference architecture position paper: A practitioner view

    Hadar, E. & Hadar, I., 2016, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. Maciaszek, L., Maciaszek, L. & Filipe, J. (eds.). SciTePress, p. 216-221 6 p. (ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cut Equivalence of d-Dimensional Guillotine Partitions

    Asinowski, A., Barequet, G., Mansour, T. & Pinter, R. Y., 2013, 29th European Workshop on Computational Geometry. p. 103-106 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cyberscouts: A model for scaling-up afterschool educational gaming

    Dayan, J. & Kali, Y., 2011, Connecting Computer-Supported Collaborative Learning to Policy and Practice: CSCL 2011 Conf. Proc. - Community Events Proceedings, 9th International Computer-Supported Collaborative Learning Conf.. p. 1209-1213 5 p. (Connecting Computer-Supported Collaborative Learning to Policy and Practice: CSCL 2011 Conf. Proc. - Community Events Proceedings, 9th International Computer-Supported Collaborative Learning Conf.).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cyberterrorism

    Weimann, G., 2006, ISC 2005 Security, Terrorism and Privacy in Information Society: Proceedings of the Third International Security Conference. Von Knop, K., Neisser, H., Salnikov, A. & Ganor, B. (eds.). Bielfeld: Bertelsmann Verlag, p. 41-52

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Cycles of Modernity in the Holy Land

    Fuchs, R. & Epstein-Pliouchtch, M., Jun 2005, Re-thinking and Re-constructing Modern Asian Architecture: Proceedings of the Modern Asian Architecture Network 5th International Conference. Istanbul: Technical University of Istanbul, p. 37-47 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data, Data, Everywhere: Quantifying Software Developers’ Privacy Attitudes

    van der Linden, D., Hadar, I., Edwards, M. & Rashid, A., 2021, Socio-Technical Aspects in Security and Trust - 9th International Workshop, STAST 2019, Revised Selected Papers. Groß, T. & Tryfonas, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 47-65 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11739 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data and computational fault detection mechanism for devices that perform modular exponentiation

    Gueron, S., 2006, Fault Diagnosis and Tolerance in Cryptography - Third International Workshop, FDTC 2006, Proceedings. Springer Verlag, p. 80-87 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4236 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data-Driven Meets Navigation: Concepts, Models, and Experimental Validation

    Klein, I., 2022, 2022 DGON Inertial Sensors and Systems, ISS 2022 - Proceedings. Hecker, P. (ed.). Institute of Electrical and Electronics Engineers Inc., (2022 DGON Inertial Sensors and Systems, ISS 2022 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data-Driven Underwater Navigation workshop: AUV Close-Range Localization and Guidance Employing an Electro-Magnetic Beacon

    Gutnik, Y., Cohen, N., Klein, I. & Groper, M., 2023, 2023 IEEE International Symposium on Underwater Technology, UT 2023. Institute of Electrical and Electronics Engineers Inc., (2023 IEEE International Symposium on Underwater Technology, UT 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data-Independent Structured Pruning of Neural Networks via Coresets

    Mussay, B., Feldman, D., Zhou, S., Braverman, V. & Osadchy, M., 2020, 8th International Conference on Learning Representations, ICLR 2020. 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data integration for clinical decision support based on openEHR archetypes and HL7 virtual medical record

    González-Ferrer, A., Peleg, M., Verhees, B., Verlinden, J. M. & Marcos, C., 2013, Process Support and Knowledge Representation in Health Care - BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Revised Selected Papers. Springer Verlag, p. 71-84 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7738 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data literacy for social justice

    Matuk, C., Amato, A., DesPortes, K., Tes, M., Vasudevan, V., Yoon, S., Shim, J., Cottone, A., Miller, K., Himes, B., Urbanowicz, R., Gonzalez, M., Polman, J., Sommer, S., Barton, J., Bulalacao, N., Cortes, K., Gutiérrez, K., Lanouette, K., Lopez, M. L., & 31 othersPhilip, T., Rivero, E., Roberto, C., Wilkerson, M. H., Cafaro, F., Trajkova, M., Erickson, T., Finzer, W., Graville, C., Haldar, L., Taylor, K. H., Herbel-Eisenmann, B., Lee, H., Stokes, D., Lim, V., Lyons, L., Milz, D., Olivares, M. C., Osche, E., Parikh, T. S., Petrosino, T., Roberts, J., Rubel, L. H., Rubin, A., Higgins, T., Shelley, J., Silander, M., Vacca, R., van Wart, S., Woods, P. J. & Zellner, M. L., 2020, 14th International Conference of the Learning Sciences: The Interdisciplinarity of the Learning Sciences, ICLS 2020 - Conference Proceedings. Gresalfi, M. & Horn, I. S. (eds.). International Society of the Learning Sciences (ISLS), p. 343-349 7 p. (Computer-Supported Collaborative Learning Conference, CSCL; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • DataSpoon: Overcoming design challenges in tangible and embedded assistive technologies

    Zuckerman, O., Gal, T., Keren-Capelovitch, T., Karsovsky, T., Gal-Oz, A. & Weiss, P. L., 14 Feb 2016, TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction. Association for Computing Machinery, Inc, p. 30-37 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data Storytelling in the Classroom

    Matuk, C., Amato, A., Davidesco, I., Rubel, L., Stornaiuolo, A., Blikstein, P., Bumbacher, E., Chance, B., DesPortes, K., Eloy, A., Fagan, E., Fuhrmann, T., Gebre, E., Herbel-Eisenmann, B., Jiang, S., Kahn, J., Lim, V., Louie, J., Peralta, L. M., Roy, S., & 12 othersSilander, M., St Clair, N., Stephens, L., Stiles, J., Tes, M., Vacca, R., Wagh, A., Wei, X., McBride, C., Wilkerson, M., Wolf, J. & Woods, P. J., 2022, International Collaboration toward Educational Innovation for All: Overarching Research, Development, and Practices - 16th International Conference of the Learning Sciences, ICLS 2022. Chinn, C., Tan, E., Chan, C. & Kali, Y. (eds.). International Society of the Learning Sciences (ISLS), p. 1779-1786 8 p. (Proceedings of International Conference of the Learning Sciences, ICLS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Declarative and procedural approaches for modelling clinical guidelines: Addressing flexibility issues

    Mulyar, N., Pesic, M., Van Der Aalst, W. M. P. & Peleg, M., 2008, Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. p. 335-346 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4928 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Deconstructing Alibaba Cloud's Preemptible Instance Pricing

    Movsowitz Davidow, D., Agmon Ben-Yehuda, O. & Dunkelman, O., 7 Aug 2023, HPDC 2023 - Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing. Association for Computing Machinery, Inc, p. 253-265 13 p. (HPDC 2023 - Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Deep Change in Domestic Behavioural Patterns and Theoretical Aspects of Interregional Interactions in the 12th-Century Levant

    Yasur landau, A., 2011, On Cooking Pots, Drinking Cups Loom Weights and Ethnicity in Bronze Age Cyprus and Neighboring Regions: Proceedings of and International Archaeological Symposium. Karageorghis, V. & Kouka, O. (eds.). Nicosia, p. 239-249

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Deep-dive analysis of the data analytics workload in CloudSuite

    Yasin, A., Ben-Asher, Y. & Mendelson, A., 11 Dec 2014, IISWC 2014 - IEEE International Symposium on Workload Characterization. Institute of Electrical and Electronics Engineers Inc., p. 202-211 10 p. 6983059. (IISWC 2014 - IEEE International Symposium on Workload Characterization).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Deep-Learning Based Ship-Radiated Noise Suppression for Underwater Acoustic OFDM Systems

    Atanackovic, L., Lampe, L. & Diamant, R., 5 Oct 2020, 2020 Global Oceans 2020: Singapore - U.S. Gulf Coast. Institute of Electrical and Electronics Engineers Inc., 9389436. (2020 Global Oceans 2020: Singapore - U.S. Gulf Coast).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Deep Learning on Home Drone: Searching for the Optimal Architecture

    Maalouf, A., Gurfinkel, Y., Diker, B., Gal, O., Rus, D. & Feldman, D., 2023, Proceedings - ICRA 2023: IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 8208-8215 8 p. (Proceedings - IEEE International Conference on Robotics and Automation; vol. 2023-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Defining and Understanding Symmetry

    Leikin, R., Berman, A. & Zaslavsky, O., 1997, Proceedings of the 21st International Conference for the Psychology of Mathematics Education. Vol. 3. p. 192-199

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Definiteness Agreement and Inheritance in Hebrew

    WINTNER, SHULY., 1998, The 14th annual meeting of the Israeli Association for Theoretical Linguistics (IATL-14).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Demarcating curves for shape illustration

    Kolomenkin, M., Shimshoni, I. & Tal, A., 2008, ACM SIGGRAPH Asia 2008 Papers, SIGGRAPH Asia'08. 157. (ACM SIGGRAPH Asia 2008 Papers, SIGGRAPH Asia'08).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Demonstrating personalized multifaceted visualization of people recommendation to conference participants

    Amal, S., Adam, M., Brusilovsky, P., Minkov, E., Segal, Z. & Kuflik, T., 17 Mar 2020, Proceedings of the 25th International Conference on Intelligent User Interfaces Companion. IUI 2020. Association for Computing Machinery, p. 49-50 2 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Dense mirroring surface recovery from 1D homographies and sparse correspondences

    Rozenfeld, S., Shimshoni, I. & Lindenbaum, M., 2007, IEEE Conference on Computer Vision and Pattern Recognition. IEEE, p. 1475-1482

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • DE-POLARIZING BY COLORING, REASONING BY CURATING

    Goldberg, T., Wecker, A., Tabashi, T., Lanir, J. & Reinhartz-Berger, I., 2022, Proceedings of the International Conferences on e-Society 2022 and Mobile Learning 2022. Kommers, P., Sanchez, I. A., Isaias, P. & Rodrigues, L. (eds.). IADIS Press, p. 291-294 4 p. (Proceedings of the International Conferences on e-Society 2022 and Mobile Learning 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Depth-Stretch: Enhancing Depth Perception Without Depth

    Hel-Or, H., Hel-Or, Y. & Keshet, R., 22 Aug 2017, Proceedings - 30th IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2017. IEEE Computer Society, p. 1006-1014 9 p. 8014871. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; vol. 2017-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Derandomized parallel repetition theorems for free games

    Shaltiel, R., 2010, Proceedings - 25th Annual IEEE Conference on Computational Complexity, CCC 2010. p. 28-37 10 p. 5497902. (Proceedings of the Annual IEEE Conference on Computational Complexity).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review