Claessen Koen: search on Z-Library

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

Don't use scam websites

51

An embedded language approach to teaching hardware compilation

Claessen, Koen, Pace, Gordon J.

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 146 KB

english, 2002

52

A library for light-weight information-flow security in haskell

Russo, Alejandro, Claessen, Koen, Hughes, John

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 245 KB

english, 2009

53

Financiële stress van ouders en externaliserend probleemgedrag van adolescenten: De mediërende rol van depressieve gevoelens en opvoeding

Ponnet, Koen, Van Leeuwen, Karla, Claessens, Elke, Wouters, Edwin

Journal:

Kind & Adolescent

Year:

2016

File:

PDF, 341 KB

2016

54

[ACM Press the 5th International Workshop - Nara, Japan (2016.09.22-2016.09.22)] Proceedings of the 5th International Workshop on Functional High-Performance Computing - FHPC 2016 - Using fusion to enable late design decisions for pipelined computations

Karácsony, Máté, Claessen, Koen

Year:

2016

Language:

english

File:

PDF, 517 KB

english, 2016

55

TCT-19 Mid- and long-term outcome of the EXPLORE trial, a Global, Randomized, Prospective, Multicenter Trial Investigating the Impact of Recanalization of a Chronic Total Occlusion in Patients after Primary Percutaneous Coronary Intervention for Acute ST-Elevation Myocardial Infarction

Elias, Joelle, van Dongen, Ivo M., Laanmets, Peep, Eriksen, Erlend, Meuwissen, Martijn, Bax, Matthijs, Ioanes, Dan, Suttorp, Maarten, Strauss, Bradley, Barbato, Emanuele, Marques, Koen, Claessen, Bimm

Journal:

Journal of the American College of Cardiology

Year:

2017

Language:

english

File:

PDF, 318 KB

english, 2017

56

Solid phase assays versus automated indirect immunofluorescence for detection of antinuclear antibodies

Claessens, Jolien, Belmondo, Thibaut, De Langhe, Ellen, Westhovens, Rene, Poesen, Koen, Hüe, Sophie, Blockmans, Daniel, Mahler, Michael, Fritzler, Marvin J., Bossuyt, Xavier

Journal:

Autoimmunity Reviews

Year:

2018

Language:

english

File:

PDF, 4.45 MB

english, 2018

57

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Applying Valued Booleans in Testing of Cyber-Physical Systems

Claessen, Koen, Smallbone, Nicholas, Liden Eddeland, Johan, Ramezani, Zahra, Akesson, Knut, Miremadi, Sajed

Year:

2018

Language:

english

File:

PDF, 312 KB

english, 2018

58

[ACM Press the fifth ACM SIGPLAN international conference - Not Known (2000..-..)] Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 - QuickCheck

Claessen, Koen, Hughes, John

Year:

2000

Language:

english

File:

PDF, 306 KB

english, 2000

59

Calcium and Vitamin D Supplementation in Men

Gielen, Evelien, Boonen, Steven, Vanderschueren, Dirk, Sinnesael, Mieke, Verstuyf, Annemieke, Claessens, Frank, Milisen, Koen, Verschueren, Sabine

Journal:

Journal of Osteoporosis

Year:

2011

Language:

english

File:

PDF, 1.16 MB

english, 2011

60

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation

Luteberget, Bjornar, Claessen, Koen, Johansen, Christian

Year:

2018

Language:

english

File:

PDF, 919 KB

english, 2018

61

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Claessen, Koen, Smallbone, Nicholas, Eddeland, Johan, Ramezani, Zahra, Åkesson, Knut

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 711 KB

english, 2018

62

Harmonization of clinical interpretation of antinuclear antibody test results by solid phase assay and by indirect immunofluorescence through likelihood ratios

Bossuyt, Xavier, Claessens, Jolien, Belmondo, Thibaut, De Langhe, Ellen, Westhovens, Rene, Poesen, Koen, Hüe, Sophie, Blockmans, Daniel, Fritzler, Marvin J., Mahler, Michael, Fierz, Walter

Journal:

Autoimmunity Reviews

Year:

2019

Language:

english

File:

PDF, 1.43 MB

english, 2019

63

Harmonization of clinical interpretation of antinuclear antibody test results by solid phase assay and by indirect immunofluorescence through likelihood ratios

Bossuyt, Xavier, Claessens, Jolien, Belmondo, Thibaut, De Langhe, Ellen, Westhovens, Rene, Poesen, Koen, Hüe, Sophie, Blockmans, Daniel, Fritzler, Marvin J., Mahler, Michael, Fierz, Walter

Journal:

Autoimmunity Reviews

Year:

2019

File:

PDF, 1.43 MB

2019

64

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Eddeland, Johan Liden, Claessen, Koen, Smallbone, Nicholas, Ramezani, Zahra, Miremadi, Sajed, Akesson, Knut

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2020

File:

PDF, 366 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски