If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Takashi Hattori is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Temporal logic Engineering & Materials Science
Logic programming Engineering & Materials Science
Temporal Logic Mathematics
Logic Programming Mathematics
Data structures Engineering & Materials Science
Demonstrations Engineering & Materials Science
Computer operating systems Engineering & Materials Science
Process control Engineering & Materials Science

Research Output 1994 2011

  • 11 Citations
  • 2 h-Index
  • 2 Conference contribution
  • 2 Article
4 Citations (Scopus)

Wikigramming: A wiki-based training environment for programming

Hattori, T., 2011, Proceedings - International Conference on Software Engineering. p. 7-12 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Servers

Exploiting multiple radii to learn significant locations

Toyama, N., Ota, T., Kato, F., Toyota, Y., Hattori, T. & Hagino, T., 2005, Lecture Notes in Computer Science. Strang, T. & Lindenhoff-Popien, C. (eds.). Vol. 3479. p. 157-168 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Programming constraints by demonstration

Hattori, T., 2003 Feb, In : Journal of Visual Languages and Computing. 14, 1, p. 79-96 18 p.

Research output: Contribution to journalArticle

Data structures
Demonstrations
Programming
Editing
Fixed Point

Time-extraction for temporal logic-logic programming and local process time

Hattori, T., 1994, In : Journal of Computer and System Sciences. 49, 1, p. 40-56 17 p.

Research output: Contribution to journalArticle

Temporal logic
Logic programming
Temporal Logic
Logic Programming
Computer operating systems