> Detailanzeige

Karlsruher Institut für Technologie Fakultät für Informatik

Karlsruhe reports in informatics

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Elektronische Schriftenreihe; Monographische Schriftenreihe
Titel: Karlsruhe reports in informatics
Weitere Titel: Paralleltitel teilweise: Karlsruher Berichte zur Informatik
Abweichender Titel anfangs: Interner Bericht. Karlsruher Institut für Technologie, Fakultät für Informatik
Beteiligte: Karlsruher Institut für Technologie Fakultät für Informatik
Erschienen: Karlsruhe: Karlsruhe Institute of Technology (KIT), Faculty of Informatics, 2010 -
Erscheinungsverlauf: 2010,1-
Sprache: Englisch
ISSN: 2190-4782
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Ersch. unregelmäßig
Zugangsstatus: Freier Zugang

> Verlagsreihe

Walter, Maximilian [VerfasserIn]; Beskorovajnov, Wasilij [VerfasserIn]; Lieberwirth, Fridtjof [VerfasserIn]; Stürmeli, Jan [VerfasserIn]; Zwick, Pascal [VerfasserIn]; Heinrich, Robert [VerfasserIn]
2023, 3: Mobility data anonymization - a literature review and an industry-driven survey Maximilian Walter, Wasilij Beskorovajnov, Fridtjof Lieberwirth, Jan Sürmeli, Pascal Zwick, Robert Heinrich
Karlsruhe: Karlsruher Institut für Technologie, Fakultät für Informatik, August 2023

Koch, Sandro [VerfasserIn]; Reiche, Frederik [VerfasserIn]; Weber, Sebastian [VerfasserIn]; Stüber, Sebastian [VerfasserIn]; Wollenhaupt, Lucas [VerfasserIn]; Taghavi, Bahareh [VerfasserIn]; Rumpe, Bernhard [VerfasserIn]; Heinrich, Robert [VerfasserIn] ; Konersmann, Marco [Sonstige Person, Familie und Körperschaft]
2023, 2: A collection of scenarios for the decomposition and composition of model-based analyses Sandro Koch, Frederik Reiche, Sebastian Weber, Marco Konersmann, Sebastian Stüber, Lucas Wollenhaupt, Bahareh Taghavi, Bernhard Rumpe, and Robert Heinrich
Karlsruhe: Karlsruher Institut für Technologie, Fakultät für Informatik, 17 July 2023

Kühn, Thomas [VerfasserIn]; Fuchß, Dominik [VerfasserIn]; Corallo, Sophie [VerfasserIn]; König, Lars [VerfasserIn]; Burger, Erik [VerfasserIn]; Keim, Jan [VerfasserIn]; Mazkatli, Manar [VerfasserIn]; Saglam, Timur [VerfasserIn]; Reiche, Frederik [VerfasserIn]; Koziolek, Anne [VerfasserIn]; Reussner, Ralf [VerfasserIn]
2023, 1: A formalized classification schema for model consistency technical report Thomas Kühn, Dominik Fuchß, Sophie Corallo, Lars König, Erik Burger, Jan Keim, Manar Mazkatli, Timur Sağlam, Frederik Reiche, Anne Koziolek, and Ralf Reussner
Karlsruhe: Karlsruher Institut für Technologie, Fakultät für Informatik, 17 July 2023

Taghizadeh, Saeed [VerfasserIn]; Elekes, Abel [VerfasserIn]; Schäler, Martin [VerfasserIn]
2021, 1: Visit places on YourWay a skyline approach in time-dependent networks Saeed Taghizadeh, Abel Elekes, Martin Schäler
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2021

Pescara, Erik [HerausgeberIn]; Tremper, Paul [HerausgeberIn]; Formanek, Jan [HerausgeberIn]; Hefenbrock, Michael [HerausgeberIn]; Huang, Yiran [HerausgeberIn]; Ravivanpong, Ployplearn [HerausgeberIn]
2020, 1: Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2019 Mobile und Verteilte Systeme Ubiquitous Computing : Teil XIX Herausgeber: Erik Pescara, Paul Tremper, Jan Formanek, Michael Hefenbrock, Yiran Huang, Ployplearn Ravivanpong, Johannes Riesterer, Long Wang, Ingmar Wolff, Yexu Zhou, Michael Beigl ; Karlsruhe Institute of Technology (KIT), Fakultät für Informatik, Lehrstuhl fur Pervasive Computing Systems (PCS) und TECO
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020

Klare, Heiko [VerfasserIn]; Pepin, Aurélien [VerfasserIn]; Burger, Erik [VerfasserIn]; Reussner, Ralf [VerfasserIn]
2020, 3: A formal approach to prove compatibility in transformation networks Heiko Klare, Aurélien Pepin, Erik Burger, Ralf Reussner ; Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KIT), Germany
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020

Keim, Jan [VerfasserIn]; Kaplan, Angelika [VerfasserIn]; Koziolek, Anne [VerfasserIn]; Mirakhorli, Mehdi [VerfasserIn]
2020, 2: Using BERT for the detection of architectural tactics in code Jan Keim, Angelika Kaplan, Anne Koziolek, and Mehdi Mirakhorli
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2020

Suntaxi, Gabriela [VerfasserIn]; El Ghazi, Aboubakr Achraf [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2019, 6: On mutual authorizations: Semantics, integration issues, and performance Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

Arzamasov, Vadim [VerfasserIn]; Böhm, Klemens [VerfasserIn]; Rutter, Ignaz [VerfasserIn]
2019, 2: Minimizing bias in estimation of mutual information from data streams Vadim Arzamasov, Klemens Böhm, Ignaz Rutter ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

Neudecker, Till [VerfasserIn]
2019, 1: Characterization of the Bitcoin Peer-to-Peer network (2015-2018) Till Neudecker ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

Arzamasova, Natalia [VerfasserIn]; Böhm, Klemens [VerfasserIn]; Goldman, Bertrand [VerfasserIn]; Saaler, Christian [VerfasserIn]; Schäler, Martin [VerfasserIn]
2019, 3: On the usefulness of SQL-query-similarity measures to find user interests Natalia Arzamasova, Klemens Böhm, Bertrand Goldman, Christian Saaler and Martin Schäler ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

Beckert, Bernhard [VerfasserIn]; Bormer, Thorsten [VerfasserIn]; Gocht, Stephan [VerfasserIn]; Herda, Mihai [VerfasserIn]; Lentzsch, Daniel [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]
2019, 5: Using relational verification for program slicing Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, and Mattias Ulbrich ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

Ordoni, Elaheh [VerfasserIn]; Mülle, Jutta [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2019, 4: Verifying workflow models with data values a case study of SMR spectrum auctions Elaheh Ordoni, Jutta Mülle, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, April 2019

Suntaxi, Gabriela [VerfasserIn]; El Ghazi, Aboubakr Achraf [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2019, 7: On preserving secrecy in mobile social networks Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

Schäler, Martin [VerfasserIn]; Broneske, David [VerfasserIn]; Köpen, Veit [VerfasserIn]; Saake, Gunter [VerfasserIn]
2018, 6: Exploiting subspace distance equalities in highdimensional data for knn queries Martin Schäler, David Broneske, Veit Köppen, and Gunter Saake ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Kaplan, Angelika [VerfasserIn]; Busch, Kiana [VerfasserIn]; Koziolek, Anne [VerfasserIn]; Heinrich, Robert [VerfasserIn]
2018, 7: Supplementary material for the study on categories of change triggers in business processes Angelika Kaplan, Kiana Busch, Anne Koziolek, Robert Heinrich ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Strittmatter, Misha [VerfasserIn]; Heinrich, Robert [VerfasserIn]; Reussner, Ralf [VerfasserIn]
2018, 11: Supplementary material for the evaluation of the layered reference architecture for metamodels to tailor quality modeling and analysis technical report Misha Strittmatter, Robert Heinrich, Ralf Reussner ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 18.12.2018

Leinweber, Marc [VerfasserIn]; Hartenstein, Hannes [VerfasserIn]; Andelfinger, Philipp Josef [VerfasserIn]
2018, 5: Enabling cross-event optimization in discrete-event simulation through compile-time event batching Marc Leinweber, Hannes Hartenstein and Philipp Andelfinger ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Heinrich, Robert [VerfasserIn]; Koch, Sandro [VerfasserIn]; Reussner, Ralf [VerfasserIn]
2018, 10: The CoCoME platform for collaborative empirical research on information system evolution evolution scenarios in the second founding period of SPP 1593 Robert Heinrich, Sandro Koch, Ralf Reussner ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, August 15, 2018

Neudecker, Till [VerfasserIn]
2018, 4: Bitcoin Cash (BCH) sybil nodes on the bitcoin Peer-to-Peer network Till Neudecker ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Biczok, Rudolf [VerfasserIn]; Busch, Kiana [VerfasserIn]; Heinrich, Robert [VerfasserIn]; Reussner, Ralf [VerfasserIn]
2018, 8: An industry 4.0 case study: The integration of CoCoME and xPPU technical report Rudolf Biczok, Kiana Busch, Robert Heinrich, Ralf Reussner ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Al-Ali, Rima [VerfasserIn]; Bures, Tomas [VerfasserIn]; Hartmann, Björn-Oliver [VerfasserIn]; Havlik, Jiri [VerfasserIn]; Heinrich, Robert [VerfasserIn]; Hnetynka, Petr [VerfasserIn]; Juan-Verdejo, Adria [VerfasserIn]; Parizek, Pavel [VerfasserIn]; Seifermann, Stephan [VerfasserIn]; Walter, Maximilian [VerfasserIn]
2018, 9: Use cases in dataflow-based privacy and trust modeling and analysis in industry 4.0 systems Rima Al-Ali, Tomas Bures, Björn-Oliver Hartmann, Jiri Havlik, Robert Heinrich, Petr Hnetynka, Adrian Juan-Verdejo, Pavel Parizek, Stephan Seifermann, and Maximilian Walter ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Trittenbach, Holger [VerfasserIn]; Gauch, Martin [VerfasserIn]; Böhm, Klemens [VerfasserIn]; Schulz, Katrin [VerfasserIn]
2018, 1: Towards simulation-data science - a case study on material failures Holger Trittenbach, Martin Gauch, Klemens Böhm, and Katrin Schulz ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Schmitt, Peter H. [VerfasserIn]
2018, 2: Takeuti’s first-order theory of ordinals revisited Peter H. Schmitt ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Taghizadeh, Saeed [VerfasserIn]; Schäler, Martin [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2018, 3: Comparing predictions of object movements Saeed Taghizadeh, Martin Schäler, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018

Huisman, Marieke [VerfasserIn]; Monahan, Rosemary [VerfasserIn]; Müller, Peter [VerfasserIn]; Mostowski, Wojciech [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]
2017, 10: VerifyThis 2017 a program verification competition Marieke Huisman, Rosemary Monahan, Peter Müller, Wojciech Mostowski, Mattias Ulbrich ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Kramer, Max Emanuel [VerfasserIn]; Hecker, Martin [VerfasserIn]; Greiner, Simon [VerfasserIn]; Bao, Kaibin [VerfasserIn]; Yurchenko, Kateryna [VerfasserIn]
2017, 12: Model-driven specification and analysis of confidentiality in component-based systems Max E. Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, and Kateryna Yurchenko ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Schmitt, Peter H. [VerfasserIn]
2017, 6: A first-order theory of ordinals Peter H. Schmitt ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Schmitt, Peter H. [VerfasserIn]
2017, 7: Some notes on permutations Peter H. Schmitt ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Bergamin, Elisabeth [VerfasserIn]; Gonser, Tanya [VerfasserIn]; Meyerhenke, Henning [VerfasserIn]
2017, 8: Scaling up group closeness maximization Elisabetta Bergamini, Tanya Gonser, Henning Meyerhenke ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Neumann, Martin Alexander [HerausgeberIn]; Karatzoglou, Antonios [HerausgeberIn]; Exler, Anja [HerausgeberIn]; Pescara, Erik [HerausgeberIn]; Miclaus, Andrei [HerausgeberIn]; Wang, Long [HerausgeberIn]; Beigl, Michael [HerausgeberIn]
2017, 4: Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) WS 2016/17 Mobile und Verteilte Systeme Ubiquitous Computing : Teil XIV Herausgeber: Martin Alexander Neumann, Antonios Karatzoglou, Anja Exler, Erik Pescara, Long Wang, Michael Beigl ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Greiner, Simon [VerfasserIn]; Herda, Mihai [VerfasserIn]
2017, 2: CoCoME with security Simon Greiner, Mihai Herda ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Sax, Eric [VerfasserIn]; Reussner, Ralf [VerfasserIn]; Guissouma, Houssemeddine [VerfasserIn]; Klare, Heiko [VerfasserIn]
2017, 11: A survey on the state and future of automotive software Release and configuration management Eric Sax, Ralf Reussner, Houssemeddine Guissouma and Heiko Klare
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Elekes, Ábel [VerfasserIn]; Schäler, Martin [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2017, 3: On the various semantics of similarity in word embedding models Ábel Elekes, Martin Schäler, Klemens Böhm ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Suntaxi, Gabriela [VerfasserIn]; El Ghazi, Aboubakr Achraf [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2017, 5: On secrecy and performance models for query processing on outsourced graph data Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Greiner, Simon [VerfasserIn]; Mohr, Martin [VerfasserIn]; Beckert, Bernhard [VerfasserIn]
2017, 9: Modular verification of information flow security in component-based systems - proofs and proof of concept Simon Greiner, Martin Mohr, and Bernhard Beckert ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Steinbuß, Georg [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2017, 1: Hiding outliers in high-dimensional data spaces Georg Steinbuß, Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017

Neumann, Martin Alexander [HerausgeberIn]; Exler, Anja [HerausgeberIn]; Miclaus, Andrei [HerausgeberIn]; Karatzoglou, Antonios [HerausgeberIn]; Wang, Long [HerausgeberIn]; Beigl, Michael [HerausgeberIn]
2016, 13: Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2016 Mobile und Verteilte Systeme Ubiquitous Computing : Teil XIV Herausgeber: Martin Alexander Neumann, Anja Exler, Andrei Miclaus, Antonios Karatzoglou, Long Wang, Michael Beigl
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2016

Omri, Fouad ben Nasr [VerfasserIn] ; Omri, Safa [Sonstige Person, Familie und Körperschaft]; Reussner, Ralf [Sonstige Person, Familie und Körperschaft]
2015, 2: Incremental and Compositional Probabilistic Analysis of Programs Fouad ben Nasr Omri, Safa Omri, and Ralf Reussner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015

Grahl, Daniel [VerfasserIn]
2015, 3: Deductive Verification of Concurrent Programs Daniel Bruns
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015

Hollmig, Gregor [VerfasserIn]; Horne, Matthias [VerfasserIn]; Leimkühler, Simon [VerfasserIn]; Schöll, Frederik [VerfasserIn]; Strunk, Carsten [VerfasserIn]; Efros, Pavel [VerfasserIn]; Buchmann, Erik [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2015, 9: An evaluation of combinations of lossy compression and change detection approaches Technical Report ’15 Gregor Hollmig, Matthias Horne, Simon Leimkühler, Frederik Schöll, Carsten Strunk, Pavel Efros, Erik Buchmann, Klemens Böhm
Karlsruhe: KIT, [2015]

Neumann, Martin Alexander [HerausgeberIn]
2015,5: Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) WS 2014/15 Mobile und Verteilte Systeme Ubiquitous Computing - Teil XII Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT, Fakultät für Informatik, 2015

Bergamini, Elisabetta [Sonstige Person, Familie und Körperschaft]; Meyerhenke, Henning [Sonstige Person, Familie und Körperschaft]
2015, 7: Computing top-k closeness centrality faster in unweighted graphs (Technical Report) Elisabetta Bergamini and Henning Meyerhenke
Karlsruhe: KIT, Fakultät für Informatik, 2015

Beckert, Bernhard [Sonstige Person, Familie und Körperschaft]; Ulbrich, Mattias [Sonstige Person, Familie und Körperschaft]; Vogel-Heuser, Birgit [Sonstige Person, Familie und Körperschaft]; Weigl, Alexander [Sonstige Person, Familie und Körperschaft]
2015, 6: Regression Verification for Programmable Logic Controller Software Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015

Kramer, Max Emanuel [Sonstige Person, Familie und Körperschaft]; Langhammer, Michael [Sonstige Person, Familie und Körperschaft]; Messinger, Dominik [Sonstige Person, Familie und Körperschaft]; Seifermann, Stephan [Sonstige Person, Familie und Körperschaft]; Burger, Erik [Sonstige Person, Familie und Körperschaft]
2015, 4: Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius Max E. Kramer, Michael Langhammer, Dominik Messinger, Stephan Seifermann, Erik Burger
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015

Neumann, Martin Alexander [HerausgeberIn]
2015,8: Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2015 Mobile und Verteilte Systeme Ubiquitous Computing - Teil XIII Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT, Fakultät für Informatik, 2015

Kessler, Stephan [VerfasserIn]; Buchmann, Erik [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2015,1: Deploying and Evaluating Pufferfish Privacy for Smart Meter Data (Technical Report '15) Stephan Kessler, Erik Buchmann, and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2015

Mrasek, Richard [VerfasserIn]; Mülle, Jutta [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2014,15: Automatic Generation of Optimized Process Models from Declarative Specifications Richard Mrasek, Jutta Mülle and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2014

Kessler, Stephan [VerfasserIn]
2014,13: Deploying and Evaluating Pufferfish Privacy for Smart Meter Data (Technical Report) Stephan Kessler, Erik Buchmann, and Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Burger, Erik [Sonstige Person, Familie und Körperschaft]; Henß, Jörg [Sonstige Person, Familie und Körperschaft]; Kruse, Steffen [Sonstige Person, Familie und Körperschaft]; Küster, Martin [Sonstige Person, Familie und Körperschaft]; Rentschler, Andreas [Sonstige Person, Familie und Körperschaft]; Happe, Lucia [Sonstige Person, Familie und Körperschaft]
2014,1: ModelJoin A Textual Domain-Specific Language for the Combination of Heterogeneous Models Erik Burger, Jörg Henß, Steffen Kruse, Martin Küster, Andreas Rentschler, Lucia Happe
Karlsruhe: KIT, Fakultät für Informatik, 2014

Looz, Moritz von [Sonstige Person, Familie und Körperschaft]; Staudt, Christian Lorenz [Sonstige Person, Familie und Körperschaft]; Meyerhenke, Henning [Sonstige Person, Familie und Körperschaft]; Prutkin, Roman [Sonstige Person, Familie und Körperschaft]
2014,14: Fast generation of dynamic complex networks with underlying hyperbolic geometry Moritz von Looz, Christian L. Staudt, Henning Meyerhenke, Roman Prutkin
Karlsruhe: KIT, Fakultät für Informatik, 2014

Stackelberg, Silvia von [Sonstige Person, Familie und Körperschaft]; Böhm, Klemens [Sonstige Person, Familie und Körperschaft]; Grabatin, Stefan [Sonstige Person, Familie und Körperschaft]; Wäsch, Jürgen [Sonstige Person, Familie und Körperschaft]
2014,16: On the Usability of a Break-the-Glass Annotation Language for Process Models Silvia von Stackelberg, Klemens Böhm, Stefan Grabatin, Jürgen Wäsch
Karlsruhe: KIT, Fakultät für Informatik, 2014

Mrasek, Richard [VerfasserIn] ; Mülle, Jutta [Sonstige Person, Familie und Körperschaft]; Böhm, Klemens [Sonstige Person, Familie und Körperschaft]
2014, 2: Using a Context Knowledge Base for the Verification of Vehicle Test Processes Richard Mrasek, Jutta Mülle, and Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

El Ghazi, Aboubakr Achraf [Sonstige Person, Familie und Körperschaft]; Ulbrich, Mattias [Sonstige Person, Familie und Körperschaft]; Gladisch, Christoph David [Sonstige Person, Familie und Körperschaft]; Tyszberowicz, Shmuel [Sonstige Person, Familie und Körperschaft]; Taghdiri, Mana [Sonstige Person, Familie und Körperschaft]
2014, 3: On Verifying Relational Specifications of Java Programs with JKelloy Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, and Mana Taghdiri
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Stackelberg, Silvia von [Sonstige Person, Familie und Körperschaft]; Putze, Susanne [Sonstige Person, Familie und Körperschaft]; Mülle, Jutta [Sonstige Person, Familie und Körperschaft]; Böhm, Klemens [Sonstige Person, Familie und Körperschaft]
2014, 6: Detecting Data-Flow Errors in BPMN 2.0 Silvia von Stackelberg, Susanne Putze, Jutta Mülle, and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2014

Neumann, Martin Alexander [HerausgeberIn]
2014, 7: Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) WS 2013/14 Mobile und Verteilte Systeme Ubiquitous Computing - Teil X Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Efros, Pavel [VerfasserIn] ; Buchmann, Erik [Sonstige Person, Familie und Körperschaft]; Böhm, Klemens [Sonstige Person, Familie und Körperschaft]
2014, 4: FRESCO: A Framework for the Energy Estimation of Computers Extended Version Pavel Efros, Erik Buchmann and Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Braun, Matthias [Sonstige Person, Familie und Körperschaft]; Buchwald, Sebastian [Sonstige Person, Familie und Körperschaft]; Mohr, Manuel [Sonstige Person, Familie und Körperschaft]; Zwinkau, Andreas [Sonstige Person, Familie und Körperschaft]
2014, 8: Dynamic X10 Resource-Aware Programming for Higher Efficiency Matthias Braun, Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Tichy, Walter F. [VerfasserIn] ; Landhäußer, Mathias [Sonstige Person, Familie und Körperschaft]; Körner, Sven J. [Sonstige Person, Familie und Körperschaft]
2014, 9: nlrpBENCH A Benchmark for Natural Language Requirements Processing Walter F. Tichy, Mathias Landhäußer, and Sven J. Körner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Neumann, Martin Alexander [HerausgeberIn]
2014,12: Ubiquitäre Systeme (Seminar) und Mobile Computing (Proseminar) SS 2014 Mobile und Verteilte Systeme Ubiquitous Computing - Teil XI Herausgeber: Martin Alexander Neumann
Karlsruhe: KIT, Fakultät für Informatik, 2014

Grahl, Daniel [VerfasserIn]
2014,11: Formal Verification of an Electronic Voting System Daniel Bruns
Karlsruhe: KIT, Fakultät für Informatik, 2014

Grahl, Daniel [VerfasserIn]
2014, 5: Towards Specification and Verification of Information Flow in Concurrent Java-like Programs Daniel Bruns
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Huisman, Marieke [Sonstige Person, Familie und Körperschaft]; Ahrendt, Wolfgang [Sonstige Person, Familie und Körperschaft]; Grahl, Daniel [Sonstige Person, Familie und Körperschaft]; Hentschel, Martin [Sonstige Person, Familie und Körperschaft]
2014,10: Formal Specification with JML Marieke Huisman, Wolfgang Ahrendt, Daniel Bruns, Martin Hentschel
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014

Jakimovski, Predrag [HerausgeberIn]
2013,12: Ubiquitäre Systeme (Seminar) - SS 2013 Mobile und Verteilte Systeme Ubiquitous Computing - Teil IX [Hrsg.:] Predrag Jakimovski
Karlsruhe: KIT, Fakultät für Informatik, 2013

Tanasijevic, Sanja [VerfasserIn] ; Böhm, Klemens [Sonstige Person, Familie und Körperschaft]
2013, 2: A New Approach to Large-Scale Deliberation Sanja Tanasijevic, Klemens Böhm
Karlsruhe: KIT, Karlsruhe Institut für Technologie, Fakultät für Informatik, 2013

Huisman, Marieke [VerfasserIn]; Klebanov, Vladimir [VerfasserIn]; Monahan, Rosemary [VerfasserIn]
2013, 1: VerifyThis Verification Competition 2012 Organizer´s Report Marieke Huisman, Vladimir Klebanov, and Rosemary Monahan
Karlsruhe: KIT, Fakultät für Informatik, 2013

Baum, Moritz [Sonstige Person, Familie und Körperschaft]; Dibbelt, Julian [Sonstige Person, Familie und Körperschaft]; Pajor, Thomas [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2013, 6: Energy-Optimal Routes for Electric Vehicles Technical Report Moritz Baum, Julian Dibbelt, Thomas Pajor, and Dorothea Wagner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Jakimovski, Predrag [HerausgeberIn]
2013, 3: Ubiquitäre Systeme (Seminar) - WS 2012/13 Mobile und Verteilte Systeme Ubiquitous Computing - Teil VIII [Hrsg.:] Predrag Jakimovski
Karlsruhe: KIT Karlsruher Institut of Technologie, Fakultät für Informatik, 2013

Kobitzsch, Moritz Helge [VerfasserIn]
2013, 5: AnAlternative Approach to Alternative Routes: HiDAR Technical Report Moritz Kobitzsch
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Tichy, Walter F. [VerfasserIn]
2013,15: Universal Programmability - How AI Can Help Walter F. Tichy, Mathias Landhäußer, Sven J. Körner
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Heidinger, Clemens Maximilian [Sonstige Person, Familie und Körperschaft]; Böhm, Klemens [Sonstige Person, Familie und Körperschaft]; Buchmann, Erik [Sonstige Person, Familie und Körperschaft]; Richter, Kai [Sonstige Person, Familie und Körperschaft]
2013,13: FACTS: A Framework for Anonymity towards Comparability, Transparency, and Sharing Extended Version Clemens Heidinger, Klemens Böhm, Erik Buchmann, and Kai Richter
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Beckert, Bernhard [Sonstige Person, Familie und Körperschaft]; Grahl, Daniel [Sonstige Person, Familie und Körperschaft]; Klebanov, Vladimir [Sonstige Person, Familie und Körperschaft]; Scheben, Christoph [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]; Ulbrich, Mattias [Sonstige Person, Familie und Körperschaft]
2013,14: Information Flow in Object-Oriented Software Extended Version Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

2013, 4: Western European Workshop on Research in Cryptology (WEWoRC 2013) Book of Abstracts; July 24–26, 2013 Karlsruhe Karlsruher Institut für Technologie (KIT)
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Gordon, Dawud [Sonstige Person, Familie und Körperschaft]; Beigl, Michael [Sonstige Person, Familie und Körperschaft]; Wirz, Martin [Sonstige Person, Familie und Körperschaft]; Tröster, Gerhard [Sonstige Person, Familie und Körperschaft]; Roggen, Daniel [Sonstige Person, Familie und Körperschaft]
2013, 9: Peer-to-Peer Group Affiliation Detection using Mobile Phones Technical Report, September 19th 2013 Dawud Gordon, Michael Beigl, Martin Wirz, Gerhard Tröster, Daniel Roggen
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Tanasijevic, Sanja [VerfasserIn]
2013,11: Towards Effective Structure-Based Assessment of Arguments and Proposals in Online Deliberation Sanja Tanasijevic, Klemens Böhm
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Zwinkau, Andreas [VerfasserIn]; Buchwald, Sebastian [VerfasserIn]; Snelting, Gregor [VerfasserIn]
2013, 7: invadeX10 Documentation Release 0.5 Andreas Zwinkau, Sebastian Buchwald, Gregor Snelting
Karlsruhe: KIT, Fakultät für Informatik, 2013

Gordon, Dawud [VerfasserIn] ; Scholz, Markus [Sonstige Person, Familie und Körperschaft]; Beigl, Michael [Sonstige Person, Familie und Körperschaft]
2013, 8: Group Activity Recognition using Belief Propagation for P2P Mobile Devices Technical Report, September 2nd 2013 Dawud Gordon, Markus Scholz, Michael Beigl
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Beckert, Bernhard [Sonstige Person, Familie und Körperschaft]; Grahl, Daniel [Sonstige Person, Familie und Körperschaft]; Klebanov, Vladimir [Sonstige Person, Familie und Körperschaft]; Scheben, Christoph [Sonstige Person, Familie und Körperschaft]; Schmitt, Peter H. [Sonstige Person, Familie und Körperschaft]; Ulbrich, Mattias [Sonstige Person, Familie und Körperschaft]
2013,10: Secure Information Flow for Java - A Dynamic Logic Approach Extended Version Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2013

Graf, Jürgen [VerfasserIn]; Hecker, Martin [VerfasserIn]; Mohr, Martin [VerfasserIn]
2012,24: Using JOANA for Information Flow Control in Java Programs A Practical Guide Jürgen Graf, Martin Hecker, Martin Mohr
Karlsruhe: KIT, Fakultät für Informatik, 2012

Zwinkau, Andreas [VerfasserIn]
2012,12: Resource Awareness for Efficiency in High-Level Programming Languages Andreas Zwinkau
Karlsruhe: KIT, Fakultät für Informatik, 2012

Dirschl, Gerhard [VerfasserIn]; Jäkel, Rainer [VerfasserIn]; Schmidt-Rohr, Sven R. [VerfasserIn]
2012,13: POMDP ModelBuilder Gerhard Dirschl, Rainer Jäkel, Sven R. Schmidt-Rohr
Karlsruhe: KIT, Fakultät für Informatik, 2012

Staudt, Christian [Sonstige Person, Familie und Körperschaft]; Schumm, Andrea [Sonstige Person, Familie und Körperschaft]; Meyerhenke, Henning [Sonstige Person, Familie und Körperschaft]; Görke, Robert [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2012,11: Static and Dynamic Aspects of Scientific Collaboration Networks Christian Staudt, Andrea Schumm, Henning Meyerhenke, Robert Görke, Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012

Lochbihler, Andreas [VerfasserIn]
2012,23: The Java Memory Model is Type Safe Andreas Lochbihler
Karlsruhe: KIT, Fakultät für Informatik, 2012

Giffhorn, Dennis [VerfasserIn]; Snelting, Gregor [VerfasserIn]
2012, 6: Probabilistic Noninterference Based on Program Dependence Graphs Dennis Giffhorn, Gregor Snelting
Karlsruhe: KIT, Fakultät für Informatik, 2012

Beckert, Bernhard [VerfasserIn]; Grahl, Daniel [VerfasserIn]
2012,10: Dynamic Trace Logic Definition and Proofs Bernhard Beckert and Daniel Bruns
Karlsruhe: KIT, Fakultät für Informatik, 2012

Büchler, Matthias [VerfasserIn]; Oudinet, Johan [VerfasserIn]; Pretschner, Alexander [VerfasserIn]
2012, 3: Semi-Automatic Security Testing of Web Applications from a Secure Model Matthias Büchler, Johan Oudinet, Alexander Pretschner
Karlsruhe: KIT, Fakultät für Informatik, 2012

Beckert, Bernhard [VerfasserIn]; Grahl, Daniel [VerfasserIn]; Küsters, Ralf [VerfasserIn]
2012, 8: The KeY Approach for the Cryptographic Verification of JAVA Programs A Case Study Tobias Kimmerle, Christian Hütter and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012

Braun, Matthias [Sonstige Person, Familie und Körperschaft]; Buchwald, Sebastian [Sonstige Person, Familie und Körperschaft]; Mohr, Manuel [Sonstige Person, Familie und Körperschaft]; Zwinkau, Andreas [Sonstige Person, Familie und Körperschaft]
2012, 9: An X10 Compiler for Invasive Architectures Matthias Braun, Sebastian Buchwald, Manuel Mohr, Andreas Zwinkau
Karlsruhe: KIT, Fakultät für Informatik, 2012

Hartmann, Tanja [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2012,18: Fast and Simple Fully-Dynamic Cut Tree Construction Tanja Hartmann and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012

Glantz, Roland [VerfasserIn]; Meyerhenke, Henning [VerfasserIn]
2012,22: Finding all Convex Cuts of a Plane Graph in Cubic Time Roland Glantz and Henning Meyerhenke
Karlsruhe: KIT, Fakultät für Informatik, 2012

Durdik, Zoya [VerfasserIn]; Krogmann, Klaus [VerfasserIn]; Schad, Felix [VerfasserIn]
2012,5: Towards a generic approach for meta-modeland domain-independent model variability Zoya Durdik, Klaus Krogmann, Felix Schad
Karlsruhe: KIT, Fakultät für Informatik, 2012

Schmidt-Rohr, Sven R. [Sonstige Person, Familie und Körperschaft]; Dillmann, Rüdiger [Sonstige Person, Familie und Körperschaft]; Dirschl, Gerhard [Sonstige Person, Familie und Körperschaft]; Romahn, Fabian [Sonstige Person, Familie und Körperschaft]; Mai, Thorsten [Sonstige Person, Familie und Körperschaft]; Berger, Laurenz [Sonstige Person, Familie und Körperschaft]; Friedrich, Tim [Sonstige Person, Familie und Körperschaft]; Wischnewski, Christian Alexander [Sonstige Person, Familie und Körperschaft]; Seidel, Martin [Sonstige Person, Familie und Körperschaft]; Stahl, Jonas [Sonstige Person, Familie und Körperschaft]
2012,14: Project Albert Service Experiments (PASE) Sven R. Schmidt-Rohr, Gerhard Dirschl, Fabian Romahn, Thorsten Mai, Laurenz Berger, Tim Friedrich, Christian Wischnewski, Martin Seidel, Jonas Stahl, Rüdiger Dillmann
Karlsruhe: KIT, Fakultät für Informatik, 2012

Görke, Robert [Sonstige Person, Familie und Körperschaft]; Kluge, Roland [Sonstige Person, Familie und Körperschaft]; Schumm, Andrea [Sonstige Person, Familie und Körperschaft]; Staudt, Christian [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2012,17: An Efficient Generator for Clustered Dynamic Random Networks Robert Görke, Roland Kluge, Andrea Schumm, Christian Staudt, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012

Becker, Steffen [HerausgeberIn]
2012,21: Palladio Days 2012 Proceedings, 8 - 9 November 2012, Universität Paderborn, Germany Steffen Becker ... (Editors)
Karlsruhe: KIT, Fakultät für Informatik, 2012

Chen, Qi [VerfasserIn]; Prautzsch, Hartmut [VerfasserIn]
2012,16: Generalized Catmull-Clark Subdivision Qi Chen and Hartmut Prautzsch
Karlsruhe: KIT, Fakultät für Informatik, 2012

Glantz, Roland [VerfasserIn]; Meyerhenke, Henning [VerfasserIn]
2012,19: On partitioning a plane graph by plane curves Roland Glantz, Henning Meyerhenke
Karlsruhe: KIT, Fakultät für Informatik, 2012

Falke, Stephan [VerfasserIn]; Kapur, Deepak [VerfasserIn]
2012, 2: Rewriting Induction + Linear Arithmetic = Decision Procedure Stephan Falke und Deepak Kapur
Karlsruhe: KIT, Fakultät für Informatik, 2012

Mueller, Jens [VerfasserIn]; Kavak, Murat [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2012, 1: A Graphical Audit Facility for Data Processing and its Evaluation with Users Jens Müller, Murat Kavak, and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012

Kimmerle, Tobias [VerfasserIn]; Hütter, Christian [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2012,7: Design and Implementation of a Tool for Peer Assessment Tobias Kimmerle, Christian Hütter and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012

Buchmann, Erik [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2012,15: How Much do Digital Natives Disclose on the Internet – a Privacy Study Erik Buchmann, Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2012

Hamann, Michael [VerfasserIn]; Hartmann, Tanja [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2012,4: Complete Hierarchical Cut-Clustering A Case Study on Modularity and Expansion Michael Hamann, Tanja Hartmann and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2012

Delling, Daniel [Sonstige Person, Familie und Körperschaft]; Dibbelt, Julian [Sonstige Person, Familie und Körperschaft]; Pajor, Thomas [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]; Werneck, Renato F. [Sonstige Person, Familie und Körperschaft]
2012,20: Computing and Evaluating Multimodal Journeys Daniel Delling, Julian Dibbelt, Thomas Pajor, Dorothea Wagner, and Renato F. Werneck
Karlsruhe: KIT, Fakultät für Informatik, 2012

Alam, Nadia [Sonstige Person, Familie und Körperschaft]; Betz, Stefanie [HerausgeberIn]; Huber, Matthias [HerausgeberIn]; Feuchter, Dirk [HerausgeberIn]; Reussner, Ralf [HerausgeberIn]; Oberweis, Andreas [HerausgeberIn]; Dreier, Thomas [HerausgeberIn]; Melullis, Klaus-Jürgen [HerausgeberIn]; Budde, Jost [Sonstige Person, Familie und Körperschaft]; Drescher, Andreas [Sonstige Person, Familie und Körperschaft]; Fuchs, Andre [Sonstige Person, Familie und Körperschaft]; Kayser, Viktoria [Sonstige Person, Familie und Körperschaft]; Knapp, Thomas [Sonstige Person, Familie und Körperschaft]; Kramer, Max [Sonstige Person, Familie und Körperschaft]; Dammler, Markus [HerausgeberIn]; Depner, Melanie [HerausgeberIn]
2011,22: Seminar Softwarepatente Proceedings. 1. August 2011, Karlsruhe, Deutschland Nadia Alam, Jost Budde, Andreas Drescher, Andre Fuchs, Viktoria Kayser, Thomas Knapp, Max Kramer. Editoren: Markus Dammler, Melanie Depner, Stefanie Betz, Matthias Huber, Dirk Feuchter, Ralf Reussner, Andreas Oberweis, Thomas Dreier, Klaus-J. Melullis
Karlsruhe: KIT, Fakultät für Informatik, 2011

Neider, Raphael [VerfasserIn]
2011,1: The OpenProcessor Platform Fostering Research on the Hardware/Software Boundary Raphael Neider
Karlsruhe: KIT, Fakultät für Informatik, 2011

Meinert, Sascha [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2011,13: An Experimental Study on Generating Planar Graphs Sascha Meinert and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Görke, Robert [VerfasserIn]; Hartmann, Tanja [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2011,12: Dynamic Graph Clustering Using Minimum-Cut Trees Robert Görke, Tanja Hartmann, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Mülle, Jutta [VerfasserIn]; Stackelberg, Silvia von [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2011,9: A Security Language for BPMN Process Models Jutta Mülle, Silvia von Stackelberg and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2011

Kao, Mong-Jen [Sonstige Person, Familie und Körperschaft]; Katz, Bastian [Sonstige Person, Familie und Körperschaft]; Krug, Marcus [Sonstige Person, Familie und Körperschaft]; Lee, D.T [Sonstige Person, Familie und Körperschaft]; Rutter, Ignaz [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2011,18: The Density Maximization Problem in Graphs Mong-Jen Kao, Bastian Katz, Marcus Krug, D.T. Lee, Ignaz Rutter, Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Di Giacomo, Emilio [Sonstige Person, Familie und Körperschaft]; Frati, Fabrizio [Sonstige Person, Familie und Körperschaft]; Fulek, Radoslav [Sonstige Person, Familie und Körperschaft]; Grilli, Luca [Sonstige Person, Familie und Körperschaft]; Krug, Marcus [Sonstige Person, Familie und Körperschaft]
2011,24: Orthogeodesic Point-Set Embedding of Trees Emilio di Giacomo, Fabrizio Frati, Radoslav Fulek, Luca Grilli, Marcus Krug
Karlsruhe: KIT, Fakultät für Informatik, 2011

Beckert, Bernhard [HerausgeberIn]
2011,26: Formal Verification of Object-Oriented Software Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy Bernhard Beckert ... (Eds.)
Karlsruhe: KIT, Fakultät für Informatik, 2011

Falke, Stephan [VerfasserIn]; Kapur, Deepak [VerfasserIn]; Sinz, Carsten [VerfasserIn]
2011,6: Termination Analysis of C Programs Using Compiler Intermediate Languages Stephan Falke, Deepak Kapur, and Carsten Sinz
Karlsruhe: KIT, Fakultät für Informatik, 2011

Schmitt, Peter H. [VerfasserIn]
2011,15: TA Computer-Assisted Proof of the Bellman-Ford Lemma Peter H. Schmitt
Karlsruhe: KIT, Fakultät für Informatik, 2011

Kuperberg, Michael [Sonstige Person, Familie und Körperschaft]; Herbst, Nikolas [Sonstige Person, Familie und Körperschaft]; Kistowski, Joakim von [Sonstige Person, Familie und Körperschaft]; Reussner, Ralf [Sonstige Person, Familie und Körperschaft]
2011,16: Defining and Quantifying Elasticity of Resources in Cloud Computing and Scalable Platforms Michael Kuperberg, Nikolas Herbst, Joakim von Kistowski, Ralf Reussner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Mueller, Jens [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2011,28: Using Federated Identity Management in a Business-Process-Management System - Requirements, Architecture, and Implementation Tanja Hartmann und Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Kühne, Conny [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2011,30: Revealing the Suitability of Incentive Mechanisms for the Collaborative Creation of Structured Knowledge Conny Kühne and Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2011

Straub, Raphael [VerfasserIn]; Prautzsch, Hartmut [VerfasserIn]
2011,36: Creating Optimized Cut-Out Sheets for Paper Models from Meshes Raphael Straub and Hartmut Prautzsch
Karlsruhe: KIT, Fakultät für Informatik, 2011

Stackelberg, Silvia von [VerfasserIn]; Böhm, Klemens [VerfasserIn]; Bracht, Matthias [VerfasserIn]
2011,38: Embedding 'Break the Glass' into Business Process Models Silvia von Stackelberg, Klemens Böhm and Matthias Bracht
Karlsruhe: KIT, Fakultät für Informatik, 2011

Ulbrich, Mattias [Sonstige Person, Familie und Körperschaft]; Geilmann, Ulrich [Sonstige Person, Familie und Körperschaft]; El Ghazi, Aboubakr Achraf [Sonstige Person, Familie und Körperschaft]
2011,37: On Proving Alloy Specifications Using KeY Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
Karlsruhe: KIT, Fakultät für Informatik, 2011

Pankratius, Victor [VerfasserIn]; Heneka, Martin [VerfasserIn]
2011,5: Parallel SQL Query Auto-Tuning on Multicore Victor Pankratius, Martin Heneka
Karlsruhe: KIT, Fakultät für Informatik, 2011

Schieferdecker, Dennis [VerfasserIn]; Völker, Markus [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2011,8: Efficient Algorithms for Distributed Detection of Holes and Boundaries in Wireless Networks Dennis Schieferdecker, Markus Völker, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Doll, Christof [VerfasserIn]; Hartmann, Tanja [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2011,10: Fully-Dynamic Hierarchical Graph Clustering Using Cut Trees Christof Doll, Tanja Hartmann, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Görke, Robert [Sonstige Person, Familie und Körperschaft]; Maillard, Pascal [Sonstige Person, Familie und Körperschaft]; Schumm, Andrea [Sonstige Person, Familie und Körperschaft]; Staudt, Christian [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2011,11: Dynamic Graph Clustering Combining Modularity and Smoothness Robert Görke, Pascal Maillard, Andrea Schumm, Christian Staudt, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Görke, Robert [VerfasserIn]; Schumm, Andrea [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2011,17: Density-Constrained Graph Clustering Robert Görke, Andrea Schumm, and Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Bestehorn, Markus [VerfasserIn]
2011,20: Querying Moving Objects Detected by Sensor Networks Extended Version Markus Bestehorn
Karlsruhe: KIT, Fakultät für Informatik, 2011

Hartmann, Tanja [VerfasserIn]; Wagner, Dorothea [VerfasserIn]
2011,25: Fully-Dynamic Cut Tree Construction Tanja Hartmann und Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Brunel, Edith [Sonstige Person, Familie und Körperschaft]; Gemsa, Andreas [Sonstige Person, Familie und Körperschaft]; Krug, Marcus [Sonstige Person, Familie und Körperschaft]; Rutter, Ignaz [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2011,27: Generalizing geometric graphs Edith Brunel, Andreas Gemsa, Marcus Krug, Ignaz Rutter, Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2011

Pretschner, Alexander [VerfasserIn]; Lovat, Enrico [VerfasserIn]; Büchler, Matthias [VerfasserIn]
2011,23: Representation-Independent Data Usage Control Alexander Pretschner, Enrico Lovat, Matthias Büchler
Karlsruhe: KIT, Fakultät für Informatik, 2011

Zwinkau, Andreas [VerfasserIn]; Pankratius, Victor [VerfasserIn]
2011,29: Evolutionary Auto-Tuning for Multicore Applications Andreas Zwinkau und Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2011

Pankratius, Victor [VerfasserIn]; Schmidt, Felix [VerfasserIn]; Garretón, Gilda [VerfasserIn]
2011,31: On the Benefits of Combining Functional and Imperative Programming for Multicore Software An Empirical Study Comparing Scala and Java Victor Pankratius, Felix Schmidt, Gilda Garretón
Karlsruhe: KIT, Fakultät für Informatik, 2011

Lochbihler, Andreas [VerfasserIn]
2011,34: A Unified, Machine-Checked Formalisation of Java and the Java Memory Model Andreas Lochbihler
Karlsruhe: KIT, Fakultät für Informatik, 2011

Braun, Matthias [VerfasserIn]; Buchwald, Sebastian [VerfasserIn]; Zwinkau, Andreas [VerfasserIn]
2011,35: FIRM - A Graph-Based Intermediate Representation Matthias Braun, Sebastian Buchwald, Andreas Zwinkau
Karlsruhe: KIT, Fakultät für Informatik, 2011

Stammel, Johannes [Sonstige Person, Familie und Körperschaft]; Durdik, Zoya [Sonstige Person, Familie und Körperschaft]; Krogmann, Klaus [Sonstige Person, Familie und Körperschaft]; Weiss, Roland [Sonstige Person, Familie und Körperschaft]; Koziolek, Heiko [Sonstige Person, Familie und Körperschaft]
2011,2: Software Evolution for Industrial Automation Systems Literature Overview Johannes Stammel, Zoya Durdik, Klaus Krogmann, Roland Weiss, Heiko Koziolek
Karlsruhe: KIT, Fakultät für Informatik, 2011

Karcher, Thomas [VerfasserIn]; Pankratius, Victor [VerfasserIn]
2011,4: Auto-Tuning Multicore Applications at Run-Time with a Cooperative Tuner Thomas Karcher, Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2011

Reussner, Ralf [Sonstige Person, Familie und Körperschaft]; Becker, Steffen [Sonstige Person, Familie und Körperschaft]; Burger, Erik [Sonstige Person, Familie und Körperschaft]; Happe, Jens [Sonstige Person, Familie und Körperschaft]; Hauck, Michael [Sonstige Person, Familie und Körperschaft]; Koziolek, Anne [Sonstige Person, Familie und Körperschaft]; Koziolek, Heiko [Sonstige Person, Familie und Körperschaft]; Krogmann, Klaus [Sonstige Person, Familie und Körperschaft]; Kuperberg, Michael [Sonstige Person, Familie und Körperschaft]
2011,14: The Palladio Component Model Ralf Reussner, Steffen Becker, Erik Burger, Jens Happe, Michael Hauck, Anne Koziolek, Heiko Koziolek, Klaus Krogmann, Michael Kuperberg
Karlsruhe: KIT, Fakultät für Informatik, 2011

Chen, Qi [VerfasserIn]; Dapp, Robin [VerfasserIn]
2011,21: Interpolation of curves using variational subdivision surfaces Qi Chen and Robin Dapp
Karlsruhe: KIT, Fakultät für Informatik, 2011

Becker, Steffen [HerausgeberIn]
2011,32: Palladio Days 2011 Proceedings, 17-18 November 2011, FZI Forschungszentrum Informatik, Karlsruhe, Germany Steffen Becker ... (Editors)
Karlsruhe: KIT, Fakultät für Informatik, 2011

2010, 3: Tagungsband des 12. Kryptotags. Workshop der Fachgruppe "Angewandte Kryptographie" der "Gesellschaft für Informatik e.V." Institut für Kryptographie und Sicherheit
Karlsruhe: KIT, Fakultät für Informatik, 2010

Beckert, Bernhard [HerausgeberIn]; Marche, Claude [HerausgeberIn]
2010,13: Formal Verification of Object-Oriented Software Papers presented at the International Conference, June 28-30, 2010, Paris, France Bernhard Beckert ; Claude Marché (Eds.)
Karlsruhe: KIT, Fakultät für Informatik, 2010 ; Berlin [u.a.]: Springer, 2010

Delling, Daniel [Sonstige Person, Familie und Körperschaft]; Gemsa, Andreas [Sonstige Person, Familie und Körperschaft]; Nöllenburg, Martin [Sonstige Person, Familie und Körperschaft]; Pajor, Thomas [Sonstige Person, Familie und Körperschaft]
2010,2: Path schematization for route sketches Daniel Delling ; Andreas Gemsa ; Martin Nöllenburg ; Thomas Pajor
Karlsruhe: KIT, Fakultät für Informatik, 2010

Schimmel, Jochen [VerfasserIn]; Pankratius, Victor [VerfasserIn]
2010,1: TachoRace: Exploiting Performance Counters for Run-Time Race Detection Jochen Schimmel ; Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2010

Bauer, Reinhard [Sonstige Person, Familie und Körperschaft]; Columbus, Tobias [Sonstige Person, Familie und Körperschaft]; Katz, Bastian [Sonstige Person, Familie und Körperschaft]; Krug, Marcus [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2010,4: Preprocessing Speed-Up Techniques is Hard Reinhard Bauer ; Tobias Columbus ; Bastian Katz ; Marcus Krug ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010

Hartmann, Björn-Oliver [VerfasserIn]; Böhm, Klemens [VerfasserIn]; Hütter, Christian [VerfasserIn]
2010,6: Towards Efficient Equilibria of Combinations of Network-Formation and Interaction Strategies Björn-Oliver Hartmann ; Klemens Böhm ; Christian Hütter
Karlsruhe: KIT, Fakultät für Informatik, 2010

Krenický, Roman [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]
2010,7: Deductive Verification of a Byzantine Agreement Protocol Roman Krenický ; Mattias Ulbrich
Karlsruhe: KIT, Fakultät für Informatik, 2010

Meder, David J. [VerfasserIn]; Tichy, Walter F. [VerfasserIn]
2010,9: Parallelizing an Index Generator for Desktop Search David J. Meder ; Walter F. Tichy
Karlsruhe: KIT, Fakultät für Informatik, 2010

Eichinger, Frank [VerfasserIn]; Huber, Matthias [VerfasserIn]; Böhm, Klemens [VerfasserIn]
2010,10: On the Usefulness of Weight-Based Constraints in Frequent Subgraph Mining Frank Eichinger ; Matthias Huber ; Klemens Böhm
Karlsruhe: KIT, Fakultät für Informatik, 2010

Bühnová, Barbora [HerausgeberIn]; Reussner, Ralf [HerausgeberIn]; Szyperski, Clemens [HerausgeberIn]; Weck, Wolfgang [HerausgeberIn]
2010,14: Proceedings of the Fifteenth International Workshop on Component-Oriented Programming (WCOP) 2010 22nd June 2010, Praha, Czech Republic Barbora Bühnová ; Ralf Reussner ; Clemens Szyperski ; Wolfgang Weck (Eds.)
Karlsruhe: KIT, Fakultät für Informatik, 2010

Denninger, Oliver [VerfasserIn]
2010,16: Fallstudie: Parallelisierung der Erstellung von Tiefenkarten aus Stereobildern Oliver Denninger
Karlsruhe: KIT, Fakultät für Informatik, 2010

Hauck, Michael [Sonstige Person, Familie und Körperschaft]; Huber, Matthias [Sonstige Person, Familie und Körperschaft]; Klems, Markus [Sonstige Person, Familie und Körperschaft]; Kounev, Samuel [Sonstige Person, Familie und Körperschaft]; Müller-Quade, Jörn [Sonstige Person, Familie und Körperschaft]; Pretschner, Alexander [Sonstige Person, Familie und Körperschaft]; Reussner, Ralf [Sonstige Person, Familie und Körperschaft]; Tai, Stefan [Sonstige Person, Familie und Körperschaft]
2010,19: Challenges and Opportunities of Cloud Computing Trade-off Decisions in Cloud Computing Architecture Michael Hauck, Matthias Huber, Markus Klems, Samuel Kounev, Jörn Müller-Quade, Alexander Pretschner, Ralf Reussner, Stefan Tai
Karlsruhe: KIT, Fakultät für Informatik, 2010

Schmitt, Peter H. [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]; Weiß, Benjamin [VerfasserIn]
2010,11: Dynamic Frames in Java Dynamic Logic Formalisation and Proofs Peter H. Schmitt ; Mattias Ulbrich ; Benjamin Weiß
Karlsruhe: KIT, Fakultät für Informatik, 2010

Pankratius, Victor [VerfasserIn]
2010,8: Search Algorithms for Automatic Performance Tuning of Parallel Applications on Multicore Platforms Victor Pankratius
Karlsruhe: KIT, Fakultät für Informatik, 2010

Bläsius, Thomas [Sonstige Person, Familie und Körperschaft]; Krug, Marcus [Sonstige Person, Familie und Körperschaft]; Rutter, Ignaz [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2010,18: Orthogonal Graph Drawing with Flexibility Constraints Thomas Bläsius ; Marcus Krug ; Ignaz Rutter ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010

Gemsa, Andreas [Sonstige Person, Familie und Körperschaft]; Nöllenburg, Martin [Sonstige Person, Familie und Körperschaft]; Pajor, Thomas [Sonstige Person, Familie und Körperschaft]; Rutter, Ignaz [Sonstige Person, Familie und Körperschaft]
2010,21: On d-regular Schematization of Embedded Paths Andreas Gemsa, Martin Nöllenburg, Thomas Pajor, Ignaz Rutter
Karlsruhe: KIT, Fakultät für Informatik, 2010

Görke, Robert [Sonstige Person, Familie und Körperschaft]; Maillard, Pascal [Sonstige Person, Familie und Körperschaft]; Staudt, Christian [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2010,5: Modularity-Driven Clustering of Dynamic Graphs Robert Görke ; Pascal Maillard ; Christian Staudt ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010

Bauer, Reinhard [Sonstige Person, Familie und Körperschaft]; D'Angelo, Gianlorenzo [Sonstige Person, Familie und Körperschaft]; Delling, Daniel [Sonstige Person, Familie und Körperschaft]; Schumm, Andrea [Sonstige Person, Familie und Körperschaft]; Wagner, Dorothea [Sonstige Person, Familie und Körperschaft]
2010,17: The Shortcut Problem - Complexity and Algorithms Reinhard Bauer ; Gianlorenzo D'Angelo ; Daniel Delling ; Andrea Schumm ; Dorothea Wagner
Karlsruhe: KIT, Fakultät für Informatik, 2010

Bestehorn, Markus [Sonstige Person, Familie und Körperschaft]; Böhm, Klemens [Sonstige Person, Familie und Körperschaft]; Buchmann, Erik [Sonstige Person, Familie und Körperschaft]; Kessler, Stephan [Sonstige Person, Familie und Körperschaft]
2010,12: Energy-Efficient Processing of Spatio-Temporal Queries in Wireless Sensor Networks Extended version Markus Bestehorn ; Klemens Böhm ; Erik Buchmann ; Stephan Kessler
Karlsruhe: KIT, Fakultät für Informatik, 2010

Beckert, Bernhard [Sonstige Person, Familie und Körperschaft]; Hofheinz, Dennis [Sonstige Person, Familie und Körperschaft]; Müller-Quade, Jörn [Sonstige Person, Familie und Körperschaft]; Pretschner, Alexander [Sonstige Person, Familie und Körperschaft]; Snelting, Gregor [Sonstige Person, Familie und Körperschaft]
2010,20: Software Security in Virtualized Infrastructures The Smart Meter Example B. Beckert, D. Hofheinz, J. Müller-Quade, A. Pretschner, G. Snelting
Karlsruhe: KIT, Fakultät für Informatik, 2010

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: