BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
H.Bingol P.W.Horstmann V.Pitchumani V.M.Kureichik V.A.Kalashnikov
Talks about:
placement (2) design (2) comput (2) rectangular (1) comparison (1) algorithm (1) program (1) optimum (1) boolean (1) partit (1)

Person: Edward P. Stabler

DBLP DBLP: Stabler:Edward_P=

Contributed to:

DAC 19871987
DAC 19841984
DAC 19821982
DAC 19791979

Wrote 4 papers:

DAC-1987-StablerB #comparison #simulation
Boolean Comparison by Simulation (EPS, HB), pp. 584–587.
DAC-1984-HorstmannS #design #logic programming #using
Computer aided design (CAD) using logic programming (PWH, EPS), pp. 144–151.
DAC-1982-PitchumaniS #design #formal method #verification
A formal method for computer design verification (VP, EPS), pp. 809–814.
DAC-1979-StablerKK #algorithm #clustering
Placement algorithm by partitioning for optimum rectangular placement (EPS, VMK, VAK), pp. 24–25.

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.