@article{journals/fuin/BordihnFHHKO11, added-at = {2012-02-10T00:00:00.000+0100}, author = {Bordihn, Henning and Freund, Rudolf and Hirvensalo, Mika and Holzer, Markus and Kutrib, Martin and Otto, Friedrich}, biburl = {http://www.bibsonomy.org/bibtex/297610f61952e6ea4fa5f8d3ad37d80c6/dblp}, ee = {http://dx.doi.org/10.3233/FI-2011-582}, interhash = {4682fc961873ae5e8c47d81134555e2a}, intrahash = {97610f61952e6ea4fa5f8d3ad37d80c6}, journal = {Fundam. Inform.}, keywords = {dblp}, number = {2-3}, title = {Preface.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin112.html#BordihnFHHKO11}, volume = 112, year = 2011 } @inproceedings{conf/soda/FrischknechtHW12, added-at = {2012-01-27T00:00:00.000+0100}, author = {Frischknecht, Silvio and Holzer, Stephan and Wattenhofer, Roger}, biburl = {http://www.bibsonomy.org/bibtex/231e91b26b3f6d58590a28ebb2034425c/dblp}, booktitle = {SODA}, crossref = {conf/soda/2011}, editor = {Randall, Dana}, ee = {http://portal.acm.org/citation.cfm?id=2095207&CFID=63838676&CFTOKEN=79617016}, interhash = {aa8f3a3209bcf42fd02b44da3209dcad}, intrahash = {31e91b26b3f6d58590a28ebb2034425c}, keywords = {dblp}, pages = {1150-1162}, publisher = {SIAM}, title = {Networks cannot compute their diameter in sublinear time.}, url = {http://dblp.uni-trier.de/db/conf/soda/soda2012.html#FrischknechtHW12}, year = 2012 } @inproceedings{conf/iccv/HinterstoisserHCIKNL11, added-at = {2012-01-19T00:00:00.000+0100}, author = {Hinterstoisser, Stefan and Holzer, Stefan and Cagniart, Cedric and Ilic, Slobodan and Konolige, Kurt and Navab, Nassir and Lepetit, Vincent}, biburl = {http://www.bibsonomy.org/bibtex/267c976474d26fe8942e805240348bc01/dblp}, booktitle = {ICCV}, crossref = {conf/iccv/2011}, editor = {Metaxas, Dimitris N. and Quan, Long and Sanfeliu, Alberto and Gool, Luc J. Van}, ee = {http://dx.doi.org/10.1109/ICCV.2011.6126326}, interhash = {df4f85dc9d27bd1b9127befabe6e8370}, intrahash = {67c976474d26fe8942e805240348bc01}, isbn = {978-1-4577-1101-5}, keywords = {dblp}, pages = {858-865}, publisher = {IEEE}, title = {Multimodal templates for real-time detection of texture-less objects in heavily cluttered scenes.}, url = {http://dblp.uni-trier.de/db/conf/iccv/iccv2011.html#HinterstoisserHCIKNL11}, year = 2011 } @article{tr/trier/MI95-01, added-at = {2011-12-29T00:00:00.000+0100}, author = {Damm, Carsten and Holzer, Markus and Rossmanith, Peter}, biburl = {http://www.bibsonomy.org/bibtex/25da7eb546ef7f2abe829da1b4ce8730b/dblp}, interhash = {d75f1083b5082c64618a697102b53520}, intrahash = {5da7eb546ef7f2abe829da1b4ce8730b}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, title = {Expressing Uniformity via Oracles}, volume = {95-01}, year = 1995 } @article{tr/trier/MI94-12, added-at = {2011-12-29T00:00:00.000+0100}, author = {Damm, Carsten and Holzer, Markus}, biburl = {http://www.bibsonomy.org/bibtex/2eb84884bd051e21b905ad37ddc8e19d0/dblp}, interhash = {93be78518c9172ea73c3564847b69b59}, intrahash = {eb84884bd051e21b905ad37ddc8e19d0}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {dblp}, title = {Inductive Counting below LOGSPACE}, volume = {94-12}, year = 1994 } @article{journals/ijfcs/HolzerK11, added-at = {2011-12-23T00:00:00.000+0100}, author = {Holzer, Markus and Kutrib, Martin}, biburl = {http://www.bibsonomy.org/bibtex/26aedaa92f76eedc35dd6766cec25d7e4/dblp}, ee = {http://dx.doi.org/10.1142/S0129054111008866}, interhash = {46485ad8a3183cb1a074eb87a5712d3d}, intrahash = {6aedaa92f76eedc35dd6766cec25d7e4}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 7, pages = {1533-1548}, title = {The Complexity of Regular(-like) Expressions.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs22.html#HolzerK11}, volume = 22, year = 2011 } @inproceedings{holzer2011seamless, added-at = {2011-12-16T09:35:52.000+0100}, author = {Holzer, Andreas and Januzaj, Visar and Kugele, Stefan and Langer, Boris and Schallhart, Christian and Tautschnig, Michael and Veith, Helmut}, biburl = {http://www.bibsonomy.org/bibtex/2db56a438b5d654f6177bc76f8f50ae1d/pbrada}, booktitle = {Fundamental Approaches to Software Engineering}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, groups = {public}, interhash = {a3aadc1e611111235bd4eb864d4862f2}, intrahash = {db56a438b5d654f6177bc76f8f50ae1d}, isbn = {978-3-642-19810-6}, keywords = {sweng testing specification}, location = {Heidelberg}, pages = {278--293}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Seamless Testing for Models and Code}, username = {pbrada}, volume = 6603, year = 2011 } @inproceedings{conf/birthday/BeekCHV11, added-at = {2011-12-09T00:00:00.000+0100}, author = {ter Beek, Maurice H. and Csuhaj-Varjú, Erzsébet and Holzer, Markus and Vaszil, György}, biburl = {http://www.bibsonomy.org/bibtex/21414123d697334d01e03b092bf726e34/dblp}, booktitle = {Computation, Cooperation, and Life}, crossref = {conf/birthday/2011paun}, editor = {Kelemen, Jozef and Kelemenová, Alica}, ee = {http://dx.doi.org/10.1007/978-3-642-20000-7_7}, interhash = {b465c28e13f11fe1bba241959ce6aabf}, intrahash = {1414123d697334d01e03b092bf726e34}, isbn = {978-3-642-19999-8}, keywords = {dblp}, pages = {70-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence.}, url = {http://dblp.uni-trier.de/db/conf/birthday/paun2011.html#BeekCHV11}, volume = 6610, year = 2011 } @inproceedings{donner2011evaluation, added-at = {2011-12-08T16:02:55.000+0100}, author = {Donner, René and Haas, Sebastian and Burner, Andreas and Holzer, Markus and Bischof, Horst and Langs, Georg}, biburl = {http://www.bibsonomy.org/bibtex/273cc7e7d262bb755a461807df6e2608d/hanbury}, booktitle = {Proc. MICCAI 2011 Workshop on Medical Content-based Retrieval for Clinical Decision Support}, interhash = {be804b705e1a1d9a05f2b893d13a2a2f}, intrahash = {73cc7e7d262bb755a461807df6e2608d}, keywords = {khresmoi-project}, title = {Evaluation of Fast 2D and 3D Medical Image Retrieval Approaches based on Image Miniatures}, year = 2011 } @inproceedings{haas2011superpixelbased, added-at = {2011-12-08T16:01:08.000+0100}, author = {Haas, Sebastian and Donner, René and Burner, Andreas and Holzer, Markus and Langs, Georg}, biburl = {http://www.bibsonomy.org/bibtex/24ac8903e48df654f4a2a5394517b266c/hanbury}, booktitle = {Proc. MICCAI 2011 Workshop on Medical Content-based Retrieval for Clinical Decision Support}, interhash = {cf88cadfb06e51e734c2a33e9082e052}, intrahash = {4ac8903e48df654f4a2a5394517b266c}, keywords = {khresmoi-project}, title = {SuperPixel-based Interest Points for Effective Bags of Visual Words Medical Image Retrieval}, year = 2011 } @article{journals/eccc/GruberH06, added-at = {2011-12-07T00:00:00.000+0100}, author = {Gruber, Hermann and Holzer, Markus}, biburl = {http://www.bibsonomy.org/bibtex/24027c106dd24ad8825007ddecd0614a1/dblp}, ee = {http://eccc.hpi-web.de/eccc-reports/2006/TR06-027/index.html}, interhash = {2e15775d3de38b85a380ab4c84968db2}, intrahash = {4027c106dd24ad8825007ddecd0614a1}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, number = 027, title = {Finding Lower Bounds for Nondeterministic State Complexity is Hard.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc13.html#GruberH06}, volume = 13, year = 2006 } @article{journals/eccc/BrandtFH07, added-at = {2011-12-07T00:00:00.000+0100}, author = {Brandt, Felix and Fischer, Felix A. and Holzer, Markus}, biburl = {http://www.bibsonomy.org/bibtex/2c24b4d0642425cc6852e372efedf1879/dblp}, ee = {http://eccc.hpi-web.de/eccc-reports/2007/TR07-136/index.html}, interhash = {b4e24f5956d1aeb411c5ada718442d52}, intrahash = {c24b4d0642425cc6852e372efedf1879}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, number = 136, title = {Equilibria of Graphical Games with Symmetries.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc14.html#BrandtFH07}, volume = 14, year = 2007 } @article{journals/eccc/ECCC-TR00-036, added-at = {2011-12-07T00:00:00.000+0100}, author = {Damm, Carsten and Holzer, Markus and McKenzie, Pierre}, biburl = {http://www.bibsonomy.org/bibtex/2db99db102918325f379f645b8ecb379b/dblp}, ee = {http://eccc.hpi-web.de/eccc-reports/2000/TR00-036/index.html}, interhash = {999d90e2eaae971fb83f59268bf669ab}, intrahash = {db99db102918325f379f645b8ecb379b}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, number = 36, title = {The Complexity of Tensor Calculus}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc7.html#ECCC-TR00-036}, volume = 7, year = 2000 } @article{journals/eccc/BrandtFH08, added-at = {2011-12-07T00:00:00.000+0100}, author = {Brandt, Felix and Fischer, Felix A. and Holzer, Markus}, biburl = {http://www.bibsonomy.org/bibtex/284f82db5bd4d4b3a690f20284a728342/dblp}, ee = {http://eccc.hpi-web.de/eccc-reports/2008/TR08-077/index.html}, interhash = {c15779d6349cb0f3f27c21f75e7c1125}, intrahash = {84f82db5bd4d4b3a690f20284a728342}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, number = 077, title = {On Iterated Dominance, Matrix Elimination, and Matched Paths.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc15.html#BrandtFH08}, volume = 15, year = 2008 } @article{journals/eccc/BrandtFH06, added-at = {2011-12-07T00:00:00.000+0100}, author = {Brandt, Felix and Fischer, Felix A. and Holzer, Markus}, biburl = {http://www.bibsonomy.org/bibtex/24663cfdf33059ec63dc05456f6873a6a/dblp}, ee = {http://eccc.hpi-web.de/eccc-reports/2006/TR06-091/index.html}, interhash = {a21f4a51b74791b50c5e81a894be4e38}, intrahash = {4663cfdf33059ec63dc05456f6873a6a}, journal = {Electronic Colloquium on Computational Complexity (ECCC)}, keywords = {dblp}, number = 091, title = {Symmetries and the Complexity of Pure Nash Equilibrium.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc13.html#BrandtFH06}, volume = 13, year = 2006 } @article{journals/corr/abs-1011-3049, added-at = {2011-12-05T00:00:00.000+0100}, author = {Sarma, Atish Das and Holzer, Stephan and Kor, Liah and Korman, Amos and Nanongkai, Danupon and Pandurangan, Gopal and Peleg, David and Wattenhofer, Roger}, biburl = {http://www.bibsonomy.org/bibtex/2c0b84ff37cefa5fa9c0eee76cba18dae/dblp}, ee = {http://arxiv.org/abs/1011.3049}, interhash = {83ce88bf520a31e820ac3c38b0643a68}, intrahash = {c0b84ff37cefa5fa9c0eee76cba18dae}, journal = {CoRR}, keywords = {dblp}, title = {Distributed Verification and Hardness of Distributed Approximation}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1011.html#abs-1011-3049}, volume = {abs/1011.3049}, year = 2010 } @article{journals/corr/abs-1001-0529, added-at = {2011-12-05T00:00:00.000+0100}, author = {Brandt, Felix and Fischer, Felix A. and Holzer, Markus}, biburl = {http://www.bibsonomy.org/bibtex/2ff2999b0bd27c84338aa5546f1c803ad/dblp}, ee = {http://arxiv.org/abs/1001.0529}, interhash = {af84733c242856744964c915b302bd29}, intrahash = {ff2999b0bd27c84338aa5546f1c803ad}, journal = {CoRR}, keywords = {dblp}, title = {On Iterated Dominance, Matrix Elimination, and Matched Paths}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1001.html#abs-1001-0529}, volume = {abs/1001.0529}, year = 2010 } @inproceedings{conf/visapp/HolzerLP11, added-at = {2011-11-29T00:00:00.000+0100}, author = {Holzer, Peter and Li, Chunming and Pinz, Axel}, biburl = {http://www.bibsonomy.org/bibtex/2b2401b23bf0f224360d2882da405b99e/dblp}, booktitle = {VISAPP}, crossref = {conf/visapp/2011}, editor = {Mestetskiy, Leonid and Braz, José}, interhash = {ba9575da50b3a024cb8ab3185a1b9708}, intrahash = {b2401b23bf0f224360d2882da405b99e}, isbn = {978-989-8425-47-8}, keywords = {dblp}, pages = {561-568}, publisher = {SciTePress}, title = {Detecting and Tracking People in Motion - A Hybrid Approach Combining 3D Reconstruction and 2D Description.}, url = {http://dblp.uni-trier.de/db/conf/visapp/visapp2011.html#HolzerLP11}, year = 2011 } @inproceedings{conf/icecsys/HolzerSGR10, added-at = {2011-11-29T00:00:00.000+0100}, author = {Holzer, Markus and Schumacher, Frank and Greiner, Thomas and Rosenstiel, Wolfgang}, biburl = {http://www.bibsonomy.org/bibtex/2e165a688159979be3efbe2fb52d6c5c5/dblp}, booktitle = {ICECS}, crossref = {conf/icecsys/2010}, ee = {http://dx.doi.org/10.1109/ICECS.2010.5724578}, interhash = {25f982d95a99acd2c0bab703fc5e612b}, intrahash = {e165a688159979be3efbe2fb52d6c5c5}, isbn = {978-1-4244-8155-2}, keywords = {dblp}, pages = {579-582}, publisher = {IEEE}, title = {Shape independent VLSI-architecture design approach for 2D morphological operations with non-flat structuring elements.}, url = {http://dblp.uni-trier.de/db/conf/icecsys/icecsys2010.html#HolzerSGR10}, year = 2010 } @inproceedings{conf/wimob/HolzerMP11, added-at = {2011-11-25T00:00:00.000+0100}, author = {Holzer, Adrian and Maaroufi, Saida and Pierre, Samuel}, biburl = {http://www.bibsonomy.org/bibtex/2d712fe10e907fc98ad952b5250e9510e/dblp}, booktitle = {WiMob}, crossref = {conf/wimob/2011}, ee = {http://dx.doi.org/10.1109/WiMOB.2011.6085384}, interhash = {0403660c6a2353aeef3272af85cfd873}, intrahash = {d712fe10e907fc98ad952b5250e9510e}, isbn = {978-1-4577-2013-0}, keywords = {dblp}, pages = {301-306}, publisher = {IEEE}, title = {BROADTRIP: Broadcast for transit in platoons.}, url = {http://dblp.uni-trier.de/db/conf/wimob/wimob2011.html#HolzerMP11}, year = 2011 }