A

Ané, T. and Geman, Hélyette (2000) Order flow, transaction clock and normality of asset returns. The Journal of Finance 55 (5), pp. 2259-2284. ISSN 0022-1082.

B

Balduccini, M. and Brignoli, G. and Lanzarone, G.A. and Magni, F. and Provetti, Alessandro (2000) Experiments in answer sets planning. In: Cairo, O and Sucar, L.E. and Cantu, F.J. (eds.) MICA 2000: Advances in Artificial Intelligence. Springer, pp. 95-107. ISBN 9783540673545.

Bollobas, B. and Cooper, C. and Fenner, Trevor and Frieze, A.M. (2000) Edge disjoint Hamilton cycles in sparse random graphs of minimum degree at least \emphk. Journal of Graph Theory 34 (1), pp. 42-59. ISSN 0364-9024.

Borges, J. and Levene, Mark (2000) A fine grained heuristic to capture web navigation patterns. SIGKDD Explorations 2 (1), pp. 40-50.

C

Calì, Andrea and Calvanese, D. and Lenzerini, M. (2000) Local constraint in semistructured data schemas. In: UNSPECIFIED (ed.) SEBD: Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati. SEBD, pp. 65-78.

Calì, Andrea and Calvanese, D. and Lenzerini, M. (2000) Semistructured data schemas with expressive constraints. In: Bouzeghoub, M. and Klusch, M. and Nutt, W. and Sattler, U. (eds.) KRDB 2000: Proceedings of the 7th International Workshop on Knowledge Representation meets Databases. CEUR Workshop Proceedings 29. CEUR, pp. 3-16.

Christodoulou, Chris and Clarkson, T.G. and Taylor, J.G. and Bugmann, G. (2000) Analysis of fluctuation-induced firing in the presence of inhibition. In: Amari, S.-I. and Giles, C.L. and Gori, M. and Piuri, V. (eds.) Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks. Neural Computing: New Challenges and Perspectives for the New Millennium. IEEE Computer Society, pp. 115-120. ISBN 0769506194.

D

de Moura Borges, J.L.C. and Levene, Mark (2000) An heuristic to capture longer user web navigation patterns. In: Bauknecht, K. and Madria, S.K. and Pernul, G. (eds.) Electronic Commerce and Web Technologies: First International Conference. Springer, pp. 155-164.

H

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2000) Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3), pp. 85-134. ISSN 0168-0072.

K

Karkanis, S.A. and Iakovidis, D.K. and Maroulis, D.E. and Theofanous, N.G. and Magoulas, George (2000) Tumor recognition in endoscopic video images using artificial neural network architectures. In: UNSPECIFIED (ed.) 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future. IEEE Computer Society. ISBN 0769507808.

L

Lawder, J.K. and King, Peter J.H. (2000) Using space-filling curves for multi-dimensional indexing. In: Lings, B. and Jeffery, K.G. (eds.) Advances in Databases, 17th British National Conference on Databases: BNCOD 17. Lecture Notes in Computer Science 1832. Springer, pp. 20-35. ISBN 9783540677437.

Levene, Mark and Vincent, Millist W. (2000) Justification for inclusion dependency normal form. IEEE Transactions on Knowledge and Data Engineering 12 (2), pp. 281-291. ISSN 1041-4347.

M

Magoulas, George and Plagianakos, V.P. and Vrahatis, M.N. (2000) Development and convergence analysis of training algorithms with local learning rate adaptation. In: UNSPECIFIED (ed.) Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks. IEEE Computer Society, pp. 21-26. ISBN 0769506194.

Magoulas, George and Vrahatis, M.N. (2000) A class of adaptive learning rate algorithms derived by one-dimensional subminimization methods. Neural, Parallel and Scientific Computations 8 (2), pp. 147-168. ISSN 1061-5369.

Marx, M. and Mikulas, Szabolcs and Reynolds, M. (2000) The mosaic method for temporal logics. In: Dyckhoff, R. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000. Lecture Notes in Computer Science 1874. Springer, pp. 324-340. ISBN 9783540676973.

N

Nedev, Z.P. and Wood, Peter (2000) A polynomial-time algorithm for finding regular simple paths in outerplanar graphs. Journal of Algorithms 35 (2), pp. 235-259. ISSN 0196-6774.

Ng, W. and Levene, Mark and Fenner, Trevor (2000) On the expressive power of the relational algebra with partially ordered domains. International Journal of Computer Mathematics 74 (1), pp. 53-62. ISSN 0020-7160.

Noble, Steven and Welsh, D.J.A. (2000) Knot graphs. Journal of Graph Theory 34 (1), pp. 100-111. ISSN 0364-9024.

P

Papanikolaou, K.A. and Magoulas, George and Grigoriadou, M. (2000) Computational intelligence in adaptive educational hypermedia. In: UNSPECIFIED (ed.) Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium. IEEE Computer Society, pp. 629-636. ISBN 0769506194.

Papanikolaou, K.A. and Magoulas, George and Grigoriadou, M. (2000) A connectionist approach for supporting personalized learning in a web-based learning environment. In: Brusilovsky, P. and Stock, O. and Strapparava, C. (eds.) Adaptive Hypermedia and Adaptive Web-Based Systems. Lecture Notes in Computer Science 1892. Springer, pp. 189-201. ISBN 10.1007/3-540-44595-1.

S

Sturm, H. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2000) Semi-qualitative reasoning about distances: a preliminary report. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Pereira, L.M. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 37-56. ISBN 9783540411314.

Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2000) Monodic epistemic predicate logic. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Moniz Pereira, L. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 329-344. ISBN 9783540411314.

V

Vincent, M.W. and Levene, Mark (2000) Restructuring partitioned normal form relations without information loss. SIAM Journal on Computing 29 (5), pp. 1550-1567. ISSN 0097-5397.

Vrahatis, M.N. and Magoulas, George and Plagianakos, V.P. (2000) Globally convergent modification of the quickprop method. Neural Processing Letters 12 (2), pp. 159-170. ISSN 1370-4621.

W

Wolter, F. and Zakharyaschev, Michael (2000) Spatial reasoning in RCC-8 with boolean region terms. In: Horn, W. (ed.) ECAI 2000: Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, pp. 244-250.

Wolter, F. and Zakharyaschev, Michael (2000) Spatio-temporal representation and reasoning based on RCC-8. In: Cohn, A.G. and Giunchiglia, F. and Selman, B. (eds.) KR 2000: Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 3-14. ISBN 9781558606906.

Wood, Peter (2000) On the equivalence of XML patterns. In: Lloyd, J.W. and Dahl, V. and Furbach, U. and Kerber, M. and Lau, K.-K. and Palamidessi, C. and Pereira, L.M. and Sagiv, Y. and Stuckey, P.J. (eds.) CL 2000: Computational Logic. Lecture Notes in Computer Science 1861. Springer, pp. 1152-1166. ISBN 9783540449577.

Wood, Peter (2000) Rewriting XQL queries on XML repositories. In: Lings, B. and Jeffery, K.G. (eds.) BNCOD 17: Advances in Databases. Lecture Notes in Computer Science 1832. Springer, pp. 209-226. ISBN 9783540677437.

Z

Zakharyaschev, Michael (2000) Multi-dimensional modal logic, Maarten Marx and Yde Venema. Journal of Logic, Language and Information 9 (1), pp. 128-131. ISSN 0925-8531.

Zakharyaschev, Michael and Segerberg, K. and de Rijke, M. and Wansing, H. (2000) The origins of modern modal logic. In: Zakharyaschev, Michael and Segerberg, K. and de Rijke, M. and Wansing, H. (eds.) Advances in Modal Logic 2: Papers from the Second Workshop on Advances in Modal logic. CSLI Publications.

Zhang, Dell and Dong, Y. (2000) An efficient algorithm to rank web resources. Computer Networks 33 (1-6), pp. 449-455. ISSN 1389-1286.

Zhao, X. and Martin, N.J. and Johnson, Roger (2000) PPS: a parallel partition sort algorithm for multiprocessor database systems. In: Tjoa, A.M. and Wagner, R.R. and AI-Zobaidie, A. (eds.) 11th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, pp. 635-646. ISBN 9780769506801.