Mathematical Foundations of Computation

Filter
Chapter in a published conference proceeding

Search results

  • 2009

    A comparison of equality in computer algebra and correctness in mathematical pedagogy

    Bradford, R., Davenport, J. H. & Sangwin, C. J., 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, p. 75-89 15 p. (Lecture Notes in Computer Science; vol. 5625, no. 2).

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

    File
    6 Citations (SciVal)
    180 Downloads (Pure)

  • Certificate-free Attribute Authentication

    Khader, D., Chen, L. Q. & Davenport, J. H., 2009, Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009. Proceedings. Parker, M. G. (ed.). Berlin: Springer, p. 301-325 25 p. (Lecture Notes in Computer Science; vol. 5921).

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

    9 Citations (SciVal)

  • Nondeterminism and observable sequentiality

    Laird, J., 2009, Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Gradel, E. & Kahle, R. (eds.). Berlin: Springer, p. 379-393 15 p. (Lecture Notes in Computer Science; vol. 5771).

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

    1 Citation (SciVal)

  • The sparsity challenges

    Davenport, J. H. & Carette, J., 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009). IEEE, p. 3-7 5 p.

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

    6 Citations (SciVal)
  • 2008

    Sliding DFT for fun and musical profit

    ffitch, J., Dobson, R. & Bradford, R., 2008, Proceedings: Linux Audio Conference 2008. Barknecht, F. & Rumori, M. (eds.). Brno, CZ: Tribun EU, p. 118-124 7 p.

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

    File
    151 Downloads (Pure)

  • Sliding with a constant Q

    Bradford, R., ffitch, J. & Dobson, R., Sept 2008, 11th International Conference on Digital Audio Effects (DAFx-08) Proceedings September 1-4th, 2008 Espoo, Finland . Espoo, Finland: DAFx, p. 363-369 7 p.

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

    File
    4 Citations (SciVal)
    800 Downloads (Pure)
  • 2007

    The complexity of quantifier elimination and cylindrical algebraic decomposition

    Brown, C. W. & Davenport, J. H., 2007, ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation . New York: Association for Computing Machinery, p. 54-60 7 p.

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

    106 Citations (SciVal)
  • 2006

    Bidomains and full abstraction for countable nondeterminism

    Laird, J., 2006, Foundations of Software Science and Computation Structures: Proceedings of the 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software , ETAPS 2006 Vienna, Austria, March 2006. Aceto, L. & Ingolfsdottir, A. (eds.). Berlin, Germany: Springer Verlag, p. 352-366 15 p. (Lecture Notes in Computer Science ; vol. 3921 ).

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

    8 Citations (SciVal)

  • Game semantics for higher-order concurrency

    Laird, J., 1 Jan 2006, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science - 26th International Conference, Proceedings. Springer Verlag, p. 417-428 12 p. (Lecture Notes in Computer Science; vol. 4337 LNCS).

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

    13 Citations (SciVal)
  • 2005

    A game semantics of the asynchronous π-calculus

    Laird, J., 2005, CONCUR 2005 – Concurrency Theory: Proceedings of 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Abadi, M. & Alfaro, L. (eds.). Berlin, Germany: Springer Verlag, p. 51-65 15 p. (Lecture Notes in Computer Science; vol. 3653).

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

    23 Citations (SciVal)

  • Decidability in syntactic control of interference

    Laird, J., Jun 2005, Automata, Languages and Programming: Proceedings of the 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Caires, L., Italiano, G. F., Monteiro, L., Palamidessi, C. & Yung, M. (eds.). Berlin, Germany: Springer Verlag, p. 904-916 13 p. (Theoretical Computer Science and General Issues; vol. 3580, no. Edition 1).

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

    2 Citations (SciVal)

  • The elimination of nesting in SPCF

    Laird, J., 2005, Typed Lambda Calculi and Applications: Proceedings of 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Urzyczyn, P. (ed.). Berlin, Germany: Springer Verlag, p. 234-245 12 p. (Lecture Notes in Computer Science; vol. 3461).

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

    3 Citations (SciVal)
  • 2004

    Mathematics on the (semantic) NET

    Caprotti, O., Davenport, J. H., Dewar, M. & Padget, J., 2004, Semantic Web: Research and Applications. Vol. 3053. p. 213-224 12 p. (Lecture Notes in Computer Science).

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

    14 Citations (SciVal)
  • 2003

    A Tutorial on Proof Theoretic Foundations of Logic Programming

    Bruscoli, P. & Guglielmi, A., 2003, Logic Programming, 19th International Conference. Palamidessi, C. (ed.). Springer Verlag, Vol. 2916. p. 109-127 19 p. (Lecture Notes in Computer Science; vol. 2916).

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

    2 Citations (SciVal)

  • On Structuring Proof Search for First Order Linear Logic

    Bruscoli, P. & Guglielmi, A., 31 Dec 2003, LPAR 2003. Vardi, M. Y. & Voronkov, A. (eds.). Lecture Notes in Artificial Intelligence ed. Springer Verlag, Vol. 2850. p. 389-406 18 p.

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

  • 2002

    A Purely Logical Account of Sequentiality in Proof Search

    Bruscoli, P., 31 Dec 2002, Logic Programming 18th International Conference. Stuckey, P. J. (ed.). Lecture Notes in Artificial Intelligence ed. Springer Verlag, Vol. 2401. p. 302-316 15 p.

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

    35 Citations (SciVal)

  • Exceptions, continuations and macro-expressiveness

    Laird, J., 14 Mar 2002, Programming Languages and Systems: Proceedings of 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002. Le Metayer, D. (ed.). Berlin, Germany: Springer Verlag, p. 133-146 14 p. (Lecture Notes in Computer Science ; vol. 2305).

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

    10 Citations (SciVal)
  • 2001

    A deconstruction of non-deterministic classical cut elimination

    Laird, J., 2001, Typed Lambda Calculi and Applications: Proceedings of 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001. Abramsky, S. (ed.). Berlin, Germany: Springer Verlag, p. 268-282 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2044 ).

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

    2 Citations (SciVal)

  • A fully abstract game semantics of local exceptions

    Laird, J., Jun 2001, Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science, 2001. IEEE, p. 105-114 10 p.

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

    30 Citations (SciVal)
  • 1999

    A library for parallel modular arithmetic

    Power, D. & Bradford, R., 1999, Euro-Par’99 Parallel Processing: 5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings. Amestoy, P., Berger, P., Dayde, M., Ruiz, D., Duff, I., Fraysse, V. & Girard, L. (eds.). Berlin: Springer, p. 1476-1483 8 p. (Lecture Notes in Computer Science; vol. 1685).

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

  • A π-calculus model of the spanish fish market

    Padget, J. & Bradford, R., 1999, Agent Mediated Electronic Commerce: First International Workshop on Agent Mediated Electronic Trading, AMET'98, Minneapolis, MN, USA, May 10th, 1998 Selected Papers. Noriega, P. & Sierra, C. (eds.). Berlin, Germany: Springer Verlag, p. 166-188 23 p. (Lecture Notes in Artificial Intelligence; vol. 1571).

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

  • 1998

    A fully abstract game semantics for general references

    Abramsky, S., Honda, K. & McCusker, G., 1 Jan 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. IEEE, Vol. 1998-June. p. 334-344 11 p.

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

    151 Citations (SciVal)
  • 1997

    Full abstraction for functional languages with control

    Laird, J., Dec 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS), 1997. Anon (ed.). California, U. S. A.: IEEE, p. 58-67 10 p.

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

    97 Citations (SciVal)
  • 1995

    A linear logic programming language with parallel and sequential conjunction

    Bruscoli, P. & Guglielmi, A., 31 Dec 1995, GULP-PRODE'95, Joint Conference on Declarative Programming: Marina di Vietri. Università di Salerno, p. 409-420 12 p.

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

  • 1994

    Compilative Constructive Negation in Constraint Logic Programs

    Bruscoli, P., Levi, F., Levi, G. & Meo, M. C., 31 Dec 1994, Proceedings of the Colloquium on Trees in Algebra and Programming, CAAP '94, Edinburgh (Scotland). Tyson, S. (ed.). Lecture Notes in Computer Science ed. Springer Verlag, Vol. 787. p. 52-67 15 p. (LNCS).

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

  • Compiling Intensional Sets in CLP

    Bruscoli, P., Dovier, A., Pontelli, E. & ROSSI, G., 31 Dec 1994, Proceedings of the 11th Int'l Conference in Logic Programming, ICLP'94. MIT Press, p. 647-771 125 p.

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

  • 1993

    Algebraic simplification of multiple-valued functions

    Bradford, R., 1993, Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings. Springer, p. 13-21 9 p. (Lecture Notes in Computer Science; vol. 721).

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

  • 1990

    Concurrent object-oriented processing in Lisp

    Padget, J., Bradford, R. & ffitch, J. P., Jan 1990, Proceedings of BCS Workshop on High Performance and Parallel Computing in Lisp, 1990. Europal Ltd.

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

  • Scratchpad's view of algebra I: Basic commutative algebra

    Davenport, J. H. & Trager, B. M., 1990, Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Berlin: Springer, p. 40-54 (Lecture Notes in Computer Science; vol. 429/1990).

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

    Open Access
    File
    222 Downloads (Pure)
  • 1989

    Applications of computer algebra in solid modelling

    Bowyer, A., Davenport, J. H., Milne, P. S., Padget, J. & Wallis, A. F., 1989, Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987: Proceedings. Berlin: Springer, p. 244-245 2 p. (Lecture Notes in Computer Science; vol. 378).

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

  • Effective tests for cyclotomic polynomials

    Bradford, R. J. & Davenport, J. H., 1989, Symbolic and Algebraic Computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: Proceedings. Gianni, P. (ed.). Berlin, Germany: Springer, p. 244-251 8 p. (Lecture Notes in Computer Science; vol. 358).

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

  • The use of symbolic computation in geometric modelling

    Wallis, A. F., Bowyer, A., Davenport, J. H., Milne, P. S. & Padget, J. A., 1 Sept 1989, Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces (IMA),1988. Handscomb, D. C. (ed.). New York, U. S. A.: Clarendon Press, p. 199-206 8 p. (Mathematics of Surfaces).

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

  • 1986

    Enlarging the REDUCE domain of computation

    Bradford, R. J., Hearn, A. C., Padget, J. A. & Schrüfer, E., 1986, SYMSAC '86: Proceedings of the Fifth ACM Symposium on Symbolic and Algebraic Computation. New York, U. S. A.: Association for Computing Machinery, p. 100-106 7 p.

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

  • On numbers and polynomials

    Davenport, J. & Padget, J., 1986, Computers and Computing: Proceedings of the International Conference, Future Trends of Computing dedicated to N. Gastinel, grenoble, 2-6 December 1985. Chenin, P., Crescenzo, C. D. & Robert, F. (eds.). Chichester, U. K.: Wiley Masson, p. 49-53 5 p. (Études et recherches en informatique).

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

  • 1985

    HEUGCD- How elementary upperbounds generate cheaper data

    Davenport, J. & Padget, J., 1 Apr 1985, EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions. Caviness, B. F. (ed.). Berlin, Germany: Springer Verlag, p. 18-28 11 p. (Lecture Notes in Computer Science; vol. 204).

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

  • 1983

    Integration - what do we want from the theory?

    Davenport, J. H., 1983, Computer Algebra: EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983: Proceedings. Hultzen, J. A. V. (ed.). Berlin, Germany: Springer, p. 2-11 10 p. (Lecture Notes in Computer Science; vol. 162).

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

  • 1982

    The Parallel Risch Algorithm (I)

    Davenport, J. H., 1982, Computer algebra: EUROCAM '82, European Computer Algebra Conference, Marseille, France 5-7 April 1982. Calmet, J. (ed.). Berlin, Germany: Springer, p. 144-157 14 p. (Lecture Notes in Computer Science; vol. 144).

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

  • 1981

    Effective mathematics: the computer algebra viewpoint

    Davenport, J. H., 1981, Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. Richman, F. (ed.). Berlin, Germany: Springer, p. 31-43 13 p. (Springer Lecture Notes in Mathematics; vol. 873).

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

  • 1979

    Algorithms for the integration of algebraic functions

    Davenport, J. H., 1979, Symbolic and Algebraic Computation: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 415-425 11 p. (Lecture Notes in Computer Science; vol. 72).

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

  • The computerisation of algebraic geometry

    Davenport, J. H., 1979, Symbolic and Algebraic Computation : Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 119-133 15 p. (Lecture Notes in Computer Science; vol. 72).

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