Author

Th. Krol

Observed names: Krol, Th., T. Krol

Observed institutions: Philips (Netherlands), University of Twente

OpenAlex ID: A5110457958

Relational algebra as formalism for hardware design

1993 · A.J.W.M. ten Berg, C. Huijs, et al. · Microprocessing and Microprogramming · 10

THE

2005 · Th. Krol · IEEE International Symposium on Fault-Tolerant Computing · 9

SIL: An Intermediate for Syntax-Based VHDL Synthesis

1995 · Egbert Molenkamp, G.E. Mekenkamp, et al. · University of Twente Research Information · 7

Interactive consistency in quasi-asynchronous systems

2002 · A. Postma, T. Krol · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 6

Applying Software Transformations to SIL

1993 · W.J.A. Engelen, J. Hofstede, et al. · University of Twente Research Information · 5

Relational Semantics for Flow Graph Representations as basis for Transformational Design of Digital Systems

1993 · C. Huijs, Th. Krol · University of Twente Research Information · 5

A Useful interface between specifications and silicon compilers

1992 · J. Hofstede, C. Huijs, et al. · University of Twente Research Information · 5

Optimized authenticated self-synchronizing Byzantine agreement protocols

2002 · A. Postma, T. Krol, et al. · Pacific Rim International Symposium on Dependable Computing · 4

VHDL and CDFG Based Transformational Design: a Case Study

1995 · P.F.A. Middelhoek, G.E. Mekenkamp, et al. · University of Twente Research Information · 2

SIL-1 Language Report

1992 · W.E.H. Kloosterhuis, M.R.R. Eyckmans, et al. · University of Twente Research Information · 2

Generating a CDFG from C/C++ Code

2002 · M.A.J. Rosien, Gerardus Johannes Maria Smit, et al. · 1

Optimized Self-synchronizing Byzantine Agreement Protocols

1997 · F.M. Postma, T. Krol, et al. · University of Twente Research Information · 1

Formal Transformational Design of Hardware Architectures

1995 · A.J.W.M. ten Berg, Th. Krol · 1

Computer Architectuur en Embedded Systemen

2001 · P.J.M. Havinga, P.M. Heysters, et al.

Computer Architecture & Embedded Systems

2001 · Paul Havinga, P.M. Heysters, et al.

Synthesehulpmiddelen van hoog niveau voor digitale signaalverwerkingstoepassingen met een hoge verwerkingscapciteit (High2)

2000 · Th. Krol, Malek Mansour

Transformational design of a six constant multiplier

1996 · G.E. Mekenkamp, P.F.A. Middelhoek, et al. · University of Twente Research Information

A syntax based translation model for high-level synthesis

1996 · G.E. Mekenkamp, P.F.A. Middelhoek, et al. · University of Twente Research Information

Transformations for the Design of Controlpath Architectures

1995 · A.J.W.M. ten Berg, Th. Krol

SIL Transformations on sequence edges

1993 · C. Huijs, Th. Krol

Transformations and semantical checks for SIL-1

1992 · C. Huijs, J. Hofstede, et al.

Works count: 22

Citation count: 58

H-index: 5

I10-index: 1