Software Engineering Program

Filter
Conference contribution

Search results

  • 2013

    Partial domain search tree for constraint-satisfaction problems

    Sharon, G., Felner, A., Stern, R. & Sturtevant, N., 1 Jan 2013, Late-Breaking Developments in the Field of Artificial Intelligence - Papers Presented at the 27th AAAI Conference on Artificial Intelligence, Technical Report. AI Access Foundation, p. 125-127 3 p. (AAAI Workshop - Technical Report; vol. WS-13-17).

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

  • 2012

    A* variants for optimal multi-agent pathfinding

    Goldenberg, M., Felner, A., Stern, R., Sharon, G. & Schaeffer, J., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 157-158 2 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

    2 Scopus citations

  • Alternative forms of bounded suboptimal search

    Valenzano, R., Arfaee, S. J., Thayer, J. & Stern, R., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 175-176 2 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

  • Are we there yet? - Estimating search progress

    Thayer, J. T., Stern, R. & Lelis, L. H. S., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 129-136 8 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

    6 Scopus citations

  • Compiling model-based diagnosis to Boolean satisfaction

    Metodi, A., Stern, R., Kalech, M. & Codish, M., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 793-799 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    25 Scopus citations

  • Conflict-based search for optimal multi-agent path finding

    Sharon, G., Stern, R., Felner, A. & Sturtevant, N., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 563-569 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    37 Scopus citations

  • Conflict-based search for optimal multi-agent path finding

    Sharon, G., Stern, R., Felner, A. & Sturtevant, N., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 190 1 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

    16 Scopus citations

  • Efficient search for transformation-based inference

    Stern, A., Stern, R., Dagan, I. & Felner, A., 1 Dec 2012, 50th Annual Meeting of the Association for Computational Linguistics, ACL 2012 - Proceedings of the Conference. p. 283-291 9 p. (50th Annual Meeting of the Association for Computational Linguistics, ACL 2012 - Proceedings of the Conference; vol. 1).

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

    12 Scopus citations

  • Exploring the duality in conflict-directed model-based diagnosis

    Stern, R., Kalech, M., Feldman, A. & Provan, G., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 828-834 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    41 Scopus citations

  • Faster bounded-cost search using inadmissible estimates

    Thayer, J. T., Stern, R., Felner, A. & Ruml, W., 25 Sep 2012, ICAPS 2012 - Proceedings of the 22nd International Conference on Automated Planning and Scheduling. p. 270-278 9 p. (ICAPS 2012 - Proceedings of the 22nd International Conference on Automated Planning and Scheduling).

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

    31 Scopus citations

  • Meta-agent conflict-based search for optimal multi-agent path finding

    Sharon, G., Stern, R., Felner, A. & Sturtevant, N., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 97-104 8 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

    21 Scopus citations

  • Partial-Expansion A* with Selective Node Generation

    Felner, A., Goldenberg, M., Sharon, G., Stern, R., Beja, T., Sturtevant, N., Schaeffer, J. & Holte, R. C., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 180-181 2 p.

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

    4 Scopus citations

  • Partial-Expansion A* with Selective Node Generation

    Felner, A., Goldenberg, M., Sharon, G., Stern, R., Beja, T., Sturtevant, N., Schaeffer, J. & Holte, R. C., 7 Nov 2012, Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 471-477 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    28 Scopus citations

  • Predicting optimal solution cost with bidirectional stratified sampling

    Lelis, L., Stern, R., Felner, A., Zilles, S. & Holte, R. C., 25 Sep 2012, ICAPS 2012 - Proceedings of the 22nd International Conference on Automated Planning and Scheduling. p. 155-163 9 p. (ICAPS 2012 - Proceedings of the 22nd International Conference on Automated Planning and Scheduling).

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

    8 Scopus citations

  • Predicting optimal solution cost with bidirectional stratified sampling (abstract)

    Lelis, L. H. S., Stern, R., Felner, A., Zilles, S. & Holte, R. C., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 186-187 2 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

  • Search-aware conditions for probably approximately correct heuristic search

    Stern, R., Felner, A. & Holte, R., 1 Dec 2012, Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012. p. 112-119 8 p. (Proceedings of the 5th Annual Symposium on Combinatorial Search, SoCS 2012).

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

    1 Scopus citations
  • 2011

    A pattern based approach for secure database design

    Abramov, J., Sturm, A. & Shoval, P., 1 Jan 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Proceedings. Springer Verlag, p. 637-651 15 p. (Lecture Notes in Business Information Processing; vol. 83 LNBIP).

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

    Open Access
    5 Scopus citations

  • Potential search: A bounded-cost search algorithm

    Stern, R., Puzis, R. & Felner, A., 27 Oct 2011, ICAPS 2011 - Proceedings of the 21st International Conference on Automated Planning and Scheduling. p. 234-241 8 p. (ICAPS 2011 - Proceedings of the 21st International Conference on Automated Planning and Scheduling).

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

    41 Scopus citations

  • Predicting solution cost with conditional probabilities

    Lelis, L., Stern, R. & Arfaee, S. J., 1 Dec 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. p. 100-107 8 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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

    11 Scopus citations

  • Preface DsE@CAiSE 2011

    Reinhartz-Berger, I., Sturm, A., Wand, Y., Bettin, J., Clark, T. & Cohen, S., 1 Jan 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Proceedings. Springer Verlag, p. 164-165 2 p. (Lecture Notes in Business Information Processing; vol. 83 LNBIP).

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

    Open Access

  • Probably approximately correct heuristic search

    Stern, R., Felner, A. & Holte, R., 1 Dec 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. p. 158-163 6 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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

    4 Scopus citations

  • Pruning techniques for the increasing cost tree search for optimal multi-agent path finding

    Sharon, G., Stern, R., Goldenberg, M. & Felner, A., 1 Dec 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. p. 150-157 8 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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

    12 Scopus citations

  • The increasing cost tree search for optimal multi-agent pathfinding

    Sharon, G., Stern, R., Goldenberg, M. & Felner, A., 1 Dec 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 662-667 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    49 Scopus citations
  • 2010

    Ants meeting algorithms

    Shiloni, A., Levy, A., Feiner, A. & Kalech, M., 1 Jan 2010, 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 567-574 8 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

    3 Scopus citations

  • Cost benefit deployment of DNIPS

    Rozenshine-Kemelmakher, E., Puzis, R., Felner, A. & Elovici, Y., 13 Aug 2010, 2010 IEEE International Conference on Communications, ICC 2010. 5502182. (IEEE International Conference on Communications).

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

  • Portal-based true-distance heuristics for path finding

    Goldenberg, M., Felner, A., Sturtevant, N. & Schaeffer, J., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 39-45 7 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    25 Scopus citations

  • Potential search: A new greedy anytime heuristic search

    Stern, R., Puzis, R. & Felner, A., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 119-120 2 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    4 Scopus citations

  • Searching for a k-clique in unknown graphs

    Stern, R., Kalech, M. & Felner, A., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 83-89 7 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    5 Scopus citations

  • Search space reduction using swamp hierarchies

    Pochter, N., Zohar, A., Rosenschein, J. S. & Felner, A., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 155-156 2 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    10 Scopus citations

  • Search space reduction using swamp hierarchies

    Pochter, N., Zohar, A., Rosenschein, J. S. & Felner, A., 1 Jan 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. AI Access Foundation, p. 155-160 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    14 Scopus citations

  • Search Space Reduction Using Swamp Hierarchies

    Pochter, N., Zohar, A., Rosenschein, J. S. & Felner, A., 15 Jul 2010, Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010. AAAI press, p. 155-160 6 p. (Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010).

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

    7 Scopus citations

  • Single-frontier bidirectional search

    Feiner, A., Moldenhauer, C., Sturtevant, N. & Schaeffer, J., 1 Jan 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. AI Access Foundation, p. 59-64 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    8 Scopus citations

  • Single-frontier bidirectional search

    Moldenhauer, C., Felner, A., Sturtevant, N. & Schaeffer, J., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 151-152 2 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

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

    4 Scopus citations

  • Single-Frontier Bidirectional Search

    Felner, A., Moldenhauer, C., Sturtevant, N. & Schaeffer, J., 15 Jul 2010, Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010. AAAI press, p. 59-64 6 p. (Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010).

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

    7 Scopus citations

  • Supporting layered architecture specifications: A Domain Modeling Approach

    Abramov, J. & Sturm, A., 1 Jan 2010, Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings. Springer Verlag, p. 195-207 13 p. (Lecture Notes in Business Information Processing; vol. 50 LNBIP).

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

    1 Scopus citations

  • Third Workshop on Domain Engineering (DE@ER 2010)

    Reinhartz-Berger, I., Sturm, A., Bettin, J., Clark, T. & Cohen, S., 15 Dec 2010, Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Proceedings. p. 210 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6413 LNCS).

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

    Open Access

  • Using lookaheads with optimal best-first search

    Stern, R., Kulberis, T., Felner, A. & Holte, R., 1 Jan 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. AI Access Foundation, p. 185-190 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    17 Scopus citations

  • Using Lookaheads with Optimal Best-First Search

    Stern, R., Kulberis, T., Felner, A. & Holte, R., 15 Jul 2010, Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010. AAAI press, p. 185-190 6 p. (Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010).

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

    3 Scopus citations
  • 2009

    A* search with inconsistent heuristics

    Zhang, Z., Sturtevant, N. R., Holte, R., Schaeffer, J. & Felner, A., 1 Jan 2009, IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 634-639 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    20 Scopus citations

  • Abstraction-based heuristics with true distance computations

    Felner, A., Sturtevant, N. & Schaeffer, J., 1 Dec 2009, SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation. p. 74-81 8 p. (SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation).

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

    22 Scopus citations

  • Canadian traveler problem with remote sensing

    Bnaya, Z., Felner, A. & Shimony, S. E., 1 Jan 2009, IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 437-442 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    25 Scopus citations

  • IDB-ADOPT: A depth-first search DCOP algorithm

    Yeoh, W., Felner, A. & Koenig, S., 14 Sep 2009, Recent Advances in Constraints - 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Revised Selected Papers. p. 132-146 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5655 LNAI).

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

    8 Scopus citations

  • Memory-based heuristics for explicit state spaces

    Sturtevant, N. R., Felner, A., Barrer, M., Schaeffer, J. & Burch, N., 1 Jan 2009, IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 609-614 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    78 Scopus citations

  • Mixing search strategies for multi-player games

    Zuckerman, I., Felner, A. & Kraus, S., 1 Jan 2009, IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 646-651 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    11 Scopus citations

  • Validating and implementing security patterns for database applications

    Sturm, A., Abramov, J. & Shoval, P., 2009, Proceedings of the Third International Workshop on Software Patterns and Quality (SPAQu’09). Washizaki, H., Yoshioka, N., Fernandez, E. B. & J¨urjens, J. (eds.). p. 40 1 p. (GRACE TECHNICAL REPORTS).

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

  • 2008

    BnB-ADOPT: An asynchronous branch-and-bound DCOP algorithm

    Yeoh, W., Feiner, A. & Koenig, S., 1 Jan 2008, 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 582-589 8 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

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

    58 Scopus citations

  • Compressing pattern databases with learning

    Samadi, M., Siabani, M., Felner, A. & Holte, R., 1 Jun 2008, Frontiers in Artificial Intelligence and Applications. IOS Press, p. 495-499 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 178).

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

    11 Scopus citations

  • Engineering mobile agents

    Sturm, A., Dori, D. & Shehory, O., 1 Dec 2008, ICEIS 2008 - 10th International Conference on Enterprise Information Systems, Proceedings. p. 79-84 6 p. (ICEIS 2008 - 10th International Conference on Enterprise Information Systems, Proceedings; vol. SAIC).

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

    1 Scopus citations

  • Learning from Multiple Heuristics

    Samadi, M., Felner, A. & Schaeffer, J., 24 Dec 2008, AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference. p. 357-362 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    37 Scopus citations

  • Predicting the performance of IDA* with conditional distributions

    Zahavi, U., Felner, A., Burch, N. & Holte, R. C., 24 Dec 2008, AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference. p. 381-386 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    7 Scopus citations