Formalizing Calendars with the Category of Ordinals
Applied Intelligence
Efficiently Supporting Temporal Granularities
IEEE Transactions on Knowledge and Data Engineering
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Eliminating dead code on recursive data
Science of Computer Programming - Special issue on static analysis (SAS'99)
Temporal coalescing with now granularity, and incomplete information
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Time frames: temporal augmentation of the news
IBM Systems Journal
Line drawing, leap years, and Euclid
ACM Computing Surveys (CSUR)
Introducing abstraction and decomposition to novice programmers
ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
GeTS: a specification language for geo-temporal notions
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Computational treatment of temporal notions: the CTTN-system
Proceedings of the 2005 international conference on Annotating, extracting and reasoning about time and events
Computational treatment of temporal notions: the CTTN–System
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
Hi-index | 0.00 |