Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

Article

Adamczyk, P.D. and Hamilton, K. and Chamberlain, A. and Benford, S. and Tandavanitj, N. and Oldroyd, A. and Hartman, K. and London, K. and Sriskandarajah, S. and Kanjo, E. and Landshoff, P. and Sezaki, K. and Konomi, S. and Niazi, M.A. and Ahmad, H.F. and Mirza, F. and Ali, A. and Roussos, George and Papadogkonas, D. and Levene, Mark (2007) Urban computing and mobile devices. IEEE Distributed Systems Online 8 (7), p. 2. ISSN 1558-1683.

Bar-Ilan, J. and Keenoy, K. and Yaari, E. and Levene, Mark (2007) User rankings of search engine results. Journal of the Association for Information Science and Technology 58 (9), pp. 1254-1266. ISSN 2330-1643.

Bar-Ilan, J. and Levene, Mark and Lin, A. (2007) Some measures for comparing citation databases. Journal of Informetrics 1 (1), 26 - 34. ISSN 1751-1577.

Bates, C. and Bundy, D. and Hart, Sarah and Rowley, P.J. (2007) Commuting involution graphs for sporadic simple groups. Journal of Algebra 316 (2), 849 - 868. ISSN 0021-8693.

Belsley, D.A. and Kontoghiorghes, Erricos J. and Magnus, J.R. (2007) The third special issue on computational econometrics. Computational Statistics & Data Analysis 51 (7), 3258 - 3258. ISSN 0167-9473.

Bulatov, A.A. and Chen, Hubie and Dalmau, V. (2007) Learning intersection-closed classes with signatures. Theoretical Computer Science 382 (3), pp. 209-220. ISSN 0304-3975.

De Freitas, Sara (2007) Post-16 e-learning content production: a synthesis of the literature. British Journal of Educational Technology 38 (2), pp. 349-364. ISSN 0007-1013.

De Freitas, Sara and Griffiths, M. (2007) Online gaming as an educational tool in learning and training. British Journal of Educational Technology 38 (3), pp. 535-537. ISSN 0007-1013.

De Freitas, Sara and Jarvis, S. (2007) Serious games - engaging training solutions: a research and development project for supporting training needs. British Journal of Educational Technology 38 (3), pp. 523-525. ISSN 0007-1013.

Fenner, Trevor and Levene, Mark and Loizou, George (2007) A model for collaboration networks giving rise to a power law distribution with exponential cutoff. Social Networks 29 (1), pp. 70-80. ISSN 0378-8733.

Fenner, Trevor and Levene, Mark and Loizou, George and Roussos, George (2007) A stochastic evolutionary growth model for social networks. Computer Networks 51 (16), 4586 - 4595. ISSN 1389-1286.

Galitsky, Boris A. and Kuznetsov, S.O. and Vinogradov, D.V. (2007) Applying hybrid reasoning to mine for associative features in biological data. Journal of Biomedical Informatics 40 (3), 203 - 220. ISSN 1532-0464.

Gatu, C. and Yanev, P.I. and Kontoghiorghes, Erricos J. (2007) A graph approach to generate all possible regression submodels. Computational Statistics & Data Analysis 52 (2), 799 - 815. ISSN 0167-9473.

Hart, Sarah and Rowley, P.J. (2007) Lengths of subsets in coxeter groups. Turkish Journal of Mathematics 31 , pp. 63-77. ISSN 1300-0098.

Hart, Sarah and Rowley, P.J. and Bundy, D. and Bates, C. (2007) Primitive k-free permutation groups. Archiv der Mathematik 88 (3), pp. 193-198. ISSN 0003-889X.

Hofmann, M. and Gatu, C. and Kontoghiorghes, Erricos J. (2007) Efficient algorithms for computing the best subset regression models for large-scale problems. Computational Statistics & Data Analysis 52 (1), 16 - 29. ISSN 0167-9473.

Konomi, S. and Roussos, George (2007) Ubiquitous computing in the real world: lessons learnt from large scale RFID deployments. Personal and Ubiquitous Computing 11 (7), pp. 507-521. ISSN 1617-4909.

Levene, Mark and Bar-Ilan, J. (2007) Comparing typical opening move choices made by humans and chess engines. The Computer Journal 50 (5), pp. 567-573. ISSN 0010-4620.

Magoulas, George D. and Ghinea, G. (2007) Intelligence-based adaptation for ubiquitous multimedia communications. Journal of Network and Computer Applications 30 (3), 955 - 957. ISSN 1084-8045.

Magoulas, George and Dounias, G. (2007) Computational intelligence in medicine and biology. Applied Intelligence 27 (3), pp. 189-192. ISSN 0924-669X.

Magoulas, George and Lepouras, G. and Vassilakis, C. (2007) Virtual reality in the e-society. Virtual Reality 11 (2-3), pp. 71-73. ISSN 1359-4338.

Maybank, Stephen J. (2007) Application of the Fisher-Rao metric to ellipse detection. International Journal of Computer Vision 72 (3), pp. 287-307. ISSN 0920-5691.

Paterson, Maura B. (2007) Sequential and dynamic frameproof codes. Designs, Codes and Cryptography 42 (3), pp. 317-326. ISSN 0925-1022.

Paterson, Maura B. (2007) Sliding-window dynamic frameproof codes. Designs, Codes and Cryptography 42 (2), pp. 195-212. ISSN 0925-1022.

Razgon, Igor (2007) A 2O(k)poly(n) algorithm for the parameterized convex recoloring problem. Information Processing Letters 104 (2), pp. 53-58. ISSN 0020-0190.

Razgon, Igor and Meisels, A. (2007) A CSP search algorithm with responsibility sets and kernels. Constraints: An International Journal 12 , pp. 151-177. ISSN 1383-7133.

Sheremet, M. and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2007) A logic for concepts and similarity. Journal of Logic and Computation 17 (3), pp. 415-452. ISSN 0955-792X.

Yanev, P.I. and Kontoghiorghes, Erricos J. (2007) Computationally efficient methods for estimating the updated-observations SUR models. Applied Numerical Mathematics 57 (11-12), 1245 - 1258. ISSN 0168-9274.

de Moura Borges, J.L.C. and Levene, Mark (2007) Evaluating variable-length Markov chain models for analysis of user web navigation sessions. IEEE Transactions on Knowledge and Data Engineering 19 (4), pp. 441-452. ISSN 1041-4347.

de Moura Borges, J.L.C and Levene, Mark (2007) Testing the predictive power of variable history web usage. Soft Computing 11 (8), pp. 717-727. ISSN 1432-7643.

Book Review

Levene, Mark (2007) Artificial intelligence for games: series in interactive 3D technology. [Book Review]

Editorial/Introduction

Jefferies, J. and Brown, Paul (2007) Computational and spatially-organised narrativity. [Editorial/Introduction]

Roussos, George and Konomi, S. (2007) Ubiquitous computing in the real world. [Editorial/Introduction]

Book Section

Altinel, M. and Brown, Paul and Cline, S. and Kartha, R. and Louie, E. and Markl, V. and Mau, L. and Ng, Y.-H. and Simmen, D.E. and Singh, A. and Srivastava, D. (2007) DAMIA: a data mashup fabric for intranet applications. In: Koch, C. and Gehrke, J. and Garofalakis, M.N. and Aberer, K. and Deshpande, A. and Florescu, D. and Yong Chan, C. and Ganti, V. and Kanne, C.-C. and Klas, W. and Neuhold, E.J. (eds.) ACM 2007: Proceedings of the 33rd International Conference on Very Large Data Bases. Association for Computing Machinery, pp. 1370-1373. ISBN 9781595936493.

Anastasiadis, A.D. and Georgoulas, G.D. and Magoulas, George and Tzes, A. (2007) Adaptive particle swarm optimizer with nonextensive schedule. In: Lipson, H. (ed.) Genetic and Evolutionary Computation Conference. ACM. ISBN 9781595936974.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) Complexity of reasoning in entity relationship models. In: Calvanese, D. and Franconi, E. and Haarslev, V. and Lembo, D. and Motik, B. and Turhan, A.-Y. and Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics. CEUR Workshop Proceedings 250. CEUR Workshop Proceedings.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) Reasoning over extended ER models. In: Parent, C. and Schewe, K.-D. and Storey, V.S. and Thalheim, B. (eds.) Conceptual Modeling, ER 2007: 26th International Conference on Conceptual Modeling. Lecture Notes in Computer Science 4801. Springer, pp. 277-292. ISBN 9783540755623.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, M. (2007) DL-Lite in the light of first-order logic. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence. AAAI Press, pp. 361-366.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, M. (2007) Query answering in expressive variants of DL-Lite. In: Ceci, M. and Malerba, D. and Tanca, L. (eds.) Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems. Bari : Università degli Studi, Dipartimento di Informatica, pp. 250-257. ISBN 9788890298103.

Artale, A. and Kontchakov, Roman and Lutz, C. and Wolter, F. and Zakharyaschev, M. (2007) Temporalising tractable description logics. In: UNSPECIFIED (ed.) 14th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 11-22.

Bodirsky, M. and Chen, Hubie (2007) Qualitative temporal and spatial reasoning revisited. In: Duparc, J. and Henzinger, T.A. (eds.) Computer Science Logic: 21st International Workshop. Lecture Notes in Computer Science 4646. Springer, pp. 194-207. ISBN 9783540749141.

Bodirsky, M. and Chen, Hubie (2007) Quantified equality constraints. In: UNSPECIFIED (ed.) LICS 2007: 22nd IEEE Symposium on Logic in Computer Science. IEEE Computer Society, pp. 203-212. ISBN 0769529089.

Bodirsky, M. and Chen, Hubie and Kara, J. and von Oertzen, T. (2007) Maximal infinite-valued constraint languages. In: Arge, L. and Cachin, C. and Jurdzinski, T. and Tarlecki, A. (eds.) ICALP 2007: Automata, Languages and Programming, 34th International Colloquium. Lecture Notes in Computer Science 4596. Springer, pp. 546-557. ISBN 9783540734192.

Calì, Andrea (2007) Querying incomplete data with logic programs: ER strikes back. In: Parent, C. and Schewe, K.D. and Storey, V.C. and Thalheim, B. (eds.) Conceptual Modeling: ER 2007. Lecture Notes in Computer Science 4801. Springer, pp. 245-260. ISBN 9783540755623.

Calì, Andrea and Kifer, M. (2007) Containment of conjunctive object meta-queries. In: Ceci, M. and Malerba, D. and Tanca, L. (eds.) Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems. Dipartimento di Informatica: Università degli Studi. ISBN 9788890298103.

Calì, Andrea and Lukasiewicz, T. (2007) Tightly integrated probabilistic description logic programs for the semantic web. In: Dahl, V. and Niemelä, I. (eds.) Logic Programming: ICLP 2007. Lecture Notes in Computer Science 4670. Springer, pp. 428-429. ISBN 9783540746089.

Calì, Andrea and Lukasiewicz, T. and Predoiu, L. and Stuckenschmidt, H. (2007) A framework for representing ontology mappings under probabilities and inconsistency. In: Bobillo, F. and da Costa, P.C.G. and d'Amato, C. and Fanizzi, N. and Fung, F. and Lukasiewicz, T. and Martin, T. and Nickles, M. and Peng, Y. and Pool, M. and Smrz, P. and Vojt, P. (eds.) Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web. CEUR.

Calì, Andrea and Martinenghi, D. and Carbotta, D. (2007) Query optimisation for web data sources: minimisation of the number of accesses. In: Ceci, M. and Malerba, D. and Tanca, L. (eds.) Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems. Dipartimento di Informatica: Università degli Studi, pp. 316-323.

Chen, Hubie and Gimenez, O. (2007) Act local, think global: width notions for tractable planning. In: Boddy, M.S. and Fox, M. and Thiebaux, S. (eds.) ICAPS 2007: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling. AAAI, pp. 73-80.

Chen, Taolue and Han, Tingting and Lu, J. (2007) On behavioral metric for probabilistic systems: definition and approximation algorithm. In: Lei, J. (ed.) FSKD 2007: Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 21-25. ISBN 9780769528748.

Chen, Taolue and Lu, J. (2007) Probabilistic alternating-time temporal logic and model checking algorithm. In: Lei, J. (ed.) Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 35-39. ISBN 9780769528748.

Chen, Taolue and Ploeger, B. and van de Pol, J. and Willemse, Tim A.C. (2007) Equivalence checking for infinite systems using parameterized boolean equation systems. In: Caires, L. and Vasconcelos, V.T. (eds.) CONCUR 2007: Concurrency Theory. Lecture Notes in Computer Science 4703. Springer, pp. 120-135. ISBN 9783540744061.

Chor, B. and Fellows, M.R. and Ragan, M.A. and Razgon, Igor and Rosamond, F.A. and Snir, S. (2007) Connected coloring completion for general graphs: algorithms and complexity. In: Snir, G. (ed.) COCOON 2007: Computing and Combinatorics. Lecture Notes in Computer Science 4598. Springer, pp. 75-85. ISBN 9783540735441.

Cloth, L. and Crouzen, P. and Fruth, M. and Han, Tingting and Jansen, D.N. and Kattenbelt, M. and Smit, G.J.M. and Zhang, L. (2007) Performance measures other than time. In: Haverkort, B.R. and Katoen, J.-P. and Thiele, L. (eds.) Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings 07101. Internationales Begegnungs- und Forschungszentrum fuer Informatik.

Ferranti, E. and Trigoni, N. and Levene, Mark (2007) Brick & mortar: an on-line multi-agent exploration algorithm. In: UNSPECIFIED (ed.) 2007 IEEE International Conference on Robotics and Automation. IEEE Computer Society, pp. 761-767. ISBN 9781424406013.

Fiumara, G. and Marchi, M. and Provetti, Alessandro (2007) Adaptive web data extraction policies. In: UNSPECIFIED (ed.) 8th IEEE International Workshop on Policies for Distributed Systems and Networks: POLICY 2007. IEEE Computer Society. ISBN 0769527671.

Fletcher, George H.L. and Van Gucht, D. and Wu, Y. and Gyssens, M. and Brenes, S. and Paredaens, J. (2007) A methodology for coupling fragments of XPath with structural indexes for XML documents. In: Arenas, M. and Schwartzbach, M.I. (eds.) Database Programming Languages (DBPL): 11th International Symposium. Lecture Notes in Computer Science 4797. Springer, pp. 48-65. ISBN 9783540759867.

Fletcher, George H.L. and Van Gucht, D. and Wu, Y. and Gyssens, M. and Paredaens, J. (2007) Coupling fragments of XPath with XML indexing and query decomposition. In: Arenas, M. and Hidders, J. (eds.) Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management: EROW 2007. CEUR Workshop Proceedings 229. CEUR-WS.org.

Fuhs, Carsten and Giesl, J. and Middeldorp, A. and Schneider-Kamp, P. and Thiemann, R. and Zankl, H. (2007) SAT solving for termination analysis with polynomial interpretations. In: Marques-Silva, J. and Sakallah, K.A. (eds.) Theory and Applications of Satisfiability Testing: SAT 2007, 10th International Conference. Lecture Notes in Computer Science 4501. Springer, pp. 340-354. ISBN 9783540727873.

Galitsky, B.A. and Levene, Mark (2007) Providing rating services and subscriptions with web portal infrastructures. In: Tatnall, A. (ed.) Encyclopedia of Portal Technologies and Applications. IGI Global, pp. 855-862. ISBN 9781591409892.

Gannon, Brian and Wilson, David W. (2007) IS offshoring: a proposed maturity model of offshore IS suppliers. In: Sterle, H. and Schelp, J. and Winter, R. (eds.) Proceedings of the Fifteenth European Conference on Information Systems. ECIS.

Gutierrez, Sergio and Valigiani, G. and Collet, P. and Delgado Kloos, C. (2007) Adaptation of the ACO heuristic for sequencing learning activities. In: Wolpers, M. and Klamma, R. and Duval, E. (eds.) Proceedings of the EC-TEL 2007. CEUR Workshop Proceedings 280. CEUR-WS.org.

Gutierrez, Sergio and Valigiani, G. and Jamont, Y. and Collet, P. and Delgado Kloos, C. (2007) A swarm approach for automatic auditing of pedagogical planning. In: Spector, J.M. and Sampson, D.G. and Okamoto, T. and Kinshuk and Cerri, S.A. and Ueno, M. and Kashihara, A. (eds.) Proceedings of the 7th IEEE International Conference on Advanced Learning Technologies. IEEE Computer Society, pp. 136-138. ISBN 076952916X.

Halevy, S. and Lachish, Oded and Newman, I. and Tsur, D. (2007) Testing properties of constraint-graphs. In: UNSPECIFIED (ed.) Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07). IEEE Computer Society. ISBN 9780769527809.

Han, Tingting and Katoen, J.-P. (2007) Counterexamples in probabilistic model checking. In: Grumberg, O. and Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference. Lecture Notes in Computer Science 4424. Springer, pp. 72-86. ISBN 9783540712084.

Han, Tingting and Katoen, J.-P. (2007) Providing evidence of likely being on time: counterexample generation for CTMC model checking. In: Namjoshi, K.S. and Yoneda, T. and Higashino, T. and Okamura, Y. (eds.) Automated Technology for Verification and Analysis: 5th International Symposium. Lecture Notes in Computer Science 4762. Springer, pp. 331-346. ISBN 9783540755951.

Hidders, Jan and Kwasnikowska, N. and Sroka, J. and Tyszkiewicz, J. and Van den Bussche, J. (2007) A formal model of dataflow repositories. In: Cohen Boulakia, S. and Tannen, V. (eds.) Data Integration in the Life Sciences: 4th International Workshop. Lecture Notes in Computer Science 4544. Springer, pp. 105-121. ISBN 9783540732549.

Hidders, Jan and Michiels, P. and Simeon, J. and Vercammen, R. (2007) How to recognise different kinds of tree patterns from quite a long way away. In: UNSPECIFIED (ed.) PLAN-X: 2007, Programming Language Technologies for XML. Association for Computing Machinery, pp. 14-24.

King, S. and Brown, Paul (2007) Fix my street or else: using the internet to voice local public service concerns. In: Janowski, T. and Pardo, T. (eds.) Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance. ACM International Conference Proceeding Series 232. Association for Computing Machinery, pp. 72-80. ISBN 9781595938220.

Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2007) Spatial logic + temporal logic = ? In: Aiello, M. and Pratt-Hartmann, I. and Van Benthem, J. (eds.) Handbook of Spatial Logics. Berlin, Germany: Springer, pp. 497-564. ISBN 9781402055867.

Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2007) Modularity in DL-Lite. In: Calvanese, D. and Franconi, E. and Haarslev, V. and Lembo, D. and Motik, B. and Turhan, A.-Y. and Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics. CEUR Workshop Proceedings.

Marchi, M. and Penzo, R. and Provetti, Alessandro (2007) Policy-based parametric firewall configuration: a real-case application. In: UNSPECIFIED (ed.) 8th IEEE International Workshop on Policies for Distributed Systems and Networks: POLICY 2007. IEEE Computational Intelligence Society. ISBN 0769527671.

Montazerian, M. and Wood, Peter and Mousavi, S.R. (2007) XPath query satisfiability is in PTIME for real-world DTDs. In: Barbosa, D. and Bonifati, A. and Bellahsene, Z. and Hunt, E. and Unland, R. (eds.) XSym 2007: Database and XMLTechnologies, 5th International XML Database Symposium. Lecture Notes in Computer Science 4704. Springer, pp. 17-30. ISBN 9783540752875.

Neocleous, C. and Christodoulou, Chris and Demosthenous, D. and Cleanthous, A. (2007) Neural networks for the identification of gas cylinder fault. In: Devedzic, V. (ed.) IASTED: International Conference on Artificial Intelligence and Applications. IASTED/ACTA Press, pp. 38-43.

Noble, Steven (2007) Complexity of graph polynomials. In: McDiarmid, C.J.H. and Grimmett, G.R. (eds.) Combinatorics, Complexity and Chance: A Tribute to Dominic Welsh. Oxford, UK: Oxford University Press. ISBN 9780198571278.

Noble, Steven (2007) Complexity of graph polynomials. In: Grimmett, G. and McDiarmid, C. (eds.) Combinatorics, Complexity, and Chance: A Tribute to Dominic Welsh. Oxford Academic, pp. 191-212. ISBN 9780198571278.

Nulty, Paul (2007) Semantic classification of noun phrases using web counts and learning algorithms. In: Carroll, J.A. and van den Bosch, A. and Zaenen, A. (eds.) Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics: ACL 2007. The Association for Computational Linguistics, pp. 79-84.

Nulty, Paul and Marquez i Villodre, l. and Wicentowski, R. (2007) UCD-PN: classification of semantic relations between nominals using wordnet and web counts. In: Agirre, E. (ed.) Proceedings of the 4th International Workshop on Semantic Evaluations: SemEval@ACL 2007. The Association for Computer Linguistics, pp. 374-377.

Peng, C.-C. and Magoulas, George (2007) Adaptive nonmonotone conjugate gradient training algorithm for recurrent neural networks. In: UNSPECIFIED (ed.) 19th IEEE International Conference on Tools with Artificial Intelligence. IEEE Computer Society, pp. 374-381. ISBN 9780769530154.

Peng, C.-C. and Magoulas, George (2007) Adaptive self-scaling non-monotone BFGS training algorithm for recurrent neural networks. In: de S'a, J.M. and Alexandre, L.A. and Duch, W. and Mandic, D.P. (eds.) Artificial Neural Networks: 17th International Conference. Lecture Notes in Computer Science 4668. Springer, pp. 259-268. ISBN 9783540746904.

Razgon, Igor (2007) Computing minimum directed feedback vertex set in O(1.9977n). In: Italiano, G.F. and Moggi, E. and Luigi, L. (eds.) ICTCS 2007: Theoretical Computer Science. World Scientific, pp. 70-81.

Razgon, Igor and O'Sullivan, B. (2007) Directed feedback vertex set is fixed-parameter tractable. In: Demaine, E.D. and Gutin, G.Z. and Marx, D. and Stege, U. (eds.) Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs. Dagstuhl Seminar Proceedings 07281. Internationales Begegnungs- und Forschungszentrum fuer Informatik.

Roussos, George and Papadogkonas, D. and Taylor, J. and Airantzis, Dimitrios and Levene, Mark and Zoumboulakis, M. (2007) Shared memories: a trail-based coordination server for robot teams. In: Winfield, A.F.T. and Redi, J. (eds.) ROBOCOMM 2007: Proceedings of the 1st International Conference on Robot Communication and Coordination. ACM International Conference Proceeding Series 318. ICST/ACM.

Schneider-Kamp, P. and Fuhs, Carsten and Thiemann, R. and Giesl, J. and Annov, E. and Codish, M. and Middeldorp, A. and Zankl, H. (2007) Implementing RPO and POLO using SAT. In: Baader, F. and Cook, B. and Giesl, J. and Nieuwenhuis, R. (eds.) Deduction and Decision Procedures. Dagstuhl Seminar Proceedings 07401. Internationales Begegnungs- und Forschungszentrum fuer Informatik.

Vetti Tagliati, L. and Johnson, R. and Roussos, George (2007) Requirement analysis evolution through patterns. In: UNSPECIFIED (ed.) SEKE 2007: Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering. Knowledge Systems Institute Graduate School, pp. 197-202.

Willis, K.S. and Chorianopoulos, K. and Struppek, M. and Roussos, George (2007) Shared encounters. In: Rosson, M.B. and Gilmore, D.J. (eds.) CHI 2007: extended abstracts proceedings of the 2007 conference on human factors in computing systems. ACM, pp. 2881-2884. ISBN 9781595936424.

Wolter, F. and Zakharyaschev, Michael (2007) Modal decision problems. In: Blackburn, P. and van Benthem, J.F.A.K. and Wolter, F. (eds.) Handbook of Modal Logic. Studies in logic and practical reasoning 3. North-Holland, pp. 427-489. ISBN 9780444516909.

Yoo, Paul and Zhou, B.B. and Zomaya, A.Y. (2007) Machine intelligence in protein sequence analysis and structure prediction. In: Arabnia, H.R. and Yang, M.Q. and Yang, J.Y. (eds.) BIOCOMP 2007: International Conference on Bioinformatics & Computational Biology. CSREA Press, pp. 370-377.

Zakharyaschev, Michael (2007) Temporalising logics: fifteen years after. In: Konev, B. and Wolter, F. (eds.) FroCoS 2007: Frontiers of Combining Systems, 6th International Symposium. Lecture Notes in Computer Science 4720. Springer, p. 72. ISBN 9783540746201.

Zamboulis, Lucas and Martin, Nigel and Poulovassilis, Alexandra (2007) Bioinformatics service reconciliation by heterogeneous schema transformation. In: Cohen Boulakia, S. and Tannen, V. (eds.) Data Integration in the Life Sciences. Lecture Notes in Computer Science 4544. Berlin, Germany: Springer, pp. 89-104. ISBN 9783540732549.

Zoumboulakis, M. and Roussos, George (2007) Escalation: complex event detection in wireless sensor networks. In: Kortuem, G. and Finney, J. and Lea, R. and Sundramoorthy, V. (eds.) EuroSSC 2007: Smart Sensing and Context. Lecture Notes in Computer Science. Springer, pp. 270-285. ISBN 9783540756958.

Monograph

Baxter, Brad J.C. and Graham, L. and Wright, Stephen (2007) The endogenous Kalman Filter. Working Paper. Birkbeck, University of London, London, UK.

Conference or Workshop Item

Calì, Andrea and Calvanese, D. and Martinenghi, D. (2007) Optimization of query plans in the presence of access limitations. In: 1st Workshop on Emerging Research Opportunities for Web Data Management, 2007, Barcelona, Spain.

Gannon, Brian (2007) Offshore is organisations as MNES: the relevance of international business theory to offshoring multinationals. In: UK Academy of Information Systems Conference 2007, May 2007, Manchester, UK.

Mitton, Roger and Hardcastle, David and Pedler, Jennifer (2007) BNC! Handle with care! Spelling and tagging errors in the BNC. In: Fourth Corpus Linguistics Conference, 27-30 July 2007, Birmingham, U.K..

Mitton, Roger and Okada, T. (2007) The adaptation of an English spellchecker for Japanese writers. In: Symposium on Second Language Writing, 15-17 Sept 2007, Nagoya, Japan.

Book

Arenas, M. and Hidders, Jan, eds. (2007) Proceedings of the 1st workshop on emerging research opportunities for web data management. CEUR Workshop Proceedings 229. CEUR-WS.org.