E-LIB Suche - Ergebnisse für: Claesen, J.

1

A-047 Role of the Gut Microbiota in the Efficacy of Dietary..:

Alqudah, S ; DeLucia, B ; Osborn, L...
Clinical Chemistry. 69 (2023) Supplement_1 - p. , 2023

2

Microwave assisted and conventional pyrolysis of MDF – Char..:

Haeldermans, T. ; Claesen, J. ; Maggen, J....
Journal of Analytical and Applied Pyrolysis. 138 (2019) - p. 218-230 , 2019

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

3

Incorporating local consistency information into the online..:

Martens, R. ; Claesen, L.
International Journal on Document Analysis and Recognition. 1 (1998) 2 - p. 110-115 , 1998

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

4

A symbolic core approach to the formal verification of inte..:

, In: Proceedings of the 1997 European conference on Design and Test,

Hendriex, S. ; Claesen, L. - p. 432 ff. , 1997

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

5

A proof of the nonrestoring division algorithm and its impl..:

Verkest, D. ; Claesen, L. ; De Man, H.
Formal Methods in System Design. 4 (1994) 1 - p. 5-31 , 1994

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

6

On the comparison of HOL and Boyer-Moore for formal hardwar..:

Angelo, C. M. ; Verkest, D. ; Claesen, L..
Formal Methods in System Design. 2 (1993) 1 - p. 45-72 , 1993

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

7

Automatic formal verification of Cathedral-II circuits from..:

, In: [1992] Proceedings The European Conference on Design Automation,

Genoe, M. ; Claesen, L. ; Verlind, E... - p. 54,55,56,57,58 , 1992

Link: https://doi.org/10.1109/..

8

A combined waveform relaxation : waveform relaxation new..:

, In: Proceedings of the conference on European design automation,

Odent, P. ; Claesen, L. ; De Man, H. - p. 244-248 , 1990

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

9

Correctness proofs of parameterized hardware modules in the..:

, In: Proceedings of the conference on European design automation,

Verkest, D. ; Claesen, L. ; De Man, H. - p. 62-66 , 1990

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

10

SPI : an open interface integrating highly interactive e..:

, In: Proceedings of the conference on European design automation,

Schupp, J. P. ; Cockx, J. ; Claesen, L.. - p. 492-495 , 1990

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

11

SLOCOP-II : a versatile timing verification system for M..:

, In: Proceedings of the conference on European design automation,

Johannes, P. ; Das, P. ; Claesen, L.. - p. 518-523 , 1990

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

12

Feedback loops and large subcircuits in the multiprocessor ..:

, In: Proceedings of the 26th ACM/IEEE Design Automation Conference,

Odent, P. ; Claesen, L. ; De Man, H. - p. 25-30 , 1989

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

13

Description and verification of more-dimensional regular an..:

Ploegaerts, W. ; Verkest, D. ; Claesen, L..
Microprocessing and Microprogramming. 27 (1989) 1-5 - p. 279-286 , 1989

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

14

Electrical debugging of synchronous MOS VLSI circuits explo..:

, In: Proceedings of the 26th ACM/IEEE Design Automation Conference,

Bolsens, I. ; De Rammelaere, W. ; Claesen, L.. - p. 513-518 , 1989

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

15

Static timing analysis of dynamically sensitizable paths:

, In: Proceedings of the 26th ACM/IEEE Design Automation Conference,

Perremans, S. ; Claesen, L. ; De Man, H. - p. 568-573 , 1989

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