E-LIB Suche - Ergebnisse für: Hillebrand, Mark

1

Modular specification and verification of interprocess comm..:

, In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design,

Alkassar, Eyad ; Cohen, Ernie ; Hillebrand, Mark. - p. 167-174 , 2010

Link: https://dl.acm.org/doi/1..

2

Verifying shadow page table algorithms:

, In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design,

Alkassar, Eyad ; Cohen, Ernie ; Hillebrand, Mark.. - p. 267-270 , 2010

Link: https://dl.acm.org/doi/1..

3

Balancing the Load: Leveraging a Semantics Stack for System..:

Alkassar, Eyad ; Hillebrand, Mark A. ; Leinenbach, Dirk C....
Journal of Automated Reasoning. 42 (2009) 2-4 - p. 389-454 , 2009

Link: https://doi.org/10.1007/..

4

Formal Verification of a Reader-Writer Lock Implementation ..:

Hillebrand, Mark A. ; Leinenbach, Dirk C.
Electronic Notes in Theoretical Computer Science. 254 (2009) - p. 123-141 , 2009

Link: https://doi.org/10.1016/..

5

Willkürliche Grenzen

Das Werk Pierre Bourdieus in interdisziplinärer Anwendung Sozialtheorie

Hillebrand, Mark ; Lilge, Andrea, ; Krüger, Paula. , 2006

Link: https://www.degruyter.co..

6

Inter- vs. Transkulturalität. Die deutsche Sprache im deuts..:

Hillebrand, Mark
Zeitschrift für angewandte Linguistik. , 2006

Exemplare: Zentrale;

7

Glokalisierte Körper: Körperkünste und Kulturen in Zeiten d..:

, In: Willkürliche Grenzen: das Werk Pierre Bourdieus in interdisziplinärer Anwendung.,

Broeskamp, Bernd ; Hillebrand, Mark ; Krüger, Paula.. - p. 219-248 , 2006

Link: http://www.ssoar.info/ss..

8

Address spaces and virtual memory : specification, implemen..:

Hillebrand, Mark
http://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-12793. , 2007

Link: http://nbn-resolving.org..

9

Application of Virtual Reality technology for fall protecti..:

, In: 2022 1st IEEE International Conference on Cognitive Aspects of Virtual Reality (CVR),

Bakai, Nandor ; Etlinger, Jozsef ; Simon, Dora Erika... - p. 000035-000036 , 2022

Link: https://doi.org/10.1109/..

10

How Sensitive Are Conventional MEG Functional Connectivity ..:

Liuzzi, Lucrezia ; Quinn, Andrew J. ; O'Neill, George C....
Frontiers in Neuroscience. 13 (2019) - p. , 2019

Link: https://doi.org/10.3389/..

11

Tracking dynamic brain networks using high temporal resolut..:

Tewarie, Prejaas ; Liuzzi, Lucrezia ; O'Neill, George C....
NeuroImage. 200 (2019) - p. 38-50 , 2019

Link: https://doi.org/10.1016/..

12

Resilience to cognitive impairment in the oldest-old: desig..:

Legdeur, Nienke ; Badissi, Maryam ; Carter, Stephen F....
BMC Geriatrics. 18 (2018) 1 - p. , 2018

Link: https://doi.org/10.1186/..

13

The auditory evoked-gamma response and its relation with th..:

Witton, Caroline ; Eckert, Mark A. ; Stanford, Ian M....
Hearing Research. 348 (2017) - p. 78-86 , 2017

Link: https://doi.org/10.1016/..

14

Integrating cross-frequency and within band functional netw..:

Tewarie, Prejaas ; Hillebrand, Arjan ; van Dijk, Bob W....
NeuroImage. 142 (2016) - p. 324-336 , 2016

Link: https://doi.org/10.1016/..

15

Biodiversity Effects on Ecosystem Functioning: Emerging Iss..:

Giller, Paul S. ; Hillebrand, Helmut ; Ulrike-G. Berninger...
Oikos. 104 (2004) 3 - p. 423-436 , 2004

Link: https://www.jstor.org/st..