Epis need not be Dense. - Daniel Lehmann 001; Ana Pasztor (Theor. Comput. Sci., 1982)

Epis of some categories of Z-continuous partial algebras. - Ana Pasztor (Acta Cybern., 1983)

On the Variety Concept of omega-Continuous Algebras. Application of a General Approach. - Ana Pasztor (Mathematical Foundations of Programming Semantics, 1985)

Non-Standard Algorithmic and Dynamic Logic. - Ana Pasztor (J. Symb. Comput., 1986)

Scott Induction and Closure under omega-Sups. - Ana Pasztor; Richard Statman (Theor. Comput. Sci., 1986)

Nonstandard Logics of Recursive Programs and Denotational Semantics. - Ana Pasztor (ALP, 1988)

A Streamlined Temporal Completeness Theorem. - Ana Pasztor; Ildikó Sain (CSL, 1989)

Does "N+1 Times" Prove More Programs Correct Than "N Times"? - Ana Pasztor (Mathematical Foundations of Programming Semantics, 1989)

A Sup-Preserving Completion of Ordered Partial Algebras. - Ana Pasztor (MFCS, 1990)

Recursive Programs and Denotational Semantics in Absolute Logics of Programs. - Ana Pasztor (Theor. Comput. Sci., 1990)

How Much Knowledge is Needed? (Co-)Evolutionary Design. - Mihaly Lenart; Ana Pasztor (IEA/AIE, 1994)

Formal specification for design automation. - Mihaly Lenart; Peter Padawitz; Ana Pasztor (Formal Design Methods for CAD, 1994)

The Chunking Engine: Closing the Gap Between Formal and Informal Design Specifications. - Mihaly Lenart; Ana Pasztor (IEA/AIE, 1995)

LUIS - A logic for task-oriented user interface specification. - Chris Stary; Ana Pasztor (Int. J. Intell. Syst., 1995)

Constructing Design Worlds. - Mihaly Lenart; Ana Pasztor (AID, 2002)

An Interactive and Multimodal Software for Teaching Induction for Computer Science. - Irene Polycarpou; Ana Pasztor (FECS, 2008)

A conceptual approach to teaching induction for computer science. - Irene Polycarpou; Ana Pasztor; Malek Adjouadi (SIGCSE, 2008)

Second Life, Bio-Sensors, and Exposure Therapy for Anxiety Disorders. - Christine L. Lisetti; Emmanuel Pozzo; Marie Lucas; Frank Hernandez; Wendy Silverman; Bill Kurtines; Ana Pasztor (Annual Review of Cybertherapy and Telemedicine, 2009)