@inproceedings{DBLP:conf/iticse/EnstromK10,
author = {Emma Enstr{\"o}m and
Viggo Kann},
title = {Computer lab work on theory},
booktitle = {ITiCSE},
year = {2010},
pages = {93-97},
ee = {http://doi.acm.org/10.1145/1822090.1822118},
bibsource = {DBLP, http://dblp.uni-trier.de},
project = {Computer Science Education},
pdf = {ComputerLabWorkOnTheory.pdf}
}
@inproceedings{DBLP:conf/p2p/KreitzN10,
author = {Gunnar Kreitz and
Fredrik Niemel{\"a}},
title = {Spotify -- Large Scale, Low Latency, P2P Music-on-Demand
Streaming},
booktitle = {Peer-to-Peer Computing},
year = {2010},
pages = {1-10},
ee = {http://dx.doi.org/10.1109/P2P.2010.5569963},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.csc.kth.se/~gkreitz/spotify-p2p10/spotify-p2p10.pdf}
}
@inproceedings{NordSec10,
author = { Gunnar Kreitz and Mads Dam and Douglas Wikstr{\"o}m},
title = { Practical Private Information Aggregation in Large Networks},
booktitle = { NordSec },
year = { 2010 },
project = {Cryptography and Autonomous networks},
url = {http://www.csc.kth.se/~gkreitz/mpc_incomplete/mpc_incomplete.pdf}
}
@inproceedings{NU10,
author = { Emma Enstr{\"o}m and Gunnar Kreitz and Fredrik Niemel{\"a} and Viggo Kann },
title = { Testdriven utbildning -- strukturerad formativ examination },
booktitle = { NU },
year = { 2010 },
url = {http://www.csc.kth.se/~gkreitz/testdriven_utbildning/TestdrivenUtbildningKattis.pdf}
}
@article{BalliuM10,
author = {Musard Balliu and Isabella Mastroeni},
title = {A Weakest Precondition Approach to Robustness},
journal = {Transactions on Computational Science},
volume = {10},
year = {2010},
pages = {261-297},
project = { Program verification and software security},
pdf = {tcs.pdf}
}
@inproceedings{MN10,
author = {Karl Meinke and Fei Niu},
title = {A Learning-Based Approach to Unit Testing of Numerical Software},
booktitle = {Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems},
series = {ICTSS'10},
year = {2010},
pages = {221-235},
url = {http://www.nada.kth.se/~niu/ICTSS2010.pdf}
}
@article{ALLMath,
author = {Monaldo Mastrolilli and Maurice Queyranne and Andreas S. Schulz and Ola Svensson and Nelson A. Uhan},
title = {Minimizing the sum of weighted completion times in a
concurrent open shop},
journal = {Operations Research Letters},
year = {2010},
optvolume = {38},
optnumber = {5},
optpages = {390-395},
url = {http://www.optimization-online.org/DB_HTML/2008/11/2143.html}
}
@inproceedings{PMax10,
author = {Ola Svensson},
title = {Conditional hardness of precedence constrained scheduling
on identical machines},
booktitle = {Proceedings of the 42nd ACM Symposium on Theory of Computing (STOC)},
year = {2010},
pages = {745-754},
url = {http://www.nada.kth.se/~osven/papers/PPrecCmax.pdf}
}
@inproceedings{PalmskogMobileSummit10,
author = {Karl Palmskog and Alberto {Gonzalez Prieto} and Catalin Meirosu and Rolf Stadler and Mads Dam},
title = {Scalable Metadata-Directed Search in a Network of Information},
booktitle = {Proceedings of Future Network \& Mobile Summit},
year = 2010,
month = jun,
project = {Autonomous Networks},
pdf = {scalable-metadata-directed-search-network-information.pdf}
}
@article{10.1109/ICDCS.2010.67,
author = {Krzysztof Rzadca and Anwitaman Datta and Sonja Buchegger},
title = {Replica Placement in P2P Storage: Complexity and Game Theoretic Analyses},
journal = {Distributed Computing Systems, International Conference on},
volume = {0},
issn = {1063-6927},
year = {2010},
pages = {599-609},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2010.67},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
pdf = {icdcs10replicaplacement.pdf}
}
@inbook{datta10decentralized,
author = {Anwitaman Datta and Sonja Buchegger and Le-Hung Vu and Krzysztof Rzadca and
Thorsten Strufe},
title = {Handbook of Social Network Technologies and Applications},
year = {2010},
publisher = {Springer},
chapter = {Decentralized Online Social Networks},
editor = {Borko Furht},
pdf = {DOSN_surveySpringer.pdf}
}
@inproceedings{paul10decentralizing,
author = {Thomas Paul and Sonja Buchegger and Thorsten Strufe},
title = {Decentralizing Social Networking Services},
year = {2010},
booktitle = {International Tyrrhenian Workshop on Digital Communications},
note = {Invited Paper},
pages = {1--10},
pdf = {dosnITWDC.pdf}
}
@article{kann10,
author = {V. Kann},
title = {KTHs morfologiska och lexikografiska verktyg och resurser},
journal = {LexicoNordica},
volume = {17},
pages = {99-117},
url = {http://www.nada.kth.se/~viggo/papers/lexiconordica10.pdf},
year = {2010},
project = {Human language technology}
}
@inproceedings{kann10a,
author = {V. Kann},
title = {Kan kvalitet p\aa\ ett elitcollege f\"oras \"over till svenska f\"orh\aa llanden?},
booktitle = {Proc. NU2010},
address = {Stockholms Universitet, Stockholm},
url = {http://www.nu2010.se/konferensbidrag/Pass5_Kan_kvalitet_pa_ett_elitcollege_foras_over_till_svenska_forhallanden.pdf},
year = {2010},
project = {Computer science education}
}
@inproceedings{roskan10,
author = {M. Rosell and V. Kann},
title = {Global Evaluation of Random Indexing through Swedish Word Clustering Compared to the People's Dictionary of Synonyms},
booktitle = {Proc. SLTC 2010},
address = {Link\"opings universitet},
year = {2010},
url = {http://www.nada.kth.se/~viggo/papers/polaritySLTC10.pdf},
project = {Human language technology}
}
@inproceedings{DBLP:conf/podc/KrishnamurthyAADSW10,
author = {Supriya Krishnamurthy and
John Ardelius and
Erik Aurell and
Mads Dam and
Rolf Stadler and
Fetahi Zebenigus Wuhib},
title = {Brief announcement: the accuracy of tree-based counting
in dynamic networks},
booktitle = {PODC},
year = {2010},
pages = {291-292},
ee = {http://doi.acm.org/10.1145/1835698.1835770},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1004-4559,
author = {Supriya Krishnamurthy and
John Ardelius and
Erik Aurell and
Mads Dam and
Rolf Stadler and
Fetahi Wuhib},
title = {The Accuracy of Tree-based Counting in Dynamic Networks},
journal = {CoRR},
volume = {abs/1004.4559},
year = {2010},
ee = {http://arxiv.org/abs/1004.4559},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/corr/abs-1012-2995,
author = {Mads Dam and
Andreas Lundblad},
title = {A Proof Carrying Code Framework for Inlined Reference Monitors
in Java Bytecode},
journal = {CoRR},
volume = {abs/1012.2995},
year = {2010},
ee = {http://arxiv.org/abs/1012.2995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DamJacLunPie10,
author = {Mads Dam and Bart Jacobs and Andreas Lundblad and Frank Piessens},
title = {Provably correct inline monitoring for multithreaded Java-like programs},
journal = {Journal of Computer Security},
volume = {18},
number = {1},
year = {2010},
pages = {37-59},
pdf = {http://www.csc.kth.se/~landreas/papers/JCS-final.pdf}
}
@inproceedings{Guruswami:2010:LRL:1806689.1806747,
author = {Guruswami, Venkatesan and H{\aa}stad, Johan and Kopparty, Swastik},
title = {On the list-decodability of random linear codes},
booktitle = {Proceedings of the 42nd ACM symposium on Theory of computing},
series = {STOC '10},
year = {2010},
isbn = {978-1-4503-0050-6},
location = {Cambridge, Massachusetts, USA},
pages = {409--416},
numpages = {8},
acmid = {1806747},
publisher = {ACM},
address = {New York, NY, USA},
url = {http://www.csc.kth.se/~johanh/vgjhsklinear.pdf}
}
@inproceedings{Cheraghchi:2010:ALT:1886521.1886531,
author = {Cheraghchi, Mahdi and H{\aa}stad, Johan and Isaksson, Marcus and Svensson, Ola},
title = {Approximating linear threshold predicates},
booktitle = {Proceedings of the 13th international conference on Approximation, and 14 the International conference on Randomization, and combinatorial optimization: algorithms and techniques},
series = {APPROX/RANDOM'10},
year = {2010},
isbn = {3-642-15368-2, 978-3-642-15368-6},
location = {Barcelona, Spain},
pages = {110--123},
numpages = {14},
acmid = {1886531},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
url = {http://www.csc.kth.se/~johanh/mcjhmios.pdf}
}
@inproceedings{DBLP:conf/tcc/HastadPWP10,
author = {Johan H{\aa}stad and
Rafael Pass and
Douglas Wikstr{\"o}m and
Krzysztof Pietrzak},
title = {An Efficient Parallel Repetition Theorem},
booktitle = {TCC},
year = {2010},
pages = {1-18},
ee = {http://dx.doi.org/10.1007/978-3-642-11799-2_1},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.csc.kth.se/~johanh/jhrpdwkp.pdf}
}
@inproceedings{SiaGrMa10,
author = {S. Soleimanifard and D. Gurov and M. Huisman},
booktitle = {Workshop on Formal Techniques for Java Programs (FTfJP '10)},
title = {Procedure--Modular Verification of Control Flow Safety Properties},
year = 2010,
note = {Accessible via the web},
url = {http://www.nada.kth.se/~siavashs/ProMoVer/},
pdf = {http://www.nada.kth.se/~siavashs/ftfjp10.pdf}
}
@inproceedings{LNCS64150658,
editor = {Tiziana Margaria and Bernhard Steffen},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation},
publisher = {Springer},
location = {Heidelberg},
series = {Lecture Notes in Computer Science},
volume = {6415},
year = {2010},
isbn = {978-3-642-16557-3},
author = {Therese Bohlin and Bengt Jonsson and Siavash Soleimanifard},
title = {Inferring Compact Models of Communication Protocol Entities},
pages = {658--672},
url = {http://www.nada.kth.se/~siavashs/isola10.pdf}
}
@inproceedings{HuismanG10,
author = {M. Huisman and D. Gurov},
title = {{CVPP}: A Tool Set for Compositonal Verification of Control-Flow Safety Properties},
booktitle = {Formal Verification of Object--Oriented Software (FoVeOOS '10)},
publisher = {Springer},
series = {LNCS},
volume = {6528},
pages = {107--121},
year = {2010},
url = {http://www.csc.kth.se/~dilian/Papers/foveoos10.pdf}
}
@inproceedings{DBLP:conf/africacrypt/TereliusW10,
author = {Bj{\"o}rn Terelius and
Douglas Wikstr{\"o}m},
title = {Proofs of Restricted Shuffles},
booktitle = {AFRICACRYPT},
year = {2010},
pages = {100-113},
ee = {http://dx.doi.org/10.1007/978-3-642-12678-9_7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/scn/PrzydatekW10,
author = {Bartosz Przydatek and
Douglas Wikstr{\"o}m},
title = {Group Message Authentication},
booktitle = {SCN},
year = {2010},
pages = {399-417},
ee = {http://dx.doi.org/10.1007/978-3-642-15317-4_25},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/icgi/Meinke10,
author = {Karl Meinke},
title = {CGE: A Sequential Learning Algorithm for Mealy Automata},
booktitle = {ICGI},
year = {2010},
pages = {148-162},
ee = {http://dx.doi.org/10.1007/978-3-642-15488-1_13},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://www.springerlink.com/content/g4g0m56j8857t578/}
}
@inproceedings{DBLP:conf/aims/JonssonD10,
author = {Kristj{\'a}n Valur J{\'o}nsson and
Mads F. Dam},
title = {Towards Flexible and Secure Distributed Aggregation},
booktitle = {AIMS},
year = {2010},
pages = {159-162},
ee = {http://dx.doi.org/10.1007/978-3-642-13986-4_22},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This file was generated by bibtex2html 1.96.