Department of Mathematics and Computer Science

Filter
Conference contribution

Search results

  • 2006

    Work in progress: Space complexity in CS1: Difficulties in perceiving the concept

    Vilner, T. & Zur, E., 2006, 36th ASEE/IEEE Frontiers in Education Conference, FIE. 4116986. (Proceedings - Frontiers in Education Conference, FIE).

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

  • 2005

    Advanced programming in Java workshop - Teaching methodology

    Benaya, T. & Zur, E., 2005, ITiCSE 2005: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. p. 348 1 p. (Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

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

  • A Top--Down Model of an AOP Weaving Process

    Kojarski, S. & Lorenz, D. H., 1 Mar 2005, Proceedings of the AOSD 2005 Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT'05). Chicago, IL, USA: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

  • Challenges in teaching the pumping lemma in automata theory course

    Gal-Ezer, J. & Trakhtenbrot, M., 2005, ITiCSE 2005: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. p. 369 1 p. (Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

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

  • Characterizing ideal weighted threshold secret sharing

    Beimel, A., Tassa, T. & Weinreb, E., 2005, Theory of Cryptography (TCC 2005). Kilian, J. (ed.). Vol. 3378. p. 600-619 20 p. (Lecture Notes in Computer Science; vol. 3378).

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

    Open Access
  • Contrasting women's experiences in computer science at different institutions

    Zur, E., Irani, L., Barker, L. & Guzdial, M., 2005, Proceedings of the Thirty-Sixth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005. Association for Computing Machinery, p. 63-64 2 p. (Proceedings of the Thirty-Sixth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005).

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

    Open Access
  • Reductive thinking in undergraduate CS courses

    Armoni, M. & Gal-Ezer, J., 2005, ITiCSE 2005: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. p. 362 1 p. (Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

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

  • 2004

    Interesting basic problems for CS1

    Gal-Ezer, J., Lanzberg, D. & Shahak, D., Sep 2004, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science. 3 ed. Vol. 36. p. 275 1 p. (SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)).

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

  • Introducing undecidability

    Gal-Ezer, J., Lanzberg, D. & Shahak, D., Sep 2004, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science. 3 ed. Vol. 36. p. 276 1 p. (SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)).

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

  • Mechanisms and architectures of online learning communities

    Aviv, R., Erlich, Z. & Ravid, G., 2004, Proceedings - IEEE International Conference on Advanced Learning Technologies, ICALT 2004. Kinshuk, Looi, C-K., Sutinen, E., Sampson, D., Aedo, I., Uden, L. & Kaehkoenen, E. (eds.). p. 400-404 5 p. (Proceedings - IEEE International Conference on Advanced Learning Technologies, ICALT 2004).

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

  • MSc Program--Towards Open Admission

    Benaya, T., Lerner, A. & Zur, E., 2004, The 18th AAOU Annual conference.

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

  • On the achievements of high school students studying computational models

    Michal, A. & Gal-Ezer, J., 2004, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science. p. 17-21 5 p. (Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

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

  • Teaching certificate in computer science - Didactics workshop

    Zur, E. & Vilner, T., 2004, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science. p. 240 1 p. (Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

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

  • 2003

    Aspect Instances and their Interactions

    Skotiniotis, T., Lieberherr, K. & Lorenz, D. H., 1 Mar 2003, Proceedings of the AOSD 2003 Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT'03). Boston, Massachusetts: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

  • Aspectual Reflection

    Kojarski, S., Lieberherr, K., Lorenz, D. H. & Hirschfeld, R., 1 Mar 2003, Proceedings of the AOSD 2003 Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT'03). Boston, Massachusetts: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

    Open Access
  • Characteristics of students who failed (or succeeded) the introductory CS course

    Gal-Ezer, J., Vilner, T. & Zur, E., 2003, 33rd Annual Frontiers in Education: Engineering as a Human Endeavor: Partnering Community, Academia, Government, and Industry, FIE 2003 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 1. p. T2A11-T2A12 1263283. (Proceedings - Frontiers in Education Conference, FIE).

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

  • Cohesion and roles: Network analysis of CSCL communities

    Aviv, R., Erlich, Z. & Ravid, G., 2003, Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003. p. 145-149 5 p. 1215045. (Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003).

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

  • Correctness of Model-based Component Composition without State Explosion

    Attie, P. C. & Lorenz, D. H., 1 Jul 2003, Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC). Straeten, R. V. D., Speck, A., Pulvermueller, E., Clauss, M. & Pleuss, A. (eds.). Darmstadt, Germany, p. 37-44 8 p.

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

  • Domain driven web development with WebJinn

    Kojarski, S. & Lorenz, D., 2003, Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'03. p. 53-65 13 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Non-determinism in CS high-school curricula

    Armoni, M. & Gal-Ezer, J., 2003, 33rd Annual Frontiers in Education: Engineering as a Human Endeavor: Partnering Community, Academia, Government, and Industry, FIE 2003 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2. p. F2C18-F2C23 1264702. (Proceedings - Frontiers in Education Conference, FIE; vol. 2).

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

  • Pluggable reflection: Decoupling meta-interface and implementation

    Lorenz, D. H. & Vlissides, J., 2003, Proceedings of the 25th International Conference on Software Engineering, 2003. p. 3-13 11 p. (Proceedings - International Conference on Software Engineering).

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

  • Program Comprehension Using Aspects

    Kaeli, D. R., Kojarski, S., Lorenz, D. H. & Ng, D., 1 Dec 2003, Proceedings of ICSE 2004 Workshop on Directions in Software Engineering Environments (WoDiSEE'2004). Boston: Association for Computing Machinery

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

  • Teaching Algorithm Efficiency in a CS1 Course: A Different Approach

    Gal-Ezer, J., Vilner, T. & Zur, E., 2003, Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2003). Finkel, D. & Finkel, D. (eds.). p. 256 1 p. (Proceedings of the Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiSCE); vol. 8).

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

  • Unplugging Components using Aspects

    Kojarski, S. & Lorenz, D. H., 1 Jul 2003, Proceedings of the ECOOP 2003 8th International Workshop on Component-Oriented Programming (WCOP'03). Bosch, J., Szyperski, C. & Weck, W. (eds.). Darmstadt, Germany

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

    Open Access
  • Use of visual tools in distance teaching of computational models

    Gal-Ezer, J. & Trakhtenbrot, M., 2003, 33rd Annual Frontiers in Education: Engineering as a Human Endeavor: Partnering Community, Academia, Government, and Industry, FIE 2003 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 1. p. T4F1 1263386. (Proceedings - Frontiers in Education Conference, FIE; vol. 1).

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

  • Using synchronous and asynchronous online learning in computer science courses

    Gal-Ezer, J. & Lanzberg, D., 2003, 33rd Annual Frontiers in Education: Engineering as a Human Endeavor: Partnering Community, Academia, Government, and Industry, FIE 2003 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. T3F1 1263349. (Proceedings - Frontiers in Education Conference, FIE; vol. 1).

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

  • 2002

    A Code Generator Web Service

    Sundaram, R. & Lorenz, D. H., 1 Nov 2002, Proceedings of the OOPSLA 2002 Workshop on Object-Oriented Web Services (OOWS'02). Tarr, P., Finkelstein, A., Hailpern, B., Piccinelli, G. & Stafford, J. (eds.). Association for Computing Machinery

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

  • Tight bounds for shared memory systems accessed by byzantine processes

    Merritt, M., Reingold, O., Taubenfeld, G. & Wright, R. N., 2002, Distributed Computing - 16th International Conference, DISC 2002, Proceedings. Malkhi, D. (ed.). Springer Verlag, p. 222-236 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2508).

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

  • 2001

    A Web-based Cooperative Education Database System

    Bester, R., Erickson, M. & Lorenz, D. H., 1 Apr 2001, International Conference on Practice Oriented Education (POE'01). Boston, MA

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

  • On approximating the achromatic number

    Kortsarz, G. & Krauthgamer, R., 2001, Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms. p. 309-318 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

  • 2000

    A BeanBox Environment for Design-Time Assembly of ContextBeans Components

    Lorenz, D. H. & Petkovic, P., 1 May 2000, NU Research, Innovation, Scholarship and Entrepreneurship Expo (RISE'00). Boston, MA

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

  • Approximating node connectivity problems via set covers

    Kortsarz, G. & Nutov, Z., 2000, Approximation Algorithms for Combinatorial Optimization - 3rd International Workshop, APPROX 2000, Proceedings. Jansen, K. & Khuller, S. (eds.). Springer Verlag, p. 194-205 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1913).

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

    Open Access
  • Approximating the domatic number

    Feige, U., Halldórsson, M. M. & Kortsarz, G., 2000, Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, STOC 2000. p. 134-143 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  • Computing with infinitely many processes: Under assumptions on concurrency and participation

    Merritt, M. & Taubenfeld, G., 2000, Distributed Computing-14th InternationalConference, DISC 2000, Proceedings. Herlihy, M. (ed.). Springer Verlag, p. 164-178 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1914).

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

  • Shifting Component Architecture from Explicit to Implicit Invocation

    Lorenz, D. H. & Petkovic, P., 1 May 2000, NU Research, Innovation, Scholarship and Entrepreneurship Expo (RISE'00). Boston, MA

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

  • Testing of clustering

    Dar, S., Alon, N., Ron, D. & Parnas, M., 1 Nov 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science. Los Alamitos, CA, USA: IEEE Computer Society, p. 240 1 p.

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

  • Tree spanners for subgraphs and related tree covering problems

    Handke, D. & Kortsarz, G., 2000, Graph-Theoretic Concepts in Computer Science - 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings. Brandes, U. & Wagner, D. (eds.). Springer Verlag, p. 206-217 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1928).

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

  • 1999

    Multicoloring planar graphs and partial k-trees

    Halldórsson, M. M. & Kortsarz, G., 1999, Randomization, Approximation, and Combinatorial Optimization: Algorithms and Techniques - 3rd International Workshop on Randomization and Approximation Techniques in Computer Science and 2nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, RANDOM-APPROX 1999, Proceedings. Rolim, J. D. P., Sinclair, A., Hochbaum, D. & Jansen, K. (eds.). Springer Verlag, p. 73-84 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1671).

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

  • Multi-coloring trees

    Halldórsson, M. M., Kortsarz, G., Proskurowski, A., Salman, R., Shachnai, H. & Telle, J. A., 1999, Computing and Combinatorics - 5th Annual International Conference, COCOON 1999, Proceedings. Nakano, S., Imai, H., Lee, D. T., Tokuyama, T. & Asano, T. (eds.). Springer Verlag, p. 271-280 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1627).

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

  • Sum multi-coloring of graphs

    Bar-Noy, A., Halldórsson, M. M., Kortsarz, G., Salman, R. & Shachnai, H., 1999, Algorithms - ESA 1999 - 7th Annual European Symposium, Proceedings. Nešetřil, J. (ed.). Springer Verlag, p. 390-401 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1643).

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

  • 1998

    Compilation of Source Code into Object-Oriented Patterns

    Lorenz, D. H., 1 Jul 1998, Proceedings of the ECOOP 1998 Workshop on Object-Oriented Technology. Demeyer, S. & Bosch, J. (eds.). Brussels, Belgium: Springer Verlag, Vol. 1543. p. 32-33 2 p. (Lecture Notes in Computer Science).

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

  • Fairness of shared objects

    Merritt, M. & Taubenfeld, G., 1998, Distributed Computing - 12th International Symposium, DISC 1998, Proceedings. Kutten, S. & Kutten, S. (eds.). Springer Verlag, p. 303-317 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1499).

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

  • On the hardness of approximating spanners

    Kortsarz, G., 1998, Approximation Algorithms for Combinatorial Optimization - International Workshop, APPROX 1998, Proceedings. Rolim, J. & Jansen, K. (eds.). Springer Verlag, p. 135-146 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1444).

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

  • Visitor Beans: An aspect-oriented pattern

    Lorenz, D. H., 1 Jul 1998, Proceedings of the ECOOP 1998 Workshop on Aspect Oriented Programming (AOP). Demeyer, S. & Bosch, J. (eds.). Brussels, Belgium: Springer Verlag, Vol. 1543. p. 428-429 2 p. (Lecture Notes in Computer Science).

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

  • Visitor Beans: An aspect-oriented pattern

    Lorenz, D. H., 1 Jul 1998, Proceedings of the ECOOP 1998 Workshop on Aspect Oriented Programming (AOP): ECOOP 1998 Workshop Reader - ECOOP 1998 Workshops, Demos, and Posters, Proceedings. Demeyer, S. & Bosch, J. (eds.). Springer Verlag, Vol. 1543. p. 428-429 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1543).

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

  • 1997

    Distance education: promise and reality: (panel)

    Gal-Ezer, J., Adams, E. S., Barker, K., Blass Lawhead, P. A., Maly, K., Miller, J. E. & Thomas, P., 1997, SIGCSE '97: Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education. p. 369–370

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

  • The minimum color sum of bipartite graphs

    Bar-Noy, A. & Kortsarz, G., 1997, Automata, Languages and Programming - 24th International Colloquium, ICALP 1997, Proceedings. Degano, P., Gorrieri, R. & Marchetti-Spaccamela, A. (eds.). Springer Verlag, p. 738-748 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 contributionpeer-review

  • 1996

    On the homogenization of nonlinear convection-diffusion equations with oscillatory initial and forcing data

    Tassa, T., 1996, NONLINEAR WAVES : Proceedings of the Fourth MSJ International Research Institute Vol II. Agemi, R., Giga, Y. & Ozawa, T. (eds.). Hokkaido University, Vol. 44. p. 478-486 (Hokkaido University technical report series in mathematics; vol. 44, no. 1).

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

  • Teaching computer science: experience from four continents

    Daniels, M., Gal-Ezer, J., Sanders, I. & Teague, G. J., 1996, Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education. p. 102-106 4 p.

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

    Open Access
  • 1993

    Derivative Evaluation Function Learning Using Genetic Operators

    Lorenz, D. H. & Markovitch, S., 1 Oct 1993, Proceedings of the 1993 Fall Symposium on Games: Planning and Learning. Menlo Park, CA: AAAI Technical Report FS-93-02, p. 264-278 15 p.

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