B

Brown, Paul and Stonebraker, M. (1995) BigSur: a system for the management of earth science data. In: Dayal, U. and Gray, P.M.D. and Nishio, S. (eds.) VLDB 1995: Proceedings of 21th International Conference on Very Large Data Bases. Morgan Kaufmann, pp. 720-728.

C

Chagrov, A.V. and Zakharyaschev, Michael (1995) On the independent axiomatizability of modal and intermediate logics. Journal of Logic and Computation 5 (3), pp. 287-302. ISSN 0955-792X.

Christodoulou, Chris and Clarkson, T.G. (1995) A review on the stochastic firing behaviour of real neurons and how it can be modelled. In: Mira, J. and Hernandez, F.S. (eds.) International Workshop on Artificial Neural Networks 95: From Natural to Artificial Neural Computation. Lecture Notes in Computer Science 930. Springer, pp. 223-230. ISBN 9783540594970.

Consens, M.P. and Mendelzon, A.O. and Vista, D. and Wood, Peter (1995) Constant propagation versus join reordering in datalog. In: Sellis, T. (ed.) RIDS 95: Rules in Database Systems. Lecture Notes in Computer Science 985. Springer, pp. 245-259. ISBN 9783540603658.

D

Dyer, M. and Fenner, Trevor and Frieze, A.M. and Thomason, A. (1995) On key storage in secure networks. Journal of Cryptology 8 (4), pp. 189-200. ISSN 0933-2790.

G

Geman, Hélyette (1995) Changes of numéraire, changes of probability measure and option pricing. Journal of Applied Probablity 32 (2), pp. 443-458. ISSN 0021-9002.

Geman, Hélyette and Eydeland, A. (1995) Domino effect: inverting the laplace transform. Risk 8 , pp. 65-67.

H

Hidders, Jan (1995) Union-types in object-oriented schemes. In: Atzeni, P. and Tannen, V. (eds.) Database Programming Languages, DBPL-5: Proceedings of the Fifth International Workshop on Database Programming Languages. Electronic Workshops in Computing. Springer.

L

Levene, Mark (1995) A lattice view of functional dependencies in incomplete relations. Acta Cybernetica 12 (2), pp. 181-207. ISSN 0324-721X.

Levene, Mark and Fenner, Trevor (1995) A partial analysis of minimaxing game trees with random leaf values. International Computer Games Association Journal 18 (1), pp. 20-33. ISSN 1389-6911.

Levene, Mark and Loizou, G. (1995) The additivity problem for data dependencies in incomplete relational databases. In: Libkin, L. and Thalheim, B. (eds.) Semantics in Databases: Selected Papers from a Workshop. Lecture Notes in Computer Science 1358. Springer, pp. 136-169. ISBN 9783540641995.

Levene, Mark and Loizou, G. (1995) A correspondence between variable relations and three-valued propositional logic. International Journal of Computer Mathematics 55 (1-2), pp. 29-38. ISSN 0020-7160.

Levene, Mark and Loizou, G. (1995) A graph-based data model and its ramifications. IEEE Transactions on Knowledge and Data Engineering 7 (5), pp. 809-823. ISSN 1041-4347.

M

Marx, M. and Mikulas, Szabolcs and Nemeti, I. (1995) Taming logic. Journal of Logic, Language and Information 4 (3), pp. 207-226. ISSN 0925-8531.

Mendelzon, A.O. and Wood, Peter (1995) Finding regular simple paths in graph databases. SIAM Journal on Computing 24 (6), pp. 1235-1258. ISSN 0097-5397.

Michos, S.E. and Magoulas, George and Fakotakis, N. (1995) A hybrid knowledge representation model in a natural language interface to MS-DOS. In: UNSPECIFIED (ed.) Seventh International Conference on Tools with Artificial Intelligence: ICTAI '95. IEEE Computer Society, pp. 480-483. ISBN 0818673125.

P

Papantonakis, A. and King, Peter J.H. (1995) Syntax and semantics of Gql, a graphical query language. Journal of Visual Languages and Computing 6 (1), pp. 3-25. ISSN 1045-926X.

Pesaran, M.H. and Smith, Ron P. (1995) Estimating long-run relationships from dynamic heterogeneous panels. Journal of Econometrics 68 (1), pp. 79-113. ISSN 0304-4076.

S

Sutton, D.R. and King, Peter J.H. (1995) Incomplete information and the functional data model. The Computer Journal 38 (1), pp. 31-42. ISSN 0010-4620.

W

Wood, Peter (1995) Magic factoring of closure programs. In: Yannakakis, M. and Abiteboul, S. (eds.) Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery, pp. 174-183. ISBN 9780897917308.

Z

Zakharyaschev, Michael and Alekseev, A. (1995) All finitely axiomatizable normal extensions of K4.3 are decidable. Mathematical Logic Quarterly 41 (1), pp. 15-23. ISSN 0942-5616.