Symposium on Theoretical Aspects of Computer Science

Results: 42



#Item
1

Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org LOWER BOUNDS FOR ADAPTIVE LINEARITY TESTS SHACHAR LOVETT Faculty of Mathematics and Computer Science

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2008-02-05 07:56:01
    2

    Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org ON THE COMPLEXITY OF ELEMENTARY MODAL LOGICS EDITH HEMASPAANDRA AND HENNING SCHNOOR Department of Computer Science, Roc

    Add to Reading List

    Source URL: drops.dagstuhl.de

    Language: English - Date: 2008-02-05 06:40:10
      3

      34th International Symposium on Theoretical Aspects of Computer Science Program and Information Conference Information

      Add to Reading List

      Source URL: stacs2017.thi.uni-hannover.de

      Language: English - Date: 2018-05-04 04:12:23
        4

        30th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ??

        Add to Reading List

        Source URL: users.uoa.gr

        - Date: 2014-06-11 17:30:28
          5

          Submitted to the Symposium on Theoretical Aspects of Computer Science www.stacs-conf.org ON SUM COLORING AND SUM MULTI-COLORING FOR RESTRICTED FAMILIES OF GRAPHS ALLAN BORODIN 1 AND IOANA IVAN 1 AND YULI YE 1 AND BRYCE Z

          Add to Reading List

          Source URL: www.cs.toronto.edu

          Language: English - Date: 2010-10-20 21:24:32
            6Computer science / International Colloquium on Automata /  Languages and Programming / Symposium on Theoretical Aspects of Computer Science / Tree automaton / Finite-state machine / Formal language / Hierarchy / Automata theory / Theoretical computer science / Applied mathematics

            CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics

            Add to Reading List

            Source URL: www.mimuw.edu.pl

            Language: English - Date: 2013-05-22 15:22:06
            7Computer science / International Colloquium on Automata /  Languages and Programming / Symposium on Theoretical Aspects of Computer Science / Tree automaton / Finite-state machine / Formal language / Hierarchy / Automata theory / Theoretical computer science / Applied mathematics

            CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics

            Add to Reading List

            Source URL: www.mimuw.edu.pl

            Language: English - Date: 2013-05-22 15:22:06
            8Vickrey–Clarke–Groves auction / Auctioneering / Game theory / Mechanism design

            Symposium on Theoretical Aspects of Computer Science year (city), pp. numbers www.stacs-conf.org SPONSORED SEARCH, MARKET EQUILIBRIA, AND THE HUNGARIAN METHOD 1

            Add to Reading List

            Source URL: paulduetting.com

            Language: English - Date: 2013-02-20 09:01:53
            9Computer science / Academic publishing / University of Freiburg / Susanne Albers / Proceedings / IEEE Symposium on Logic in Computer Science / Electronic submission / CONFER / Theoretical computer science / Symposium on Theoretical Aspects of Computer Science / Academia

            Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair)

            Add to Reading List

            Source URL: stacs2009.informatik.uni-freiburg.de

            Language: English - Date: 2008-05-21 04:30:44
            10Computational complexity theory / Automata theory / Symposium on Theoretical Aspects of Computer Science / Cryptographic protocols / Model checking / Network topology

            Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            Language: English - Date: 2014-10-08 10:04:52
            UPDATE