Concepedia

C. de Vroedt

CD

Statistics

Publications

5

Citations

156

H-Index

5

Active since

1969

Affiliations

Delft University of Technology(Current)

C. de Vroedt is an author at Delft University of Technology specializing in formal verification, verification, and engineering.

Top concepts

EngineeringVerificationCoding TheoryComputer ScienceFormal VerificationEntropyFormal MethodsProgram AnalysisSoftware TestingAutomated Reasoning

Publications per year

1969–1992

5

Publications

5

Bounds and constructions for binary codes of length less than 24 and asymmetric distance less than 6

Jos H. Weber, C. de Vroedt, D.E. Boekee · IEEE Transactions on Information Theory · 1988 · 55 citations

Lüroth series and their ergodic properties

H. Jager, C. de Vroedt · Indagationes Mathematicae (Proceedings) · 1969 · 41 citations

Entropy, Poisson Boundary, Lüroth Series +1

Bounds and constructions for codes correcting unidirectional errors

Jos H. Weber, C. de Vroedt, D.E. Boekee · IEEE Transactions on Information Theory · 1989 · 24 citations

Theory Of Computing, Engineering, Error Control Technique +13

New upper bounds on the size of codes correcting asymmetric errors (Corresp.)

Jos H. Weber, C. de Vroedt, D.E. Boekee · IEEE Transactions on Information Theory · 1987 · 18 citations

Necessary and sufficient conditions on block codes correcting/detecting errors of various types

Jos H. Weber, C. de Vroedt, D.E. Boekee · IEEE Transactions on Computers · 1992 · 18 citations

Block Codes, Engineering, Error Control Technique +14

1–5 of 5