Pauline Naomi Kawamoto, Ph.D.

Shinshu University, Faculty of Engineering
Dept. of Information Engineering, Room 314
Nagano-ken Nagano-shi Wakasato 4-17-1, 380-8553 JAPAN
Tel/FAX: +81-26-269-5591, pauline@cs.shinshu-u.ac.jp
http://markun.cs.shinshu-u.ac.jp/kiso/staff/pauline/index-e.html


Education

Ph.D., System Development Technologies (1996), Shinshu University
M.S., Information Engineering (1993), Shinshu University
B.S., General Engineering (1988), Harvey Mudd College

Work History

Associate Professor, Information Engineering, (1997 to present)
    Shinshu University, Dept. of Information Engineering (Nagano, Japan)
Assistant Professor, Information Engineering (1996)
    Shinshu University, Dept. of Information Engineering (Nagano, Japan)
Software Consultant (1990)
    Cornerstone Software (San Diego, California)
Engineer (1988-1990)
    General Instrument (San Diego, California)

Research Interests, selected publications

Petri nets: formalization, tool development, applications

  1. Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Basic Petri Net Concepts"; Formalized Mathematics, 3, (2), 183-187, 1992.
  2. Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Basic Concepts for Petri Nets with Boolean Markings"; Formalized Mathematics, 4, (1), 87-90, 1993.
  3. Pauline N. KAWAMOTO and Yatsuka NAKAMURA: "On Cell Petri Nets"; Journal of Applied Functional Analysis, I, 12-22, 1996.
  4. Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Application of Petri Nets to Software Development - Practical Issues and Considerations"; Applied Informatics, Proc. Of the 14th IASTED International Conference, 362-365, 1996.
  5. Mayumi KITAZAWA, Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Petri Net Software Development for Parallel/Distributed Systems"; Parallel and Distributed Computing and Systems, Proc.of the 8th IASTED International Conference, 418-420, 1996.
  6. Pauline N. KAWAMOTO, Munehisa SAKAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "A Petri Net Environment for Developing Robot Controllers"; 4th International Conference on Control, Automation, Robotics, and Vision, 719-723, 1996D

Formalization of HW/SW design and verification techniques

  1. Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Preliminaries to Circuits, I"; Formalized Mathematics, 5, (2), 167-172, 1996.
  2. Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Preliminaries to Circuits, II", Formalized Mathematics, 5, (2), 215-220, 1996.
  3. Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Introduction to Circuits, I", Formalized Mathematics, 5, (2), 227-232, 1996.
  4. Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Introduction to Circuits, II", Formalized Mathematics, 5, (2), 273-278, 1996.
  5. Pauline N. KAWAMOTO and Andrzej TRYBULEC: "The Concept of a Many Sorted Algebra and a Model of Digital Circuitsh; ‹ž“s‘εŠw”—‰πΝŒ€‹†Šu‹†˜^, 975, 176-184, 1996.
  6. Katsumi WASAKI and Pauline N. KAWAMOTO: "2's Complement Circuit"; Formalized Mathematics, 6, (2), 189-197, 1997.
  7. Pauline N. KAWAMOTO: "On a Formalization of Digital Circuits in Mizar"; Mechanized Mathematics and Its Applications, 3, (1), 9-17, 2004.
Selected programming languages and applications

Development of Petri Net Design System (PDS)
  • for MS-DOS
  • for Windows, under Grants-in-Aid for Young Scientists (B) KAKENHI 15700508
  • for Web, under Grants-in-Aid for Young Scientists (B) KAKENHI 15700508

Web-based CAI development

  • Taught undergraduate courses in English and English conversation using self-constructed CAI materials written in HTML and Perl CGI
  • Taught graduate course on CAI using self-constructed CAI courseware

Programming Languages

  • C
  • Perl
  • Java


Back Home Japanese