Publication Areas Include:

Cognitive Science

Math Education

Women's Studies

Partial Algebras and Math Foundations of Computation

Design and AI

Cognitive Science:

• C. L. Lisetti and A. Pasztor, “Neuro-Linguistic Programming: A Meta-Model of Cognition.” Proceedings of the 3rd Colloquium in Cognitive Science, Spain, May, 1993.
• M. Lenart and A. Pasztor, “A Cognitive Approach to the Elicitation of Skills and Specifications,” Extended Abstract, Proceedings of the Eighteenth Annual Conference of the Cognitive Science Society, University of California, San Diego, July 12-15, 1996, p. 795.
• A. Pasztor, “Intelligent Agents with Subjective Experience,” Extended Abstract, Proceedings of the Nineteenth Annual Conference of the Cognitive Science Society, August 1997, Stanford University.
• A. Pasztor, ‘‘Qualia Decomposed,’’ Toward a Science of Consciousness 1996, Consciousness Research Abstracts, Special Issue of the Journal of Consciousness Studies, Imprint Academic, p. 41.
• A. Pasztor, ‘‘Consciousness and The Choice of Response to Experiences,’’ The Brain and Self Workshop, August, Denmark, 1997. Consciousness Research Abstracts, Special Issue of the Journal of Consciousness Studies, Imprint Academic, Abstract No. 13.
• A. Pasztor, “Subjective Experience Divided and Conquered,” Communication and Cognition, Vol. 31, nr.1, 1998, 73-102.
• Adeofe and A. Pasztor, “Bridging the Explanatory Gap,” Towards a Science of Consciousness 1998. Consciousness Research Abstracts, Special Issue of the Journal of Consciousness Studies, http://www.imprint.co.uk/, Abstract No: 1138.
• A. Pasztor and J. Slater, “Neurological levels,” Towards a Science of Consciousness 1998. Consciousness Research Abstracts, Special Issue of the Journal of Consciousness Studies, Imprint Academic, Abstract No: 965.
• M. Lenart and A. Pasztor: “Pragmatic Paradoxes and the Hard Problem of Consciousness.” Proceedings of the First International Conference on Consciousness in Science and Philosophy, Eastern Illinois University, Nov. 1998. In Informatica, volume 22, nr. 3, 389-390.
• M. Hale-Haniff and A. Pasztor: “Co-constructing subjective experience: A constructivist approach,” in Dialogues in Psychology,vol. 16, 1999
• M. Hale-Haniff and A. Pasztor: “Linguistic presuppositions: Gateway to belief systems,” 7th International Pragmatics Conference, Budapest, 9-14 July, 2000.
• M. Hale-Haniff and A. Pasztor: “Value-Congruence in Cognitive Science.” Towards a Science of Consciousness 2000. Consciousness Research Abstracts, Special Issue of the Journal of Consciousness Studies, Imprint Academic, Abstract No: 107.
• A. Pasztor, A Qualitative Approach to Emotions. Towards a Science of Consciousness 2003: Between Phenomenology and Neuroscience conference; Prague, Czech Republic, July, 2003.
• A. Pasztor, Metaphors: A Constructivist Approach. Pragmatics & Cognition 12:2, (2004), pp. 317–350.
• A. Pasztor. Radical Constructivism Has Been Viable: On Math Education and More. Karl Jaspers Forum, 2004. http://www.kjf.ca/73-C41PA.htm
• A. Pasztor and C. Alacaci. On people’s incorrect either-or patterns in negating quantified statements: A study. The 27th Annual Meeting of the Cognitive Science Society, Stresa, Italy, July, 2005.
• C. Alacaci and A. Pasztor. People’s Negation behavior: The power of content. The 27th Annual Meeting of the Cognitive Science Society, Stresa, Italy, July, 2005.
• A. Pasztor and M. Lenart. Design meets cognitive science. Fourth Annual Summer Interdisciplinary Conference, July, 2005, Briancon, France.
• A. Pasztor, Metaphors: A Constructivist Approach. Pragmatics & Cognition 12:2, (2004), pp. 317–350.
• A. Pasztor, Coming to Our Senses: From Constructivism to Democratization of Math Education. Constructivist Foundations vol. 2, number 2-3, 2007, pp. 98-106.

Partial Algebras and Mathematical Foundations of Computation:

• A.Pasztor, “A category theoretical characterization of surjective homorphisms of partial algebras,” Studia Scient. Mathem. Hungarica 12 (1977), 251-256.
• A. Pasztor, “Factorization systems in the category of partial algebras—characterization of classes of (homo)morphisms.” Hochschulverlag, Freiburg, 1979 (in German)
• P. Burmeister, R. John, and A. Pasztor, “On closed morphisms in the category of partial algebras,” Contributions of General Algebra, Proc. of the Klagenfurt Conf., May 25-28, 1978. Verlag Johannes Heyn, Klagenfurt, 1979, 69-76.
• A. Pasztor, “The epis of POS(omega) ,” Proc. of the Third Workshop Meeting on Categorical and Algebraic Methods in Comp. Sci. and System Theory, at Haus Ahlenberg, Herdecke, Nov. 3-7, 1980. Forschungsbericht 114, Abt. Informatik, Univ. Dortmund, 81-86.
• D. Lehmann and A. Pasztor, “Epis need not be dense,” Theoretical Computer Science 17 (1982), 151-161.
• A.Pasztor, “The epis of POS(Z),” Commentationes Mathem. Univ. Carolinae 23, 2 (1982), 285-299.
• A. Pasztor, “A sup-preserving completion of ordered partial algebras,” Seminarberichte aus dem Fachbereich Mathematik und Informatik Nr. 16, 1982, Fernuniversitat Hagen, 14-164.
• A. Pasztor, “Ordered algebras are monoreflective in the category of ordered partial algebras,” Proc. of the 7th Colloquium on Trees in Algebra and Programming, March 4-6, 1982, Lille—France.
• A. Pasztor, “Epis of some categories of Z-continuous partial algebras,” Acta Cybernatica 6/1 (1983), 111-123.
• A. Pasztor, “The epis of the category of ordered algebras and Z-continuous homorphisms,” Cahiers de Topologie et Geometrie Differentielle XXIV/2 (1983), 203-213.
• A. Pasztor, “Chain-continuous algebras—a variety of partial algebras,” Fundamenta Informaticae vi. 3-4 (1983), 275-288.
• A. Pasztor, “Continuity of operations does change the epis,” Proc. of the Coll. on Algebra. Combinatorics and Logic in Comp. Sci., Sept. 12-16, 1983, Gyor, Hungary. In Colloquia Mathematicae Societatis J. Bolyai 42 (1983), 645-648.
• A. Pasztor, “Surjections of complete posets and of continuous algebras,” Algebra Universalis 17 (1983), 65-72.
• H. Andreka and A. Pasztor, “Relative epis need not be surjective,” Algebra Universalis 20/2 (1985), 197-204.
• A. Pasztor, “On the generalized variety concept for continuous algebras. Application of a general approach,” Proc. of Conf. on the Math. Found. of Progr. Semantics, Kansas, Manhattan, April 11-12, 1985. In Lecture Notes in Comp. Sci. 239, Springer Verlag, 215-249.
• A. Pasztor, “On P- dominions of continuous algebras,” Journal of Pure and Applied Algebra 41 (1986), 263-283.
• A. Pasztor and R. Statman, “Scott induction and closure under ?-sups.” Theoretical Computer Science 43 (1986), 251-263.
• A. Pasztor, “Extremal subobjects of complete posets,” Commentationes Mathem. Univ. Carolinae 27/2 (1986), 229-234.
• A. Pasztor, “Nonstandard algorithmic and dynamic logic,” Journal of Symbolic Computation 2 (1986), 59-81.
• A. Pasztor, “An Infinite Hierarchy of Program Verification Methods”, Proceedings of Workshop on Many-Sorted Logic and its Applications in Computer Science, Sept., 12-14, 1988, Leeds, England.
• A. Pasztor, “Nonstandard Logics of Recursive Programs and Denotational Semantics,” ALP 1988. In Lecture Notes in Computer Science 343, Springer Verlag, 255-278.
• A. Pasztor, “Does ‘N+1 Times’ Prove More Programs Correct than ‘N Times’?” Proceedings of Fifth Conference on the Math. Found. of Programming Semantics, March 29-April 1, 1989, New Orleans, Tulane Univ. In Lecture Notes in Comp. Sci. 442, Springer Verlag, 373-390.
• A. Pasztor and I. Sain, “A streamlined temporal completeness theorem,” Proceedings of Computer Science Logic ’89. In Lecture Notes in Comp. Sci. 440, Springer Verlag, 322-337.
• A. Pasztor, “A sup-preserving completion of ordered partial algebras,” Proceeding of Mathematical Foundations of Computer Science 1990. In Lecture Notes in Comp. Sci. 452, Springer Verlag, 446-456.
• A. Pasztor, “Recursive programs and denotational semantics in absolute logics of programs”, Theoretical Computer Science 70/1 (1990), 127-150.
• A. Pasztor, “Many-Sorted Logic and its Applications,” Part III/section 9. Eds. J.V.Tucker and K.Meinke, John Wiley and Sons, 1992.

Design and AI:

• A. Pasztor, and Ch. Stary, “Towards a Logic for Knowledge-Based User Interface Specification,” Proceedings of IEEE Int’l Conf. on Man, Machine and Cybernetics, Charlottesville, VA, Oct. 1991, 1139-1144.
• A. Pasztor and Ch. Stary, “Many-Sorted Temporal Logic for Knowledge-Based User Interface Specification,” Proceedings of Artificial Intelligence and Mathematics, Jan. 5-8, 1992.
• M. Lenart and A. Pasztor, “Creative Building Design by Using Genetic Algorithms,” Proceedings of the Second Int’l Round-Table conference on Computational Models of Creative Design, Australia, 7-10 December, 1992.
• A. Pasztor and Ch. Stary, “Organizational Intelligence: The Formal Representation of End User Tasks in their Organizational Context,” Proceedings of “Logic at Work,” Amsterdam, Dec. 17-19, 1992.
• M. Lenart and A. Pasztor, “Knowledge Based Specification of the Design Process Using Many-Sorted Logic,” Ulam Quarterly, volume 1, number 4, 1992, 37-51.
• M. Lenart, P. Padawitz, and A. Pasztor, “Automating Creative Design,” Proceedings of AAAI ‘93 Spring Symposium Series at Stanford University, March 1993, AI and Creativity Symposium.
• M. Lenart, P. Padawitz, and A. Pasztor, “Formal Specification for Design Automation,” IFIP Transactions B-18, Proceedings of the IFIP TC5/Working Group 5.2 Workshop on
  Formal Design Methods for CAD, Tallinn, Estonia, June 16-19 1993. J.S. Gero and E. Tyugu eds., Elsevier, North Holland Publ., 1994, 201-220.
• M. Lenart and A. Pasztor, “How Much Knowledge Is Needed? (Co--)Evolutionary Design,” Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Austin, Texas, May 30 - June 3, 1994, Gordon and Breach Science Publisher, pp. 413-419.
• M. Lenart and A. Pasztor, “The Chunking Engine: Closing the Gap Between Formal and Informal Design Specifications,” Proceedings of the Eighth International Conference on Industrial and
  Engineering Applications of Artificial Intelligence and Expert Systems, June 6-9, Melbourne, Australia. Gordon and Breach Science Publisher, 1995, 491-499.
• M. Lenart and A. Pasztor, “A Cognitive Approach to the Elicitation of Skills and Specifications,” Extended Abstract, Proceedings of the Eighteenth Annual Conference of the Cognitive Science Society, University of California, San Diego, July 12-15, 1996, p. 795.
• A. Pasztor, “Intelligent Agents with Subjective Experience,” Extended Abstract, Proceedings of the Nineteenth Annual Conference of the Cognitive Science Society, August 1997, Stanford University.
• M. Lenart and A. Pasztor, "Constructing Design Worlds." In: Artificial Intelligence in Design '02, J.S. Gero (Ed.). Kluwer Academic Press; Dordrecht: The Netherlands, 2002. pp. 65-88.
• A. Pasztor and M. Lenart. Design meets cognitive science. Fourth Annual Summer Interdisciplinary Conference, July, 2005, Briancon, France.

Math Education:

• C. Alacaci and A. Pasztor, "Effects of State Assessment Preparation Materials on Students’ Learning of School Mathematics—A Study." The Journal of Mathematical Behavior, vol.21, 2002, 225-253.
• A. Pasztor, "Experiencing mathematics," to appear in the Journal of the Academy for the Art of Teaching at FIU, Volume X, Number 1, Spring 2003.
• A. Pasztor, "Making sense (literally!) of students' mathematics experience." Proceedings of Psychology in Math Education (PME) 27, University of Hawaii, 2003; p. I-311.
• C. Alacaci and A. Pasztor, "Effects of semantic content on logical reasoning with negation." Proceedings of Psychology in Math Education (PME) 27, University of Hawaii, 2003 , p. I-199.
• A. Pasztor. Radical Constructivism Has Been Viable: On Math Education and More. Karl Jaspers Forum, 2004. http://www.kjf.ca/73-C41PA.htm
• A. Pasztor and C. Alacaci, "On people’s incorrect either-or patterns in negating quantified statements: A study." The 27th Annual Meeting of the Cognitive Science Society, Stresa, Italy, July, 2005.
• C. Alacaci and A. Pasztor, "People’s Negation behavior: The power of content." The 27th Annual Meeting of the Cognitive Science Society, Stresa, Italy, July, 2005.
• I, Polycarpou, A. Pasztor, and C. Alacaci, Sources of students’ difficulties with proofs by induction: A study. In Proceedings of 3rd International Conference in Teaching Mathematics (July, 2006), paper 446, Istanbul, Turkey.
• A. Pasztor, Coming to Our Senses: From Constructivism to Democratization of Math Education. Constructivist Foundations vol. 2, number 2-3, 2007, pp. 98-106.

Women's Studies:

• A. Pasztor and J. Slater, “Construction of Cognitive Alignment in Women. A Neurolinguistic Study,” Proceedings of the Annual Meeting of the American Educational Research Association, April 8-12, New York, 1996.
• A. Pasztor and J. Slater, “Construction of Alignment of Women in Higher Education,” Proceedings of the 10th Annual Women in Higher Education, International Conference, January, Fort Worth, Texas, 1997.
• A. Pasztor and J. Slater, “Equity of Aspirations of Women in Higher Education in the Fields of Mathematics and Science,” Proceedings of the Annual Conference of the American Educational Research Association, University of California at San Diego, April, 1998.
• A. Pasztor, "A Paradigm Shift: Towards a 'Feminine' Science." Muse Newsletter of the Women's Center, Division of Student Affairs, Florida International University, November 2001.
• A.Pasztor and J. Slater, “Acts of Alignment: Of Women in Math and Science and All of Us Who Search for Balance.” Peter Lang Publishing, ISBN 0-8204-37662, October, 2000.