מדעי המחשב

  • !!Postal address

    إسرائيل

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

نتائج البحث

  • 2007

    Space Complexity in CS1

    Zur, E., Vilner, T. & Gal-Ezer, J., 2007, Proceedings of the Informatics Education Europe II Conference 2007. South-East European Research Center (SEERC)

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

  • Technology in distance teaching of computational models

    Gal-Ezer, J. & Trakhtenbrot, M., 2007, IMSCI 2007 - International Multi-Conference on Society, Cybernetics and Informatics, Proceedings. International Institute of Informatics and Systemics, IIIS, صفحة 54-59 6 صفحة (IMSCI 2007 - International Multi-Conference on Society, Cybernetics and Informatics, Proceedings; المجلد 2).

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

  • To teach is to touch lives forever

    Gal-Ezer, J., 2007, SIGCSE 2007: 38th SIGCSE Technical Symposium on Computer Science Education. صفحة 1 1 صفحة (SIGCSE 2007: 38th SIGCSE Technical Symposium on Computer Science Education).

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

  • Understanding Aspect Interactions, Co-Advising and Foreign Advising

    Lorenz, D. H. & Kojarski, S., 30 يوليو 2007, Proceedings of ECOOP 2007 Second International Workshop on Aspects, Dependencies and Interactions (ADI'07). Berlin: Springer, صفحة 23-28 6 صفحة ( Lecture Notes in Computer Science).

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

  • Understanding threads in an advanced java course

    Benaya, T. & Zur, E., 2007, ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science. صفحة 323 1 صفحة (ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science).

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

  • 2006

    Algebraic characterization of regular languages: How to cope with all these equivalences?

    Gal-Ezer, J. & Trakhtenbrot, M., 2006, ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 325 1 صفحة (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; المجلد 2006).

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

  • Approximating minimum power covers of intersecting families and directed connectivity problems

    Nutov, Z., 2006, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 a. Springer Verlag, صفحة 236-247 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4110 LNCS).

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

    دخول حر

  • Evolution of AOP Mental Models

    Lorenz, D. H. & Kojarski, S., 1 مارس 2006, Proceedings of the AOSD 2006 Workshop on Aspects in Teaching (AIT'06). Bonn, Germany: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

  • Feature Interaction in AspectJ/5

    Lorenz, D. H. & Kojarski, S., 1 مارس 2006, Proceedings of the AOSD 2006 Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT'06). Bonn, Germany: Association for Computing Machinery, (Aspect-Oriented Software Development).

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

  • Generating summaries and visualization for large collections of geo-referenced photographs

    Jaffe, A., Naaman, M., Tassa, T. & Davis, M., 2006, Proceedings of the 8th ACM Multimedia International Workshop on Multimedia Information Retrieval, MIR 2006. صفحة 89-98 10 صفحة (Proceedings of the ACM International Multimedia Conference and Exhibition).

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

    دخول حر

  • Generating summaries for large collections of geo-referenced photographs

    Jaffe, A., Naaman, M., Tassa, T. & Davis, M., 2006, Proceedings of the 15th International Conference on World Wide Web. صفحة 853-854 2 صفحة (Proceedings of the 15th International Conference on World Wide Web).

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

  • Multipartite secret sharing by bivariate interpolation

    Tassa, T. & Dyn, N., 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Verlag, صفحة 288-299 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4052 LNCS).

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

  • Once she makes it, she is there: Gender differences in computer science study

    Vilner, T. & Zur, E., 2006, Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education 2006. صفحة 227-231 5 صفحة (Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education 2006).

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

  • Once she makes it, she is there: Gender differences in computer science study

    Vilner, T. & Zur, E., 2006, ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 227-231 5 صفحة (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; المجلد 2006).

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

  • Parallel Composition of Aspect Mechanisms: Design and Evaluation

    Lorenz, D. H. & Kojarski, S., 1 مارس 2006, Proceedings of the AOSD 2006 Workshop on Open and Dynamic Aspect Languages (ODAL'06). Bonn, Germany, (Aspect-Oriented Software Development).

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

  • Ramsey partitions and proximity data structures

    Mendel, M. & Naor, A., 2006, 47th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2006. صفحة 109-118 10 صفحة 4031348. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    دخول حر

  • Reductive thinking in undergraduate CS courses

    Armoni, M., Gal-Ezer, J. & Hazzan, O., 2006, ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education. صفحة 133-137 5 صفحة (ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education; المجلد 2006).

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

  • Student participation in a web-based computer science course

    Benaya, T. & Zur, E., 2006, 36th ASEE/IEEE Frontiers in Education Conference, FIE. Institute of Electrical and Electronics Engineers Inc., صفحة 21-26 6 صفحة 4117242. (Proceedings - Frontiers in Education Conference, FIE).

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

  • Tight approximation algorithm for connectivity augmentation problems

    Kortsarz, G. & Nutov, Z., 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Verlag, صفحة 443-452 10 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 4051 LNCS).

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

    دخول حر

  • 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).

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

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

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

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

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

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

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

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

  • Characterizing ideal weighted threshold secret sharing

    Beimel, A., Tassa, T. & Weinreb, E., 2005, Theory of Cryptography (TCC 2005). Kilian, J. (محرر). المجلد 3378. صفحة 600-619 20 صفحة (Lecture Notes in Computer Science; المجلد 3378).

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

    دخول حر

  • 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

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