Ana Pasztor

18 papers A 1B 4C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2009 — ch.
Second Life, Bio-Sensors, and Exposure Therapy for Anxiety Disorders.
Annual Review of Cybertherapy and Telemedicine
Christine L. Lisetti, Emmanuel Pozzo, Marie Lucas, Frank Hernandez, Wendy Silverman, Bill Kurtines, Ana Pasztor
2008 A conf
A conceptual approach to teaching induction for computer science.
SIGCSE
Irene Polycarpou, Ana Pasztor, Malek Adjouadi
2008 — conf
An Interactive and Multimodal Software for Teaching Induction for Computer Science.
FECS
Irene Polycarpou, Ana Pasztor
2002 — conf
Constructing Design Worlds.
AID
Mihaly Lenart, Ana Pasztor
1995 J jnl
LUIS - A logic for task-oriented user interface specification.
Int. J. Intell. Syst.
Chris Stary, Ana Pasztor
1995 C conf
The Chunking Engine: Closing the Gap Between Formal and Informal Design Specifications.
IEA/AIE
Mihaly Lenart, Ana Pasztor
1994 — conf
Formal specification for design automation.
Formal Design Methods for CAD
Mihaly Lenart, Peter Padawitz, Ana Pasztor
1994 C conf
How Much Knowledge is Needed? (Co-)Evolutionary Design.
IEA/AIE
Mihaly Lenart, Ana Pasztor
1990 B conf
A Sup-Preserving Completion of Ordered Partial Algebras.
MFCS
Ana Pasztor
1990 J jnl
Recursive Programs and Denotational Semantics in Absolute Logics of Programs.
Theor. Comput. Sci.
Ana Pasztor
1989 B conf
A Streamlined Temporal Completeness Theorem.
CSL
Ana Pasztor, Ildikó Sain
1989 B conf
Does "N+1 Times" Prove More Programs Correct Than "N Times"?
Mathematical Foundations of Programming Semantics
Ana Pasztor
1988 — conf
Nonstandard Logics of Recursive Programs and Denotational Semantics.
ALP
Ana Pasztor
1986 J jnl
Non-Standard Algorithmic and Dynamic Logic.
J. Symb. Comput.
Ana Pasztor
1986 J jnl
Scott Induction and Closure under omega-Sups.
Theor. Comput. Sci.
Ana Pasztor, Richard Statman
1985 B conf
On the Variety Concept of omega-Continuous Algebras. Application of a General Approach.
Mathematical Foundations of Programming Semantics
Ana Pasztor
1983 J jnl
Epis of some categories of Z-continuous partial algebras.
Acta Cybern.
Ana Pasztor
1982 J jnl
Epis need not be Dense.
Theor. Comput. Sci.
Daniel Lehmann, Ana Pasztor