המחלקה למתמטיקה ולמדעי המחשב

  • !!Postal address

    إسرائيل

التصفية
منشور من مؤتمر

نتائج البحث

  • 2005

    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, صفحة 63-64 2 صفحة (Proceedings of the Thirty-Sixth SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • 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. صفحة 362 1 صفحة (Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 2004

    Interesting basic problems for CS1

    Gal-Ezer, J., Lanzberg, D. & Shahak, D., سبتمبر 2004, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science. 3 طبعة المجلد 36. صفحة 275 1 صفحة (SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Introducing undecidability

    Gal-Ezer, J., Lanzberg, D. & Shahak, D., سبتمبر 2004, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science. 3 طبعة المجلد 36. صفحة 276 1 صفحة (SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). صفحة 400-404 5 صفحة (Proceedings - IEEE International Conference on Advanced Learning Technologies, ICALT 2004).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • MSc Program--Towards Open Admission

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. صفحة 17-21 5 صفحة (Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. صفحة 240 1 صفحة (Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 2003

    Aspect Instances and their Interactions

    Skotiniotis, T., Lieberherr, K. & Lorenz, D. H., 1 مارس 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).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Aspectual Reflection

    Kojarski, S., Lieberherr, K., Lorenz, D. H. & Hirschfeld, R., 1 مارس 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).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر

    دخول حر

  • 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., المجلد 1. صفحة T2A11-T2A12 1263283. (Proceedings - Frontiers in Education Conference, FIE).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. صفحة 145-149 5 صفحة 1215045. (Proceedings - 3rd IEEE International Conference on Advanced Learning Technologies, ICALT 2003).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Correctness of Model-based Component Composition without State Explosion

    Attie, P. C. & Lorenz, D. H., 1 يوليو 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. (المحررون). Darmstadt, Germany, صفحة 37-44 8 صفحة

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. صفحة 53-65 13 صفحة (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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., المجلد 2. صفحة F2C18-F2C23 1264702. (Proceedings - Frontiers in Education Conference, FIE; المجلد 2).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Pluggable reflection: Decoupling meta-interface and implementation

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Program Comprehension Using Aspects

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). صفحة 256 1 صفحة (Proceedings of the Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiSCE); المجلد 8).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Unplugging Components using Aspects

    Kojarski, S. & Lorenz, D. H., 1 يوليو 2003, Proceedings of the ECOOP 2003 8th International Workshop on Component-Oriented Programming (WCOP'03). Bosch, J., Szyperski, C. & Weck, W. (المحررون). Darmstadt, Germany

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • 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., المجلد 1. صفحة T4F1 1263386. (Proceedings - Frontiers in Education Conference, FIE; المجلد 1).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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., صفحة T3F1 1263349. (Proceedings - Frontiers in Education Conference, FIE; المجلد 1).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 2002

    A Code Generator Web Service

    Sundaram, R. & Lorenz, D. H., 1 نوفمبر 2002, Proceedings of the OOPSLA 2002 Workshop on Object-Oriented Web Services (OOWS'02). Tarr, P., Finkelstein, A., Hailpern, B., Piccinelli, G. & Stafford, J. (المحررون). Association for Computing Machinery

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (محرر). Springer Verlag, صفحة 222-236 15 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 2508).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 2001

    A Web-based Cooperative Education Database System

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • On approximating the achromatic number

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 2000

    A BeanBox Environment for Design-Time Assembly of ContextBeans Components

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). Springer Verlag, صفحة 194-205 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1913).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

    دخول حر

  • 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. صفحة 134-143 10 صفحة (Proceedings of the Annual ACM Symposium on Theory of Computing).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (محرر). Springer Verlag, صفحة 164-178 15 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1914).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Shifting Component Architecture from Explicit to Implicit Invocation

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Testing of clustering

    Dar, S., Alon, N., Ron, D. & Parnas, M., 1 نوفمبر 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science. Los Alamitos, CA, USA: IEEE Computer Society, صفحة 240 1 صفحة

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). Springer Verlag, صفحة 206-217 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1928).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). Springer Verlag, صفحة 73-84 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1671).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). Springer Verlag, صفحة 271-280 10 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1627).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (محرر). Springer Verlag, صفحة 390-401 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1643).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 1998

    Compilation of Source Code into Object-Oriented Patterns

    Lorenz, D. H., 1 يوليو 1998, Proceedings of the ECOOP 1998 Workshop on Object-Oriented Technology. Demeyer, S. & Bosch, J. (المحررون). Brussels, Belgium: Springer Verlag, المجلد 1543. صفحة 32-33 2 صفحة (Lecture Notes in Computer Science).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Fairness of shared objects

    Merritt, M. & Taubenfeld, G., 1998, Distributed Computing - 12th International Symposium, DISC 1998, Proceedings. Kutten, S. & Kutten, S. (المحررون). Springer Verlag, صفحة 303-317 15 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1499).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • On the hardness of approximating spanners

    Kortsarz, G., 1998, Approximation Algorithms for Combinatorial Optimization - International Workshop, APPROX 1998, Proceedings. Rolim, J. & Jansen, K. (المحررون). Springer Verlag, صفحة 135-146 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1444).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Visitor Beans: An aspect-oriented pattern

    Lorenz, D. H., 1 يوليو 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. (المحررون). Springer Verlag, المجلد 1543. صفحة 428-429 2 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1543).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • Visitor Beans: An aspect-oriented pattern

    Lorenz, D. H., 1 يوليو 1998, Proceedings of the ECOOP 1998 Workshop on Aspect Oriented Programming (AOP). Demeyer, S. & Bosch, J. (المحررون). Brussels, Belgium: Springer Verlag, المجلد 1543. صفحة 428-429 2 صفحة (Lecture Notes in Computer Science).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. صفحة 369–370

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). Springer Verlag, صفحة 738-748 11 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 1256).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. (المحررون). Hokkaido University, المجلد 44. صفحة 478-486 (Hokkaido University technical report series in mathematics; المجلد 44, رقم 1).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء

  • 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. صفحة 102-106 4 صفحة

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر

    دخول حر
  • 1993

    Derivative Evaluation Function Learning Using Genetic Operators

    Lorenz, D. H. & Markovitch, S., 1 أكتوبر 1993, Proceedings of the 1993 Fall Symposium on Games: Planning and Learning. Menlo Park, CA: AAAI Technical Report FS-93-02, صفحة 264-278 15 صفحة

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء