| 2008 | ||
|---|---|---|
| 14 | EE | Irene Polycarpou, Ana Pasztor, Malek Adjouadi: A conceptual approach to teaching induction for computer science. SIGCSE 2008: 9-13 |
| 1995 | ||
| 13 | EE | Mihaly Lenart, Ana Pasztor: The Chunking Engine: Closing the Gap Between Formal and Informal Design Specifications. IEA/AIE 1995: 491-499 |
| 1994 | ||
| 12 | Mihaly Lenart, Peter Padawitz, Ana Pasztor: Formal specification for design automation. Formal Design Methods for CAD 1994: 201-220 | |
| 11 | EE | Mihaly Lenart, Ana Pasztor: How Much Knowledge is Needed? (Co-)Evolutionary Design. IEA/AIE 1994: 413-419 |
| 1990 | ||
| 10 | Ana Pasztor: A Sup-Preserving Completion of Ordered Partial Algebras. MFCS 1990: 446-456 | |
| 9 | Ana Pasztor: Recursive Programs and Denotational Semantics in Absolute Logics of Programs. Theor. Comput. Sci. 70(1): 127-150 (1990) | |
| 1989 | ||
| 8 | Ana Pasztor, Ildikó Sain: A Streamlined Temporal Completeness Theorem. CSL 1989: 322-336 | |
| 7 | Ana Pasztor: Does "N+1 Times" Prove More Programs Correct Than "N Times"? Mathematical Foundations of Programming Semantics 1989: 373-389 | |
| 1988 | ||
| 6 | Ana Pasztor: Nonstandard Logics of Recursive Programs and Denotational Semantics. ALP 1988: 255-278 | |
| 1986 | ||
| 5 | Ana Pasztor: Non-Standard Algorithmic and Dynamic Logic. J. Symb. Comput. 2(1): 59-81 (1986) | |
| 4 | Ana Pasztor, Richard Statman: Scott Induction and Closure under omega-Sups. Theor. Comput. Sci. 43: 251-263 (1986) | |
| 1985 | ||
| 3 | Ana Pasztor: On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. Mathematical Foundations of Programming Semantics 1985: 215-248 | |
| 1983 | ||
| 2 | Ana Pasztor: Epis of some categories of Z-continuous partial algebras. Acta Cybern. 6: 111-123 (1983) | |
| 1982 | ||
| 1 | Daniel J. Lehmann, Ana Pasztor: Epis need not be Dense. Theor. Comput. Sci. 17: 151-161 (1982) | |
| 1 | Malek Adjouadi | [14] |
| 2 | Daniel J. Lehmann | [1] |
| 3 | Mihaly Lenart | [11] [12] [13] |
| 4 | Peter Padawitz | [12] |
| 5 | Irene Polycarpou | [14] |
| 6 | Ildikó Sain | [8] |
| 7 | Richard Statman | [4] |