Robert K. Brayton

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alexandre Petrenko

> Home > Persons > Robert K. Brayton

Publications

2015
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/VillaPYMB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/VillaPYMB15
Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton:
Component-Based Design by Solving Language Equations. Proc. IEEE 103(11): 2152-2167 (2015)
2008
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/YevtushenkoVBPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/YevtushenkoVBPS08
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. 18(1): 51-89 (2008)
2003
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/date/YevtushenkoVBPS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/YevtushenkoVBPS03
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155
2002
[c167]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iwls/YevtushenkoVBPS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwls/YevtushenkoVBPS02
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002: 45-50
2001
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/YevtushenkoVBPS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/YevtushenkoVBPS01
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103-

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.