Analysis of the Thermoplastic Composite Overmolding Process: Interface Strength von Akkerman, Remko, Bouwman, Mark, Wijskamp, Sebastiaan

Volltext

Off-the-shelf automated analysis of liveness properties for just paths von Bouwman, Mark, Luttik, Bas, Willemse, Tim

Volltext

A Case in Point: Verification and Testing of a EULYNX Interface von Bouwman, Mark, van der Wal, Djurre, Luttik, Bas, Stoelinga, Mariëlle, Rensink, Arend

Volltext

A Formalisation of SysML State Machines in mCRL2 von Bouwman, Mark, Luttik, Bas, van der Wal, Djurre

Volltext

A process algebra with global variables von Bouwman, Mark, Luttik, Bas, Schols, Wouter, Willemse, Tim A.C.

Volltext

Formal Modelling and Verification of an Interlocking Using mCRL2 von Bouwman, Mark, Janssen, Bob, Luttik, Bas

Volltext

Decompositional Branching Bisimulation Minimisation of Monolithic Processes von Bouwman, Mark, Laveaux, Maurice, Luttik, Bas, Willemse, Tim

Volltext

Term Rewriting Based On Set Automaton Matching von Bouwman, Mark, Erkens, Rick

Volltext bestellen

Term Rewriting Based On Set Automaton Matching von Bouwman, Mark, Erkens, Rick

Volltext

mCRL2 models, requirements and test logs for the EULYNX Point interface case study von Bouwman, Mark, Van Der Wal, Djurre

Volltext bestellen

A process algebra with global variables von Bouwman, Mark, Luttik, Bas, Schols, Wouter, Willemse, Tim A C

Volltext

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: Extended Abstract von Bouwman, Mark, Luttik, Bas, Willemse, Tim

Volltext

Light fixture von DEBRUYNE BRADLEY M, BOUWMAN MARK R

Volltext bestellen

Light fixture von DeBruyne, Bradley M, Bouwman, Mark R

Volltext bestellen

Enhancer hubs and loop collisions identified from single-allele topologies von Allahyar, Amin, Vermeulen, Carlo, Bouwman, Britta A. M., Krijger, Peter H. L., Verstegen, Marjon J. A. M., Geeven, Geert, van Kranenburg, Melissa, Pieterse, Mark, Straver, Roy, Haarhuis, Judith H. I., Jalink, Kees, Teunissen, Hans, Renkens, Ivo J., Kloosterman, Wigard P., Rowland, Benjamin D., de Wit, Elzo, de Ridder, Jeroen, de Laat, Wouter

Volltext

A single oncogenic enhancer rearrangement causes concomitant EVI1 and GATA2 deregulation in leukemia von Gröschel, Stefan, Sanders, Mathijs A, Hoogenboezem, Remco, de Wit, Elzo, Bouwman, Britta A M, Erpelinck, Claudia, van der Velden, Vincent H J, Havermans, Marije, Avellino, Roberto, van Lom, Kirsten, Rombouts, Elwin J, van Duin, Mark, Döhner, Konstanze, Beverloo, H Berna, Bradner, James E, Döhner, Hartmut, Löwenberg, Bob, Valk, Peter J M, Bindels, Eric M J, de Laat, Wouter, Delwel, Ruud

Volltext

Digitalization, business models, and SMEs: How do business model innovation practices improve performance of digitalizing SMEs? von Bouwman, Harry, Nikou, Shahrokh, de Reuver, Mark

Volltext

Occurrence and Nature of Off-Target Modifications by CRISPR-Cas Genome Editing in Plants von Sturme, Mark H. J, van der Berg, Jan Pieter, Bouwman, Lianne M. S, De Schrijver, Adinda, de Maagd, Ruud A, Kleter, Gijs A, Battaglia-de Wilde, Evy

Volltext

The global nitrogen cycle in the twenty-first century von Fowler, David, Coyle, Mhairi, Skiba, Ute, Sutton, Mark A., Cape, J. Neil, Reis, Stefan, Sheppard, Lucy J., Jenkins, Alan, Grizzetti, Bruna, Galloway, James N., Vitousek, Peter, Leach, Allison, Bouwman, Alexander F., Butterbach-Bahl, Klaus, Dentener, Frank, Stevenson, David, Amann, Marcus, Voss, Maren

Volltext

Cost-effective mitigation of nitrogen pollution from global croplands von Gu, Baojing, Zhang, Xiuming, Lam, Shu Kee, Yu, Yingliang, van Grinsven, Hans J. M., Zhang, Shaohui, Wang, Xiaoxi, Bodirsky, Benjamin Leon, Wang, Sitong, Duan, Jiakun, Ren, Chenchen, Bouwman, Lex, de Vries, Wim, Xu, Jianming, Sutton, Mark A., Chen, Deli

Volltext