sign in · help · news · about ·

BibSonomy :: author :: Christoff ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(20)

<< < 1 > >>

Reference Attribute Grammars for Metamodel Semantics.
Christoff Bürger, Sven Karol, Christian Wende, and Uwe Aßmann SLE, volume 6563 of Lecture Notes in Computer Science, page 22-41. Springer, (2010)
to dblp by dblp on Feb 21, 2011, 12:00 AM
URL | BibTeX
Remote Sensing Erosion Estimation.
Richard Gloaguen, Mathias Leidig, and Christoff Andermann IGARSS 2, page 378-383. IEEE, (2009)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX
Erosion in the Himalayas on Catchment Scale. Integrative Remote Sensing Assesment.
Christoff Andermann, Stéphane Bonnet, and Richard Gloaguen IGARSS 3, page 216-219. IEEE, (2009)
to dblp by dblp on Jan 10, 2011, 12:00 AM
URL | BibTeX
Exploring the pipeline: towards an understanding of the male dominated computing culture and its influence on women.
Christina Björkman, Ivan Christoff, Fredrik Palm, and Anna Vallin SIGCSE Bulletin 30(2):64-69 (1998)
to dblp by dblp on Jan 29, 2010, 12:00 AM
URL | BibTeX
Testing Equivalences and Fully Abstract Models for Probabilistic Processes.
Ivan Christoff CONCUR, volume 458 of Lecture Notes in Computer Science, page 126-140. Springer, (1990)
to dblp by dblp on Oct 13, 2009, 12:00 AM
URL | BibTeX
A Method for Verification of Trace and Test Equivalence.
Ivan Christoff Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 81-88. Springer, (1989)
to dblp by dblp on Oct 2, 2009, 12:00 AM
URL | BibTeX
Reasonong about Safety and Liveness Properties for Probabilistic Processes.
Linda Christoff, and Ivan Christoff FSTTCS, volume 652 of Lecture Notes in Computer Science, page 342-355. Springer, (1992)
to dblp by dblp on Oct 2, 2009, 12:00 AM
URL | BibTeX
Priority and Abstraction in Process Algebra.
V. Natarajan, Ivan Christoff, Linda Christoff, and Rance Cleaveland FSTTCS, volume 880 of Lecture Notes in Computer Science, page 217-230. Springer, (1994)
to dblp by dblp on Oct 2, 2009, 12:00 AM
URL | BibTeX
Efficient Algorithms for Verification of Equivalences for Probabilistic Processes.
Linda Christoff, and Ivan Christoff CAV, volume 575 of Lecture Notes in Computer Science, page 310-321. Springer, (1991)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
�Der völkerrechtliche Rückgabeanspruch auf in Kriegszeiten widerrechtliche verbrachte Kulturgüter
Christoff Jenschke Duncker & Humblot, Berlin, (2005)
to Krieg Kulturgut by sweinand on Aug 25, 2009, 12:33 PM
BibTeX
Betriebliches Humanvermögen
Christoff Aschoff Betriebswirtschaft in Forschung und Praxis Gabler, Wiesbaden, (1978)
to imported by fbw_hannover on Aug 21, 2009, 9:46 AM
URL | BibTeX
Introduction to Assessing and Securing Web Services.
Christoff Breytenbach ISSA, page 1-14. ISSA, Pretoria, South Africa, (2005)
to dblp by dblp on Feb 18, 2009, 12:00 AM
URL | BibTeX
Neural correlates of the automatic processing of threat facial signals
Adam. K. Anderson, Kalina. Christoff, David. Panitz, Eve. De Rosa., and John. D. E. Gabrieli J Neurosci 23(13):5627-5633 (July 2003)Clinical Trial .
to imported by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Dissociated neural representations of intensity and valence in human olfaction.
A. K. Anderson, K. Christoff, I. Stappen, D. Panitz, D. G. Ghahremani, G. Glover, J. D. Gabrieli, and N. Sobel Nature Neuroscience (2003)
to pfc by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
The frontopolar cortex and human cognition: Evidence for a rostrocaudal hierarchical organization within the human prefrontal cortex.
Kalina Christoff, and J. D. E. Gabrieli Psychobiology (2000)
to pfc by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Abstraction of mental representations: Theoretical considerations and neuroscientific evidence
Kalina Christoff, and K. Keramatian Neuroscience of Rule-Guided Behavior, Oxford University Press, (2007)
to imported by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Rostrolateral prefrontal cortex involvement in relational integration during reasoning
K. Christoff, V. Prabhakaran, J. Dorfman, Z. Zhao, J. K. Kroger, K. J. Holyoak, and J. D. Gabrieli Neuroimage 14(5):1136-4119 (2001)
to CCP JRR, by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Neural basis of spontaneous thought processes.
Kalina Christoff, Justin M Ream, and John D E Gabrieli Cortex 40(4-5):623--630 (2004)
to imported by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Evaluating self-generated information: anterior prefrontal contributions to human cognition.
Kalina Christoff, Justin M Ream, Leo P T Geddes, and John D E Gabrieli Behavioral Neuroscience 117(6):1161-1168 (2003)
to CCP Gov't, H. JRR, P. S. S., Support, U. by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Localizing the rostrolateral prefrontal cortex at the individual level.
Rachelle Smith, Kamyar Keramatian, and Kalina Christoff Neuroimage 36(4):1387--1396 (2007)
to imported by brian.mingus on Sep 16, 2008, 11:39 PM
DOI | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper