- 2001
- Gertjan van Noord, Dale Gerdemann:
Finite State Transducers with Predicates and Identities. Grammars 4(3): 263-286 (2001) - Sridhar Alagar, Subbarayan Venkatesan:
Techniques to Tackle State Explosion in Global Predicate Detection. IEEE Trans. Software Eng. 27(8): 704-714 (2001) - Zhijiang Dong, Xudong He:
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. pUML 2001: 99-112 - 1999
- Mark Bickford, Jason Hickey:
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. IWFM 1999 - 1995
- Hideki Ando, Chikako Nakanishi, Tetsuya Hara, Masao Nakaya:
Unconstrained Speculative Execution with Predicated State Buffering. ISCA 1995: 126-137 - 1994
- Sridhar Alagar, Subbarayan Venkatesan:
Techniques to Tackle State Explosion in global Predicate Detection. ICPADS 1994: 412-417 - 1993
- Marcello M. Bonsangue, Joost N. Kok:
Isomorphisms between Predicates and State Transformers. MFCS 1993: 301-310 - 1991
- Keith Marzullo, Gil Neiger:
Detection of Global State Predicates. WDAG 1991: 254-272 - 1983
- Jifeng He:
General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. Acta Informatica 20: 35-57 (1983) - 1976
- Leendert Ammeraal:
How Program Statements Transform Predicates. GI Jahrestagung 1976: 109-120