Frans Ververs

Learn More
BACKGROUND AND OBJECTIVE Increasing numbers of women in childbearing years are treated with antidepressants. Concerns regarding fetal exposure to medication has led to large studies on drug effects on birth outcome and on the risk of congenital anomalies. The risk of adverse effects due to paroxetine use during pregnancy has been associated with the extent(More)
OBJECTIVES The aim of this study was to investigate the pharmacokinetics and pharmacodynamics of sotalol in the treatment of fetal tachycardia. BACKGROUND Maternally administered, intrauterine therapy of fetal tachycardia is dependent on the transplacental passage of the antiarrhythmic agent. METHODS In a prospective study of patients treated for fetal(More)
A fast liquid chromatography-tandem mass spectrometry with electrospray ionization method was developed and validated for simultaneous quantification of lidocaine and its active metabolite MEGX in 10 μL of plasma of neonates with seizures. The sample preparation consists of an easy protein precipitation sample pre-treatment with methanol. Chromatographic(More)
In newborn infants, allopurinol is being tested as a free radical scavenger to prevent brain damage caused by reperfusion and oxygenation after perinatal hypoxia and ischemia (birth asphyxia). To develop rational dosing schemes for future studies, knowledge of the pharmacokinetics in this patient group is essential. In the present study, a population(More)
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-Abstract A prototype has been built that is intended to recognize instances of abstract data structures in programs. This document describes the working of the front-end of this prototype. The front-end translates a program to a Program Analysis Graph (PAG) via two(More)
In this work, we aim at improving efficiency of model checking by employing abstraction technique in model checkers. We introduced a systematic approach to combine a tool that provides abstraction function and a model checker. Nbac, PMC and Uppaal are tools involved in our implementation of the approach. Using Nbac as an abstraction tool to generate(More)