Publications

2013

• Printing Future DaysKnöfel, A., Koalick, G., Lapczyna, E. & Groh, R., 2013, p. 131-136, 6 p.Research output: Contribution to conferences > Paper
• Proceedings of the 3rd International Workshop on Semantic Digital Archives co-located with 17th International Conference on Theory and Practice of Digital Libraries (TPDL 2013), Valetta, Malta, September 26, 2013.Predoiu, L., Mitschick, A., Nürnberger, A., Risse, T. & Ross, S., 2013, SDA 2013 Semantic Digital Archives: Proceedings of the 3rd International Workshop on Semantic Digital Archives. Vol. 1091Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Professur Mediengestaltung bei OUTPUTGroh, R., 2013, issue.com. DresdenResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Quantitative Analysis of Randomized Distributed Systems and Probabilistic AutomataBaier, C., 2013, Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Muntean, T., Poulakis, D. & Rolland, R. (eds.). Springer, Berlin [u. a.], p. 4-5, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Rapid prototyping von applikationsprofilkonformen feldgerätenMätzler, S., Theurich, S., Wollschlaeger, M. & Simros, M., 2013, In: At-Automatisierungstechnik. 61, 6, p. 415-426, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reducing Runtime Overhead of Online Checks using Symbolic ExecutionNowack, M. & Fetzer, C., 2013, In: Eurosys Doctoral Workshop (EuroDW)Research output: Contribution to journal > Conference article
• Rekonstruktion der Ersten Allgemeinen Deutschen Kunstausstellung Dresden 1946Klamka, K. & Schmalenberger, T., 2013, Mensch & Computer 2013 - Workshopband. Boll, S., Maaß, S. & Malaka, R. (eds.). München: Oldenbourg Wissenschaftsverlag, p. 519-522, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Report on the Sixth Conference on Artificial General IntelligenceKühnberger, K., Rudolph, S. & Wang, P., 2013, In: AI Magazine. 34, 4, p. 123-125, 3 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reverse Painting – die Rekonstruktion des Raumes in Vermeers Gemälde »Brieflesendes Mädchen am offenen Fenster«Groh, R. & Lordick, D., 2013, Deutscher Kunstverlag. Berlin, München, p. 98-107, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Richtig schön verkehrtGroh, R., 2013, p. 111-120, 10 p.Research output: Contribution to conferences > Paper
• Scalable and Real-Time Deep Packet InspectionQuoc, D. L., Martin, A. & Fetzer, C., 2013, p. 446-451, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Sequential Art in Real-time 3D ApplicationsWojdziak, J., Kammer, D. & Groh, R., 2013Research output: Contribution to conferences > Paper
• Shaping Sounds – A Vision for Tangible Music InteractionWalther, S., Müller, M., Brade, M. & Groh, R., 2013Research output: Contribution to conferences > Paper
• Short paper: Vehicle shadowing distribution depends on vehicle type: Results of an experimental studySegata, M., Bloessl, B., Joerer, S., Sommer, C., Lo Cigno, R. & Dressler, F., 2013, 5th IEEE Vehicular Networking Conference (VNC 2013)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SimMed: Combining Simulation and Interactive Tabletops for Medical EducationDachselt, R. & von Zadow, U., 2013, p. 1469-1478, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Sound, Complete, and Minimal Query Rewriting for Existential RulesKönig, M., Leclère, M., Mugnier, M. & Thomazo, M., 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). p. 3017-3025, 9 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Spatial Illusions on TangiblesEschrich, B., 2013Research output: Contribution to conferences > Paper
• StreamHub: A Massively Parallel Architecture for High-performance Content-based Publish/SubscribeBarazzutti, R., Felber, P., Fetzer, C., Onica, E., Pineau, J., Pasin, M., Rivière, E. & 1 others, 2013, p. 63-74, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• StreamMine3G OneClick - Deploy \& Monitor ESP Applications With A Single ClickBrito, A., Martin, A., Fetzer, C., Rocha, I. & Nóbrega, T., 2013, p. 1014-1019, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule InductionStrelin, M. M., Cosacov, A., Diller, M. & Sérsic, A. N., 2013, In: Botanical journal of the Linnean Society. 173, 3, p. 487-500, 14 p.Research output: Contribution to journal > Research article
• Summer School 2013 – The Dresden Damascus RoomLapczyna, E., Hannß, F. & Wojdziak, J., 2013, issue.com. DresdenResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Tableaux for Verification of Data-Centric ProcessesBauer, A., Baumgartner, P., Diller, M. & Norrish, M., 2013, Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Springer Open, p. 28-43, 16 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• tANGibLE: a Smart Tangible Home Controllerde Almeida Madeira Clemente, M., Herrmann, M., Keck, M. & Groh, R., 2013Research output: Contribution to conferences > Paper
• Task Redundancy Strategy Based on Volunteers' Credibility for Volunteer Thinking Projects.Ponciano, L., Brasileiro, F. V. & Gadelha, G., 2013, First AAAI Conference on Human Computation and Crowdsourcing (Works in Progress / Demos). AAAI Press, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Temporalizing Ontology-Based Data AccessBaader, F., Borgwardt, S. & Lippmann, M., 2013, Proceedings of the 24th International Conference on Automated Deduction (CADE-24). p. 330-344, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution