Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Gruia-Catalin Roman

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 William E. Ball

> Home > Persons > Gruia-Catalin Roman

Publications

1993
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/RomanGB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/RomanGB93
Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Formal Derivation of Rule-Based Programs. IEEE Trans. Software Eng. 19(3): 277-296 (1993)
1992
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RomanGB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RomanGB92
Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Seeking Concurrency in Rule-Based Programming. ICSE 1992: 225-234
1991
[c23]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GambleRB91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GambleRB91
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball:
Formal Verification of Pure Production System Programs. AAAI 1991: 329-334
1988
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/cvpr/CoxRBL88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvpr/CoxRBL88
Kenneth C. Cox, Gruia-Catalin Roman, William E. Ball, Andrew F. Laine:
Rapid search for spherical objects in aerial photographs. CVPR 1988: 905-910
1984
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/RomanSBG84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/RomanSBG84
Gruia-Catalin Roman, Mishell J. Stucki, William E. Ball, Will D. Gillett:
A Total System Design Framework. Computer 17(5): 15-26 (1984)

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.