Department of Mathematics and Computer Science

Filter
Conference contribution

Search results

  • 2012

    Integrating video components in CS1

    Vilner, T., Zur, E. & Sagi, R., 2012, SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education. p. 123-128 6 p. (SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education).

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

  • Israel: The regional competition and teacher involvement

    Zur, E., Benaya, T., Becker, O. & Ginat, D., 2012, Olympiads in Informatics - Selected Papers of the International Conference Joint with the 24th International Olympiad in Informatics, IOI 2012. Vilnius University, p. 218-225 8 p. (Olympiads in Informatics; vol. 6).

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

  • Language-oriented modularity through awesome DSALs: Summary of invited talk

    Lorenz, D. H., 2012, DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages. p. 1-2 2 p. (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

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

  • On SIFTs and their scales

    Hassner, T., Mayzels, V. & Zelnik-Manor, L., 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2012. p. 1522-1528 7 p. 6247842. (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

  • Scheduling of vehicles in transportation networks

    Kowalski, D., Nutov, Z. & Segal, M., 2012, Communication Technologies for Vehicles - 4th International Workshop, Nets4Cars/Nets4Trains 2012, Proceedings. p. 124-136 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7266 LNCS).

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

  • SPECTACKLE: Toward a specification-based DSAL composition process

    Lorenz, D. H. & Mishali, O., 2012, DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages. p. 9-13 5 p. (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

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

  • Steiner forest orientation problems

    Cygan, M., Kortsarz, G. & Nutov, Z., 2012, Algorithms, ESA 2012 - 20th Annual European Symposium, Proceedings. p. 361-372 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7501 LNCS).

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

    Open Access

  • Survivable network activation problems

    Nutov, Z., 2012, LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings. p. 594-605 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7256 LNCS).

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

  • The new CSTA K - 12 computer science standards

    Cooper, S., Boucher Owens, B., Stephenson, C. & Gal-Ezer, J., 2012, ITiCSE'12 - Proceedings of the ACM Conference on Innovation and Technology in Computer Science Education. p. 363-364 2 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

  • 2011

    A (1 + ln 2)-approximation algorithm for minimum-cost 2-edge-connectivity augmentation of trees with constant radius

    Cohen, N. & Nutov, Z., 2011, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011, Proceedings. p. 147-157 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6845 LNCS).

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

    Open Access

  • A Case Study of Language Oriented Programming with Cedalion: (Extended Abstract)

    Lorenz, D. H. & Rosenan, B., 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 199-200 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Approximating survivable networks with minimum number of Steiner points

    Kamma, L. & Nutov, Z., 2011, Approximation and Online Algorithms - 8th International Workshop, WAOA 2010, Revised Papers. p. 154-165 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6534 LNCS).

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

    Open Access

  • A study on attitudes and emphases in computer science teacher preparation

    Ragonis, N., Hazzan, O. & Gal-Ezer, J., 2011, SIGCSE'11 - Proceedings of the 42nd ACM Technical Symposium on Computer Science Education. p. 559-564 6 p. (SIGCSE'11 - Proceedings of the 42nd ACM Technical Symposium on Computer Science Education).

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

  • Cedalion: A Language for Language Oriented Programming

    Lorenz, D. H. & Rosenan, B., Oct 2011, OOPSLA'11 - Proceedings of the 26th ACM International Conference on Object Oriented Programming Systems Languages and Applications. 10 ed. Vol. 46. p. 733-752 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Cedalion 101: "I Want My DSL Now"

    Lorenz, D. H. & Rosenan, B., Oct 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 29-30 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Code reuse with language oriented programming

    Lorenz, D. & Rosenan, B., 1 Jun 2011, Proceedings of the 12th International Conference on Software Reuse (ICSR12). Springer Verlag, Vol. 6727. p. 167-182 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6727 LNCS).

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

  • Criteria for writing exams which reflect the K12 CS foundations study material

    Averbuch, H., Benaya, T. & Zur, E., 2011, Informatics in Schools: Contributing to 21st Century Education - 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, Proceedings. p. 225-235 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7013 LNCS).

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

  • Dynamic Hook points

    Acherkan, E., Hen-Tov, A., Lorenz, D. H., Schachter, L., Wirfs-Brock, R. & Yoder, J. W., 5 Oct 2011, AsianPLoP 2011 - 2nd Asian Conference on Pattern Languages of Programs, Proceedings. Association for Computing Machinery, a1. (ACM International Conference Proceeding Series; vol. 2011-October).

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

  • Estimation of a normal process variance from measurements with large round-off errors

    Diamanta, B. K., Ellite, D., Itai, R. & Edna, S., 2011, Recent Advances in Manufacturing Engineering - Proceedings of the 4th International Conference on Manufacturing Engineering, Quality and Production Systems, MEQAPS'11. p. 297-302 6 p. (International Conference on Manufacturing Engineering, Quality and Production Systems, MEQAPS - Proceedings).

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

  • Hyper-spectral and thermal images for evaluating nitrogen and water status in potato fields

    Cohen, Y., Alchanati , V., Rud, R., Rozen, C., Levi, O., Cohen , S. & Mhabari, Z., 2011, proceeding of the 8th European Conference on Precision Agriculture (ECPA): ECPA 2011. p. 99-108 10 p.

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

  • Identity obfuscation in graphs through the information theoretic lens

    Bonchi, F., Gionis, A. & Tassa, T., 2011, 2011 IEEE 27th International Conference on Data Engineering, ICDE 2011. p. 924-935 12 p. 5767905. (Proceedings - International Conference on Data Engineering).

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

  • Integrating greenfoot into CS1 - A case study

    Vilner, T., Zur, E. & Tavor, S., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. p. 350 1 p. (ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science).

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

  • Multimodal remote sensing for enhancing detection of spatial variability in agricultural fields

    Alchanatis, V., Cohen, A., Cohen, Y., Levi, O. & Naor, A., 2011, Spatial2 Conference: Spatial Data Methods for Environmental and Ecological Processes. Cafarelli, B. (ed.). Bergamo, p. 1-4 4 p.

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

  • Network-design with degree constraints

    Khandekar, R., Kortsarz, G. & Nutov, Z., 2011, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011, Proceedings. p. 289-301 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6845 LNCS).

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

  • Pluggable aspect instantiation models

    Lorenz, D. & Trakhtenberg, V., 2011, Proceedings of the 10th International Symposium on Software Composition (SC'11). Springer Verlag, Vol. 6708. p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6708 LNCS).

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

  • The ink language meta-metamodel for adaptive object-model frameworks

    Acherkan, E., Hen-Tov, A., Lorenz, D. & Schachter, L., 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 181-182 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Toward debugging programs written in multiple domain specific aspect languages

    Apter, Y., Lorenz, D. & Mishali, O., 1 Mar 2011, Proceedings of the 6th Annual Workshop on Domain-Specific Aspect Languages, DSAL 2011. Association for Computing Machinery, p. 5-8 4 p. (Aspect-Oriented Software Development).

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

  • Using greenfoot in teaching inheritance in CS1

    Vilner, T., Zur, E. & Tavor, S., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. p. 342 1 p. (ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science).

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

  • 2010

    A survey of computer science teacher preparation programs in Israel tells us: Computer science deserves a designated high school teacher preparation!

    Ragonis, N., Hazzan, O. & Gal-Ezer, J., 2010, SIGCSE'10 - Proceedings of the 41st ACM Technical Symposium on Computer Science Education. p. 401-405 5 p. (SIGCSE'10 - Proceedings of the 41st ACM Technical Symposium on Computer Science Education).

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

  • Compressed sensing-based pooling experiments using next generation sequencing

    Shental, N., Amir, A. & Zuk, O., 2010, 2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings. p. 446-447 2 p. 5454087. (2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings).

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

  • Didactics of introduction to computer science in high school

    Armoni, M., Benaya, T., Ginat, D. & Zur, E., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. p. 36-48 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5941 LNCS).

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

  • Dynamic model evolution

    Hen-Tov, A., Lorenz, D., Nikolaev, L., Schachter, L., Wirfs-Brock, R. & Yoder, J. W., 2010, PLoP 2010 - 17th Conference on Pattern Languages of Programs, Proceedings. 16. (ACM International Conference Proceeding Series).

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

  • Individual and group seminars and workshops in the Computer Science curriculum

    Benaya, T., Herman, M., Shahak, D. & Zur, E., 2010, ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. p. 53-57 5 p. (ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education).

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

  • Prize-collecting Steiner network problems

    Hajiaghayi, M. T., Khandekar, R., Kortsarz, G. & Nutov, Z., 2010, Integer Programming and Combinatorial Optimization - 14th International Conference, IPCO 2010, Proceedings. 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. 6080 LNCS).

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

    Open Access

  • Professional associations in K-12 computer science

    Stephenson, C., Gal-Ezer, J., Philipps, M. & Vahrenhold, J., 2010, ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. p. 329-330 2 p. (ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education).

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

  • Software design course for leading CS in-service teachers

    Brandes, O., Vilner, T. & Zur, E., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. p. 49-60 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5941 LNCS).

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

  • Towards a calculus for non-linear spectral gaps

    Mendel, M. & Naor, A., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. p. 236-255 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

  • 2009

    An almost O(log k)-approximation for k-connected subgraphs

    Nutov, Z., 2009, Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery, p. 912-921 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

  • An interpretive domain specific language workbench

    Hen-Tov, A., Lorenz, D. & Schachter, L., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 751-752 2 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Approximating Fault-Tolerant Group-Steiner problems

    Khandekar, R., Kortsarz, G. & Nutov, Z., 2009, Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009 - 29th Annual Conference, Proceedings. p. 263-274 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 4).

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

  • Approximating minimum cost connectivity problems via uncrossable bifamilies and spider-cover decompositions

    Nutov, Z., 2009, Proceedings - 50th Annual Symposium on Foundations of Computer Science, FOCS 2009. p. 417-426 10 p. 5438613. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    Open Access

  • Approximating node-connectivity augmentation problems

    Nutov, Z., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. p. 286-297 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5687 LNCS).

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

    Open Access

  • Approximating some network design problems with node costs

    Kortsarz, G. & Nutov, Z., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. p. 231-243 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5687 LNCS).

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

  • Compass enhanced ORRP for wireless sensor networks

    Lerner, A. & Miliavsky, V., 2009, PM2HW2N'09 - Proceedings of the 4th ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks. p. 1-8 8 p. (PM2HW2N'09 - Proceedings of the 4th ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks).

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

  • Compressed sensing approach for high throughput carrier screen

    Erlich, Y., Shental, N., Amir, A. & Zuk, O., 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009. p. 539-544 6 p. 5394904. (2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009).

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

  • Computer science issues in high school: Gender and more....

    Gal-Ezer, J., Shahak, D. & Zur, E., 2009, ITiCSE-2009 - Proceedings of the 2009 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. p. 278-282 5 p. (Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE).

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

  • Efficient anonymizations with enhanced utility

    Goldberger, J. & Tassa, T., 2009, ICDM Workshops 2009 - IEEE International Conference on Data Mining. p. 106-113 8 p. 5360517. (ICDM Workshops 2009 - IEEE International Conference on Data Mining).

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

    Open Access

  • FairE9: Fair file distribution over mesh-only peer-to-peer

    Zohar, E. & Lerner, A., 2009, GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference. 5425555. (GLOBECOM - IEEE Global Telecommunications Conference).

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

  • Generalized substring compression

    Keller, O., Kopelowitz, T., Landau, S. & Lewenstein, M., 2009, Annual Symposium on Combinatorial Pattern Matching. p. 26-38 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5577 LNCS).

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

  • Has the paradigm shift in CS1 a harmful effect on data structures courses: A case study

    Gal-Ezer, J., Vilner, T. & Zur, E., 2009, SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education. p. 126-130 5 p. (SIGCSE'09 - Proceedings of the 40th ACM Technical Symposium on Computer Science Education).

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