Department of Computer Science

Filter
Conference contribution

Search results

  • 2019

    Wannabe bounded treewidth graphs admit a polynomial kernel for DFVS

    Lokshtanov, D., Ramanujan, M. S., Saurabh, S., Sharma, R. & Zehavi, M., 1 Jan 2019, Algorithms and Data Structures - 16th International Symposium, WADS 2019, Proceedings. Friggstad, Z., Salavatipour, M. R. & Sack, J.-R. (eds.). Springer Verlag, p. 523-537 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11646 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations
  • 2018

    A biologically meaningful extension of the efficient method for deleterious mutations prediction in RNAs: Insertions and deletions in addition to substitution mutations

    Churkin, A. & Barash, D., 1 Jan 2018, Bioinformatics Research and Applications - 14th International Symposium, ISBRA 2018, Proceedings. Zhang, F., Zhang, S., Cai, Z. & Skums, P. (eds.). Springer Verlag, p. 174-178 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10847 LNBI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Abstract Interpretation of Stateful Networks

    Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. & Velner, Y., 1 Jan 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    9 Scopus citations

  • Active Assembly Guidance with Online Video Parsing

    Wang, B., Wang, G., Sharf, A., Li, Y., Zhong, F., Qin, X., Cohenor, D. & Chen, B., 24 Aug 2018, 25th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2018 - Proceedings. Steinicke, F., Thomas, B., Kiyokawa, K. & Welch, G. (eds.). Institute of Electrical and Electronics Engineers, p. 459-466 8 p. 8446602. (25th IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2018 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Adaptive software cache management

    Einziger, G., Eytan, O., Friedman, R. & Manes, B., 26 Nov 2018, Proceedings of the 19th International Middleware Conference, Middleware 2018. Association for Computing Machinery, Inc, p. 94-106 13 p. (Proceedings of the 19th International Middleware Conference, Middleware 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    28 Scopus citations

  • Advanced Analytics for Connected Car Cybersecurity

    Levi, M., Allouche, Y. & Kontorovich, A., 20 Jul 2018, 2018 IEEE 87th Vehicular Technology Conference, VTC Spring 2018 - Proceedings. Institute of Electrical and Electronics Engineers, p. 1-7 7 p. (IEEE Vehicular Technology Conference; vol. 2018-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    48 Scopus citations

  • Algorithms and hardness results for nearest neighbor problems in bicolored point sets

    Banerjee, S., Bhore, S. & Chitnis, R., 1 Jan 2018, LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 80-93 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10807 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • Algorithms for the discrete Fréchet distance under translation

    Filtser, O. & Katz, M. J., 1 Jun 2018, 16th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2018. Eppstein, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 201-2014 1814 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 101).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Anagram-free chromatic number is not pathwidth-bounded

    Carmi, P., Dujmović, V. & Morin, P., 1 Jan 2018, Graph-Theoretic Concepts in Computer Science - 44th International Workshop, WG 2018, Proceedings. Brandstädt, A., Köhler, E. & Meer, K. (eds.). Springer Verlag, p. 91-99 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11159 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • An Improved affine equivalence algorithm for random permutations

    Dinur, I., 1 Jan 2018, Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018 Proceedings. Nielsen, J. B. & Rijmen, V. (eds.). Springer Verlag, p. 413-442 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10820 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    16 Scopus citations

  • An improved bound for weak epsilon-nets in the plane

    Rubin, N., 30 Nov 2018, Proceedings - 59th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2018. Thorup, M. (ed.). Institute of Electrical and Electronics Engineers, p. 224-235 12 p. 8555108

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    17 Scopus citations

  • An Information-Flow Control Model for Online Social Networks Based on User-Attribute Credibility and Connection-Strength Factors

    Gudes, E. & Voloch, N., 1 Jan 2018, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Proceedings. Dinur, I., Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 55-67 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10879 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • An optimal distributed discrete log protocol with applications to homomorphic secret sharing

    Dinur, I., Keller, N. & Klein, O., 1 Jan 2018, Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings. Shacham, H. & Boldyreva, A. (eds.). Springer Verlag, p. 213-242 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10993 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • A Planning Approach to Monitoring Computer Programs’ Behavior

    Cukier, A., Brafman, R. I., Perkal, Y. & Tolpin, D., 1 Jan 2018, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Proceedings. Dinur, I., Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 243-254 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10879 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Approximability of covering cells with line segments

    Carmi, P., Maheshwari, A., Mehrabi, S., Schultz, L. F. & da Silveira, X., 1 Jan 2018, Combinatorial Optimization and Applications - 12th International Conference, COCOA 2018, Proceedings. Zelikovsky, A., Kim, D. & Uma, R. N. (eds.). Springer Verlag, p. 436-448 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11346 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Approximating maximum diameter-bounded subgraph in unit disk graphs

    Abu-Affash, A. K., Carmi, P., Maheshwari, A., Morin, P., Smid, M. & Smorodinsky, S., 1 Jun 2018, 34th International Symposium on Computational Geometry, SoCG 2018. Toth, C. D. & Speckmann, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 21-212 192 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 99).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • ASAR 2018 Competition Page Layout Analysis Using Fully Convolutional Networks

    Droby, A., Barakat, B. K. & El-Sana, J., 2 Oct 2018, 2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018. Institute of Electrical and Electronics Engineers, p. 161-164 4 p. 8480326. (2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • A System for Accessible Artificial Intelligence.

    Olson, R. S., Sipper, M., Cava, W. G. L., Tartarone, S., Vitale, S., Fu, W., Orzechowski, P., Urbanowicz, R. J., Holmes, J. H. & Moore, J. H., 6 Jul 2018, Genetic programming theory and practice XV. Banzhaf , W., Olson, R., Tozier , W. & Riolo , R. (eds.). Springer, p. 121-134 (Genetic and Evolutionary Computation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Barriers for rank methods in arithmetic complexity

    Efremenko, K., Garg, A., Oliveira, R. & Wigderson, A., 1 Jan 2018, 9th Innovations in Theoretical Computer Science, ITCS 2018. Karlin, A. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 94).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations

  • Bee’s strategy against byzantines replacing byzantine participants: (Extended Abstract)

    Shaer, A., Dolev, S., Bonomi, S., Raynal, M. & Baldoni, R., 1 Jan 2018, Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Proceedings. Izumi, T. & Kuznetsov, P. (eds.). Springer Verlag, p. 139-153 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11201 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Binarization Free Layout Analysis for Arabic Historical Documents Using Fully Convolutional Networks

    Barakat, B. K. & El-Sana, J., 2 Oct 2018, 2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018. Institute of Electrical and Electronics Engineers, p. 151-155 5 p. 8480333. (2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    25 Scopus citations

  • Bio-Inspired Micro Drones

    Ben-Moshe, B., Landau, Y., Marbel, R. & Mishiner, A., 2 Jul 2018, 2018 IEEE International Conference on the Science of Electrical Engineering in Israel, ICSEE 2018. Institute of Electrical and Electronics Engineers, 8645997. (2018 IEEE International Conference on the Science of Electrical Engineering in Israel, ICSEE 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Boundary labeling for rectangular diagrams

    Bose, P., Carmi, P., Keil, J. M., Mehrabi, S. & Mondal, D., 1 Jun 2018, 16th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2018. Eppstein, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 121-1214 1094 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 101).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • BPJS - An extensible, open infrastructure for behavioral programming research

    Bar-Sinai, M., Weiss, G. & Shmuel, R., 14 Oct 2018, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery, Inc, p. 59-61 3 p. (21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Scopus citations

  • Breaking symmetries with lex implications

    Codish, M., Ehlers, T., Gange, G., Itzhakov, A. & Stuckey, P. J., 1 Jan 2018, Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Proceedings. Gallagher, J. P., Sulzmann, M. & Gallagher, J. P. (eds.). Springer Verlag, p. 182-197 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10818 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Brief announcement: Treewidth modulator: Emergency exit for DFVS

    Lokshtanov, D., Ramanujan, M. S., Saurabh, S., Sharma, R. & Zehavi, M., 4 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 110:1--110:4 110. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Brief Announcement: Adversarial Evasion of an Adaptive Version of Western Electric Rules

    Margalit, O., 1 Jan 2018, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Proceedings. Dinur, I., Dolev, S. & Lodha, S. (eds.). Springer Verlag, p. 278-282 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10879 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Case Study: Fine Writing Style Classification Using Siamese Neural Network

    Abdalhaleem, A., Barakat, B. K. & El-Sana, J., 2 Oct 2018, 2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018. Institute of Electrical and Electronics Engineers, p. 62-66 5 p. 8480212. (2nd IEEE International Workshop on Arabic and Derived Script Analysis and Recognition, ASAR 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • Cliquewidth III: The odd case of graph coloring parameterized by clique width

    Golovach, P. A., Lokshtanov, D., Saurabh, S. & Zehavi, M., 1 Jan 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 262-273 12 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • Combinatorial auctions with endowment effect

    Babaioff, M., Dobzinski, S. & Oren, S., 11 Jun 2018, ACM EC 2018 - Proceedings of the 2018 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 73-90 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Scopus citations

  • Covering small independent sets and separators with applications to parameterized algorithms

    Lokshtanov, D., Panolan, F., Saurabh, S., Sharma, R. & Zehavi, M., 1 Jan 2018, 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018. Czumaj, A. (ed.). Association for Computing Machinery, p. 2785-2800 16 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    7 Scopus citations

  • Curve Reconstruction via the Global Statistics of Natural Curves

    Barnea, E. & Ben-Shahar, O., 14 Dec 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. Institute of Electrical and Electronics Engineers, p. 3099-3107 9 p. 8578425. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Data integrity verification in column-oriented NoSQL databases

    Weintraub, G. & Gudes, E., 1 Jan 2018, Data and Applications Security and Privacy XXXII - 32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Proceedings. Paraboschi, S. & Kerschbaum, F. (eds.). Springer Verlag, p. 165-181 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10980 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Deep Diffeomorphic Transformer Networks

    Detlefsen, N. S., Freifeld, O. & Hauberg, S., 14 Dec 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. Institute of Electrical and Electronics Engineers, p. 4403-4412 10 p. 8578561. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    36 Scopus citations

  • Design of Nano-Robots for Exposing Cancer Cells

    Dolev, S., Rosenblit, M. & Narayanan, R. P., 2 Jul 2018, 18th International Conference on Nanotechnology, NANO 2018. Institute of Electrical and Electronics Engineers, 8626359. (Proceedings of the IEEE Conference on Nanotechnology; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Detecting malicious powershell commands using deep neural networks

    Hendler, D., Kels, S. & Rubin, A., 29 May 2018, ASIACCS 2018 - Proceedings of the 2018 ACM Asia Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 187-197 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    77 Scopus citations

  • Dictionary based Hyperspectral Image Reconstruction Captured with CS-MUSI

    Oiknine, Y., Arad, B., August, I., Ben-Shahar, O. & Stern, A., 1 Sep 2018, 2018 9th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, WHISPERS 2018. Institute of Electrical and Electronics Engineers, 8747233. (Workshop on Hyperspectral Image and Signal Processing, Evolution in Remote Sensing; vol. 2018-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Distributed constrained search by selfish agents for efficient equilibria

    Levit, V. & Meisels, A., 1 Jan 2018, Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Proceedings. Hooker, J. (ed.). Springer Verlag, p. 707-724 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11008 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Evolutionary computation: An investigation of parameter space

    Sipper, M., Ahuja, K., Fu, W. & Moore, J. H., 6 Jul 2018, GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, Inc, p. 29-30 2 p. (GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Evolving Artificial General Intelligence for Video Game Controllers.

    Azaria, I., Elyasaf, A. & Sipper, M., 28 Oct 2018, Genetic Programming Theory and Practice XIV . Riolo, R., Worzel, B., Goldman , B. & Tozier, B. (eds.). Springer, p. 53-63

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Evolving ramp secret-sharing schemes

    Beimel, A. & Othman, H., 1 Jan 2018, Security and Cryptography for Networks - 11th International Conference, SCN 2018, Proceedings. Catalano, D. & De Prisco, R. (eds.). Springer Verlag, p. 313-332 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11035 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Exchange markets stability in barter

    Gupta, S., Saurabh, S., Panolan, F. & Zehavi, M., 1 Jan 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1371-1379 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Faster algorithms for some optimization problems on collinear points

    Biniaz, A., Bose, P., Carmi, P., Maheshwari, A., Munro, I. & Smid, M., 1 Jun 2018, 34th International Symposium on Computational Geometry, SoCG 2018. Toth, C. D. & Speckmann, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 81-814 734 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 99).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Fast Single-Class Classification and the Principle of Logit Separation

    Keren, G., Sabato, S. & Schuller, B., 27 Dec 2018, 2018 IEEE International Conference on Data Mining, ICDM 2018. Institute of Electrical and Electronics Engineers, p. 227-236 10 p. 8594847. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2018-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    9 Scopus citations

  • Formal executable theory of multilevel modeling

    Balaban, M., Khitron, I., Kifer, M. & Maraee, A., 1 Jan 2018, Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Proceedings. Krogstie, J. & Reijers, H. A. (eds.). Springer Verlag, p. 391-406 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10816 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Further consequences of the colorful helly hypothesis

    Martínez-Sandoval, L., Roldán-Pensado, E. & Rubin, N., 1 Jun 2018, 34th International Symposium on Computational Geometry, SoCG 2018. Toth, C. D. & Speckmann, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 591-5914 5324 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 99).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Geodesic obstacle representation of graphs

    Bose, P., Carmi, P., Dujmovic, V., Mehrabi, S., Montecchiani, F., Morin, P. & Da Silveira, L. F. S. X., 1 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • HCV MultiscaleDyn: A simulator for the multiscale model of hepatitis C virus dynamics

    Churkin, A., Reinharz, V., Dahari, H. & Barash, D., 10 Jul 2018, International Conference of Numerical Analysis and Applied Mathematics, ICNAAM 2017. Tsitouras, C., Simos, T., Simos, T., Simos, T., Simos, T. & Simos, T. (eds.). American Institute of Physics Inc., 470009. (AIP Conference Proceedings; vol. 1978).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Improved PTASs for convex barrier coverage

    Carmi, P., Katz, M. J., Saban, R. & Stein, Y., 1 Jan 2018, Approximation and Online Algorithms - 15th International Workshop, WAOA 2017, Revised Selected Papers. Solis-Oba, R. & Fleischer, R. (eds.). Springer Verlag, p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10787 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Incentives and coordination in bottleneck models

    Babaioff, M. & Oren, S., 1 Jan 2018, Web and Internet Economics - 14th International Conference, WINE 2018, Proceedings. Harks, T. & Christodoulou, G. (eds.). Springer Verlag, p. 37-50 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11316 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations