Ildik Sain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1979–1990
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1990 | MFCS | Results on the Glory of the Past. | Ildik Sain |
| 1989 | CSL | A Streamlined Temporal Completeness Theorem. | Ana Pasztor, Ildik Sain |
| 1989 | MFCS | On the Strength of Temporal Proofs. | Hajnal Andrka, Istvn Nmeti, Ildik Sain |
| 1986 | LICS | On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems | Johann A. Makowsky, Ildik Sain |
| 1981 | FCT | First Order Dynamic Logic with Decidable Proofs and Workable Model Theory. | Ildik Sain |
| 1981 | MFCS | A Characterization of Floyd-Provable Programs. | Hajnal Andrka, Istvn Nmeti, Ildik Sain |
| 1979 | FCT | Henkin-type semantics for program-schemes to turn negative results to positive. | Hajnal Andrka, Istvn Nmeti, Ildik Sain |
| 1979 | MFCS | Completeness Problems in Verification of Programs and Program Schemes. | Hajnal Andrka, Istvn Nmeti, Ildik Sain |