Paleoproterozoic evolution of the Guiana Shield in Suriname: A revised model von Kroonenberg, S.B., de Roever, E.W.F., Fraga, L.M., Reis, N.J., Faraco, T., Lafon, J.-M., Cordani, U., Wong, T.E.

Volltext

Microscopy as a tool for analysis of membrane failure and fouling von de Roever, Emond W.F., Huisman, Ingmar H.

Volltext

RESULTS OF 20-YEAR FOLLOW-UP OF CONGENITAL TOXOPLASMOSIS von Koppe, J.G., Loewer-Sieger, D.H., DE ROEVER-BONNET, H.

Volltext

The rely-guarantee method for verifying shared variable concurrent programs von XU, Q, DE ROEVER, W.-P, HE, J

Volltext

A compositional operational semantics for JavaMT von ABRAHAM, Erika, DE BOER, Frank S, DE ROEVER, Willem-Paul, STEFFEN, Martin

Volltext

Current Trends in Concurrency: Overviews and Tutorials von Bakker, J. W. de, Roever, W. -P. de, Rozenberg, G

Volltext

Addendum to “Commensurations and subgroups of finite index of Thompson’s group F ” von Burillo, José, Cleary, Sean, Röver, Claas E

Volltext

A new approach to systematic dry cleaning with technical devices von MOROZ, R, ROEVER, E

Volltext

Cardiovascular Responses To Maximal Graded And Acute Lbnp In Older And Endurance Trained Younger Individuals: 1736 Board #24 May 31 9:00 AM 10:30 AM von Seed, Tonya B., Roever, Kristin E., Hernandez, Juliane P.

Volltext

A note on element centralizers in finite Coxeter groups von Konvalinka, Matjaž, Pfeiffer, Götz, Röver, Claas E.

Volltext

Hoare-Style compositional proof systems for reactive shared variable concurrency von de Boer, F. S., Hannemann, U., de Roever, W. -P.

Volltext

A compositional proof system for shared variable concurrency von de Boer, F. S., Hannemann, U., de Roever, W. -P.

Volltext

New U–Pb Baddeleyite Ages of Mafic Dyke Swarms of the West African and Amazonian Cratons: Implication for Their Configuration in Supercontinents Through Time von Baratoux, L., Söderlund, U., Ernst, R. E., de Roever, E., Jessell, M. W., Kamo, S., Naba, S., Perrouty, S., Metelka, V., Yatte, D., Grenholm, M., Diallo, D. P., Ndiaye, P. M., Dioh, E., Cournède, C., Benoit, M., Baratoux, D., Youbi, N., Rousse, S., Bendaoud, A.

Volltext

Surinamite: A beryllium-bearing mineral von de Roever, E. M. F., Lattard, D., Schreyer, W.

Volltext

Commensurations and subgroups of finite index of Thompson’s group F von Burillo, José, Cleary, Sean, Röver, Claas E

Volltext

De granulieten van het Bakhuisgebergte, Suriname von F. Beunk, E. de Roever

Volltext

Chloritoid-bearing metapelites associated with glaucophane rocks in W crete: Some remarks von de Roever, E. W. F.

Volltext

Compositionality: The Significant Difference. Symposium (COMPOS'97) von DE ROEVER, Willem-Paul

Volltext

A dense-time temporal logic with nice compositionality properties von Cau, Antonio, de Roever, Willem-Paul

Volltext

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach von de Boer, F. S., Hannemann, U., de Roever, W. -P.

Volltext