dblp.uni-trier.dewww.uni-trier.de

Ana Pasztor

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
15 Irene Polycarpou, Ana Pasztor: An Interactive and Multimodal Software for Teaching Induction for Computer Science. FECS 2008: 326-331
14EEIrene Polycarpou, Ana Pasztor, Malek Adjouadi: A conceptual approach to teaching induction for computer science. SIGCSE 2008: 9-13
1995
13EEMihaly 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
11EEMihaly 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)

Coauthor Index

1Malek Adjouadi [14]
2Daniel J. Lehmann [1]
3Mihaly Lenart [11] [12] [13]
4Peter Padawitz [12]
5Irene Polycarpou [14] [15]
6Ildikó Sain [8]
7Richard Statman [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)