Hsiang, Jieh
Dean, College of Science and technology,
National Chi-Nan University
Puli, Nantou, TAIWAN
Professor of Computer Science,
National Taiwan University
Taipei,
TAIWAN
Phone (Taipei): +886-2-2362-5336 x 323
Fascimile (Taipei):
+886-2-2362-2704
Phone (Puli): +886-49-910-960 x 4000
Fascimile (Puli): +886-49-917-812
Email:
hsiang@csie.ntu.edu.tw
PhD, Computer Science, University of Illinois at
Urbana-Champaign, 1983
Areas of research interest:
Current research projects:
Selected recent publications (grossly out of date)
- M.P. Bonacina and J. Hsiang,
``Parallelization of deduction strategies: an analytical study'',
Journal of Automated Reasoning, 13, 1--33, 1994.
- M.P. Bonacina and J. Hsiang,
``Towards a foundation of completion procedures as semi-decision procedures'',
Theoretical Computer Science, 146, 199--242, 1995.
- H. Chen and J. Hsiang,
``Recurrence domains: their unification and application to logic programming'',
Information and Computation, 19, 245--267, 1995.
- J. Hsiang and G.S. Huang,
``Some Fundamental Properties of Boolean Ring Normal Forms'',
DIMACS series on Discrete Mathematics and Computer Science:
The Satisfiability Problem, American Mathematical Society,
in press, 1996.
- J. Hsiang and A. Wasilewska,
`` Automating algebraic proofs in algebraic logic'',
Fundamenta Informaticae, in press, 1996.
- H. Zhang, M.P. Bonacina and J. Hsiang,
``PSATO: a Distributed Propositional Prover and
Its Application to Quasigroup Problems'',
Journal of Symbolic Computation, in press, 1996.
- Semi-complete list of publications
Most recent work available upon request
- M.P. Bonacina and J. Hsiang,
``On the modeling of search in theorem proving --
Towards a theory of strategy analysis'', 35 pages.
- M.P. Bonacina and J. Hsiang,
``On semantic resolution with lemmaizing and contraction'', 32 pages.
Last Updated: 2-November-1996