Stephen M. Watt Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt: 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 Springer 2009
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge, Stephen M. Watt: Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM 2009: 138-153
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: Algorithms for the Functional Decomposition of Laurent Polynomials. Calculemus/MKM 2009: 186-200
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Golubitsky, Stephen M. Watt: Confidence Measures in Recognizing Handwritten Mathematical Symbols. Calculemus/MKM 2009: 460-466
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Golubitsky, Stephen M. Watt: Online computation of similarity between handwritten characters. DRR 2009: 1-10
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Golubitsky, Stephen M. Watt: Online Recognition of Multi-Stroke Symbols with Orthogonal Series. ICDAR 2009: 1265-1269
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Regmi, Stephen M. Watt: A Collaborative Interface for Multimodal Ink and Audio Documents. ICDAR 2009: 901-905
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin E. Oancea, Alan Mycroft, Stephen M. Watt: A new approach to parallelising tracing algorithms. ISMM 2009: 10-19
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge, Stephen M. Watt: Computing with abstract matrix structures. ISSAC 2009: 325-332
2008
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Golubitsky, Stephen M. Watt: Online stroke modeling for handwriting recognition. CASCON 2008: 6
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. Document Analysis Systems 2008: 557-564
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge, Stephen M. Watt: Abstract Matrix Arithmetic. SYNASC 2008: 61-68
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena S. Smirnova, Stephen M. Watt: Communicating Mathematics via Pen-Based Interfaces. SYNASC 2008: 9-18
2007
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Moreno Maza, Stephen M. Watt: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada ACM 2007
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt, Jan Verschelde: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada ACM 2007
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena S. Smirnova, Stephen M. Watt: Aspects of Mathematical Expression Analysis in Arabic Handwriting. ICDAR 2007: 1183-1187
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Char, Stephen M. Watt: Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. ICDAR 2007: 1198-1202
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirendra Keshari, Stephen M. Watt: Streaming-Archival InkML Conversion. ICDAR 2007: 1253-1257
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: New Aspects of InkML for Pen-Based Computing. ICDAR 2007: 457-460
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirendra Keshari, Stephen M. Watt: Hybrid Mathematical Symbol Recognition Using Support Vector Machines. ICDAR 2007: 859-863
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt: Generation and optimisation of code using coxeter lattice paths. PASCO 2007: 1-10
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie: Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO 2007: 60-68
2006
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt: Challenges in Symbolic Computation Software, 02.07. - 07.07.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Chicha, Stephen M. Watt: A Localized Tracing Scheme Applied to Garbage Collection. APLAS 2006: 323-339
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: Algorithms for Symbolic Polynomials. CASC 2006: 302
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt: 06271 Abstracts Collection -- Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software 2006
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt: 06271 Executive Summary - Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software 2006
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt: Coxeter Lattice Paths. Challenges in Symbolic Computation Software 2006
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: Pivot-Free Block Matrix Inversion. Challenges in Symbolic Computation Software 2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: Two Families of Algorithms for Symbolic Polynomials. Challenges in Symbolic Computation Software 2006
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: A technique for generic iteration and its optimization. ICFP-WGP 2006: 76-86
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: Improving Pen-Based Mathematical Interfaces. SYNASC 2006: 12
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: Pivot-Free Block Matrix Inversion. SYNASC 2006: 151-155
2005
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClare M. So, Mark Perry, Stephen M. Watt: Towards an Accessible Web through Semantic Web Standards. CPSN 2005: 10-16
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt, Xiaofang Xie: Recognition for Large Sets of Handwritten Mathematical Symbols. ICDAR 2005: 740-744
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin E. Oancea, Stephen M. Watt: Domains and expressions: an interface between two approaches to computer algebra. ISSAC 2005: 261-268
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClare M. So, Stephen M. Watt: Determining Empirical Characteristics of Mathematical Expression Use. MKM 2005: 361-375
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin E. Oancea, Stephen M. Watt: Parametric polymorphism for software component architectures. OOPSLA 2005: 147-166
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt: Distributed Models of Thread Level Speculation. PDPTA 2005: 920-927
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurentiu Dragan, Stephen M. Watt: Performance Analysis of Generics in Scientific Computing. SYNASC 2005: 93-100
2004
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena S. Smirnova, Clare M. So, Stephen M. Watt: An Architecture for Distributed Mathematical Web Services. MKM 2004: 363-377
2003
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBill Naylor, Stephen M. Watt: Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. Ann. Math. Artif. Intell. 38(1-3): 3-25 (2003)
2002
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt: A geometric-numeric algorithm for absolute factorization of multivariate polynomials. ISSAC 2002: 37-45
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRussell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt: Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. 36(3): 303-318 (2002)
2001
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt: Towards factoring bivariate approximate polynomials. ISSAC 2001: 85-92
2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt: Reasoning about the Elementary Functions of Complex Analysis. AISC 2000: 115-126
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt: Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. AISC 2000: 174-183
1999
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt: Approximate polynomial decomposition. ISSAC 1999: 213-219
1997
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndré Galligo, Stephen M. Watt: A Numerical Absolute Primality Test for Bivariate Polynomials. ISSAC 1997: 217-224
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Dalmas, Marc Gaëtano, Stephen M. Watt: An OpenMath 1.0 Implementation. ISSAC 1997: 241-248
1995
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt: The Singular Value Decomposition for Polynomial Systems. ISSAC 1995: 195-207
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter A. Broadbery, T. Gómez-Díaz, Stephen M. Watt: On the Implementation of Dynamic Evaluation. ISSAC 1995: 77-84
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor: A First Report on the A# Compiler. ISSAC 1994: 25-31
1988
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: A Fixed Point Method for Power Series Computation. ISSAC 1988: 206-217
1987
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam H. Burge, Stephen M. Watt: Infinite structures in SCRATCHPAD II. EUROCAL 1987: 138-148
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard D. Jenks, Robert S. Sutor, Stephen M. Watt: Scratchpad II: An Abstract Datatype System for Mathematical Computation. Trends in Computer Algebra 1987: 12-37
1985
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen M. Watt: A System for Parallel Computer Algebra Programs. European Conference on Computer Algebra (2) 1985: 537-538

Coauthor Index

1Thomas J. Ashby [30] [37]
2Russell J. Bradford [14]
3Peter A. Broadbery [5] [6]
4William H. Burge [3]
5Jacques Carette [57]
6Bruce W. Char [41]
7Yannis Chicha [34]
8Claudio Sacerdoti Coen [57]
9Robert M. Corless [7] [10] [11] [12] [13] [14] [15]
10Stéphane Dalmas [8]
11James H. Davenport [12] [14]
12Wolfram Decker [31] [32] [35]
13Mike Dewar [31] [32] [35]
14Lucas Dixon [57]
15Samuel S. Dooley [5]
16Laurentiu Dragan [18]
17Marc Gaëtano [8]
18André Galligo [9] [15]
19Patrizia M. Gianni [7]
20Mark Giesbrecht [10] [11] [13] [19]
21Oleg Golubitsky [48] [52] [53] [54]
22T. Gómez-Díaz [6]
23Mark van Hoeij [13]
24Pietro Iglio [5]
25David J. Jeffrey [10] [12] [14]
26Richard D. Jenks [2]
27Erich Kaltofen [31] [32] [35]
28Anthony D. Kennedy [30] [37]
29Birendra Keshari [38] [40]
30Ilias S. Kotsireas [11] [13] [15]
31Gurjeet Litt [12]
32Marc Moreno Maza [36] [44]
33Scott C. Morrison [5]
34Alan Mycroft [50]
35Bill Naylor [16]
36Cosmin E. Oancea [19] [20] [22] [50]
37Mark Perry [24]
38Amit Regmi [51]
39Jason W. A. Selby [19]
40Alan P. Sexton [46] [49] [56]
41Elena S. Smirnova [17] [42] [45]
42Clare M. So [17] [21] [24]
43Volker Sorge [46] [49] [56]
44Jonathan M. Steinbach [5]
45Ben Stephenson [36]
46Robert S. Sutor [2] [5]
47Barry M. Trager [7]
48Jan Verschelde [43]
49Xiaofang Xie [23]
50Yuzhen Xie [36]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)