Items where Subject is " Theoretische Informatik"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
  • Subjects (837)
    • Theoretische Informatik (73)
Group by: Creators | Category
Jump to: B | C | D | F | G | H | K | N | R | S | Z
Number of items at this level: 73.

B

  • Baumann, Ringo and Dvořák, Wolfgang and Linsbichler, Thomas and Spanring, Christof and Strass, Hannes and Woltran, Stefan Artificial Intelligence , 241. 244 - 284 ISSN 0004-3702 (2016)
  • Baumann, Ringo and Dvořák, Wolfgang and Linsbichler, Thomas and Strass, Hannes and Woltran, Stefan In: 21st European Conference on Artificial Intelligence, 18-22 Aug., Prague, Czech Republic (2014)
  • Baumann, Ringo and Dvořák, Wolfgang and Linsbichler, Thomas and Strass, Hannes and Woltran, Stefan In: 15th International Workshop on Non-Monotonic Reasoning, 17–19 July 2014, Vienna (2014)
  • 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)
  • Bhattacharya, Sayan and Dvořák, Wolfgang and Henzinger, Monika and Starnberger, Martin Theory of Computing Systems. pp. 1-39 ISSN 1432-4350 (2017)
  • 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)
  • Bringmann, Karl and Hansen, Thomas Dueholm and Krinninger, Sebastian In: 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), July 10–14 2017, Warsaw (2017)
  • Böhmer, Kristof and Rinderle-Ma, Stefanie Technical Report. arXiv.org (2015)
  • C

  • Caminada, Martin and Dvořák, Wolfgang and Vesic, Srdjan ISSN 0955-792X (2014)
  • Caminada, Martin and Sá, Samy and Alcântara , João and Dvořák, Wolfgang In: 25th Belgium-Netherlands Artificial Intelligence Conference (BNAIC 2013), 7-8 Nov 2013, Delft, Netherlands (2013)
  • Caminada, Martin and Sá, Samy and Alcântara , João and Dvořák, Wolfgang International Journal of Approximate Reasoning , 58. pp. 87-111 ISSN 0888-613X (2014)
  • Chalermsook, Parinya and Laekhanukit, Bundit and Nanongkai, Danupon In: 55th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2014), October 18-21, 2014, Philadelphia, USA (2014)
  • Charwat, Günther and Dvořák, Wolfgang and Gaggl, Sarah Alice and Wallner, Johannes Peter and Woltran, Stefan pp. 28-63 ISSN 0004-3702 (2015)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), August 22-26, 2016, Krakow (Poland) (2016)
  • Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika In: Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), July 5-8, 2016, New York City, USA (2016)
  • Chatterjee, Krishnendu and Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon pp. 457-492 ISSN 0178-4617 (2014)
  • 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)
  • Chechik, Shiri and Hansen, Thomas Dueholm and Italiano, Giuseppe F. and Loitzenbauer, Veronika and Parotsidis, Nikos In: ACM-SIAM Symposium on Discrete Algorithms (SODA 2017), 16-19 Jan 2017, Barcelona, Spain (2017)
  • Cheung, Yun Kuen In: International Joint Conference on Artificial Intelligence, 9--15 July, 2016, New York, USA (2016)
  • Cheung, Yun Kuen and Goranci, Gramoz and Henzinger, Monika In: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 12-15 July 2016, Rome, Italy (2016)
  • Cigler, Luděk and Dvořák, Wolfgang and Henzinger, Monika and Starnberger, Martin In: WINE 2014: The 10th Conference on Web and Internet Economics, Dec. 14-17, Bejing, China (2014)
  • Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 7th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2016), 3-5 Oct 2016, Vienna, Austria (2016)
  • Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: The 32nd ACM Symposium on Applied Computing (SAC 2017), 3-6 Apr 2017, Marrakesh, Morocco (2017)
  • D

  • Das Sarma, Atish and Holzer, Stephan and Kor, Liah and Korman, Amos and Nanongkai, Danupon and Pandurangan, Gopal and Peleg, David and Wattenhofer, Roger In: STOC '11 Proceedings of the 43rd annual ACM symposium on Theory of computing, 2011, June 4-11, San Jose, CA, USA (2011)
  • Dunne, Paul E. and Dvořák, Wolfgang and Linsbichler, Thomas and Woltran, Stefan In: 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013) (2013)
  • Dunne, Paul E. and Dvořák, Wolfgang and Linsbichler, Thomas and Woltran, Stefan In: 14th International Conference on Principles of Knowledge Representation and Reasoning, 2014-07-20 - 2014-07-24, Vienna (2014)
  • Dunne, Paul E. and Dvořák, Wolfgang and Linsbichler, Thomas and Woltran, Stefan Artificial Intelligence , 228. pp. 153-178 ISSN 0004-3702 (2015)
  • Dunne, Paul E. and Dvořák, Wolfgang and Woltran, Stefan Artificial Intelligence, 202. pp. 1-28 ISSN 0004-3702 (2013)
  • Dvořák, Wolfgang In: Ausgezeichnete Informatikdissertationen 2012. Lecture Notes in Informatics (LNI) (D-13) Bonner Köllen Verlag, pp. 61-70 ISBN 978-3-88579-417-2 (2013)
  • Dvořák, Wolfgang and Gaggl, Sarah Alice ISSN 0955-792X (2014)
  • 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)
  • Dvořák, Wolfgang and Gaggl, Sarah Alice and Wallner, Johannes Peter and Woltran, Stefan In: Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management. Lecture Notes in Computer Science (7773) Springer Berlin Heidelberg, pp. 114-133 ISBN 978-3-642-41523-4 (2013)
  • Dvořák, Wolfgang and Henzinger, Monika In: Workshop on Approximation and Online Algorithms, September 11–12, Wroclaw, Poland (2015)
  • Dvořák, Wolfgang and Henzinger, Monika and Williamson, David P. ISSN 0178-4617 (2015)
  • Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan Other. UNSPECIFIED (2015)
  • 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)
  • Dvořák, Wolfgang and Järvisalo, Matti and Wallner, Johannes Peter and Woltran, Stefan Artificial Intelligence, 206. pp. 53-78 ISSN 0004-3702 (In Press) (2014)
  • Dvořák, Wolfgang and Linsbichler, Thomas and Oikarinen, Emilia and Woltran, Stefan In: Fifth International Conference on Computational Models of Argument, September 9th - 12th , Scottish Highlands (2014)
  • Dvořák, Wolfgang and Morak, Michael and Nopp, Clemens and Woltran, Stefan In: Applications of Declarative Programming and Knowledge Management. Lecture Notes in Computer Science (7773) Springer Berlin Heidelberg, pp. 259-268 ISBN 978-3-642-41523-4 (2013)
  • Dvořák, Wolfgang and Spanring, Christof ISSN 0955-792X (2016)
  • F

  • Fakcharoenphol, Jittat and Laekhanukit, Bundit and Nanongkai, Danupon ACM Transactions on Algorithms, 10 (3). pp. 1-23 ISSN 1549-6325 (2014)
  • Fdhila, Walid and Rinderle-Ma, Stefanie In: The 29th ACM Symposium on Applied Computing (SAC) - Enterprise Engineering, March 24-28 , 2014, Gyeongju, Korea (2014)
  • Fdhila, Walid and Rinderle-Ma, Stefanie and Baouab, Aymen and Perrin, Olivier and Godart, Claude In: The 5th International Conference on Service-oriented computing and Applications (SOCA 2012), 17-19 Dec 2012, taipei, Taiwan (In Press) (2012)
  • G

  • Goranci, Gramoz and Henzinger, Monika and Thorup, Mikkel In: 24th Annual European Symposium on Algorithms (ESA 2016), 22-26 Aug 2016, Aarhus, Denmark (2016)
  • Goranci, Gramoz and Räcke, Harald In: 14th Workshop on Approximation and Online Algorithms (WAOA) 2016, August 25-26, 2016, Aarhus, Denmark (2016)
  • Grefen, Paul and Rinderle-Ma, Stefanie and Dustdar, Schahram and Fdhila, Walid and Mendling, Jan and Schulte, Stefan ISSN 1089-7801 (2017)
  • H

  • Henzinger, Monika In: Encyclopedia of Algorithms. Springer, pp. 1509-1511 (2016)
  • 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)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: 55th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2014), October 18-21, 2014, Philadelphia, USA (2014)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: STOC 2016: 48th Annual Symposium on the Theory of Computing, 19-21 Jun 2016, Cambridge, MA, USA (2016)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: FOCS 2013 54th Annual IEEE Symposium on Foundations of Computer Science, October 27-29, 2013, Berkeley, USA (In Press) (2013)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon pp. 947-1006 ISSN 0097-5397 (2016)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: Encyclopedia of Algorithms. Springer, pp. 600-602 (2016)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: 46th ACM Symposium on Theory of Computing (STOC 2014), June 1 – June 3, 2014, New York, NY, USA (2014)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: 40th International Colloquium on Automata, Languages and Programming (ICALP 2013), 8-12 July 2013, Riga, Latvia (In Press) (2013)
  • Henzinger, Monika and Krinninger, Sebastian and Nanongkai, Danupon In: SODA 2014, January 5-7, 2014, Portland, USA (In Press) (2014)
  • 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)
  • Henzinger, Monika and Lincoln, Andrea and Neumann, Stefan and Vassilevska Williams, Virginia In: 8th Innovations in Theoretical Computer Science (ITCS) 2017, 9-11 Jan 2017, Berkeley, California, United States of America (2017)
  • 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)
  • Henzinger, Monika and Neumann, Stefan In: 24th Annual European Symposium on Algorithms (ESA 2016), 22-26 Aug 2016, Aarhus, Denmark (2016)
  • Henzinger, Monika and Vidali, Angelina In: 19th Annual European Symposium on Algorithms (ESA 2011), September 5-9, 2011, Saarbruecken, Germany (In Press) (2011)
  • K

  • Kutten, Shay and Nanongkai, Danupon and Pandurangan, Gopal and Robinson, Peter In: 28th International Symposium on Distributed Computing 2014, 12-15 October 2014, Austin, Texas, USA (2014)
  • N

  • Nanongkai, Danupon and Das Sarma, Atish and Pandurangan, Gopal In: PODC '11 Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing, 2011, June 4-11, San Jose, CA, USA (2011)
  • Nanongkai, Danupon and Su, Hsin-Hao In: 28th International Symposium on Distributed Computing 2014, 12-15 October 2014, Austin, Texas, USA (2014)
  • Neumann, Stefan and Gemulla, Rainer and Miettinen, Pauli In: 16th IEEE International Conference on Data Mining 2016 (ICDM'16), 12-15 December 2016, Barcelona (2016)
  • Neumann, Stefan and Wiese, Andreas In: Eighth International Conference on Fun with Algorithms (FUN 2016), June 8 – 10, 2016, La Maddalena, Maddalena Islands, Italy (2016)
  • R

  • Reichl, Peter and Zwickl, Patrick and Löw, Christian and Maillé, Patrick In: 11th International Conference on Wired/Wireless Internet Communications (WWIC’13), June 5 - 7, 2013, St. Petersburg (2013)
  • S

  • Schindlerova, Katerina 3637 -3648 ISSN 1314-7552 (2011)
  • Schindlerova, Katerina and Palus, Milan and Vejmelka, Martin and Bhattacharya, Joydeep pp. 1-46 ISSN 0370-1573 (2007)
  • Schindlerova, Katerina and Toulias, Thomas and Kitsos, Christos pp. 1-20 ISSN 2231-0851 (2016)
  • Strakova, Hana and Gansterer, Wilfried and Zemen, T. In: 9th International Conference on Parallel Processing and Applied Mathematics (PPAM) 2011, 11-14 Sep 2011, Torun, Poland (2011)
  • Z

  • Zwickl, Patrick and Reichl, Peter In: 19th EUNICE Workshop on Advances in Communication Networking, August 2013, Chemnitz (2013)
  • This list was generated on Fri May 26 13:15:49 2017 CEST.