Mathematical Foundations of Computation

Filter
Chapter or section

Search results

  • 2023

    An Axiomatic Account of a Fully Abstract Game Semantics for General References

    Laird, J. & McCusker, G., 2 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Cham, Switzerland: Springer, Cham, p. 251-292 42 p. (Outstanding Contributions to Logic; vol. 25).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • Challenges and opportunities of teaching cybersecurity in UK university computing programmes

    Prickett, T., Yang, L., Irons, A., Miller, K., Brooke, P., Crick, T., Hayes, A., Davenport, J., English, R., Maguire, J., Bechkoum, K. & Jones, A., 16 May 2023, Cybersecurity teaching in higher education. Sikos, L. F. & Haskell-Dowland, P. (eds.). 1 ed. Cham, Switzerland: Springer, Cham, p. 1-36 36 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    4 Citations (SciVal)
  • 2020

    Well quasi-orders and the functional interpretation

    Powell, T., 2020, Well-Quasi Orders in Computation, Logic, Language and Reasoning. Schuster, P., Seisenberger, M. & Weiermann, A. (eds.). Springer International Publishing, p. 221-269 Chapter 9. (Trends in Logic; vol. 53).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    5 Citations (SciVal)
  • 2019

    Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs

    Powell, T., 2019, Mathesis Universalis, Computability and Proof. Centrone, S., Negri, S., Sarikaya, D. & Schuster, P. M. (eds.). Springer International Publishing, p. 255-290 Chapter 14. (Synthese Library; vol. 412).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    1 Citation (SciVal)
  • 2016

    A Logic for the Compliance Budget

    Anderson, G., McCusker, G. & Pym, D., 2016, Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    3 Citations (SciVal)
    241 Downloads (Pure)

  • Complexity of integration, special values, and recent developments

    Davenport, J., Jul 2016, Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G.-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, p. 485-491 (Lecture Notes in Computer Science; vol. 9725).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    2 Citations (SciVal)
    246 Downloads (Pure)

  • Need Polynomial Systems be Doubly-exponential?

    Davenport, J. & England, M., 2016, Mathematical Software – ICMS, 2016. Greuel, G. M., Koch, T., Paule, P. & Sommese, A. (eds.). Switzerland: Springer Verlag, p. 157-164 (Lecture Notes in Computer Science; vol. 9725).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    8 Citations (SciVal)
  • 2015

    A game-theoretic computational interpretation of proofs in classical analysis

    Oliva, P. & Powell, T., 2015, Gentzen's Centenary: The Quest for Consistency. Kahle, R. & Rathjen, M. (eds.). Springer International Publishing, p. 501-531

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    5 Citations (SciVal)

  • Deep Inference

    Guglielmi, A., 2015, All About Proofs, Proofs for All. College Publications, (Mathematical Logic and Foundations).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    118 Downloads (Pure)

  • Recent advances in real geometric reasoning

    Davenport, J. H. & England, M., 31 Aug 2015, Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Botana, F. & Quaresma, P. (eds.). Springer, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9201).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    2 Citations (SciVal)
    149 Downloads (Pure)
  • 2014

    A logical basis for quantum evolution and entanglement

    Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 31 Dec 2014, Categories and Types in Logic, Language, and Physics. Casadio, C., Coecke, B., Moortgat, M. & Scott, P. (eds.). Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    3 Citations (SciVal)

  • Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

    Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. & Bridge, J., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543. p. 92-107 16 p. (Lecture Notes in Artificial Intelligence).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    45 Citations (SciVal)
    171 Downloads (Pure)

  • Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

    England, M., Bradford, R. J., Chen, C., Davenport, J. H., Moreno Maza, M. & Wilson, D., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, p. 45-60 15 p. (Lecture Notes in Artificial Intelligence; vol. 8543).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    17 Citations (SciVal)
    177 Downloads (Pure)

  • Truth table invariant cylindrical algebraic decomposition by regular chains

    Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D., 2014, Computer Algebra in Scientific Computing: Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer, Vol. 8660. p. 44-58 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    21 Citations (SciVal)
    397 Downloads (Pure)
  • 2013

    Combining and Relating Control Operators and their Semantics

    Laird, J., 2013, Control Operators and their Semantics. Elsevier, Vol. 127. p. 113-129 16 p. 8. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • 2012

    On Kahan's rules for determining branch cuts

    Chyzak, F., Davenport, J. H., Koutschan, C. & Salvy, B., 2012, Proc. SYNASC '11. IEEE, 5 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    1 Citation (SciVal)
    208 Downloads (Pure)
  • 2011

    Coalgebraic semantics for parallel derivation strategies in logic programming

    Komendantskaya, E., McCusker, G. & Power, J., 2011, Algebraic Methodology and Software Technology. Johnson, M. & Pavlovic, D. (eds.). Springer, Vol. 6486. p. 111-127 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    14 Citations (SciVal)
    221 Downloads (Pure)

  • Constructing differential categories and deconstructing categories of games

    Laird, J., Manzonetto, G. & McCusker, G., 2011, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. Aceto, L., Henzinger, M. & Sgall, J. (eds.). Heidelberg, Germany: Springer, p. 186-197 12 p. (Lecture Notes in Computer Science; vol. 6756).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    5 Citations (SciVal)
    156 Downloads (Pure)

  • Real-time Sliding Phase Vocoder using a Commodity GPU

    Bradford, R., ffitch, J. & Dobson, R., Aug 2011, Proceedings of ICMC 2011. University of Huddersfield and ICMA, p. 587-590 4 p. (ICMC).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    6 Citations (SciVal)
    74 Downloads (Pure)
  • 2010

    A logic of sequentiality

    Churchill, M. & Laird, J., 24 Aug 2010, Computer Science Logic (Lecture Notes in Computer Science). Dawar, A. & Veith, H. (eds.). Springer, Vol. 6247/2. p. 215-229 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    6 Citations (SciVal)
    122 Downloads (Pure)

  • A proof calculus which reduces syntactic bureaucracy

    Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 6. p. 135-150 16 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    Open Access
    File
    34 Citations (SciVal)
    114 Downloads (Pure)

  • Cryptographic hash functions: recent design trends and security notions

    Al-Kuwari, S., Davenport, J. H. & Bradford, R. J., 2010, Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, p. 133-150 18 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    546 Downloads (Pure)
  • 2009

    The Imperative for High-Performance Audio Computing

    ffitch, J. P., Dobson, R. & Bradford, R., 2009, Proceedings of LAC2009, Parma, Italy, 16-19 April 2009. Parma: Istituzione Casa della Musica, p. 73-79 7 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    120 Downloads (Pure)

  • Unifying Math Ontologies: A tale of two standards

    Davenport, J. H. & Kohlhase, M., 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, Vol. 5625/2. p. 263-278 16 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    5 Citations (SciVal)
    346 Downloads (Pure)
  • 2008

    AISC Meets Natural Typography

    Davenport, J. H., 2008, Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). Berlin, Heidelberg: Springer, Vol. 5144. p. 53-60 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • Effective Set Membership in Computer Algebra and Beyond

    Davenport, J. H., 2008, Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). Berlin, Heidelberg: Springer, Vol. 5144. p. 266-280 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • High performance audio computing: a position paper

    Dobson, R., ffitch, J. & Bradford, R., 2008, Proceedings of the International Computer Music Conference 2008: 24-29 August 2008, Belfast, Northern Ireland. Belfast, Northern Ireland: ICMA and Sonic Arts Research Centre, Queen's University, Belfast, p. 213-216 4 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    4 Citations (SciVal)

  • Logic Programs as Coalgebras

    McCusker, G. & Power, J., 2008, Proc. CMCS Short Contributions 2008.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • Unit Knowledge Management

    Stratford, J. & Davenport, J., 30 May 2008, Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). Berlin, Heidelberg: Springer, p. 382-397 16 p. (Lecture Notes in Computer Science; vol. 5144, no. 2).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    8 Citations (SciVal)
    230 Downloads (Pure)
  • 2007

    A fully abstract trace semantics for general references

    Laird, J., Jul 2007, Automata, Languages and Programming: Proceedings of 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Arge, L., Cachin, C., Jurdziński, T. & Tarlecki, A. (eds.). Berlin, Germany: Springer Verlag, p. 667-679 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4596 ).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    42 Citations (SciVal)

  • A games model of bunched implications

    McCusker, G. & Pym, D., 2007, Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings. Duparc, J. & Henzinger, T. A. (eds.). Berlin, Germany: Springer, Vol. 4646. p. 573-588 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • The Sliding Phase Vocoder

    Bradford, R., Dobson, R. & ffitch, J. P., Aug 2007, Proceedings of the 2007 International Computer Music Conference. ICMA and Re:New, Vol. II. p. 449-452 4 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    File
    10 Citations (SciVal)
    72 Downloads (Pure)

  • What might "Understand a Function" mean?

    Davenport, J., 2007, Towards Mechanized Mathematical Assistants. Kauers, M., Kerber, M., Miner, R. & Windsteiger, W. (eds.). Springer, Vol. 4573. p. 55-65 11 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    1 Citation (SciVal)
  • 2006

    Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems

    Korovina, M. & Vorobjov, N., 2006, Logical Approaches to Computational Barriers, Proceedings. Vol. 3988. p. 267-276 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    9 Citations (SciVal)
  • 2004

    A calculus of coroutines

    Laird, J., 2004, Automata, Languages and Programming: Proceedings of 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004.. Diaz, J., Karhumaki, J., Lepisto, A. & Sannella, D. (eds.). Berlin, Germany: Springer Verlag, p. 882-893 12 p. (Lecture Notes in Computer Science; vol. 3142).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    3 Citations (SciVal)

  • A First Order System with Finite Choice of Premises

    Bruennler, K. & Guglielmi, A., 2004, First-Order Logic Revisited. Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. & Wansing, H. (eds.). Logos Verlag, p. 59-74 16 p. (Logische Philosophie).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • A game semantics of local names and good variables

    Laird, J., 2004, Foundations of Software Science and Computation Structures: Proceedings of 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Walukiewicz, I. (ed.). Berlin, Germany: Springer Verlag, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 2987).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    24 Citations (SciVal)

  • Complexity of computations with Pfaffian and Noetherian functions

    Vorobjov, N. & Gabrielov, A., 2004, Normal Forms, Bifurcations and Finiteness Problems in Differential Equations. Ilyashenko, Y. & Rousseau, C. (eds.). Springer, p. 211 1 p. (NATO Science Series II).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • Copyright issues for MKM

    Adams, A. A. & Davenport, J. H., 2004, Mathematical Knowledge Management: 3rd International Conference, MKM 2004: Proceedings. Berlin, Germany: Springer, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 3119).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    1 Citation (SciVal)

  • On the semantics of the bad-variable constructor in Algol-like languages

    McCusker, G., Mar 2004, Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX. Brookes, S. & Panagaden, P. (eds.). Elsevier, Vol. 83. (Electronic Notes in Theoretical Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • Pfaffian hybrid systems

    Korovina, M. & Vorobjov, N., 2004, Computer Science Logic, Proceedings. Vol. 3210. p. 430-441 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    13 Citations (SciVal)
  • 2003

    A fully abstract bidomain model of unary FPC

    Laird, J., 27 May 2003, Typed Lambda Calculi and Applications: Proceedings of 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 . Hofmann, M. (ed.). Berlin, Germany: Springer Verlag, p. 211-225 15 p. (Lecture Notes in Computer Science; vol. 2701).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    4 Citations (SciVal)

  • A game semantics of linearly used continuations

    Laird, J., 2003, Foundations of Software Science and Computation Structures: Proceedings of 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 . Gordon, A. D. (ed.). Berlin, Germany: Springer Verlag, p. 313-327 15 p. (Lecture Notes in Computer Science; vol. 2620).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    7 Citations (SciVal)

  • Better simplification of elementary functions through power series

    Beaumont, J., Bradford, R. & Davenport, J. H., 2003, ISSAC '03 Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2003 . New York, U. S. A.: Association for Computing Machinery, p. 30-36 7 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    6 Citations (SciVal)

  • Bistability: an extensional characterization of sequentiality

    Laird, J., 2003, Computer Science Logic: Proceedings of 17th International Workshop CSL 2003, 12th Annual Conference of the (EACSL), 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Baaz, M. & Makowsky, J. A. (eds.). Berlin, Germany: Springer Verlag, p. 372-383 12 p. (Lecture Notes in Computer Science; vol. 2803).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    9 Citations (SciVal)

  • Effective model completeness of the theory of restricted Pfafflan functions

    Vorobjov, N., 2003, Computer Science Logic, Proceedings. Vol. 2803. p. 544-544 1 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • Effective quantifier elimination over real closed fields

    Vorobjov, N., 2003, Computer Science Logic, Proceedings. Vol. 2803. p. 545-545 1 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • MKM from book to computer: A case study

    Davenport, J. H., 2003, Mathematical Knowledge Management, Proceedings. Vol. 2594. p. 17-29 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

    7 Citations (SciVal)

  • New Complexity bounds for cylindrical decompositions of sub_Pfaffian sets

    Vorobjov, N. & Pericleous, S., 2003, Discrete and Computational Geometry. Aronov, B. (ed.). Springer

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

  • Resolving large prime(s) variants for discrete logarithm computation

    Holt, A. J. & Davenport, J. H., 2003, Cryptography and Coding, Proceedings. Vol. 2898. p. 207-222 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter or section