E-LIB Suche - Ergebnisse für: Huisman, Sebastiaan J

1

Nephrotic Syndrome and a Maculopapular Rash:

van Herwerden, Michael C. ; Wijnen, Mark ; Smedts, Frank M.M...
American Journal of Kidney Diseases. 73 (2019) 4 - p. A13-A16 , 2019

Link: https://doi.org/10.1053/..

2

Formulas for Calculating Calcium Values Underestimate Hypoc..:

Loupatty, Ference J ; Huisman, Sebastiaan J ; van der Horst, Frans A L.
Clinical Chemistry. 62 (2016) 11 - p. 1533-1534 , 2016

Link: https://doi.org/10.1373/..

3

Effects of hydrophobic and hydrophilic bile salt mixtures o..:

Venneman, Niels G ; Huisman, Sebastiaan J ; Moschetta, Antonio..
Biochimica et Biophysica Acta (BBA) - Molecular and Cell Biology of Lipids. 1583 (2002) 2 - p. 221-228 , 2002

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

4

Contrasting responses of different mixotrophic protists to ..:

Koppelle, Sebastiaan ; Ivanković, Marina ; Bengtsson, Mia M....
Limnology and Oceanography. 69 (2024) 5 - p. 1233-1246 , 2024

Link: https://doi.org/10.1002/..

5

Inhibiting the NADase CD38 improves cytomegalovirus-specifi..:

Mülling, Nils ; Behr, Felix M. ; Heieis, Graham A....
Journal of Clinical Investigation. , 2024

Link: https://doi.org/10.1172/..

6

Mixotrophy in the bloom-forming genus Phaeocystis and other..:

Koppelle, Sebastiaan ; López-Escardó, David ; Brussaard, Corina P.D....
Harmful Algae. 117 (2022) - p. 102292 , 2022

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

7

Formal Verification of Parallel Prefix Sum:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Safari, Mohsen ; Oortwijn, Wytse ; Joosten, Sebastiaan. - p. 170-186 , 2020

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

8

Improving Performance of the VerCors Program Verifier:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,

Mulder, Henk ; Huisman, Marieke ; Joosten, Sebastiaan - p. 65-82 , 2020

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

9

Reasoning About JML: Differences Between KeY and OpenJML:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Boerman, Jan ; Huisman, Marieke ; Joosten, Sebastiaan - p. 30-46 , 2018

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

10

Static Code Verification Through Process Models:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,

Joosten, Sebastiaan ; Huisman, Marieke - p. 343-354 , 2018

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

11

Automated Verification of Parallel Nested DFS:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Oortwijn, Wytse ; Huisman, Marieke ; Joosten, Sebastiaan J. C.. - p. 247-265 , 2020

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

12

Cutaneous non-allergic complications in tattoos: An overvie..:

Huisman, Sanne ; van der Bent, Sebastiaan A.S. ; Maijer, Karen I...
La Presse Médicale. 49 (2020) 4 - p. 104049 , 2020

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

13

An exercise in verifying sequential programs with VerCors:

, In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops,

Joosten, Sebastiaan J. C. ; Oortwijn, Wytse ; Safari, Mohsen. - p. 40-45 , 2018

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

14

Granulomatous tattoo reactions in permanent makeup of the e..:

Huisman, Sanne ; van der Bent, Sebastiaan A. S. ; Wolkerstorfer, Albert.
Journal of Cosmetic Dermatology. 18 (2018) 1 - p. 212-214 , 2018

Link: https://doi.org/10.1111/..

15

Diel Variation in Gene Expression of the CO2-Concentrating ..:

Sandrini, Giovanni ; Tann, Robert P. ; Schuurmans, J. Merijn...
Frontiers in Microbiology. 7 (2016) - p. , 2016

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