Separability, expressiveness, and decidability in the ambient logic von Hirschkoff, D., Lozes, E., Sangiorgi, D.

Volltext

A full formalisation of π-calculus theory in the calculus of constructions von Hirschkoff, Daniel

Volltext

Minimality Results for the Spatial Logics von Hirschkoff, D., Lozes, É., Sangiorgi, D.

Volltext

An Extensional Spatial Logic for Mobile Processes von Hirschkoff, Daniel

Volltext

A Correct Abstract Machine for Safe Ambients von Hirschkoff, Daniel, Pous, Damien, Sangiorgi, Davide

Volltext

On the representation of McCarthy's amb in the π -calculus von Carayol, Arnaud, Hirschkoff, Daniel, Sangiorgi, Davide

Volltext

On the representation of McCarthy's, amb, in the, [pi],-calculus von Carayol, A, Hirschkoff, D, Sangiorgi, D

Volltext

A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis von RÖCKL, CHRISTINE, HIRSCHKOFF, DANIEL

Volltext

Component-oriented programming with sharing: containment is not ownership von Hirschkoff, Daniel, Hirschowitz, Tom, Pous, Damien, Schmitt, Alan, Stefani, Jean-Bernard

Volltext

On the Benefits of Using the Up—To Techniques for Bisimulation Verification von Hirschkoff, Daniel

Volltext

On the way to certify Computer Algebra Systems von Boulmé, S., Hardin, T., Hirschkoff, D., Ménissier-Morain, V., Rioboo, R.

Volltext

Locating the central sulcus: comparison of MR anatomic and magnetoencephalographic functional methods von Sobel, DF, Gallen, CC, Schwartz, BJ, Waltz, TA, Copeland, B, Yamada, S, Hirschkoff, EC, Bloom, FE

Volltext

Potential contribution of bilateral magnetic source imaging to the evaluation of epilepsy surgery candidates von Aung, M, Sobel, D F, Gallen, C C, Hirschkoff, E C

Volltext

Biomagnetometer mit flexiblem Sensor von JAMES, STEPHEN O., SAN DIEGO, CA 92128, US, JOHNSON, RICHARD T., SAN DIEGO, CA 92129, US, DIIORIO, MARK S., DEL MAR, CA 92014, US, PAULSON, DOUGLAS, DEL MAR, CA 92014, US, BUCHANAN, D. SCOTT, ESCONDIDO, CA 92029, US, HIRSCHKOFF, EUGENE C., LEUCADIA, DA 92024, US, BLACK, WILLIAM C., DEL MAR, CA 92014, US

Volltext bestellen

Noninvasive presurgical neuromagnetic mapping of somatosensory cortex von Gallen, C C, Sobel, D F, Waltz, T, Aung, M, Copeland, B, Schwartz, B J, Hirschkoff, E C, Bloom, F E

Volltext

Potential contribution of bilateral magnetic source imaging to the evaluation of epilepsy surgery candidates. Commentaries von MAUNG AUNG, SOBEL, D. F, GALLEN, C. C, HIRSCHKOFF, E. C, SCHRAMM, J, BENZEL, E. C, WYLER, A. R

Volltext

Noninvasive presurgical neuromagnetic mapping of somatosensory cortex. Comments von GALLEN, C. C, SOBEL, D. F, WALTZ, T, AUNG, M, COPELAND, B, SCHWARTZ, B. J, HIRSCHKOFF, E. C, BLOOM, F. E, ROBERTS, D. W, CRANDALL, P. H

Volltext

Locating the central sulcus : comparison of MR anatomic and mangetoencephalographic functional methods von SOBEL, D. F, GALLEN, C. C, SCHWARTZ, B. J, WALTZ, T. A, COPELAND, B, YAMADA, S, HIRSCHKOFF, E. C, BLOOM, F. E

Volltext

Intrasubject reliability and validity of somatosensory source localization using a large array biomagnetometer von Gallen, C.C., Schwartz, B., Rieke, K., Pantev, C., Sobel, D., Hirschkoff, E., Bloom, F.E.

Volltext

Quantitative Comparison of Motor Control Studied with MEG and fMRI von Russell, D. P., Schwartz, B. J., Hirschkoff, E. C.

Volltext