Søren Riis Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaoyang Wu, Peter J. Cameron, Søren Riis: On the guessing number of shift graphs. J. Discrete Algorithms 7(2): 220-226 (2009)
2008
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity. LICS 2008: 272-283
2007
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: Graph Entropy, Network Coding and Guessing games CoRR abs/0711.4175: (2007)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: Information Flows, Graphs and their Guessing Numbers. Electr. J. Comb. 14(1): (2007)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: Reversible and Irreversible Information Networks. IEEE Transactions on Information Theory 53(11): 4339-4349 (2007)
2006
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis, Rudolf Ahlswede: Problems in Network Coding and Error Correcting Codes Appended by a Draft Version of S. Riis "Utilising Public Information in Network Coding". GTIT-C 2006: 861-897
2003
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan S. Dantchev, Søren Riis: On Relativisation and Complexity Gap. CSL 2003: 142-154
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuha Häkkinen, Janne Suontausta, Søren Riis, Kåre Jean Jensen: Assessing text-to-phoneme mapping strategies in speaker independent isolated word recognition. Speech Communication 41(2-3): 455-467 (2003)
2001
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan S. Dantchev, Søren Riis: "Planar" Tautologies Hard for Resolution. FOCS 2001: 220-229
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan S. Dantchev, Søren Riis: Tree Resolution Proofs of the Weak Pigeon-Hole Principle. IEEE Conference on Computational Complexity 2001: 69-75
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: A complexity gap for tree resolution. Computational Complexity 10(3): 179-209 (2001)
2000
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel: Preface. Ann. Pure Appl. Logic 104(1-3): 1-2 (2000)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlemens Hägele, Colm Ó'Dúnlaing, Søren Riis: The complexity of scheduling TV commercials. Electr. Notes Theor. Comput. Sci. 40: (2000)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis, Meera Sitharam: Generating hard tautologies using predicate logic and the symmetric group. Logic Journal of the IGPL 8(6): (2000)
1997
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: Count(q) Does Not Imply Count(p). Ann. Pure Appl. Logic 90(1-3): 1-56 (1997)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: Count( qq) versus the pigeon-hole principle. Arch. Math. Log. 36(3): 157-188 (1997)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis: Bootstrapping the primitive recursive functions by only 27 colors. Discrete Mathematics 169(1-3): 269-272 (1997)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSøren Riis, Meera Sitharam: Non-constant Degree Lower Bounds imply linear Degree Lower Bounds Electronic Colloquium on Computational Complexity (ECCC) 4(48): (1997)
1996
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArne Andersson, Peter Bro Miltersen, Søren Riis, Mikkel Thorup: Static Dictionaries on AC0 RAMs: Query Time Theta(sqrt(log n/log log n)) is Necessary and Sufficient. FOCS 1996: 441-450

Coauthor Index

1Rudolf Ahlswede [14]
2Arne Andersson [1]
3Carsten Butz [8]
4Peter J. Cameron [19]
5Stefan S. Dantchev [10] [11] [13]
6Klemens Hägele [7]
7Juha Häkkinen [12]
8Kåre Jean Jensen [12]
9Ulrich Kohlenbach [8]
10Peter Bro Miltersen [1]
11Colm Ó'Dúnlaing [7]
12Meera Sitharam [2] [6]
13Janne Suontausta [12]
14Mikkel Thorup [1]
15Glynn Winskel [8]
16Taoyang Wu [19]

Colors in the list of coauthors

Copyright © Tue Dec 1 12:01:14 2009 by Michael Ley (ley@uni-trier.de)