• 

  (585.2Kb)
  Towards Formula Concept Discovery and Recognition 

  Scharpf, Philipp; Schubotz, Moritz; Cohl, Howard S.; Gipp, Bela (2019) - Contribution to a conference
  Published in: BIRNDL 2019 - Bibliometric-enhanced Information Retrieval and Natural Language Processing for Digital Libraries : Proceedings of the 4th Joint Workshop on Bibliometric-enhanced Information Retrieval and Natural Language Processing for Digital Libraries (BIRNDL 2019) co-located with the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2019), Paris, France, July 25, 2019 / Chandrasekaran, Muthu Kumar; Mayr, Philipp (ed.). - Aachen : RWTH Aachen, 2019. - (CEUR workshop proceedings ; 2414). - pp. 108-115. - eISSN 1613-0073
• 

  (5.663Mb)
  Construct-A-Vis : exploring the free-form visualization processes of children 

  Bishop, Fearn; Zagermann, Johannes; Pfeil, Ulrike; Sanderson, Gemma; Reiterer, Harald; Hinrichs, Uta (2019) - Journal article
  To Appear in: IEEE Transactions on Visualization and Computer Graphics ; 2019. - ISSN 1077-2626. - eISSN 1941-0506
• 

  (40.52Mb)
  5th ITG/VDE Summer School on Video Compression and Processing (SVCP), June 17 – 19, 2019 in Konstanz 

  Saupe, Dietmar; Kaup, André; Ohm, Jens-Rainer (ed.) (Konstanz : Universität Konstanz, 2019) - Other, text-bound
• 

  (29.48Mb)
  BinocularsVR : A VR experience for the exhibition “From Lake Constance to Africa, a long distance travel with ICARUS” 

  Sommer, Björn; Feyer, Stefan; Klinkhammer, Daniel; Klein, Karsten; Wieland, Jonathan; Fink, Daniel; Fiedler, Wolfgang; Flack, Andrea; Nagy, Mate; Wikelski, Martin; Reiterer, Harald; Schreiber, Falk (2019) - Contribution to a conference
  Published in: IS&T International Symposium on Electronic Imaging 2019 : The Engineering Reality of Virtual Reality 2019 / Dolinsky, Margaret; McDowall, Ian E. (ed.). - Springfield, VA : IS&T, 2019. - 177. - eISSN 2470-1173
• 

  (1018.Kb)
  Clock Bound Repair for Timed Systems 

  Kölbl, Martin; Leue, Stefan; Wies, Thomas (2019) - Contribution to a conference
  Published in: Computer Aided Verification : 31st International Conference, CAV 2019, Proceedings, Part I / Dillig, Isil; Tasiran, Serdar (ed.). - Cham : Springer International Publishing, 2019. - (Lecture Notes in Computer Science ; 11561). - pp. 79-96. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-030-25539-8
• 

  (358.9Kb)
  EduClust : A Visualization Application for Teaching Clustering Algorithms 

  Fuchs, Johannes; Isenberg, Petra; Bezerianos, Anastasia; Miller, Matthias; Keim, Daniel (2019) - Contribution to a conference
  Published in: Eurographics 2019 : Education Papers / Tarini, Marco; Galin, Eric (ed.). - Genf : The Eurographics Association, 2019. - eISSN 1017-4656
• 

  (144.4Kb)
  Real-Time Gaze Mapping in Virtual Environments 

  Kraus, Matthias; Kilian, Timon; Fuchs, Johannes (2019) - Contribution to a conference
  Published in: EUROVIS 2019 Posters / Madeiras Pereira, João; Raidou, Renata Georgia (ed.). - Genf : The Eurographics Association, 2019. - ISBN 978-3-03868-088-8
• 

  (118.3Kb)
  Comparative Analysis with Heightmaps in Virtual Reality Environments 

  Kraus, Matthias; Buchmüller, Juri; Schweitzer, Daniel; Keim, Daniel A.; Fuchs, Johannes (2019) - Contribution to a conference
  Published in: EUROVIS 2019 Posters / Madeiras Pereira, João; Raidou, Renata Georgia (ed.). - Genf : The Eurographics Association, 2019. - ISBN 978-3-03868-088-8
• 

  (796.2Kb)
  Analysis of Sample Correlations for Monte Carlo Rendering 

  Singh, Gurprit; Öztireli, Cengiz; Ahmed, Abdalla G.M.; Coeurjolly, David; Subr, Kartic; Deussen, Oliver; Ostromoukhov, Victor; Ramamoorthi, Ravi; Jarosz, Wojciech (2019) - Journal article
  Published in: Computer Graphics Forum ; 38 (2019), 2. - pp. 473-491. - ISSN 0167-7055. - eISSN 1467-8659
• 

  (169.4Kb)
  Experiences with Implementing Landmark Embedding in Neo4j 

  Hotz, Manuel; Chondrogiannis, Theodoros; Wörteler, Leonard; Grossniklaus, Michael (2019) - Contribution to a conference
  Published in: Proceedings of the 2nd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA) - GRADES-NDA'19. - New York : ACM Press, 2019. - 7. - ISBN 978-1-4503-6789-9
• 

  (3.510Mb)
  Effektives Widening mit Hashbasierter Partitionierung des Hypothesenraums 

  Fillbrunn, Alexander (2019) - Dissertation
• 

  (2.666Mb)
  Communication-less Strategies for Widening 

  Ivanova-Rohling, Violeta N. (2019) - Dissertation
• 

  (162.8Kb)
  Moving Together : Towards a Formalization of Collective Movement 

  Buchmüller, Juri; Cakmak, Eren; Andrienko, Natalia; Andrienko, Gennady; Jolles, Jolle W.; Keim, Daniel A. (2019) - Contribution to a conference
  Published in: EuroVis Workshop on Visual Analytics (EuroVA) / Turkay, Cagatay; von Landesberger, Tatiana (ed.). - Genf : The Eurographics Association, 2019. - ISBN 978-3-03868-087-1
• 

  (967.0Kb)
  SurgeryCuts : Embedding Additional Information in Maps without Occluding Features 

  Angelini, Marco; Buchmüller, Juri; Keim, Daniel A.; Meschenmoser, Philipp; Santucci, Giuseppe (2019) - Journal article
  Published in: Computer Graphics Forum ; 38 (2019), 3. - pp. 237-247. - ISSN 0167-7055. - eISSN 1467-8659
• 

  (2.217Mb)
  Systems Biology Graphical Notation: Process Description language Level 1 Version 2.0 

  Rougny, Adrien; Touré, Vasundra; Moodie, Stuart; Balaur, Irina; Czauderna, Tobias; Borlinghaus, Hanna; Dogrusoz, Ugur; Mazein, Alexander; Dräger, Andreas; Blinov, Michael L; Villéger, Alice; Haw, Robin; Demir, Emek; Mi, Huaiyu; Sorokin, Anatoly; Schreiber, Falk; Luna, Augustin (2019) - Journal article
  Published in: Journal of integrative bioinformatics ; 16 (2019), 2. - 20190022. - eISSN 1613-4516
• 

  (502.9Kb)
  Patterns for Maude Metalanguage Applications 

  Goriac, Eugen-Ioan; Caltais, Georgiana; Lucanu, Dorel; Andrei, Oana; Grigoraş, Gheorghe (2009) - Journal article
  Published in: Electronic Notes in Theoretical Computer Science ; 238 (2009), 3. - pp. 121-138. - ISSN 1571-0661
• 

  (141.9Kb)
  CIRC : A Behavioral Verification Tool Based on Circular Coinduction 

  Lucanu, Dorel; Goriac, Eugen-Ioan; Caltais, Georgiana; Roşu, Grigore (2009) - Contribution to a conference
  Published in: Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings / Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (ed.). - Berlin : Springer, 2009. - (Lecture Notes in Computer Science ; 5728). - pp. 433-442. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-642-03740-5
• 

  (1.208Mb)
  Improving the representation and conversion of mathematical formulae by considering the textual context 

  Schubotz, Moritz; Greiner-Petter, Andre; Scharpf, Philipp; Meuschke, Norman; Cohl, Howard S.; Gipp, Bela (2018) - Journal article
  Published in: TUGBoat ; 39 (2018), 3. - pp. 228-240. - ISSN 0896-3207
• 

  (605.3Kb)
  Fly with the flock : immersive solutions for animal movement visualization and analytics 

  Klein, Karsten; Sommer, Björn; Flack, Andrea; Safi, Kamran; Nagy, Máté; Feyer, Stefan P.; Zhang, Ying; Rehberg, Kim; Gluschkow, Alexej; Quetting, Michael; Fiedler, Wolfgang; Wikelski, Martin; Schreiber, Falk et al. (2019) - Journal article
  Published in: Journal of the Royal Society Interface ; 16 (2019), 153. - 20180794. - ISSN 1742-5689. - eISSN 1742-5662
• 

  (211.0Kb)
  The Point-of-Choice Prompt or the Always-On Progress Bar? : A Pilot Study of Reminders for Prolonged Sedentary Behavior Change 

  Wang, Yunlong; Reiterer, Harald (2019) - Contribution to a conference
  Published in: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. - New York, NY : ACM Press, 2019. - LBW0213. - ISBN 978-1-4503-5971-9

View more