Queen's University
School of Computing

Technical Report List (part S)

Electronic copies of some reports are available in Adobe PDF and Postscript formats; click the appropriate link to download for display. Some postscript files may not display properly at your site, especially if they contain embedded font file descriptions.

Saifan, Ahmad:

2008-548 available in PDF (725.010 Kbytes) and Postscript (7.659 Mbytes)

"Model-Based Testing of Distributed Systems", by Ahmad Saifan and Juergen Dingel, September 2008. 57 pages.

Salomaa, Kai:

2011-577 available in PDF (613.410 Kbytes) and Postscript (1.949 Mbytes)

"State Complexity of Star and Quotient Operation for Unranked Tree Automata", by X. Piao and K. Salomaa, April 2011. 19 pages.

2010-567 available in PDF (260.040 Kbytes) and Postscript (459.517 Kbytes)

"State complexity of unranked tree automata", by Xiaoxue Piao and Kai Salomaa, January 2010. 20 pages.

2008-549 available in PDF (212.963 Kbytes) and Postscript (1.781 Mbytes)

"A Cryptosystem Based on the Composition of Reversible Cellular Automata", by Adam Clarridge and Kai Salomaa, October 2008. 15 pages.

2008-547 available in PDF (424.258 Kbytes) and Postscript (5.150 Mbytes)

"An improved cellular automata based algorithm for the 45-convex hull problem", by Adam Clarridge and Kai Salomaa, July 2008. 19 pages.

2007-534 available in PDF (203.000 Kbytes) and Postscript (486.158 Kbytes)

"State Complexity of Basic Operations on Suffix-Free Regular Languages", by Yo-Sub Han and Kai Salomaa, June 2007. 18 pages.

2007-533 available in PDF (224.717 Kbytes) and Postscript (242.839 Kbytes)

"Deterministic Caterpillar Expressions", by Kai Salomaa, Sheng Yu and Jinfeng Zan, May 2007. 15 pages.

2006-515 available in PDF (268.020 Kbytes) and Postscript (387.250 Kbytes)

"Lower bounds for the transition complexity of NFAs", by Michael Domaratzki and Kai Salomaa, June 2006. 15 pages.

2006-513 available in PDF (208.541 Kbytes) and Postscript (221.292 Kbytes)

"Iterated TGR languages: Membership problem and effective closure properties", by Ian McQuillan, Kai Salomaa and Mark Daley, April 2006. 14 pages.

2005-503 available in PDF (192.988 Kbytes) and Postscript (191.848 Kbytes)

"Prime decompositions of regular languages", by Yo-Sub Han, Kai Salomaa and Derick Wood, October 2005. 12 pages.

2003-472 available in PDF (263.848 Kbytes) and Postscript (322.310 Kbytes)

"Decidability of Trajectory-Based Equations", by Michael Domaratzki and Kai Salomaa, September 2003. 17 pages.

2002-459 available in PDF (233.667 Kbytes) and Postscript (591.132 Kbytes)

"One-Visit Caterpillar Tree Automata", by Alexander Okhotin, Kai Salomaa and Michael Domaratzki, August 2002. 20 pages.

Sarkar, N.:

1995-390 available in PDF (205.139 Kbytes) and Postscript (264.274 Kbytes)

"A Discrete-Event Systems Approach to Modeling Dextrous Manipulation", by S.L. Ricker, N. Sarkar and K. Rudie, November 1995. 28 pages.

Schmeck, H.:

1984-160

"Note on Maximal Edge Length in VLSI Layouts of Complete Binary Trees", by H. Schmeck, July 1984. 8 pages.

1984-154

"Systolic Sorting in a Sequential Input/Output Environment", by S.G. Akl and H. Schmeck, January 1984. 23 pages.

Schmeiser, James P.:

1995-384 available in PDF (262.336 Kbytes) and Postscript (308.091 Kbytes)

"Polylogarithmic Parallel Parsing", by James P. Schmeiser and David T. Barnard, April 1995.

1995-378 available in PDF (106.230 Kbytes) and Postscript (122.568 Kbytes)

"Producting a Top-Down Parse Order with Bottom-Up Parsing", by James P. Schmeiser and David T. Barnard, March 1995. 6 pages.

1990-288

"Deriving Associative Operators For Language Recognition", by David Barnard, J. P. Schmeiser and D. B. Skillicorn.

Schmidt, F.:

1981-131

"Array Diagrams and the Nial Approach", by F. Schmidt and M.A. Jenkins, November 1981. 13 pages.

Schultz, D.J.:

1979-83

"Multiprocessor Support for Concurrent High Level Languages", by D.J. Schultz, August 1979. 59 pages.

Seppola, J.E.:

1982-141

"System Operations in Nial", by J.E. Seppola, July 1982. 48 pages.

1982-139

"The ISOTOL Package", by J.E. Seppola, June 1982. 37 pages.

Shahriar, Hossain:

2010-572 available in PDF (436.546 Kbytes) and Postscript (67.226 Mbytes)

"Mitigating and Monitoring Program Security Vulnerabilities", by Hossain Shahriar and Mohammad Zulkernine, June 2010. 74 pages.

Shukla, Medha:

1992-342 available in PDF (32.180 Kbytes) and Postscript (123.328 Kbytes)

"Practical Metaprogramming", by James R. Cordy and Medha Shukla.

Singleton, S.M.:

1980-99

"An Investigation of More's Array Theory", by S.M. Singleton, April 1980. 224 pages.

Skillicorn, David:

2008-543 available in PDF (8.717 Mbytes) and Postscript (9.588 Mbytes)

"Subverting Knowledge Discovery in Adversarial Settings", by J. G. Dutrisac and D. B. Skillicorn, January 2008. 30 pages.

2007-529 available in PDF (1.038 Mbytes) and Postscript (9.498 Mbytes)

"Detecting Anomalies in Graphs", by D. B. Skillicorn, January 2007. 19 pages.

2006-527 available in PDF (228.489 Kbytes) and Postscript (1.924 Mbytes)

"A Dimensionality Reduction Technique for Collaborative Filtering", by A. M. Roumani and D. B. Skillicorn, November 2006. 19 pages.

2006-509 available in PDF (8.044 Mbytes) and Postscript (33.571 Mbytes)

"A data-driven protein-structure prediction algorithm", by C.J. Robinson and D.B. Skillicorn, March 2006. 82 pages.

2006-506 available in PDF (1.464 Mbytes) and Postscript (6.749 Mbytes)

"Extracting Latent Factors from Survey Data", by D.B. Skillicorn and A. Larsen, February 2006. 19 pages.

2005-498 available in PDF (496.192 Kbytes) and Postscript (1.362 Mbytes)

"Detecting Unusual and Deceptive Communication in Email", by P.S. Keila and D.B. Skillicorn, June 2005. 12 pages.

2005-497 available in PDF (151.600 Kbytes) and Postscript (270.469 Kbytes)

"Dealing with Complex Patterns in XML Processing", by F.Y. Huang, C.B. Jay and D.B. Skillicorn, June 2005. 17 pages.

2005-494 available in PDF (152.123 Kbytes) and Postscript (262.637 Kbytes)

"Programming with Heterogeneous Structures: Manipulating XML data using bondi", by F.Y. Huang, C.B. Jay and D.B. Skillicorn, March 2005. 15 pages.

2004-491 available in PDF (328.077 Kbytes) and Postscript (2.633 Mbytes)

"Emotions as a Metaphor for Altering Operational Behavior in Autonomic Computing", by R. Chandarana and D.B. Skillicorn, December 2004. 23 pages.

2004-489 available in PDF (572.588 Kbytes) and Postscript (7.722 Mbytes)

"The Athens System for Novel Information Discovery", by N. Vats and D.B. Skillicorn, October 2004. 51 pages.

2004-488 available in PDF (162.376 Kbytes) and Postscript (1.439 Mbytes)

"Novel Information Discovery for Intelligence and Counterterrorism", by D.B. Skillicorn and N. Vats, September 2004. 13 pages.

2004-484 available in PDF (2.736 Mbytes) and Postscript (14.674 Mbytes)

"Applying Matrix Decompositions to Counterterrorism", by D.B. Skillicorn, May 2004. 47 pages.

2003-463 available in PDF (2.336 Mbytes) and Postscript (2.182 Mbytes)

"Clusters Within Clusters: SVD and Counterterrorism", by D.B. Skillicorn, March 2003. 37 pages.

2002-458 available in PDF (1.429 Mbytes) and Postscript (495.949 Kbytes)

"Using Competitive Learning to Handle Missing Values in Astrophysical Datasets", by R.A. Browse, D.B. Skillicorn and S.M. McConnell, August 2002. 15 pages.

2001-452 available in PDF (169.516 Kbytes) and Postscript (223.065 Kbytes)

"Outlier Detection Using Semi Discrete Decomposition", by S. McConnell and D.B. Skillicorn, November 2001.

2001-451 available in PDF (130.323 Kbytes) and Postscript (134.500 Kbytes)

"The Case for Datacentric Grids", by D.B. Skillicorn, November 2001.

2001-450 available in PDF (150.605 Kbytes) and Postscript (159.140 Kbytes)

"Motivating Computational Grids ", by D.B. Skillicorn, November 2001.

2001-447 available in PDF (214.786 Kbytes) and Postscript (449.785 Kbytes)

"The Spider Model of Agents", by F.Y. Huang and David B. Skillicorn, June 2001.

2001-442 available in PDF (222.266 Kbytes) and Postscript (344.483 Kbytes)

"Parallelizing Boosting and Arcing", by C. Yu and David B. Skillicorn, January 31, 2001. 23 pages.

1999-434 available in PDF (134.018 Kbytes) and Postscript (143.955 Kbytes)

"Parallel frequent set counting", by D.B. Skillicorn, December 1999. 13 pages.

1999-432 available in PDF (158.327 Kbytes) and Postscript (176.174 Kbytes)

"A new framework for software development", by D.B. Skillicorn, September 1999.

1999-430 available in PDF (148.976 Kbytes) and Postscript (146.008 Kbytes)

"A new conceptual model for large-scale hypermedia", by D.B. Skillicorn, September 1999.

1999-427 available in PDF (186.929 Kbytes) and Postscript (206.230 Kbytes)

"The Network of Tasks Model", by D.B. Skillicorn, May 1999.

1999-426 available in PDF (180.601 Kbytes) and Postscript (193.549 Kbytes)

"Strategies for Parallel Data Mining", by D.B. Skillicorn, May 1999.

1998-419 available in PDF (99.572 Kbytes) and Postscript (99.823 Kbytes)

"Partial Match Queries Using Error Correcting Code Signatures", by D.B. Skillicorn, November 1998.

1997-414 available in PDF (326.577 Kbytes) and Postscript (1.175 Mbytes)

"An analytic model for ATM network performance and its application to BSP", by E. Karimi and D. B. Skillicorn, December 1997.

1997-411 available in PDF (432.968 Kbytes) and Postscript (2.381 Mbytes)

"Non-Intrusive Lightweight Agents for Information Management", by S. Varma and D.B. Skillicorn, October 1997.

1997-406 available in PDF (167.509 Kbytes) and Postscript (184.002 Kbytes)

"Strategies for Parallelizing Supervised and Unsupervised Learning in Artificial Neural Networks Using the BSP Cost Model", by R.O. Rogers and D.B. Skillicorn, May 1997.

1996-400 available in PDF (118.882 Kbytes) and Postscript (125.607 Kbytes)

"Building BSP Programs Using the Refinement Calculus", by D.B. Skillicorn, October 1996.

1995-386 available in PDF (114.137 Kbytes) and Postscript (144.160 Kbytes)

"Teaching Computer Science Using Hypermedia", by D.B. Skillicorn, May 1995. 15 pages.

1995-383 available in PDF (118.450 Kbytes) and Postscript (140.931 Kbytes)

"A Generalisation of Indexing for Parallel Document Search", by David B. Skillicorn, March 1995. 13 pages.

1995-381 available in PDF (116.521 Kbytes) and Postscript (135.838 Kbytes)

"A Parallel Tree Difference Algorithm", by David B. Skillicorn, March 1995. 13 pages.

1995-380 available in PDF (150.045 Kbytes) and Postscript (189.264 Kbytes)

"Parallel Implementation of Tree Skeletons", by David B. Skillicorn, March 1995. 23 pages.

1995-379 available in PDF (192.484 Kbytes) and Postscript (230.976 Kbytes)

"Structured Parallel Computation in Structured Documents", by David B. Skillicorn, March 1995. 39 pages.

1993-348

"A Cost Calculus for Parallel Functional Programming", by D.B. Skillicorn and W. Cai.

1992-332 available in PDF (100.084 Kbytes) and Postscript (102.314 Kbytes)

"The Bird-Meertens Formalism as a Parallel Model", by D.B. Skillicorn.

1992-329

"A Cost Calculus for Parallel Functional Programming", by D.B. Skillicorn and W. Cai.

1991-322

"Parallel Parsing of LL", by D.T. Barnard and D.B. Skillicorn.

1991-316

"Deriving Parallel Programs from Specifications Using Lost Information", by D. Skillicorn.

1991-313

"Practical Parallel Computation, Part II: Categorical Data Types", by D. Skillicorn.

1991-312

"Practical Parallel Computation, Part I: Models of Computation", by D. Skillicorn.

1991-305

"An Analytic Result on Grain Size", by D.B. Skillicorn and W. Woodside.

1990-289

"A Survey Of Parallel Compilation", by D. B. Skillicorn and D. T. Barnard.

1990-288

"Deriving Associative Operators For Language Recognition", by David Barnard, J. P. Schmeiser and D. B. Skillicorn.

1990-282

"Practical Concurrent Programming For Parallel Machines", by David B. Skillicorn.

1990-280

"Workshop on Parallel Compilation Proceedings", by David T. Barnard and David B. Skillicorn.

1990-268

"Architecture - Independent Parallel Computation", by D.B. Skillicorn, January 1990.

1990-267

"Parallel Compilation: A Status Report", by D.T. Barnard and D.B. Skillicorn, January 1990.

1988-224

"Techniques for Compiling and Executing Dataflow Graphs", by D.B. Skillicorn, August 1988. 22 pages.

1988-217

"A Taxonomy for Computer Architectures", by D.B. Skillicorn, February 1988. 23 pages.

1988-209

"Parallel Parsing on the Connection Machine", by D.B. Skillicorn and D.T. Barnard, January 1988. 9 pages.

1987-198

"Lucid: A Distributed Language Environment and Multiprocessor", by David B. Skillicorn, July 1987. 17 pages.

1986-181

"Real-Time Specification Using Lucid", by D.B. Skillicorn and J.I. Glasgow, July 1986. 28 pages.

1985-174

"Graph Problems in Network Design", by D. Skillicorn. 24 pages.

1985-166

"The Performance of Meya-Microprocessor Networks", by D.B. Skillicorn, January 1985. 23 pages.

Smith, Ian G.R.:

1988-222

"Invocation Matching Using Geon Structure", by Ian G.R. Smith and Roger A. Browse. N.A.

Smith, D.:

1988-236

"Making Formal Software Documentation More Practical", by D. Parnas, D. Smith and T. Pearce, November 1988. 53 pages.

Soong, L.P.:

1983-140

"Survey of Relational Implementations Prior to 1977", by R.G. Crawford and L.P. Soong, June 1982. 15 pages.

Soong, H.P.:

1980-91

"Feature Selection by Interactive Clustering", by S.K. Wismath, H.P. Soong and S.G. Akl, January 1980. 19 pages.

Sperberg-McQueen, C. Michael:

1995-375 available in PDF (169.557 Kbytes) and Postscript (182.335 Kbytes)

"Lessons Learned from Using SGML in the Text Encoding Initiative", by David T. Barnard, Lou Burnard and C. Michael Sperberg-McQueen, February 1995.

Stach, Tad:

2010-571 (1.134 Mbytes)

"Design Aspects of Multiplayer Exergames", by Tad Stach, February 2010. 69 pages.

Stachniak, Z.:

1985-177

"On 2-Valued Logics and AI Reasoning Systems", by Z. Stachniak, December 1985. 15 pages.

Stephan, Matthew:

2011-582 available in PDF (848.612 Kbytes) and Postscript (4.477 Mbytes)

"A Survey of Methods and Applications of Model Comparison", by Matthew Stephan and James R. Cordy, December 2011. 43 pages.

Stevens, R.L.:

1980-93

"IVI Manual 1: Basic Facilities", by M. Levison and R.L. Stevens, April 1980. 23 pages.

1977-57

"The IVI Text Editor: Some Enhancements", by M. Levison and R.L. Stevens, December 1977. 18 pages.

1977-53

"High Level Control Structures in MACRO-11", by M. Levison and R.L. Stevens, October 1977. 14 pages.

1976-41

"The IVI Text Editor", by M. Levison and R.L. Stevens, January 1976. 16 pages.

Stojmenovic, Ivan:

1993-351

"Multiple Criteria BSR: An Implementation and Applications to Computational Geometry Problems", by Selim G. Akl and Ivan Stojmenovic.

1992-328

"A Simple and Optimal Systolic Algorithm for Generating Permutations", by Selim G. Akl and Ivan Stojmenovic.

1992-326

"Generating Binary Trees in Parallel", by Selim G. Akl and Ivan Stojmenovic.

1991-317

"Constant Delay Parallel Counters", by Selim G. Akl, Thibault Duboux and Ivan Stojmenovic.

1991-306

"Systolic Generation of Derangements", by S.G. Akl, J.M. Calvert and I. Stojmenovic.

1990-270

"Optimal Parallel ALgorithms for Generating Permutations", by S.G. Akl, H. Meijer and I. Stojmenovic, February 1990.

Symes, D.M.:

1976-43

"Procedural Operators Considered as Fundamental Programming Devices", by D.M. Symes, May 1976. 40 pages.

1975-37

"Traditional Programming Languages Devices Generalised to Provide Very High-Level Control Structure", by D.M. Symes, July 1975. 36 pages.

1975-34

"New Control Structures to Aid Gotolessness", by D.M. Symes, November 1974. 10 pages.