Items where Research Area is "Theory and Applications of Algorithms" and Year is 2015

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Category | No Grouping
Jump to: Journal Paper | Paper in Conference Proceedings or in Workshop Proceedings | Book Section/Chapter | Technical Report
Number of items: 26.

Journal Paper

  • Efficient scheduling of sporadic tasks for real-time wireless sensor networks
    Azeem, Mukhtar and Khan, Majid Iqbal and Khan, Samee Ullah and Gansterer, Wilfried ISSN 2043-6386 (2015)

  • Methods for Solving Reasoning Problems in Abstract Argumentation - A Survey
    Charwat, Günther and Dvořák, Wolfgang and Gaggl, Sarah Alice and Wallner, Johannes Peter and Woltran, Stefan pp. 28-63 ISSN 0004-3702 Elsevier (2015)

  • On Multiple Keyword Sponsored Search Auctions with Budgets
    Colini-Baldeschi, Riccardo and Leonardi, Stefano and Henzinger, Monika and Starnberger, Martin ACM Trans. Economics and Comput., 4 (1). p. 2 ISSN 2167-8375 (2015)

  • Characteristics of multiple viewpoints in abstract argumentation
    Dunne, Paul E. and Dvořák, Wolfgang and Linsbichler, Thomas and Woltran, Stefan Artificial Intelligence , 228. pp. 153-178 ISSN 0004-3702 Elsevier (2015)

  • Maximizing a Submodular Function with Viability Constraints
    Dvořák, Wolfgang and Henzinger, Monika and Williamson, David P. ISSN 0178-4617 Springer US (2015)

  • Auctions for Heterogeneous Items and Budget Limits
    Dütting, Paul and Henzinger, Monika and Starnberger, Martin ACM Trans. Economics and Comput., 4 (1). p. 4 ISSN 2167-8375 (2015)

  • An Expressive Mechanism for Auctions on the Web
    Dütting, Paul and Henzinger, Monika and Weber, Ingmar ACM Trans. Economics and Comput., 4 (1). p. 1 ISSN 2167-8375 (2015)

  • Truthful unit-demand auctions with budgets revisited
    Henzinger, Monika and Loitzenbauer, Veronika pp. 1-15 ISSN 0304-3975 Elsevier (2015)

  • Data-driven human mobility modeling: A survey and engineering guidance for mobile networking
    Hess, Andrea and Hummel, Karin Anna and Gansterer, Wilfried and Haring, Günter pp. 1-39 ISSN 0360-0300 (2015)

  • A Cooperative Framework for Fireworks Algorithm
    Zheng, Shaoqiu and Li, Junzhi and Janecek, Andreas and Tan, Ying ISSN 1545-5963 IEEE COMPUTER SOC (2015)

  • Split diversity in constrained conservation prioritization using integer linear programming
    von Haeseler, Arndt and Bui, Minh Q. and Chernomor, Olga and Henzinger, Monika pp. 83-91 ISSN 2041-210X WILEY-BLACKWELL (2015)

    • Paper in Conference Proceedings or in Workshop Proceedings

  • Ad Exchange: Envy-free Auctions with Mediators
    Ben-Zwi, Oren and Henzinger, Monika and Loitzenbauer, Veronika In: 11th Conference on Web and Internet Economics (WINE 2015) , December 9-12, 2015 , Amsterdam, The Netherlands (2015)

  • Welfare Maximization with Friends-of-Friends Network Externalities
    Bhattacharya, Sayan and Dvořák, Wolfgang and Henzinger, Monika and Starnberger, Martin In: 32nd Symposium on Theoretical Aspects of Computer Science (STACS 2015) , March, 4 - 7 2015 , Munich, Germany (2015)

  • Design of Dynamic Algorithms via Primal-Dual Method
    Bhattacharya, Sayan and Henzinger, Monika and Italiano, Giuseppe F. In: 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) , July 6–10, 2015 , Kyoto, Japan (2015)

  • Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching
    Bhattacharya, Sayan and Henzinger, Monika and Italiano, Giuseppe F. In: ACM/SIAM Symposium on Discrete Algorithms (SODA 2015) , January 4-6, 2015 , San Diego, California, USA (2015)

  • Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams
    Bhattacharya, Sayan and Henzinger, Monika and Nanongkai, Danupon and Tsourakakis, Charalampos E. In: 47th ACM Symposium on Theory of Computing (STOC 2015) , June 14 - June 17 , Portland, OR, USA (2015)

  • Improved Algorithms for One-Pair and k-Pair Streett Objectives
    Chatterjee, Krishnendu and Henzinger, Monika and Loitzenbauer, Veronika In: Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) , July 6–10, 2015 , Kyoto, Japan (2015)

  • Combinatorial Auctions with Conflict-Based Externalities
    Cheung, Yun Kuen and Henzinger, Monika and Hoefer, Martin and Starnberger, Martin In: 11th Conference on Web and Internet Economics (WINE 2015) , December 9-12, 2015 , Amsterdam, The Netherlands (2015)

  • Online Ad Assignment with an Ad Exchange
    Dvořák, Wolfgang and Henzinger, Monika In: Workshop on Approximation and Online Algorithms , September 11–12 , Wroclaw, Poland (2015)

  • Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 , July 25-31, 2015 , Buenos Aires, Argentina (2015)

  • Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time
    Henzinger, Monika and Krinninger, Sebastian and Loitzenbauer, Veronika In: 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) , July 6–10, 2015 , Kyoto, Japan (2015)

  • Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture
    Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon and Saranurak, Thatchaphol In: 47th ACM Symposium on Theory of Computing (STOC 2015) , June 14 - June 17 , Portland, OR, USA (2015)

  • Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs
    Henzinger, Monika and Nanongkai, Danupon and Krinninger, Sebastian In: 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) , July 6–10, 2015 , Kyoto, Japan (2015)

  • A Hierarchical Sparsification Technique for Faster Algorithms in Graphs and Game Graphs
    Loitzenbauer, Veronika In: Frontiers of Formal Methods 2015 , February 25 - 27, 2015 , Aachen, Germany (2015)

    • Book Section/Chapter

  • Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks
    Dvořák, Wolfgang and Gaggl, Sarah Alice and Linsbichler, Thomas and Wallner, Johannes Peter In: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Lecture Notes in Computer Science, 9060 Springer International Publishing, pp. 249-264 (2015)

    • Technical Report

  • CEGARTIX v0.4: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool
    Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan Other. UNSPECIFIED (2015)

    • This list was generated on Tue Nov 5 07:01:06 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.