- 2016
- Christoph Rauch, Sergey Goncharov
, Lutz Schröder
:
Generic Hoare Logic for Order-Enriched Effects with Exceptions. WADT 2016: 208-222 - Sergey Goncharov
, Stefan Milius, Christoph Rauch:
Complete Elgot Monads and Coalgebraic Resumptions. MFPS 2016: 147-168 - Sergey Goncharov, Stefan Milius, Christoph Rauch:
Complete Elgot Monads and Coalgebraic Resumptions. CoRR abs/1603.02148 (2016) - 2015
- Tom Proctor, Christopher Sweet, Kyle Goodsell, Daniel Rauchwerger:
Panocam and postvis for the Chicago chase in jupiter ascending. SIGGRAPH Talks 2015: 30:1 - Sergey Goncharov
, Christoph Rauch, Lutz Schröder
:
Unguarded Recursion on Coinductive Resumptions. MFPS 2015: 183-198 - 2014
- Shannon M. Rauch, Cara Strobel, Megan Bella, Zachary Odachowski, Christopher Bloom:
Face to Face Versus Facebook: Does Exposure to Social Networking Web Sites Augment or Attenuate Physiological Arousal Among the Socially Anxious? Cyberpsychology Behav. Soc. Netw. 17(3): 187-190 (2014) - Sergey Goncharov, Lutz Schröder, Christoph Rauch:
(Co-)Algebraic Foundations for Effect Handling and Iteration. CoRR abs/1405.0854 (2014) - 2013
- Anthony Astoul, Christopher Filliter, Andrew Rau-Chaplin
, Kunal Shridhar, Blesson Varghese, Naman Varshney:
Risk Analytics for Estimating and Validating Magnitude of Earthquake Losses. DEXA Workshops 2013: 26-31 - Anthony Astoul, Christopher Filliter, Eric Mason, Andrew Rau-Chaplin, Kunal Shridhar, Blesson Varghese, Naman Varshney:
Developing and Testing the Automated Post-Event Earthquake Loss Estimation and Visualisation (APE-ELEV) Technique. CoRR abs/1308.1846 (2013) - 2012
- Geneviève Albouy
, Virginie Sterpenich
, Gilles Vandewalle
, Annabelle Darsaud, Steffen Gais, Géraldine Rauchs
, Martin Desseilles
, Mélanie Boly, Thanh Dang-Vu
, Evelyne Balteau, Christian Degueldre, Christophe Phillips
, André Luxen, Pierre Maquet
:
Neural correlates of performance variability during motor sequence acquisition. NeuroImage 60(1): 324-331 (2012) - 2009
- Matthieu Rauch
, Jean-Yves Hascoët, Jean-Christophe Hamann, Yannick Plenel:
Tool path programming optimization for incremental sheet forming applications. Comput. Aided Des. 41(12): 877-885 (2009) - Ossama Abdel Hamid, Behshad Behzadi, Stefan Christoph, Monika Henzinger:
Detecting the origin of text segments efficiently. WWW 2009: 61-70 - 2008
- Chris H. Hamilton, Andrew Rau-Chaplin
:
Compact Hilbert indices: Space-filling curves for domains with unequal side lengths. Inf. Process. Lett. 105(5): 155-163 (2008) - 2007
- Chris H. Hamilton, Andrew Rau-Chaplin
:
Compact Hilbert Indices for Multi-Dimensional Data. CISIS 2007: 139-146 - 2006
- Christopher I. Wright, Nancy J. Keuthen, Cary R. Savage, Brian Martis, Danielle M. Williams, Michelle Wedig, Katherine McMullin, Scott L. Rauch:
Brain correlates of negative and positive visuospatial priming in adults. NeuroImage 30(3): 983-991 (2006) - Silvius Vasile Rus, Guobin He, Christophe Alias, Lawrence Rauchwerger:
Region array SSA. PACT 2006: 43-52 - Ganesh Bikshandi, Jia Guo, Christoph von Praun, Gabriel Tanase, Basilio B. Fraguela
, María Jesús Garzarán, David A. Padua, Lawrence Rauchwerger:
Design and Use of htalib - A Library for Hierarchically Tiled Arrays. LCPC 2006: 17-32 - Alexander Wiesmaier, Ulrich Rauchschwalbe, Christoph Ludwig, Birgit Henhapl, Markus Ruppert, Johannes Buchmann:
Intrinsically Legal-For-Trade Objects by Digital Signatures. Sicherheit 2006: 218-221 - Alexander Wiesmaier, Ulrich Rauchschwalbe, Christoph Ludwig, Birgit Henhapl, Markus Ruppert, Johannes Buchmann:
Intrinsically Legal-For-Trade Objects by Digital Signatures. CoRR abs/cs/0603011 (2006) - 2003
- Christopher I. Wright, Brian Martis, Carl E. Schwartz, Lisa M. Shin, Håkan Fischer
, Katherine McMullin, Scott L. Rauch:
Novelty responses and differential effects of order in the amygdala, substantia innominata, and inferior temporal cortex. NeuroImage 18(3): 660-669 (2003)