Erik De vink: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Longitudinal epitope mapping in MuSK myasthenia gravis: implications for disease severity

Huijbers, Maartje G., Vink, Anna-Fleur D., Niks, Erik H., Westhuis, Ruben H., van Zwet, Erik W., de Meel, Robert H., Rojas-García, Ricardo, Díaz-Manera, Jordi, Kuks, Jan B., Klooster, Rinse, Straashei

Journal:

Journal of Neuroimmunology

Year:

2016

Language:

english

File:

PDF, 1.31 MB

english, 2016

2

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 163 KB

english, 2018

3

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 597 KB

english, 2018

4

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 488 KB

english, 2018

5

Toward Reasoning about Security Protocols: A Semantic Approach

Arjen Hommersom, John-Jules Meyer, Erik de Vink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 384 KB

english, 2005

6

Multiparty Contract Signing Over a Reliable Network

Simona Orzan, Erik de Vink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 293 KB

english, 2006

7

Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract)

Ana Sokolova, Erik de Vink, Harald Woracek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 342 KB

english, 2005

8

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

9

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, Erik de Vink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 235 KB

english, 2003

10

Preface: Volume 85, Issue 2

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 37 KB

english, 2004

11

Reo +mCRL2: A framework for model-checking dataflow in service compositions

Natallia Kokash, Christian Krause, Erik de Vink

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 1.31 MB

english, 2012

12

Update Semantics of Security Protocols

Arjen Hommersom, John-jules Meyer, Erik De vink

Journal:

Year:

2004

Language:

english

File:

PDF, 634 KB

english, 2004

13

Preface

Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 65 KB

english, 2005

14

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, Erik de Vink

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 306 KB

english, 2004

15

Improving the application of a practice guideline for the assessment and treatment of suicidal behavior by training the full staff of psychiatric departments via an e-learning supported Train-the-Trainer program: study protocol for a randomized controlled trial

Derek P de Beurs, Marieke H de Groot, Jos de Keijser, Bastiaan Verwey, Jan Mokkenstorm, Jos WR Twisk, Erik van Duijn, Albert M van Hemert, Lia Verlinde, Jan Spijker, Bert van Luijn, Jan Vink, Ad JFM K

Journal:

Year:

2013

Language:

english

File:

PDF, 322 KB

english, 2013

16

[Lecture Notes in Computer Science] Formal Methods for Dynamical Systems Volume 7938 || Model Checking of Biological Systems

Bernardo, Marco, de Vink, Erik, Di Pierro, Alessandra, Wiklicky, Herbert

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

17

[Lecture Notes in Computer Science] Formal Methods for Dynamical Systems Volume 7938 ||

Bernardo, Marco, de Vink, Erik, Di Pierro, Alessandra, Wiklicky, Herbert

Year:

2013

Language:

english

File:

PDF, 6.13 MB

english, 2013

18

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XIII Volume 6575 ||

Priami, Corrado, Back, Ralph-Johan, Petre, Ion, de Vink, Erik

Year:

2011

Language:

english

File:

PDF, 4.37 MB

english, 2011

19

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology XIV Volume 7625 ||

Priami, Corrado, Petre, Ion, de Vink, Erik

Year:

2012

Language:

english

File:

PDF, 8.57 MB

english, 2012

20

Calendar

Giannini, Paola, de Vink, Erik

Journal:

Ultrasound in Medicine & Biology

Year:

1989

Language:

english

File:

PDF, 108 KB

english, 1989

21

Preface

Giannini, Paola, de Vink, Erik

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 110 KB

english, 2013

22

Compositional and behavior-preserving reconfiguration of component connectors in Reo

Krause, Christian, Giese, Holger, de Vink, Erik

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 904 KB

english, 2013

23

Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1

Pronk, Tessa E., van der Veen, Jochem W., Vandebriel, Rob J., van Loveren, Henk, de Vink, Erik P., Pennings, Jeroen L.A.

Journal:

Year:

2014

Language:

english

File:

PDF, 2.65 MB

english, 2014

24

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on - SPLC '14 - SPLat 2014

Legay, Axel, de Vink, Erik

Year:

2014

Language:

english

File:

PDF, 355 KB

english, 2014

25

[ACM Press the 2nd FME Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014 - Using mCRL2 for the analysis of software product lines

Beek, Maurice H. ter, de Vink, Erik P.

Year:

2014

Language:

english

File:

PDF, 695 KB

english, 2014

26

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Dreams

Proença, José, Clarke, Dave, de Vink, Erik, Arbab, Farhad

Year:

2012

Language:

english

File:

PDF, 597 KB

english, 2012

27

[ACM Press the 8th International Conference - Trento, Italy (2010.09.29-2010.10.01)] Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10 - Action-based analysis of discrete regulatory networks with short-term stimuli

Krause, Christian, Krause, Carola, de Vink, Erik P.

Year:

2010

Language:

english

File:

PDF, 1.14 MB

english, 2010

28

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14 - Software product line analysis with mCRL2

ter Beek, Maurice H., de Vink, Erik P.

Year:

2014

Language:

english

File:

PDF, 941 KB

english, 2014

29

Knowledge, Rationality & Action || Update Semantics of Security Protocols

Arjen Hommersom, John-Jules Meyer and Erik De Vink

Journal:

Year:

2004

Language:

english

File:

PDF, 3.27 MB

english, 2004

30

Testing Familial Transmission of Smoking With Two Different Research Designs

Treur, Jorien L., Verweij, Karin J.H., Abdellaoui, Abdel, Fedko, Iryna O., de Zeeuw, Eveline L., Ehli, Erik A., Davies, Gareth E., Hottenga, Jouke-Jan, Willemsen, Gonneke, Boomsma, Dorret I., Vink, Ja

Journal:

Nicotine & Tobacco Research

Year:

2017

Language:

english

File:

PDF, 235 KB

english, 2017

31

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Multi-robot LTL Planning Under Uncertainty

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 704 KB

english, 2018

32

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Statistical Model Checking of LLVM Code

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 761 KB

english, 2018

33

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || On Software Safety, Security, and Abstract Interpretation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 140 KB

english, 2018

34

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 328 KB

english, 2018

35

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || FSM Inference from Long Traces

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 386 KB

english, 2018

36

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1.98 MB

english, 2018

37

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Z3 and SMT in Industrial R&D

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 150 KB

english, 2018

38

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Vector Barrier Certificates and Comparison Systems

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 514 KB

english, 2018

39

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || View Abstraction for Systems with Component Identities

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 386 KB

english, 2018

40

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Modular Verification of Programs with Effects and Effect Handlers in Coq

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 388 KB

english, 2018

41

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || 20 Years of Real Real Time Model Validation

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 299 KB

english, 2018

42

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Optimal and Robust Controller Synthesis

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1003 KB

english, 2018

43

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Verifying Auto-generated C Code from Simulink

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 312 KB

english, 2018

44

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Disruptive Innovations for the Development and the Deployment of Fault-Free Software

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 375 KB

english, 2018

45

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Evidential and Continuous Integration of Software Verification Tools

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1.15 MB

english, 2018

46

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Formal Specification and Verification of Dynamic Parametrized Architectures

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 1.24 MB

english, 2018

47

[Lecture Notes in Computer Science] Formal Methods Volume 10951 (22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings) || Compositional Reasoning for Shared-Variable Concurrent Programs

Havelund, Klaus, Peleska, Jan, Roscoe, Bill, de Vink, Erik

Year:

2018

Language:

english

File:

PDF, 830 KB

english, 2018

48

[ACM Press the 21st International Systems and Software Product Line Conference - Volume B - Sevilla, Spain (2017.09.25-2017.09.29)] Proceedings of the 21st International Systems and Software Product Line Conference - Volume B on ZZZ - SPLC '17 - Family-Based Model Checking of SPL based on mCRL2

Ben Snaiba, Ziad, de Vink, Erik P., Willemse, Tim A.C.

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017

49

Glomerular Function and Structural Integrity Depend on Hyaluronan Synthesis by Glomerular Endothelium

van den Berg, Bernard M., Wang, Gangqi, Boels, Margien G. S., Avramut, M. Cristina, Jansen, Erik, Sol, Wendy M. P. J., Lebrin, Franck, Jan van Zonneveld, Anton, de Koning, Eelco J. P., Vink, Hans, Grö

Journal:

Journal of the American Society of Nephrology

Year:

2019

Language:

english

File:

PDF, 2.74 MB

english, 2019

50

A formal actor-based model for streaming the future

Azadbakht, Keyvan, de Boer, Frank S., Bezirgiannis, Nikolaos, de Vink, Erik

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 1.10 MB

2020