Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

A. E. (Rick) Seigler

Adrian E. Seigler

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2004
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmrd/MakSBKPSVWW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/MakSBKPSVWW04
Pak-kin Mak, Gary E. Strait, Michael A. Blake, Kevin W. Kark, Vesselina K. Papazova, A. E. (Rick) Seigler, Gary A. Van Huben, Liyong Wang, George C. Wellwood:
Processor subsystem interconnect architecture for a large symmetric multiprocessing system. IBM J. Res. Dev. 48(3-4): 323-338 (2004)
1999
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmrd/TurgeonMBFFMSS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/TurgeonMBFFMSS99
Paul R. Turgeon, Pak-kin Mak, Michael A. Blake, Michael F. Fee, Carl B. Ford III, Patrick J. Meaney, A. E. (Rick) Seigler, William Wu Shen:
The S/390 G5/G6 binodal cache. IBM J. Res. Dev. 43(5): 661-670 (1999)
1997
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmrd/ShepardCCCHHMNS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/ShepardCCCHHMNS97
Kenneth L. Shepard, Sean M. Carey, Ee Kin Cho, Brian W. Curran, Robert F. Hatch, Dale E. Hoffman, Scott A. McCabe, Gregory A. Northrop, A. E. (Rick) Seigler:
Design methodology for the S/390 Parallel Enterprise Server G4 microprocessors. IBM J. Res. Dev. 41(4&5): 515-548 (1997)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/SeiglerHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/SeiglerHM07
Adrian E. Seigler, Gary A. Van Huben, Hari Mony:
Formal Verification of Partial Good Self-Test Fencing Structures. FMCAD 2007: 188-191
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GloklerBSSHRMR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GloklerBSSHRMR06
Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler:
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10

a service of

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.