BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
D.E.Wallace G.D.Adams P.S.Strauss H.Shin A.L.Sangiovanni-Vincentelli
Talks about:
time (3) abstract (2) verifi (2) unigrafix (1) dimension (1) consider (1) templat (1) generat (1) compact (1) layout (1)

Person: Carlo H. Séquin

DBLP DBLP: S=eacute=quin:Carlo_H=

Contributed to:

DAC 19891989
DAC 19881988
DAC 19861986
DAC 19831983

Wrote 5 papers:

DAC-1989-AdamsS #generative #layout
Template Style Considerations for Sea-of-Gates Layout Generation (GDA, CHS), pp. 31–36.
DAC-1988-WallaceS #named #verification
ATV: An Abstract Timing Verifier (DEW, CHS), pp. 154–159.
DAC-1986-ShinSS #2d
Two-dimensional compaction by “zone refining” (HS, ALSV, CHS), pp. 115–122.
DAC-1986-WallaceS #modelling #plugin #verification
Plug-in timing models for an abstract timing verifier (DEW, CHS), pp. 683–689.
UNIGRAFIX (CHS, PSS), pp. 374–381.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.