Informatics

Research output

Research output per year 1985 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 296996 Citations
• 4133 Conference paper
• 3753 Article
• 352 Chapter
• 142 Book
• 754 More
  • 133 Paper
  • 121 Other chapter contribution
  • 108 Editorial
  • 48 Review article
  • 45 Preprint
  • 44 Meeting abstract
  • 37 Other contribution
  • 26 Poster abstract
  • 25 Conference contribution
  • 23 Letter
  • 23 Patent
  • 21 Literature review
  • 17 Report
  • 17 Working paper
  • 12 Commissioned report
  • 11 Comment/debate
  • 8 Abstract
  • 6 Other
  • 6 Meeting Abstract
  • 5 Poster
  • 3 Anthology
  • 3 Entry in encyclopedia/dictionary
  • 3 Foreword/postscript
  • 3 Conference article
  • 3 Special issue
  • 2 Short survey
  • 1 Data set/Database

Research output per year

Research output per year

Search results

• 2007

  Handbook of Philosophical Logic

  Gabbay, D. M. (ed.) & Guenthner, F. (ed.), 2007, Springer Finance.

  Research output: Book/Report › Book

• Logic for Artificial Intelligence and Information Technology

  Gabbay, D., 2007, College Publications.

  Research output: Book/Report › Book

• London Algorithmics and Stringology

  Daykin, M. M. J. W. (ed.) & Steinhofel, K. (ed.), 2007, College Publications. (Texts in Algorithmics)

  Research output: Book/Report › Book

• London Algorithmics and Stringology 2006

  Daykin, J. (ed.), Mohamed, M. (ed.) & Steinhofel, K. (ed.), 2007, College Publications.

  Research output: Book/Report › Book

• Medieval and Renaissance Logic

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Elsevier. (Handbook of the History of Logic)

  Research output: Book/Report › Book

• Neuroconstructivism: How the Brain Constructs Cognition

  Mareschal, D., Johnson, M. H., Siros, S., Spratling, M. W., Thomas, M. S. C. & Westermann, G., 2007, Oxford, UK: Oxford University Press.

  Research output: Book/Report › Book

  • Brain 100%
  • Brain Imaging 100%
  • Dyslexia 100%
  • Cognition 100%
  • Thinking 50%

• The Many-valued and Nonmonotonic Turn in Logic

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Burlington : Elsevier: Elsevier. 691 p. (Handbook of the History of Logic; vol. 8)

  Research output: Book/Report › Book

  • Nonclassical Logic 100%
  • Classical Logic 50%
  • Quantum Logic 50%
  • Consequence Relation 50%

• Ultra Wideband Signals and Systems in Communications Engineering

  Ghavami, M., Lachlan, M. & Ryuji, K., 2007, 2nd ed. John Wiley and sons.

  Research output: Book/Report › Book
  296 Citations (Scopus)

• Wireless mesh networking: Architecture, Protocols and Standards

  Aghvami, AH., Friderikos, V., Papadaki, K. & Wisely, D., 2007, Auerbach Publications.

  Research output: Book/Report › Book
• 2006

  Algorithms in Bioinformatics

  Steinhoefel, K. K. (ed.), Iliopoulos, C. (ed.) & Park, K. (ed.), 2006, Texts in Algorithms, volume 6 ed. College Publications.

  Research output: Book/Report › Book

• Fouille de données textuelles : complexité, algorithmique et passage à l'échelle

  Crochemore, M. (ed.), Diaz, G. H. (ed.) & deSouza, S. M. (ed.), 2006, Lavoisier, Paris.

  Research output: Book/Report › Book

• Handbook of Discrete Optimization

  Papadaki, K. & Friderikos, V., 2006, Unknown Publisher.

  Research output: Book/Report › Book

• Philosophy of Anthropology and Sociology

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

  Research output: Book/Report › Book

• Philosophy of Biology

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

  Research output: Book/Report › Book

• Philosophy of Logic

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

  Research output: Book/Report › Book

• Philosophy of Physics

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

  Research output: Book/Report › Book

• Philosophy of Psychology and Cognitive Science

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

  Research output: Book/Report › Book

• Philosophy of Science: Focal Issues

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

  Research output: Book/Report › Book

• SPM: Electrical And Electromechanical Phenomena At The Nanoscale. Electrical SPM-Based Nanofabrication Techniques

  Naujoks, N., Mesquida, P. & Stemmer, A., 2006, Sergei Kalinin, Alexei Gruverman, Springer ed. New York: Springer.

  Research output: Book/Report › Book

• Understanding UMTS Radio Network Modelling, Planning and Automated Optimisation: Theory and Practice

  Nawrocki, M. J. (ed.), Dohler, M. (ed.) & Aghvami, A. H. (ed.), 2006, Wiley.

  Research output: Book/Report › Book

  114 Citations (Scopus)
• 2005

  Adapting Proofs-as-Programs: The Curry-Howard Protocol (in series: Monographs in Computer Science)

  Poernomo, I., Crossley, J. & Wirsing, M., 2005, 1st ed. New-York: Springer.

  Research output: Book/Report › Book

  • Program Synthesis 100%
  • Synthesis Algorithm 50%

• Adaptive Array Systems - Fundamentals & Applications

  Allen, B. & Ghavami, M., 2005, John Wiley & Sons.

  Research output: Book/Report › Book

• Advanced System Design using Java, UML and MDA

  Lano, K., 2005, Elsevier.

  Research output: Book/Report › Book

• Advanced Systems Design with Java, UML and MDA

  Lano, K., 2005, Butterworth-Heinemann.

  Research output: Book/Report › Book

  19 Citations (Scopus)

• Agent technology, Computing as Interaction: A Roadmap for Agent Based Computing

  Luck, M., McBurney, P., Shehory, O. & Willmott, S., 2005, Southampton, U.K: University of Southampton on behalf of AgentLink III . 108 p.

  Research output: Book/Report › Book

  Open Access

  File
  369 Downloads (Pure)

• Handbook of Temporal Reasoning in AI

  Gabbay, D. M. (ed.), Vila, L. (ed.), Grabul, I. (ed.) & Fisher, M. (ed.), 2005, Elsevier.

  Research output: Book/Report › Book

• Handbook of temporal reasoning in artificial intelligence

  Fisher, M. (ed.), Gabbay, D. (ed.) & Vila, L. (ed.), 2005, 1 ed. Amsterdam: Elsevier.

  Research output: Book/Report › Book

• Indexing and Matching Strings

  Baeza-Yates, R. (ed.) & Crochemore, M. (ed.), 2005, Elsevier.

  Research output: Book/Report › Book

• Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic

  Gabbay, D. & Maksimova, L., 2005, Oxford : Oxford University Press.

  Research output: Book/Report › Book

• Logic and the Modalities in the Twentieth Century

  Gabbay, D. M. (ed.) & Woods, J. (ed.), 2005, Elsevier. (Handbook of the History of Logic)

  Research output: Book/Report › Book

• Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence

  Skowron, A. (ed.), Agrawal, R. (ed.), Luck, M. (ed.), Yamaguchi, T. (ed.), Morizet-Mahoudeaux, P. (ed.), Liu, J. (ed.) & Zhong, N. (ed.), 2005, n/a ed. Los Alamitos, CA: IEEE Computer Society. 816 p.

  Research output: Book/Report › Book

• Stochastic Algorithms: Foundations and Applications

  Lupanov, O. B. (ed.), Kasim-Zada, O. M. (ed.), Chashkin, A. V. (ed.) & Steinhofel, K. (ed.), 2005, Volume 3777 ed. Springer.

  Research output: Book/Report › Book

• Stochastic Algorithms: Foundations and Applications, Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005, Proceedings

  Lupanov, O. B. (ed.), Kasim-Zade, O. M. (ed.), Chaskin, A. V. (ed.) & Steinhofel, K. (ed.), 2005, Springer Finance. (Lecture Notes in Computer Science)

  Research output: Book/Report › Book

• The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2)

  Gabbay, D. & Woods, J., 2005, Elsevier.

  Research output: Book/Report › Book

  • Cognitive System 100%
  • Characters 60%
  • Proposition 40%
  • Concludes 20%
  • Formal Model 20%
• 2004

  Agent-based software development

  Luck, Ashri, R. & D'Inverno, M., 2004, Boston: Artech House. 208 p. (Agent-oriented systems)(Artech House computing library)

  Research output: Book/Report › Book

• Algorithms--ESA 2004 : 12th annual European symposium, Bergen, Norway, September 14-17, 2004 : proceedings

  Albers, S. & Radzik, T., 2004, Berlin, New York: Springer.

  Research output: Book/Report › Book

• Compiled Labelled Deductive Systems for Modal and Conditional Logics

  Gabbay, D., Broda, K., Lamb, L. & Russo, A., 2004, Research Studies Press.

  Research output: Book/Report › Book

• Deontic Logic in Computer Science, Journal of Applied Logic, volume 2(1)

  Jones, A. J. I. (ed.), 2004, Amsterdam: Elsevier.

  Research output: Book/Report › Book

• Handbook of the history of logic. Vol. 1, Greek, Indian and Arabic logic

  Gabbay, D. M. (ed.) & Wodds, J. (ed.), 2004, Amsterdam: Elsevier.

  Research output: Book/Report › Book

• Proceedings of the Eighth Workshop on the Semantics and Pragmatics of Dialogue

  Ginzburg, J. & Vallduv, E., 2004, Unknown Publisher.

  Research output: Book/Report › Book

• String algorithmics

  Iliopoulos, C. S. & Lecroq, T., 2004, London: King's College Publications.

  Research output: Book/Report › Book

• The rise of modern logic : from Leibniz to Frege. Vol. 3

  Gabbay, D. (ed.) & Woods, J. (ed.), 2004, Amsterdam: Elsevier.

  Research output: Book/Report › Book

• Ultra Wideband Signals and Systems in Communication Engineering

  Ghavami, M., Lachlan, M. & Kohno, R., 2004, First (sold out in 7 months) ed. John Wiley & Sons.

  Research output: Book/Report › Book

• Understanding Agent Systems

  d'Inverno, M. & Luck, M., 2004, 2nd rev. and extended ed. ed. Berlin: Springer.

  Research output: Book/Report › Book

• Understanding Agent Systems, second edition

  d'Inverno, M. & Luck, M., 2004, Springer-Verlag Berlin Heidelberg. (Springer Series on Agent Technology)

  Research output: Book/Report › Book
• 2003

  2003 International Conference On Image Processing, Vol 3, Proceedings

  Duran, O., Althoefer, K. & Seneviratne, L. D., 2003, New York: I E E E.

  Research output: Book/Report › Book

• Agenda Relevance

  Gabbay, D. M. & Woods, J., 2003, Elsevier.

  Research output: Book/Report › Book

• Agenda relevance : a study in formal pragmatics

  Gabbay, D. M. & Woods, J., 2003, Amsterdam ; London: Elsevier.

  Research output: Book/Report › Book

• Agent technology: enabling next generation computing : a roadmap for agent-based computing

  Luck, M., McBurney, P. & Preist, C., 2003, [S.l.]: AgentLink/University of Southampton. 94 p.

  Research output: Book/Report › Book

• A practical logic of cognitive systems

  Gabbay, D. M. & Woods, J., 2003, Amsterdam ; Boston: Elsevier.

  Research output: Book/Report › Book