Items where division is "Faculties > Sciences > School of Computing > Theoretical Computing Group"
Number of items at this level: 587. A
|
Aichernig, Bernhard K.,
Boiten, Eerke Albert,
Butler, Michael,
Derrick, John,
Groves, Lindsay
(2009)
Preface: Special Issue on REFINE 2006.
Formal Aspects of Computing,
21
(1-2).
Article Number UNSPECIFIED.
ISSN 0934-5043.
(doi:10.1007/s00165-008-0100-9)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:24076)
|
|
|
Aichernig, Bernhard K.,
Boiten, Eerke Albert,
Derrick, John,
Groves, Lindsay
(2007)
Preface: Proceedings of the 11th BCS-FACS Refinement Workshop, Macao, 2006.
Electronic Notes in Theoretical Computer Science,
187
.
p. 1.
ISSN 1571-0661.
(doi:10.1016/j.entcs.2006.08.040)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14565)
|
|
|
Akehurst, David H.,
Bordbar, Behzad,
Derrick, John,
Waters, A. Gill
(2002)
Design Support for Distributed Systems: DSE4DS.
In: Finney, Joe and Haahr, Mads and Montressor, Alberto, eds.
Procedings of the 7th Cabernet Radicals Workshop.
.
(KAR id:13718)
|
![[img]](/13718/1.hassmallThumbnailVersion/DesignAke.pdf)  Preview |
|
|
Anzellotti, G.,
Battiti, Roberto,
Lazzizzera, I.,
Soncini, G.,
Zorat, Alessandro,
Sartori, Alvise,
Tecchiolli, Giampietro,
Lee, Peter
(1995)
Totem:. a Highly Parallel Chip for Triggering Applications with Inductive Learning Based on the Reactive Tabu Search.
International Journal of Modern Physics C,
6
(4).
pp. 555-560.
ISSN 0129-1831.
(doi:10.1142/S0129183195000423)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19673)
|
|
|
Arts, Thomas and Earle, Clara Benac and Derrick, John
(2002)
Verifying Erlang code: a resource locker case-study.
In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds.
UNSPECIFIED
LNCS, 2391
.
Springer-Verlag, pp. 184-203.
ISBN 3-540-43928-5.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13764)
|
|
B
|
Barnes, David J.,
Fincher, Sally,
Thompson, Simon
(1997)
Introductory Problem Solving in Computer Science.
In: Daughton, Goretti and Magee, Patricia, eds.
5th Annual Conference on the Teaching of Computing.
.
pp. 36-39.
, Centre for Teaching Computing, Dublin City University, Dublin 9, Ireland
(KAR id:21468)
|
|
|
Barnes, David J.,
Hopkins, Tim
(2000)
The evolution and testing of a medium sized numerical package.
In: Langtangen, Hans Petter and Bruaset, Are Magnus and Quak, Ewald, eds.
Advances In Software Tools For Scientific Computing.
10.
pp. 225-237.
Springer-Verlag Berlin
ISBN 3-540-66557-9.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:16087)
|
|
|
Bassett, Eryl E.,
Brooks, Stephen P.,
Morgan, Byron J. T.
(1994)
Minitab macros for multivariate analysis.
Computational Statistics and Data Analysis,
17
(1).
pp. 100-101.
ISSN 0167-9473.
(doi:10.1016/0167-9473(94)90031-0)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20375)
|
|
|
Battiti, Roberto and Lee, Peter and Sartori, Alvise and Tecchiolli, Giampietro
(1995)
Special-purpose parallel architectures for high-performance machine learning.
In: Hertzberger, Bob and Serazzi, Giuseppe, eds.
High-Performance Computing and Networking International Conference and Exhibition.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, p. 944.
ISBN 978-3-540-59393-5.
E-ISBN 978-3-540-49242-9.
(doi:10.1007/BFb0046600)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19694)
|
|
|
Beezer, Anthony E.,
Mitchell, John C.,
Colegate, Rachel M.,
Scally, David J.,
Twyman, Lance J.,
Willson, Richard J.
(1995)
Microcalorimetry in the Screening of Discovery Compounds and in the Investigation of Novel Drug-Delivery systems.
Thermochimica Acta,
250
(2).
pp. 277-283.
ISSN 0040-6031.
(doi:10.1016/0040-6031(94)01966-K)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19699)
|
|
|
Blair, Gordon S.,
Blair, Lynne,
Bowman, Howard,
Chetwynd, Amanda G.
(1997)
Formal Specification of Distributed Multimedia Systems.
University College London Press, 352 pp.
ISBN 1-85728-677-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21462)
|
|
|
Bodden, Eric
(2003)
JAnalyzer, A Visual Static Analyzer for Java.
Technical report.
University of Kent, Kent, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13943)
|
|
|
Boel, R. and Bordbar, B. and Stremersch, G.
(1998)
Controlled Timed Petri Nets: Equivalence Relations, Model Reduction.
In:
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics.
IEEE Systems, Man, and Cybernetics, Conference, 1
.
IEEE, pp. 674-679.
ISBN 0-7803-4778-1.
(doi:10.1109/ICSMC.1998.725491)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21596)
|
|
|
Boiten, Eerke Albert
(2003)
Book review: Concepts in Programming Languages, by John Mitchell.
Review of: Concepts in Programming Languages
by Mitchell, John.
Journal of Functional Programming,
13
(6).
pp. 1087-1088.
ISSN 0956-7968.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13886)
|
|
|
Boiten, Eerke Albert
(1988)
Een Syntax Assisted Editor.
Other masters thesis, Universiteit Twente.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20934)
|
|
|
Boiten, Eerke Albert
(1991)
Intersections of Bags and Sets of Extended Substructures -- a Class of Problems.
In: Möller, Bernhard, ed.
Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications.
Elsevier, New York, USA, pp. 33-48.
ISBN 0-444-89184-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21002)
|
|
|
Boiten, Eerke Albert
(1989)
Inverting the Flow of Computation in Tree-like Recursive Functions.
In: Apers, P.M.G. and Bosman, D. and van Leeuwen, J., eds.
Computer Science in the Netherlands 1989.
.
pp. 33-56.
Stichting Mathematisch Centrum, Amsterdam
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20944)
|
|
|
Boiten, Eerke Albert
(2002)
Loose Specification and Refinement in Z.
In: Bert, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds.
ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 226-241.
ISBN 978-3-540-43166-4.
E-ISBN 978-3-540-45648-3.
(doi:10.1007/3-540-45648-1_12)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13829)
|
|
|
Boiten, Eerke Albert
(1993)
Parsing in ISBES.
In: Bjorner, D. and Broy, M. and Pottosin, I.V., eds.
Formal Methods in Programming and Their Applications International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 423-433.
ISBN 978-3-540-57316-6.
E-ISBN 978-3-540-48056-3.
(doi:10.1007/BFb0039724)
(KAR id:21112)
|
![[img]](/21112/1.hassmallThumbnailVersion/parsLNCS.pdf)  Preview |
|
|
Derrick, John and Boiten, Eerke Albert and Woodcock, Jim and von Wright, Joakim, eds.
(2002)
REFINE 2002: The BCS FACS Refinement Workshop.
Electronic Notes in Theoretical Computer Science, 70
.
Elsevier Science Publishers
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13759)
|
|
|
Boiten, Eerke Albert
(1992)
Views of Formal Program Development.
Doctor of Philosophy (PhD) thesis, University of Nijmegen, Faculty of Mathematics and Informatics.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21069)
|
|
|
Boiten, Eerke Albert,
Bowman, Howard,
Derrick, John,
Linington, Peter F.,
Steen, Maarten
(2000)
Viewpoint Consistency in ODP.
Computer Networks,
34
(3).
pp. 503-537.
ISSN 1389-1286.
(KAR id:21992)
|
![[img]](/21992/1.hassmallThumbnailVersion/root.pdf)  Preview |
|
|
Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten
(1996)
Issues in multiparadigm viewpoint specification.
In: Finkelstein, A. and Spanoudakis, G., eds.
Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops.
ACM, New York, USA, pp. 162-166.
ISBN 0-89791-867-3.
(doi:10.1145/243327.243639)
(KAR id:21329)
|
|
|
Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten
(1997)
Viewpoint consistency in Z and LOTOS: A case study.
In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds.
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 644-664.
ISBN 978-3-540-63533-8.
E-ISBN 978-3-540-69593-6.
(doi:10.1007/3-540-63533-5_34)
(KAR id:21452)
|
|
|
Boiten, Eerke Albert and Derrick, John
(2005)
Formal Program Development with Approximations.
In: Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A., eds.
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 374-392.
ISBN 978-3-540-25559-8.
E-ISBN 978-3-540-32007-4.
(doi:10.1007/11415787_22)
(KAR id:14341)
|
![[img]](/14341/1.hassmallThumbnailVersion/FormalProgram.pdf)  Preview |
|
|
Boiten, Eerke Albert and Derrick, John
(1998)
Grey Box Data Refinement.
In: Grundy, J. and Schwenke, M. and Vickers, T., eds.
International Refinement Workshop & Formal Methods Pacific 1998.
Discrete Mathematics and Theoretical Computer Science
.
Springer, Heidelberg, Germany, pp. 45-59.
ISBN 981-4021-16-4.
(KAR id:21607)
|
![[img]](/21607/1.hassmallThumbnailVersion/Grey_Box_Data_Refinement.pdf)  Preview |
|
|
Boiten, Eerke Albert,
Derrick, John
(1998)
IO - refinement in Z.
In: 3rd Northern Formal MethodsWorkshop,, 1998.
(KAR id:21600)
|
![[img]](/21600/1.hassmallThumbnailVersion/IO_-_refinement_in_Z.pdf)  Preview |
|
|
Boiten, Eerke Albert,
Derrick, John
(2002)
Integration of Specifications through Development Relations.
In: Ehrig, Hartmut and Kramer, Berndt and Ertas, Atila, eds.
Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology.
.
p. 8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13787)
|
|
|
Boiten, Eerke Albert and Derrick, John
(2000)
Liberating data refinement.
In: Backhouse, Roland C. and Oliveira, Jose Nuno, eds.
Mathematics of Program Construction 5th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 144-166.
ISBN 978-3-540-67727-7.
E-ISBN 978-3-540-45025-2.
(doi:10.1007/10722010_11)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:22003)
|
|
|
Boiten, Eerke Albert and Derrick, John
(2009)
Modelling divergence in Relational Concurrent Refinement.
In: Leuschel, Michael and Wehrheim, Heike, eds.
Integrated Formal Methods 7th International Conference.
Lecture Notes in Computer Science, 5423
.
Springer, Berlin, Germany, pp. 183-199.
ISBN 978-3-642-00254-0.
E-ISBN 978-3-642-00255-7.
(doi:10.1007/978-3-642-00255-7_13)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:24032)
|
|
|
Boiten, Eerke Albert,
Derrick, John
(2005)
Proceedings of the REFINE 2005 Workshop.
Electronic Notes in Theoretical Computer Science,
137
(2).
pp. 1-242.
ISSN 1571-0661.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14337)
|
|
|
Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten
(1996)
Consistency and refinement for partial specification in Z.
In: Gaudel, M.C. and Woodcock, Jim, eds.
FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 287-306.
ISBN 978-3-540-60973-5.
E-ISBN 978-3-540-49749-3.
(doi:10.1007/3-540-60973-3_93)
(KAR id:21388)
|
|
|
Boiten, Eerke Albert,
Derrick, John,
Bowman, Howard,
Steen, Maarten
(1997)
Coupling schemas: data refinement and view(point) composition.
In: Duke, David J. and Evans, A.S., eds.
Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods.
Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods.
.
Springer
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21472)
|
|
|
Boiten, Eerke Albert,
Derrick, John,
Bowman, Howard,
Steen, Maarten
(1995)
Unification and multiple views of data in Z.
In: van Vliet, J.C., ed.
Computer Science in the Netherlands 1995.
.
pp. 73-85.
Stichting Mathematisch Centrum, Amsterdam
ISBN 90-6196-460-1.
(KAR id:21226)
|
|
|
Boiten, Eerke Albert,
Derrick, John,
Schellhorn, Gerhard
(2008)
Preface: REFINE 2008 Proceedings.
Electronic Notes in Theoretical Computer Science,
214
.
p. 1.
ISSN 1571-0661.
(doi:10.1016/j.entcs.2008.06.001)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:24072)
|
|
|
Boiten, Eerke Albert,
Derrick, John,
Smith, Graeme
(2005)
Editorial: Special issue on Integrated Formal Methods.
Formal Aspects of Computing,
17
(4).
Article Number UNSPECIFIED.
ISSN 0934-5043.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14227)
|
|
|
Boiten, Eerke Albert and Derrick, John and Smith, Graeme
(2007)
Refine 2007 Participants' Proceedings.
Technical report.
University of Kent, Canterbury, Canterbury, Kent
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14568)
|
|
|
Boiten, Eerke Albert,
van den Brand, M.G.J.,
van Diepen, N.W.P.,
Koster, C.H.A.,
Partsch, H.A.,
Völker, N.
(1992)
USTOPIA Requirements -- Thoughts on a User-friendly System for Transformation Of Programs In Abstracto.
Periodica Polytechnica: Electrical Engineering,
35
(2).
pp. 101-123.
ISSN 0324-6000.
(KAR id:21080)
|
![[img]](/21080/1.hassmallThumbnailVersion/ustopiaPerPol.ps)  Preview |
|
|
Bordbar, Behzad
(1998)
Weakly almost period functions on N with a negative base.
Journal of the London Mathematical Society,
(57).
pp. 706-720.
ISSN 0024-6107.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21648)
|
|
|
Bordbar, Behzad and Derrick, John and Waters, A. Gill
(2003)
A UML approach to the design of open distributed systems.
In: George, Chris and Miao, Huaikou, eds.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 561-572.
ISBN 978-3-540-00029-7.
E-ISBN 978-3-540-36103-9.
(doi:10.1007/3-540-36103-0_56)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13708)
|
|
|
Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A.
(1996)
Viewpoint consistency in ODP, a general interpretation.
In: Najm, Elie and Stefani, J.-B., eds.
Formal Methods for Open Object-based Distributed Systems.
IFIP Advances in Information and Communication Technology
.
Springer, Boston, Massachusetts, USA, pp. 189-204.
ISBN 978-1-5041-2875-9.
E-ISBN 978-0-387-35082-0.
(doi:10.1007/978-0-387-35082-0_14)
(KAR id:21386)
|
|
|
Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B.
(1997)
On Behavioural Subtyping in LOTOS.
In: Bowman, Howard and Derrick, John, eds.
Formal Methods for Open Object-based Distributed Systems.
IFIP Advances in Information and Communication Technology, 2
.
Springer, Boston, Massachusetts, USA, pp. 335-351.
ISBN 978-1-5041-2952-7.
E-ISBN 978-0-387-35261-9.
(doi:10.1007/978-0-387-35261-9_23)
(KAR id:21473)
|
|
|
Bowman, Howard
(2001)
Formal Methods Elsewhere.
Electronic Notes in Theoretical Computer Science,
43
.
pp. 162-163.
ISSN 1571-0661.
(doi:10.1016/S1571-0661(05)81053-9)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13603)
|
|
|
Bowman, Howard
(2001)
Time and Action Lock Freedom Properties of Timed Automata.
In: Kim, Myungchul and Chin, Byoungmoon and Kang, Sungwon and Lee, Danhyung, eds.
Formal Techniques for Networked and Distributed Systems.
.
pp. 119-134.
Kluwer Academic Publishers
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13578)
|
|
|
Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G.
(1993)
Time Versus Abstraction In Formal Description.
In: Tenney, Richard L. and Amer, Paul D. and Uyar, M.Umit, eds.
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI.
North-Holland Publishing Co., Netherlands, pp. 467-482.
ISBN 0-444-81773-5.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20396)
|
|
|
Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G.
(1994)
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation.
In: Hutchison, D. and Danthine, A. and Leopold, H. and Coulson, G., eds.
Multimedia Transport and Teleservices International COST 237 Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 145-167.
ISBN 978-3-540-58759-0.
E-ISBN 978-3-540-49065-4.
(doi:10.1007/3-540-58759-4_33)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21165)
|
|
|
Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten
(1995)
Strategies for Consistency Checking.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(KAR id:21223)
|
|
|
Bowman, Howard and Derrick, John
(1997)
Extending LOTOS with Time: True Concurrency Perspective.
In: Bertran, Miquel and Rus, Teodor, eds.
Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 382-399.
ISBN 978-3-540-63010-4.
E-ISBN 978-3-540-69058-0.
(doi:10.1007/3-540-63010-4_26)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21500)
|
|
|
Bowman, Howard and Derrick, John
(1999)
A Junction between State Based and Behavioural Specification.
In: Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Robert, eds.
Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS).
IFIP — The International Federation for Information Processing
.
Kluwer Academic, pp. 213-239.
ISBN 978-1-4757-5266-3.
E-ISBN 978-0-387-35562-7.
(doi:10.1007/978-0-387-35562-7_18)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21871)
|
|
|
Bowman, Howard and Derrick, John
(1995)
A True Concurrency Semantics for Quality of Service Specification and Validation.
In: Sarikaya, Behcet and Saito, Senro, eds.
Proceedings of the International Conference on Multimedia Networking: MmNet '95.
IEEE, pp. 173-182.
ISBN 0-8186-7090-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21237)
|
|
|
Bowman, Howard,
Faconti, Giorgio,
Katoen, J-P.,
Latella, D.,
Massink, M.
(1998)
Automatic Verification of a Lip Synchronisation Protocol using UPPAAL.
Formal Aspects of Computing,
10
(5-6).
pp. 550-575.
ISSN 1433-299X.
(doi:10.1007/s001650050032)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21620)
|
|
|
Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M.
(1998)
Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version.
In: Groote, J.F. and Luttik, B. and van Warnel, J., eds.
FMICS'98, Third International Workshop on Formal Methods for Industrial Crtical Systems.
CWI, pp. 97-124.
ISBN 90-6196-480-6.
(KAR id:21658)
|
![[img]](/21658/1.hassmallThumbnailVersion/Automatic_Verification_of_a_Lip-Synchronisation_Algorithm_Using_UPPAAL_-_Extended_Version.pdf)  Preview |
|
|
Bowman, Howard and Katoen, J-P.
(1998)
A True Concurrency Semantics for ET-LOTOS.
In:
Proceedings of the 1998 International Conference on Application of Concurrency to System Design.
IEEE, pp. 228-238.
ISBN 0-8186-8350-3.
(doi:10.1109/CSD.1998.657554)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21681)
|
|
|
Bowman, Howard,
Steen, Maarten,
Boiten, Eerke Albert,
Derrick, John
(2002)
A Formal Framework for Viewpoint Consistency.
Formal Methods in System Design,
21
(2).
pp. 111-166.
ISSN 0925-9856.
(doi:10.1023/A:1016000201864)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13730)
|
|
|
Braßel, Bernd and Chitil, Olaf and Hanus, Michael and Huch, Frank
(2004)
Observing Functional Logic Computations.
In: Jayaraman, B., ed.
Practical Aspects of Declarative Languages 6th International Symposium.
Lecture Notes in Computer Science
.
Springer, pp. 193-208.
ISBN 978-3-540-22253-8.
E-ISBN 978-3-540-24836-1.
(doi:10.1007/978-3-540-24836-1_14)
(KAR id:14150)
|
![[img]](/14150/1.hassmallThumbnailVersion/Observing_Functional_Logic_Computations.pdf)  Preview |
|
|
Brown, Christopher,
Thompson, Simon
(2007)
Refactorings that Split and Merge Programs.
In:
Draft Proceedings of the 19th International Symposium on Implementation and Application of Functional Languages, IFL 2007.
.
, Freiburg, Germany.
(KAR id:14544)
|
![[img]](/14544/1.hassmallThumbnailVersion/Refactorings_that_Split.pdf)  Preview |
|
|
Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John
(2000)
Specification and Analysis of Automata-based Designs.
In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds.
Integrated Formal Methods Second International Conference.
Lecture Notes in Comuter Science
.
Springer, Berlin, Germany, pp. 176-193.
ISBN 978-3-540-41196-3.
E-ISBN 978-3-540-40911-3.
(doi:10.1007/3-540-40911-4_11)
(KAR id:21939)
|
|
|
Bryans, Jeremy W.,
Bowman, Howard,
Derrick, John
(2003)
Model Checking Stochastic Automata.
ACM Transactions on Computational Logic,
4
(4).
pp. 452-492.
ISSN 1529-3785.
(doi:10.1145/937555.937558)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13898)
|
|
|
Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A.
(1994)
Real-time CSP and ET-LOTOS.
Technical report.
Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21186)
|
|
|
Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A.
(1995)
Towards a Denotational Semantics for Timed LOTOS.
In:
CONCUR '95: Concurrency Theory 6th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 269-283.
ISBN 978-3-540-60218-7.
E-ISBN 978-3-540-44738-2.
(doi:10.1007/3-540-60218-6_20)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21232)
|
|
|
Bujorianu, Marius C.
(2004)
Integration of Specification Languages Using Viewpoints.
In: Boiten, Eerke Albert and Derrick, John and Smith, Graeme, eds.
Integrated Formal Methods 4th International Conference.
Lecture Notes in Computer Science
.
Springer, pp. 421-440.
ISBN 978-3-540-21377-2.
E-ISBN 978-3-540-24756-2.
(doi:10.1007/978-3-540-24756-2_23)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14182)
|
|
|
Bujorianu, Marius C. and Bujorianu, Manuela L.
(2001)
An Abstract Domain for Probabilistic Hybrid Systems.
European Association for Theoretical Computer Science, Bulletin of the European Association for Theoretical Computer Science, Issue 74.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13626)
|
|
|
Bujorianu, Marius C.,
Bujorianu, Manuela L.
(2002)
Constructive Potential Theory: A Linear Logic Approach.
In: Berarducci, A. and Cutland, N.J., eds.
NS 2002 Non-standard Methods and Applications in Mathematics.
.
University of Pisa, Pisa, Italy
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13775)
|
|
|
Bujorianu, Marius C.,
Bujorianu, Manuela L.
(2002)
Linear Logic: from Stochastic Analysis to Software Testing.
In: British colloquium on theoretical computer science 18, 7th-10th April 2002, HP laboratories Bristol.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13796)
|
|
|
Bujorianu, Marius C. and Bujorianu, Manuela L.
(2001)
Logics, Viewpoints and Tests: Towards a Trinity.
Other.
Computing Laboratory, UKC
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13590)
|
|
|
Bujorianu, Marius C.,
Bujorianu, Manuela L.
(2001)
On the Hilbert Machines Quantitative Computational Model.
In:
QAPL'01 Workshop on Quantitative Aspects of Programming Laguages.
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13557)
|
|
|
Bujorianu, Marius C.,
Bujorianu, Manuela L.
(2001)
Order Theoretic Topologies and Hybrid Systems.
In: 5th Galway Colloquium on General Topology, 27-29 June 2001, University of Hull.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13598)
|
|
|
Bujorianu, Marius C.,
Maharaj, Savitri,
Bujorianu, Manuela L.
(2002)
Towards a formalization of viewpoints testing.
In: Hierons, R. and Jéron, T., eds.
Formal Approaches To Testing of Software 2002 (FATES'02).
Research Report
.
INRIA, 35042 Rennes, France
(KAR id:13752)
|
![[img]](/13752/1.hassmallThumbnailVersion/FormalRob.pdf)  Preview |
|
C
|
Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon
(1998)
Synchronization in Multimedia Documents.
In: Andre, Jacques, ed.
Electronic Publishing, Artistic Imaging, and Digital Typography 7th International Conference on Electronic Publishing.
Lecture Notes In Computer Science
.
Springer, Berlin, Germany, pp. 355-369.
ISBN 978-3-540-64298-5.
E-ISBN 978-3-540-69718-3.
(doi:10.1007/BFb0053283)
(KAR id:21653)
|
|
|
Cavalcanti, Ana L. C.,
Florissi, C.,
Soares, Patricia G.,
Melo, T.C.S
(1987)
Implementation of a Relational Language for Microcomputers.
In:
7th Conference of the Brazilian Computer Society.
.
pp. 441-451.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20925)
|
|
|
Cavalcanti, Ana L. C.,
Meira, Silvio Lemos
(1989)
Denotational Models of Software Systems.
In:
9th Conference of the Brazilian Computer Society.
.
pp. 187-204.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20937)
|
|
|
Cavalcanti, Ana L. C.,
Naumann, David A.
(2002)
Forward Simulation for Data Refinement of Classes.
In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds.
FME 2002: Formal Methods - Getting IT Right.
Lecture Notes in Computer Science
, 1.
pp. 471-490.
Springer-Verlag, Berlin
ISBN 978-3-540-43928-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13676)
|
|
|
Cavalcanti, Ana L. C.,
Naumann, David A.
(2002)
On a Specification-oriented Model for Object-orientation.
In:
Proceedings of the 6th Brazilian Symposium on Programming Languages.
.
pp. 114-127.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13672)
|
|
|
Cavalcanti, Ana L. C.,
Naumann, David A.
(2000)
Simulation and Class Refinement for Java.
In: Drossopoulou, Sophia and Eisenback, S., eds.
ECOOP 2000 Workshop on Formal Techniques for Java Programs.
Technical Report 269
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21911)
|
|
|
Cavalcanti, Ana L. C.,
Sampaio, Augusto C.A.,
Woodcock, Jim
(2002)
Refinement of Actions in Circus.
In:
Proceedings of REFINE'2002.
Electronic Notes in Theoretical Computer Science
, 70.
pp. 132-162.
Elsevier B.V
(doi:10.1016/S1571-0661(05)80489-X)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13674)
|
|
|
Cavalcanti, Ana L. C.,
Woodcock, Jim
(2002)
A Weakest Precondition Semantics for Circus.
In:
Proceedings of the Communicating Processing Architectures 2002.
.
IOS Press
ISBN 4-274-90539-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13677)
|
|
|
Cavalcanti, Ana L. C.,
Woodcock, Jim
(1998)
ZRC - A Refinement Calculus for Z.
Formal Aspects of Computing,
10
(3).
pp. 267-289.
(doi:10.1007/s001650050016)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21709)
|
|
|
Cesarini, Francesco,
Thompson, Simon
(2009)
Erlang Programming.
O'Reilly, 494 pp.
ISBN 0-596-51818-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:24114)
|
|
|
Cheng, Russell C.H.
(1994)
Selecting Input Models.
In: Tew, J.D. and Manivannan, M.S. and Sadowski, D.A. and Seila, A.F., eds.
1994 Winter Simulation Conference Proceedings.
.
pp. 184-191.
I E E E
ISBN 0-7803-2109-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20440)
|
|
|
Chitil, Olaf
(2000)
Deforestation of Functional Programs through Type Inference.
In: Goerigk, Wolfgang, ed.
17 Workshops der GI-Fachgruppe 2.1.4. Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarecomponenten.
.
pp. 121-130.
Bericht Nr. 2007 des Instituts für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
(KAR id:21999)
|
![[img]](/21999/1.hassmallThumbnailVersion/Deforestation_of_Functional_Programs_through_Type_Inference.pdf)  Preview |
|
|
Chitil, Olaf
(2009)
Functional Programming.
In: Wah, Benjamin W., ed.
Encyclopedia of Computer Science and Engineering.
John Wiley & Sons, Hoboken, NJ, pp. 1334-1344.
ISBN 978-0-471-38393-2.
(KAR id:24064)
|
![[img]](/24064/1.hassmallThumbnailVersion/FuncOlaf.pdf)  Preview |
|
|
Chitil, Olaf and Horváth, Zoltán and Zsòk, Viktòria, eds.
(2008)
Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers.
LNCS 5083
.
Springer-Verlag, Berlin, Heidelberg
ISBN 978-3-540-85372-5.
E-ISBN 978-3-540-85373-2.
(doi:10.1007/978-3-540-85373-2)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:24056)
|
|
|
Chitil, Olaf
(2006)
Promoting Non-Strict Programming.
In:
Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006.
.
pp. 512-516.
Eotvos Lorand University, Budapest, Hungary
ISBN 963-463-876-7.
(KAR id:14426)
|
![[img]](/14426/1.hassmallThumbnailVersion/Promoting_Non-Strict_Programming.pdf)  Preview |
|
|
Chitil, Olaf
(2001)
A Semantics for Tracing.
In: Arts, Thomas and Mohnen, Markus, eds.
Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001.
.
pp. 249-254.
, Älvsjö, Sweden
(KAR id:13565)
|
![[img]](/13565/1.hassmallThumbnailVersion/a_semantics_for_tracing_chitil.pdf)  Preview |
|
|
Chitil, Olaf
(2004)
Source-Based Trace Exploration.
In: 16th International Workshop on Implementation of Functional Languages, IFL 2004, 08-10 Sep 2004, Lubeck, Germany.
(KAR id:14085)
|
![[img]](/14085/1.hassmallThumbnailVersion/Source-Based_Trace_Exploration.pdf)  Preview |
|
|
Chitil, Olaf
(2005)
Source-Based Trace Exploration.
In: Grelck, Clemens and Huch, Frank and Michaelson, Greg and Trinder, Phil, eds.
Implementation and Application of Functional Languages 16th International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 126-141.
ISBN 978-3-540-26094-3.
E-ISBN 978-3-540-32038-8.
(doi:10.1007/11431664_8)
(KAR id:14347)
|
![[img]](/14347/1.hassmallThumbnailVersion/Sourcebasedolaf.pdf)  Preview |
|
|
Chitil, Olaf,
Huch, Frank
(2006)
A Pattern Logic for Prompt Lazy Assertions in Haskell.
In:
Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006.
.
Eotvos Lorand University, Budapest, Hungary
ISBN 963-463-876-7.
(KAR id:14409)
|
![[img]](/14409/1.hassmallThumbnailVersion/A_Pattern_Logic_for_Prompt_Lazy_Assertions.pdf)  Preview |
|
|
Chitil, Olaf and Huch, Frank
(2007)
A Pattern Logic for Prompt Lazy Assertions.
In: Horváth, Zoltán and Zsok, Viktoria and Butterfield, Andrew, eds.
Implementation and Application of Functional Languages.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 126-144.
ISBN 978-3-540-74129-9.
E-ISBN 978-3-540-74130-5.
(doi:10.1007/978-3-540-74130-5)
(KAR id:14599)
|
![[img]](/14599/1.hassmallThumbnailVersion/A_Pattern.pdf)  Preview |
|
|
Chitil, Olaf and McNeill, Dan and Runciman, Colin
(2004)
Lazy Assertions.
In: Trinder, Phil and Michaelson, Greg and Pena, Ricardo, eds.
Implementation of Functional Languages 15th International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 1-19.
ISBN 978-3-540-23727-3.
E-ISBN 978-3-540-27861-0.
(doi:10.1007/978-3-540-27861-0_1)
(KAR id:14056)
|
![[img]](/14056/1.hassmallThumbnailVersion/Lazy_Assertions.pdf)  Preview |
|
|
Chitil, Olaf and Runciman, Colin and Wallace, Malcolm
(2001)
Freja, Hat and Hood --- A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.
In: Mohnen, Markus and Koopman, P., eds.
Implementation of Functional Languages 12th International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 176-193.
ISBN 978-3-540-41919-8.
E-ISBN 978-3-540-45361-1.
(doi:10.1007/3-540-45361-X_11)
(KAR id:13631)
|
![[img]](/13631/1.hassmallThumbnailVersion/freja_hat_and_hood_chitil.pdf)  Preview |
|
|
Chitil, Olaf,
Runciman, Colin,
Wallace, Malcolm
(2000)
Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems.
In: Mohnen, Markus and Koopman, P., eds.
Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages.
.
pp. 47-62.
, Aachen, Germany
(KAR id:21960)
|
![[img]](/21960/1.hassmallThumbnailVersion/Tracing_and_Debugging_of_Lazy_Functional_Programs_-_A_Comparative_Evaluation_of_Three_Systems.pdf)  Preview |
|
|
Chitil, Olaf,
Runciman, Colin,
Wallace, Malcolm
(2002)
Transforming Haskell for Tracing.
In: Ricardo, Peña and Thomas, Arts, eds.
Draft papers of 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002.
.
(KAR id:13737)
|
![[img]](/13737/1.hassmallThumbnailVersion/transformingDraft.pdf)  Preview |
|
|
Chitil, Olaf,
Runciman, Colin,
Wallace, Malcolm
(2003)
Transforming Haskell for Tracing.
In: Ricardo, Peña and Thomas, Arts, eds.
Lecture Notes in Computer Science.
Implementation of Functional Languages: 14th International Workshop, IFL 2002.
LNCS 2670
.
pp. 165-181.
Springer-Verlag Berlin, Berlin
ISBN 978-3-540-40190-2.
E-ISBN 978-3-540-44854-9.
(doi:10.1007/3-540-44854-3_11)
(KAR id:58270)
|
![[img]](/58270/1.hassmallThumbnailVersion/transformingFinal.pdf)  Preview |
|
|
Clear, David and Ibbetson, Alan L. and Collinson, Peter
(1994)
Exporting Home on Demand to PCS.
In:
USENIX Systems Administration (LISA VIII) Conference Proceedings.
Usenix Assoc, pp. 139-147.
ISBN 978-1-880446-64-5.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20455)
|
|
|
Cohen, Dave,
Watson, Phil
(1991)
An efficient representation of arithmetic for term rewriting.
In: Book, Ronald V., ed.
Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991.
Lecture Notes in Computer Science
, 488.
pp. 240-251.
Springer Verlag
(doi:10.1007/3-540-53904-2_100)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21013)
|
|
|
Colchester, Alan C. F.,
Ourselin, Sébastien,
Zhu, Yonggen,
Bardinet, Eric,
He, Yang,
Roche, Alexis,
Al-Sarraj, Safa,
Nailon, Bill,
Ironside, James,
Ayache, Nicholas
and others.
(hide)
(2000)
3-D reconstruction of macroscopic optical brain slice images.
In: 3rd International Conference on Medical Image Computing and Computer-Assisted Intervention, 11-14 Oct 2000, Pittsburgh, Pennsylvania.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:16293)
|
|
|
Cole, James and Derrick, John and Milosevic, Zoran and Raymond, Kerry
(2001)
Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification.
In: Sloman, Morris and Lobo, Jorge and Lupu, Emil C., eds.
Policies for Distributed Systems and Networks International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 1-17.
ISBN 978-3-540-41610-4.
E-ISBN 978-3-540-44569-2.
(doi:10.1007/3-540-44569-2_1)
(KAR id:13640)
|
|
|
Cornélioa, Márcio,
Cavalcanti, Ana L. C.,
Sampaio, Augusto C.A.
(2002)
Refactoring by Transformation.
In:
Proceedings of REFINE'2002.
Electronic Notes in Theoretical Computer Science
, 70.
pp. 311-330.
Elsevier Science B V
(doi:10.1016/S1571-0661(05)82564-2)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13673)
|
|
|
Coutinho, S.L.,
Reis, T.P.C.,
Cavalcanti, Ana L. C.
(1999)
A Tool for Teaching Refinement.
In:
13th Brazilian Symposium on Software Engineering - Tools Session.
.
pp. 61-64.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21707)
|
|
|
Cross, M. and Keech, M. and Liddell, Heather and Steel, John and Walshaw, C and Welch, Peter H.
(1995)
Implementing a strategy for the promotion of high performance computing in the UK.
In: Hertzberger, Bob and Serazzi, Giuseppe, eds.
High-Performance Computing and Networking International Conference and Exhibition.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, p. 941.
ISBN 978-3-540-59393-5.
E-ISBN 978-3-540-49242-9.
(doi:10.1007/BFb0046749)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19789)
|
|
D
|
Davie, Thomas,
Chitil, Olaf
(2006)
Display of Functional Values for Debugging.
In:
Draft Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006.
.
pp. 326-337.
Eotvos Lorand University, Budapest, Hungary
ISBN 963-463-876-7.
(KAR id:14413)
|
![[img]](/14413/1.hassmallThumbnailVersion/Display_of_Functional_Values_for_Debugging.pdf)  Preview |
|
|
Davie, Thomas,
Chitil, Olaf
(2005)
Hat-Delta --- One Right Does Make a Wrong.
In: Runciman, Colin, ed.
Hat Day 2005: work in progress on the Hat tracing system for Haskell.
.
pp. 6-11.
Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK
(KAR id:14245)
|
![[img]](/14245/1.hassmallThumbnailVersion/HatThomas.pdf)  Preview |
|
|
Davie, Thomas,
Chitil, Olaf
(2006)
One Right Does Make a Wrong.
In:
Pre-Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP 2006.
.
(KAR id:14486)
|
![[img]](/14486/1.hassmallThumbnailVersion/One_Right_Does_Make_a_Wrong.pdf)  Preview |
|
|
Davies, Jim,
Bryans, Jeremy W.,
Schneider, Steve A.
(1996)
Real-time LOSTOS and Timed Observations.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21378)
|
|
|
Dealmeida, F.A.,
Welch, Peter H.
(1994)
A Parallel Emulator for a Multi-Processor Dataflow Machine.
In: DeGloria, A. and Jane, M.R. and Marini, D., eds.
Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress.
41.
pp. 259-272.
I O S Press
ISBN 90-5199-177-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20160)
|
|
|
Delaney, Aidan and Taylor, John and Thompson, Simon
(2008)
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.
In: Stapleton, Gem and Howse, John and Lee, John, eds.
Diagrammatic Representation and Inference 5th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 172-187.
ISBN 978-3-540-87729-5.
E-ISBN 978-3-540-87730-1.
(doi:10.1007/978-3-540-87730-1_18)
(KAR id:24010)
|
![[img]](/24010/1.hassmallThumbnailVersion/SpiderThompson.pdf)  Preview |
|
|
Dent, Alan,
Hanna, Keith
(1993)
Reasoning about Array Structures Using a Dependently Typed Logic.
In:
Proc Computer Hardware Description Languages (CHDL-93).
.
pp. 195-212.
Elsevier Science Publishers
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21086)
|
|
|
Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.W.A.
(1996)
Supporting ODP - Translating LOTOS to Z.
In: Najm, Elie and Stefani, J.-B., eds.
Formal Methods for Open Object-based Distributed Systems.
IFIP Advances in Information and Communication Technology
.
Springer, Boston, Massachusetts, USA, pp. 399-406.
ISBN 978-1-5041-2875-9.
E-ISBN 978-0-387-35082-0.
(doi:10.1007/978-0-387-35082-0_29)
(KAR id:21389)
|
|
|
Derrick, John
(2003)
Timed CSP and Object-Z.
In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds.
ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, pp. 300-318.
ISBN 978-3-540-40253-4.
E-ISBN 978-3-540-44880-8.
(doi:10.1007/3-540-44880-2_19)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13963)
|
|
|
Derrick, John,
Akehurst, David H.,
Boiten, Eerke Albert
(2002)
A framework for UML consistency.
In: Kuzniarz, L. and Reggio, G. and Sourrouille, J.L. and Huzar, Z., eds.
UML 2002 Workshop on Consistency Problems in UML-based Software Development.
.
pp. 30-45.
(KAR id:13715)
|
![[img]](/13715/1.hassmallThumbnailVersion/FrameworkJohn.pdf)  Preview |
|
|
Derrick, John and Boiten, Eerke Albert
(2000)
Refinement of objects and operations in Object-Z.
In: Smith, Scott F. and Talcott, Carolyn L., eds.
Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems.
IFIP Advances in Information and Communication Technology
.
Springer, Boston, Massachusetts, USA, pp. 257-277.
ISBN 978-1-4757-1018-2.
E-ISBN 978-0-387-35520-7.
(doi:10.1007/978-0-387-35520-7_13)
(KAR id:21969)
|
![[img]](/21969/1.hassmallThumbnailVersion/Refinement_of_objects_and_operations_in_Object-Z.ps)  Preview |
|
|
Derrick, John,
Boiten, Eerke Albert,
Bowman, Howard,
Steen, Maarten
(1997)
Translating LOTOS to Object-Z.
In: 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 Jul 1997, Ilkley, England.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21474)
|
|
|
Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten
(1997)
Weak refinement in Z.
In: Bowen, Jonathan P. and Hinchey, Michael G. and Till, David, eds.
ZUM '97: The Z Formal Specification Notation 10th International Conference of Z Users.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 369-388.
ISBN 978-3-540-62717-3.
E-ISBN 978-3-540-68490-9.
(doi:10.1007/BFb0027298)
(KAR id:21516)
|
|
|
Derrick, John,
Bowman, Howard,
Boiten, Eerke Albert,
Steen, Maarten
(1996)
Comparing LOTOS and Z refinement relations.
In:
Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI.
.
pp. 501-516.
Chapman & Hall, Kaiserslautern, Germany
ISBN 0-412-79490-X.
(KAR id:21330)
|
|
|
Derrick, John and Smith, Graeme
(2004)
Linear temporal logic and Z refinement.
In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds.
Algebraic Methodology and Software Technology 10th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 117-131.
ISBN 978-3-540-22381-8.
E-ISBN 978-3-540-27815-3.
(doi:10.1007/b98770)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14126)
|
|
|
Derrick, John and Smith, Graeme
(2000)
Structural refinement in Object-Z / CSP.
In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds.
Integrated Formal Methods Second International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 194-213.
ISBN 978-3-540-41196-3.
E-ISBN 978-3-540-40911-3.
(doi:10.1007/3-540-40911-4_12)
(KAR id:21935)
|
|
|
Derrick, John and Wehrheim, Heike
(2003)
Using coupled simulations in non-atomic refinement.
In: Bert, Didier and Bowen, Jonathan P. and King, Steve and Walden, Marina, eds.
ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, pp. 127-147.
ISBN 978-3-540-40253-4.
E-ISBN 978-3-540-44880-8.
(doi:10.1007/3-540-44880-2_10)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13964)
|
|
|
Dick, A.J.J.,
Watson, Phil
(1991)
Order-sorted term rewriting.
Computer Journal,
34
(1).
pp. 16-19.
ISSN 0010-4620.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21011)
|
|
|
Duran, Adolfo and Sampaio, Ana and Cavalcanti, Augusto
(2002)
Refinement Algebra for Formal Bytecode Generation.
In:
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 347-358.
ISBN 978-3-540-00029-7.
E-ISBN 978-3-540-36103-9.
(doi:10.1007/3-540-36103-0_36)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13646)
|
|
|
de Carvalho, Andre C.P.L.F.,
Fairhurst, Michael,
Bisset, D.L.
(1994)
A Modular Boolean Architecture for Pattern Recognition.
In:
1994 IEEE International Conference on Neural Networks.
1-7.
pp. 4349-4352.
I E E E
ISBN 0-7803-1901-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20163)
|
|
E
|
Evans, Andy S. and Holton, David W. and Lai, Luming and Watson, Phil G.
(1997)
A comparison of real-time formal specification languages.
In: Duke, David J. and Evans, A.S., eds.
BCS-FACS Northern Formal Methods Workshop: proceedings of the BCS-FACS Northern Formal Methods Workshop.
Electronic Workshops in Computer Science
.
Springer, Berlin, Germany.
ISBN 3-540-76117-9.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21548)
|
|
F
|
Faridani, A.,
Dimond, Keith R.
(1994)
A Transputer-Based Vision System for Mobile Robots.
In: Arabnia, Hamid R., ed.
Transputer Research and Applications 7.
42.
pp. 68-78.
I O S Press
ISBN 90-5199-187-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19519)
|
|
|
Findlay, G. and Hirst, Timothy R.
(1993)
The Role of DSBA in Enterotoxin Biogenesis and Cell Viability.
In: Freer, J. and Aitken, Robert and Alouf, J.E and Boulnois, G. and Falmagne, P. and Fehrenbach, F. and Montecucco, C. and Piemont, Y. and Rappuoli, R. and Wadstrom, Torkel and Witholt, B., eds.
Bacterial Protein Toxins: Sixth European Workshop.
Gustav Fischer Verlag, pp. 212-213.
ISBN 978-3-437-11535-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20187)
|
|
G
|
Giacomini, L. and Bordbar, B. and Holding, D.J.
(2000)
Hybrid Sliding Mode Control for a Set of Interconnected Nonlinear.
In:
Proceedings of the 39th IEEE Conference on Decision and Control.
IEEE Conference on Decision and Control - Proceedings
.
IEEE, Sydney Convention and Exhibition Centre, pp. 2180-2185.
ISBN 0-7803-6638-7.
(doi:10.1109/CDC.2000.914118)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21921)
|
|
|
Gomez, Rodolfo,
Augusto, Juan Carlos
(2004)
Durative Events in Active Databases.
In:
ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems.
.
pp. 306-311.
, Porto, Portugal
(KAR id:14181)
|
![[img]](/14181/1.hassmallThumbnailVersion/Durative_Events_in_Active_Databases.pdf)  Preview |
|
|
Gomez, Rodolfo,
Augusto, Juan Carlos,
Acuña, Silvia.T.
(2003)
An Algorithm to Translate PARADIGM specifications to PLTL.
In:
Proceedings of the 3ras. Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria de Conocimiento (JIISIC'03).
.
pp. 53-63.
, Valdivia, Chile
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13883)
|
|
|
Gomez, Rodolfo and Bowman, Howard
(2003)
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.
In: Konig, H. and Heiner, M. and Wolisz, A., eds.
Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference.
Lecture Notes in Computr Science
.
Springer, Berlin, Germany, pp. 177-192.
ISBN 978-3-540-20175-5.
E-ISBN 978-3-540-39979-7.
(doi:10.1007/978-3-540-39979-7_12)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13904)
|
|
H
|
Hanna, Keith
(1998)
Automatic Verification of Mixed-Level Logic Circuits.
In: Gopalakrishna, O. and Windley, P., eds.
Formal Methods in Computer-Aided Design.
Lecture Notes in Computer Science
, 1522.
pp. 133-148.
Springer-Verlag, Berlin, Proceedings FMCAS 98
ISBN 3-540-65191-8.
(doi:10.1007/3-540-49519-3_10)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21573)
|
|
|
Hanna, Keith
(1994)
Reasoning about Real Digital Circuits.
In:
Proc Higher Order Logic Theorem Proving and its Applications.
.
Springer-Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21150)
|
|
|
Hanna, Keith,
Daeche, Neil
(1986)
Purely Functional Implementation of a Logic.
In:
Proc. 8th Intnl. Conf. on Automated Deduction.
.
pp. 598-607.
Springer Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20914)
|
|
|
Hanna, Keith,
Daeche, Neil
(1987)
Specification and Verification of Digital Systems.
In:
Proc Conf on Logic and its Application to Computer Science.
.
pp. 73-143.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20924)
|
|
|
Hanna, Keith,
Daeche, Neil
(1985)
Specification and Verification using Higher-Order Logic.
In:
Computer Hardware Description Languages and their Applications.
.
pp. 418-433.
North Holland
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20907)
|
|
|
Hanna, Keith,
Daeche, Neil
(1993)
Strongly-Typed Theory of Structures and Behaviours.
In:
Correct Hardware Design and Verification Methods.
.
pp. 39-54.
Springer-Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21085)
|
|
|
Hanna, Keith,
Daeche, Neil
(1992)
The Veritas Design Logic; a User''s View.
In:
Proc. Theorem Provers in Circuit Design.
.
pp. 301-310.
North Holland
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21015)
|
|
|
Hanna, Keith,
Daeche, Neil,
Longley, Mark
(1989)
Formal Synthesis of Digital Systems.
In: Claesen, Luc J. M., ed.
Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design.
.
pp. 532-548.
Elsevier
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20940)
|
|
|
Hanna, Keith,
Daeche, Neil,
Longley, Mark
(1989)
Veritas: A Specification Language based on Type Theory.
In:
Proc. Workshop on Hardware Specification, Verification and Synthesis, Mathematical Aspects.
.
pp. 358-379.
Springer Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20939)
|
|
|
Hanna, Keith and Howells, Gareth
(1994)
Parallel Theorem Proving.
In: Runciman, Colin and Wakeling, David, eds.
Applications of Functional Programming.
UCL Press, pp. 221-235.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21151)
|
|
|
Hanna, Keith and Howells, Gareth
(1994)
The Veritas Proof Assistant.
In: Runciman, Colin and Wakeling, David, eds.
Applications of Functional Programming.
UCL Press, pp. 125-204.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21153)
|
|
|
Hanus, Michael,
Krishnamurthy, Shriram,
Thompson, Simon
(2002)
Functional and Declarative Programming in Education 2002.
In:
Functional and Declarative Programming in Education (FDPE 2002).
0210.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13719)
|
|
|
Hierons, R.,
Derrick, John
(2000)
Editorial: Special issue on specification-based testing.
Software Testing Verification & Reliability,
10
(4).
pp. 201-202.
ISSN 0960-0833.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:16204)
|
|
|
Hill, Steve
(1995)
The Lazy Z-Buffer.
Information Processing Letters,
55
(2).
pp. 65-70.
ISSN 0020-0190.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19597)
|
|
|
Hill, Steve
(1994)
The Lazy Z-Buffer.
Technical report.
University of Kent, Computing Laboratory, University of Kent, Canterbury, UK
(KAR id:21182)
|
|
|
Hill, Steve
(1995)
Parallel imperative functional programming.
In: Nixon, Paddy, ed.
Transputer and Occam Developments.
44.
pp. 33-46.
I O S Press
ISBN 90-5199-222-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19598)
|
|
|
Hill, Steve,
Thompson, Simon
(1995)
Miranda in Isabelle.
In: Paulson, Lawrence C., ed.
Preceedings of the first Isabelle Users Workshop.
University Of Cambridge Computer Laboratory Technical Reports Series
(397).
pp. 122-135.
(KAR id:21247)
|
|
|
Hojjatoleslami, Ali,
Kittler, Josef
(1998)
Region Growing: A New Approach.
IEEE Transactions on Image Processing,
7
(7).
1079 -1084.
ISSN 1057-7149.
(doi:10.1109/83.701170)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:27607)
|
|
|
Hopkins, Tim
(1992)
Remark on Algorithm-540.
Acm Transactions on Mathematical Software,
18
(3).
pp. 343-344.
ISSN 0098-3500.
(doi:10.1145/131766.131773)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:22518)
|
|
|
Howe, Jacob M.
(1997)
Two Loop Detection Mechanisms: A Comparison.
In: Galmiche, D., ed.
Automated Reasoning with Analytic Tableaux and Related Methods International Conference.
Lecture Notes in Artificial Intelligence
.
Springer, Berlin, Germany, pp. 188-200.
ISBN 978-3-540-62920-7.
E-ISBN 978-3-540-69046-7.
(doi:10.1007/BFb0027414)
(KAR id:21499)
|
|
|
Howe, Jacob M.,
King, Andy
(1999)
A Semantic Basis for Specialising Domain Constraints.
University of Kent, School of Computing, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, 12 pp.
(KAR id:21749)
|
![[img]](/21749/1.hassmallThumbnailVersion/a_semantic_basis_for_specialising_howe.pdf)  Preview |
|
|
Howe, Jacob M.,
King, Andy
(2001)
Widening BDDs.
University of Kent, School of Computing, 9 pp.
(KAR id:13611)
|
![[img]](/13611/1.hassmallThumbnailVersion/widening_bdds_howe.pdf)  Preview |
|
|
Howells, Gareth,
Fairhurst, Michael,
Bisset, D.L.
(1994)
BCN - an Architecture for Weightless Ram-Base Neural Networks.
In:
1994 IEEE International Conference on Neural Networks.
1-7.
pp. 1386-1390.
I E E E
ISBN 0-7803-1901-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20260)
|
|
|
Howells, Gareth,
Fairhurst, Michael,
Bisset, D.L.
(1995)
PCN: The Probabilistic Convergence Network.
In:
IEEE International Conference on Neural Networks Proceedings.
1-6.
pp. 1211-1214.
IEEE
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:19607)
|
|
J
|
Jones, Richard E.
(2000)
Session 3: Overview.
In: Kirby, G.N.C. and Dearle, A. and Sjoberg, D.I.K., eds.
Persistent Object Systems: Design, Implementation, and Use 9th International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 84-86.
ISBN 978-3-540-42735-3.
E-ISBN 978-3-540-45498-4.
(doi:10.1007/3-540-45498-5_8)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21981)
|
|
|
Jones, Richard E.
(1990)
Tail Recursion Without Space Leaks.
Technical report.
UKC, University of Kent, Canterbury, UK
72*.
(doi:72*)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20974)
|
|
|
Jones, Richard E.
(1992)
Tail recursion without Space Leaks.
Journal of Functional Programming,
2
(1).
pp. 73-79.
ISSN 0956--7968.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21074)
|
|
|
Jones, Richard E. and Jul, Eric
(1999)
Garbage Collection.
UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21743)
|
|
|
Jones, Richard E. and Lins, Rafael D.
(1992)
Cyclic Weighted Reference Counting without Delay.
Technical report.
UKC, University of Kent, Canterbury, UK
28-92*.
(doi:28-92*)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21024)
|
|
|
Jones, Richard E. and Lins, Rafael D.
(1993)
Cyclic Weighted Reference Counting without Delay.
In:
PARLE '93 Parallel Architectures and Languages Europe 5th International PARLE Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 712-715.
ISBN 978-3-540-56891-9.
E-ISBN 978-3-540-47779-2.
(doi:10.1007/3-540-56891-3_66)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21111)
|
|
K
|
Kahrs, Stefan
(1993)
Compilation of combinatory reduction systems.
In: Heering, Jan and Meinke, Karl and Möller, Bernhard and Nipkow, Tobias, eds.
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 169-188.
ISBN 978-3-540-58233-5.
E-ISBN 978-3-540-48579-7.
(doi:10.1007/3-540-58233-9_9)
(KAR id:21097)
|
|
|
Kahrs, Stefan
(1994)
First-class polymorphism for ML.
In: Sannella, Don, ed.
Programming Languages and Systems — ESOP '94 5th European Symposium on Programming.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 333-347.
ISBN 978-3-540-57880-2.
E-ISBN 978-3-540-48376-2.
(doi:10.1007/3-540-57880-3_22)
(KAR id:21199)
|
|
|
Kahrs, Stefan
(2006)
Gene Expression Programming with Pre-Order Traversals.
In: Sirlantzis, Konstantinos, ed.
Proceedings of the 6th International Conference on Recent Advances in Soft Computing.
, pp. 84-89.
ISBN 1-902671-42-2.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14457)
|
|
|
Kahrs, Stefan
(2006)
Genetic Programming with Primitive Recursion.
In: Keijzer, Maarten, ed.
Proceedings of the 8th annual conference on Genetic and evolutionary computation.
ACM, New York, USA, pp. 941-942.
ISBN 1-59593-186-4.
(doi:10.1145/1143997.1144160)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14460)
|
|
|
Kahrs, Stefan
(2009)
Modularity of Convergence in Infinitary Rewriting.
In: Treinen, Ralf, ed.
Rewriting Techniques and Applications 20th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 179-193.
ISBN 978-3-642-02347-7.
E-ISBN 978-3-642-02348-4.
(doi:10.1007/978-3-642-02348-4_13)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:24126)
|
|
|
Kahrs, Stefan
(2001)
Red-black trees with types.
Journal of Functional Programming,
11
(4).
pp. 425-432.
(doi:10.1017/S0956796801004026)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13587)
|
|
|
Kahrs, Stefan
(2003)
Well-Going Programs Can Be Typed.
In: Hofmann, Martin, ed.
Typed Lambda Calculi and Applications 6th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 167-179.
ISBN 978-3-540-40332-6.
E-ISBN 978-3-540-44904-1.
(doi:10.1007/3-540-44904-3_12)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13967)
|
|
|
Kahrs, Stefan
(1995)
The variable containment problem.
In: Dowek, Gilles and Heering, Jan and Meinke, Karl and Möller, Bernhard, eds.
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 109-123.
ISBN 978-3-540-61254-4.
E-ISBN 978-3-540-68389-6.
(doi:10.1007/3-540-61254-8_22)
(KAR id:21244)
|
|
|
Kahrs, Stefan and Sannella, Don and Tarlecki, Andrzej
(1994)
The definition of Extended ML.
Technical report.
University of Edinburgh
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
(KAR id:21213)
|
|
|
Kelner, J.,
Cavalcanti, Ana L. C.,
Pardo, A.
(1989)
LindA: A Language for Automated Authoring of Hypertexts.
In:
3rd Brazilian Symposium on Sofrware Engineering.
.
pp. 124-136.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20938)
|
|
|
Kemp, Zarine P.,
Kowalczyk, Arek
(1994)
Incorporating the Temporal Dimension in a GIS.
In: Worboys, Michael F., ed.
Innovations in GIS.
.
pp. 89-103.
Taylor & Francis
ISBN 0-7484-0140-7.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20285)
|
|
|
King, Andy
(1994)
A Framework for Freeness Analysis.
In: Tick, Evan and Succi, G., eds.
Implementations of Logic Programming Systems.
Implementations of Logic Programming Systems
.
Kluwer Academic Publishers, Dordrecht, pp. 137-149.
ISBN 0-7923-9457-7.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21148)
|
|
|
King, Andy, ed.
(2008)
Logic-Based Program Synthesis and Transformation.
Lecture Notes in Computer Science
(4915).
Springer-Verlag, 219 pp.
ISBN 978-3-540-78768-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:23965)
|
|
|
King, Andy
(1995)
Share x Free Revisited.
University of Kent, School of Computing, University of Kent, Canterbury, UK
(KAR id:21294)
|
![[img]](/21294/1.hassmallThumbnailVersion/ShareXKing.pdf)  Preview |
|
|
King, Andy C.
(2002)
Removing GC Synchronisation.
In:
Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications.
SIGPLAN
.
ACM, New York, USA, pp. 112-113.
ISBN 1-58113-626-9.
(doi:10.1145/985072.985129)
(KAR id:13703)
|
![[img]](/13703/1.hassmallThumbnailVersion/RemoveAndy1.pdf)  Preview |
|
|
King, Andy and Shen, Kish and Benoy, Florence
(1997)
Lower-bound Time-Complexity Analysis of Logic Programs.
In: Maluszynski, Jan, ed.
Proceedings of the 1996 International Symposium.
Logic Programming
.
MIT Press, Cambridge, Massachusetts, USA, pp. 261-276.
ISBN 0-262-63180-6.
(KAR id:21434)
|
![[img]](/21434/2.hassmallThumbnailVersion/Lower-bound_time-complexity_analysis_of_logic_programs.pdf)  Preview |
|
|
King, Andy and Soper, Paul
(1994)
Depth-k Sharing and Freeness.
In: Van Hentenryck, Pascal, ed.
Proceedings of the Eleventh International Conference on Logic Programming.
Logic Programming
.
MIT Press, Cambridge, Massachusetts, USA, pp. 553-568.
ISBN 0-262-72022-1.
(KAR id:21207)
|
![[img]](/21207/1.hassmallThumbnailVersion/DepthKing.pdf)  Preview |
|
L
|
Lai, Luming,
Watson, Phil
(1997)
A case study in Timed CSP: the railroad crossing problem.
In: Maler, O., ed.
Proceedings of the International Workshop on Hybrid and Real-Time Systems (HART 97).
Lecture Notes in Computer Science
, 1201.
pp. 69-74.
Springer Verlag
ISBN 3-540-62600-X.
(doi:10.1007/BFb0014714)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21547)
|
|
|
Lange, Steffen,
Watson, Phil
(1994)
Machine discovery in the presence of incomplete or ambiguous data.
In: Jantke, Klaus P., ed.
Algorithmic Learning Theory, Proceedings of the 5th International Workshop, Rheinhardsbrunn, Germany, 1994.
Lecture Notes in Artificial Intelligence
, 872.
pp. 438-452.
Springer Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21174)
|
|
|
Li, Huiqing and Thompson, Simon
(2005)
Formalisation of Haskell Refactorings.
In: van Eekelen, Marko and Hammond, Kevin, eds.
Trends In Funtional Programming.
Trends in Functional Programming
.
Intellect Books, Bristol, UK.
ISBN 978-1-84150-176-5.
(KAR id:14266)
|
![[img]](/14266/1.hassmallThumbnailVersion/FormalisationOfRefactorings.pdf)  Preview |
|
|
Li, Huiqing and Thompson, Simon
(2008)
Tool Support for Refactoring Functional Programs.
In: Dig, Danny and Fuhrer, Robert and Johnson, Ralph, eds.
WRT '08 Proceedings of the 2nd Workshop on Refactoring Tools.
SPLASH Systems, Programming, and Applications
.
ACM, New York, USA.
ISBN 978-1-59593-977-7.
(doi:10.1145/1636642.1636644)
(KAR id:24037)
|
|
|
Li, Huiqing,
Thompson, Simon,
Lövei, László,
Horváth, Zoltán,
Kozsik, Tamás,
Víg, Anikó,
Nagy, Tamás
(2006)
Refactoring Erlang Programs.
In:
The Proceedings of 12th International Erlang/OTP User Conference.
.
, Stockholm, Sweden
(KAR id:14394)
|
![[img]](/14394/1.hassmallThumbnailVersion/Refactoring_Erlang_Programs.pdf)  Preview |
|
|
Li, Huiqing and Thompson, Simon and Orosz, György and Tóth, Melinda
(2008)
Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse.
In: Horváth, Zoltán and Teoh, Tee, eds.
ERLANG '08 Proceedings of the 7th ACM SIGPLAN workshop on ERLANG.
ICFP International Conference on Functional Programming
.
ACM, New York, USA, pp. 61-72.
ISBN 978-1-60558-065-4.
(doi:10.1145/1411273.1411283)
(KAR id:24013)
|
![[img]](/24013/1.hassmallThumbnailVersion/REclipseJohnson.pdf)  Preview |
|
|
Li, Xuan,
King, Andy,
Lu, Lunjin
(2006)
Correctness of Closure Collapsing (appendix to conference submission).
Lecture Notes in Computer Science, 4079/2.
Report number: 10.1007/11799573_13.
University of Kent, School of Computing, University of Kent, Canterbury, CT2 7NF
ISBN 978-3-540-36635-5.
(doi:10.1007/11799573_13)
(KAR id:14487)
|
![[img]](/14487/1.hassmallThumbnailVersion/Correctness_of_Closure_Collapsing.ps)  Preview |
|
|
Lins, Rafael D.
(1989)
Cyclic Reference Counting with Local Mark-Scan.
Technical report.
UKC, University of Kent, Canterbury, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20948)
|
|
|
Lins, Rafael D. and Jones, Richard E.
(1991)
Cyclic Weighted Reference Counting.
Technical report.
UKC, University of Kent, Canterbury, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20985)
|
|
|
Lins, Rafael D.,
Jones, Richard E.
(1993)
Cyclic Weighted Reference Counting.
In:
WP & FP'93 Workshop on Parallel and Distributed Processing, Sofia, Bulgaria.
.
pp. 369-382.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21117)
|
|
|
Lins, Rafael D. and Thompson, Simon
(1990)
Implementing SASL using Categorical Multi-combinators.
Technical report.
UKC, University of Kent, Canterbury, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20976)
|
|
M
|
Martin, Jonthan C. and King, Andy
(1997)
Generating Efficient, Terminating Logic Programs.
In: Bidoit, Michel and Dauchet, Max, eds.
Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development.
Lecture Notes in Computer Science, 1214
.
Springer Verlag, pp. 173-184.
ISBN 3-540-62781-2.
(KAR id:21517)
|
![[img]](/21517/2.hassmallThumbnailVersion/_terminating_logic_programs.pdf)  Preview |
|
|
Martin, U.H. and Cohen, Dave and Lai, M.K.F. and Norrie, K.J. and Watson, Phil
(1990)
Case studies in equational reasoning.
Technical report.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20980)
|
|
|
Meira, SRL and Cavalcanti, Ana L. C.
(1992)
MooZ Case Studies.
In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds.
Object Orientation in Z, Workshops in Computing.
Springer-Verlag, pp. 37-58.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21017)
|
|
|
Meira, Silvio Lemos
(1991)
Modular Extensions to Z.
Technical report.
UKC, University of Kent, Canterbury, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21012)
|
|
|
Meira, Silvio Lemos,
Cavalcanti, Ana L. C.
(1990)
Modular Object-Oriented Z Specifications.
In: Nicholls, JE, ed.
Z User Workshop.
.
pp. 173-192.
Springer-Verlag, Oxford, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20961)
|
|
|
Meira, Silvio Lemos and Cavalcanti, Ana L. C. and Santos, Cåssio Souza
(1994)
The Unix Filing System: A MooZ Specification.
In: Lano, Kevin and Haughton, Howard, eds.
Object Oriented Specification Case Studies.
Prentice-Hall, pp. 80-109.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21152)
|
|
|
Miarka, Ralph and Boiten, Eerke Albert and Derrick, John
(2000)
Guards, Preconditions, and Refinement in Z.
In: Bowen, Jonathan P. and Dunne, Steve and Galloway, Andy and King, Steve, eds.
ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 286-303.
ISBN 978-3-540-67944-8.
E-ISBN 978-3-540-44525-8.
(doi:10.1007/3-540-44525-0_17)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21990)
|
|
|
Miarka, Ralph and Derrick, John and Boiten, Eerke Albert
(2002)
Handling Inconsistencies in Z using Quasi-Classical Logic.
In: Berto, Didier and Bowen, Jonathan P. and Henson, Martin C. and Robinson, Ken, eds.
ZB 2002:Formal Specification and Development in Z and B 2nd International Conference of B and Z Users.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 204-225.
ISBN 978-3-540-43166-4.
E-ISBN 978-3-540-45648-3.
(doi:10.1007/3-540-45648-1_11)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13830)
|
|
N
|
Nguyen-Viet, Chau
(2004)
Transformation in HaRe.
Technical report.
kent uni, University of Kent, Canterbury, Kent, UK
(KAR id:14052)
|
![[img]](/14052/1.hassmallThumbnailVersion/Transformation_in_HaRe.pdf)  Preview |
|
|
Nuka, Gift and Woodcock, Jim
(2006)
Mechanising a Unifying Theory.
In:
Unifying Theories of Programming.
Lecture Notes in Computer Science, 4010
.
Springer, Berlin, pp. 217-35.
ISBN 978-3-540-34750-7.
(doi:10.1007/11768173_13)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:14500)
|
|
O
|
Oliveira, Marcel V. M.,
Cavalcanti, Ana L. C.
(2000)
Tactics of Refinement.
In:
14th Brazilian Symposium on Software Engineering.
.
pp. 117-132.
(KAR id:21948)
|
![[img]](/21948/1.hassmallThumbnailVersion/Tactics_of_Refinement.pdf)  Preview |
|
|
Oliver, Ian
(2001)
Animating Object Oriented Conceptual Models.
Doctor of Philosophy (PhD) thesis, Computing Laboratory.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13637)
|
|
|
of Program Construction group, Mathematics
(1995)
Fixed-Point Calculus.
Information Processing Letters,
53
(3).
pp. 131-136.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21277)
|
|
P
|
Partsch, H.A. and Boiten, Eerke Albert
(1991)
A Note on Similarity of Specifications and Reusability of Transformational Developments.
In: Möller, Bernhard, ed.
Constructing Programs from Specifications: Proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications.
Elsevier, New York, USA, pp. 71-89.
ISBN 0-444-89184-6.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21003)
|
|
|
Patrascoiu, Octavian,
Thompson, Simon,
Rodgers, Peter
(2005)
Tableaux for Diagrammatic Reasoning.
In: Cox, Philip and Smedley, Trevor, eds.
Proceedings of the 2005 International Workshop on Visual Languages and Computing.
.
pp. 279-286.
Knowledge Systems Institute
ISBN 1-891706-17-9.
(KAR id:14260)
|
![[img]](/14260/1.hassmallThumbnailVersion/TablueauThomp.pdf)  Preview |
|
R
|
Ramalho, Geber L.,
Barros, Flavia,
Cavalcante, Sergio,
Cavalcanti, Ana L. C.
(1999)
Cyber Rally: An Experience of Democratic Use of the Internet.
In: 8th International Conference on Human-Computer Interaction: Communication, Cooperation, and Application Design, 22-26 August 1999, Munich, Germany.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21706)
|
|
|
Rodgers, Peter
(2000)
An XML Specification for Grrr Programs.
In:
University of Paderborn GT Exchange Formats.
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21957)
|
|
|
Rodgers, Peter,
Vidal, Natalia
(2000)
Graph Algorithm Animation with Grrr.
In:
Agtive99: Applications of Graph Transformations with Industrial Relevance.
Lecture Notes in Computer Science
, 1779.
pp. 379-394.
Springer-Verlag
(KAR id:21906)
|
![[img]](/21906/1.hassmallThumbnailVersion/graph_algorithm_animation_rodgers.pdf)  Preview |
|
|
Ryder, Chris and Thompson, Simon
(1999)
Aldor meets Haskell.
Technical report.
Computing Laboratory, University of Kent
(KAR id:21762)
|
|
|
Ryder, Chris and Thompson, Simon
(2005)
Porting HaRe to the GHC API.
Technical report.
Computing Laboratory, University of Kent, University of Kent, Canterbury, Kent, UK
(KAR id:14237)
|
![[img]](/14237/1.hassmallThumbnailVersion/Tech_Chris.pdf)  Preview |
|
|
Ryder, Chris and Thompson, Simon
(2005)
Software Metrics: Measuring Haskell.
In: van Eekelen, Marko, ed.
Trends in Functional Programming.
Trends in Functional Programming
.
Intellect Books, Bristol, UK.
ISBN 978-1-84150-176-5.
(KAR id:14265)
|
![[img]](/14265/1.hassmallThumbnailVersion/tfp-2005-paperFinal.pdf)  Preview |
|
S
|
Sampaio, Augusto C.A.,
Woodcock, Jim,
Cavalcanti, Ana L. C.
(2002)
Refinement in Circus.
In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds.
FME 2002: Formal Methods - Getting IT Right.
Lecture Notes in Computer Science
, 1.
pp. 451-470.
Springer-Verlag, Berlin
ISBN 978-3-540-43928-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13675)
|
|
|
Sanches, R.,
Sette, S.S.,
Cavalcanti, Ana L. C.,
Florissi, C.,
Soares, Patricia G.,
Melo, T.C.S
(1987)
A Language for a Relational Database Management System.
In:
2nd Brazilian Symposium on Databases.
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20923)
|
|
|
Schmitz, Patrick,
Thompson, Simon,
King, Peter
(2003)
Presentation Dynamism in XML.
In:
Twelfth International World Wide Web Conference.
.
W3C, Budapest, Hungary
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13980)
|
|
|
Schneider, Steve A. and Bryans, Jeremy W. and Davies, Jim
(1994)
A Failures Semantics for ET-LOTOS.
Technical report.
, Presented at the COST 247 - WG 6.1 working group meeting in Brighton
(KAR id:21190)
|
![[img]](/21190/1.hassmallThumbnailVersion/A_Failures_Semantics_for_ET-LOTOS.pdf)  Preview |
|
|
Sheriff, A.,
Cavalcanti, Ana L. C.,
Moura, Hermano
(2002)
An Action Semantics for Timed CSPm.
In:
Proceedings of the 6th Brazilian Symposium on Programming Languages.
.
pp. 100-113.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13670)
|
|
|
Shi, K. and Walczowski, Les T. and Nalbantis, D. and Waller, Winston A.J.
(1996)
O-2 ADL: An object-oriented analog VLSI design language.
In: Zhang, Qingling and Tang, Ting-Ao and Yu, Huihua, eds.
2nd International Conference on ASIC.
IEEE, pp. 27-30.
ISBN 7-5439-0940-5.
(doi:10.1109/ICASIC.1996.562742)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:18499)
|
|
|
Simon, Axel,
Chitil, Olaf,
Huch, Frank
(2000)
Typeview: A Tool for Understanding Type Errors.
In: Mohnen, Markus and Koopman, P., eds.
Draft Proceedings of the 12th International Workshop on Implementation of Functional Languages.
.
pp. 63-69.
, Aachen, Germany
(KAR id:21959)
|
![[img]](/21959/1.hassmallThumbnailVersion/Typeview_A_Tool_for_Understanding_Type_Errors.pdf)  Preview |
|
|
Simon, Axel and King, Andy
(2002)
Analyzing String Buffers in C.
In: Kirchner, Hélène and Ringeissen, Christophe, eds.
International Conference on Algebraic Methodology and Software Technology.
Lecture Notes in Computer Science, 2422
.
Springer, pp. 365-379.
ISBN 3-540-44144-1.
(doi:10.1007/3-540-45719-4_25)
(KAR id:13750)
|
![[img]](/13750/1.hassmallThumbnailVersion/AnaSim.pdf)  Preview |
|
|
Smart, Nigel P.
(1996)
How difficult is it to solve a Thue equation?
In: Cohen, H., ed.
Algorithmic Number Theory Second International Symposium.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 363-373.
ISBN 978-3-540-61581-1.
E-ISBN 978-3-540-70632-8.
(doi:10.1007/3-540-61581-4_67)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:18504)
|
|
|
Smaus, Jan-Georg and Hill, Pat and King, Andy
(1999)
Mode Analysis Domains for Typed Logic Programs.
In: Bossi, Annalisa, ed.
Logic-Based Program Synthesis and Transformation 9th International Workshop.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 82-101.
ISBN 978-3-540-67628-7.
E-ISBN 978-3-540-45148-8.
(doi:10.1007/10720327_6)
(KAR id:22064)
|
![[img]](/22064/2.hassmallThumbnailVersion/Mode_Analysis_Domains_for_Typed_Logic_Programs.pdf)  Preview |
|
|
Smaus, Jan-Georg and Hill, Pat and King, Andy
(1998)
Termination of Logic Programs with block Declarations Running in Several Modes.
In: Palamidessi, Catuscia, ed.
International Symposium on Programming Languages: Implementations, Logics and Programs.
Lecture Notes in Computer Science, 1490
.
Springer-Verlag, see also http://www.springer.de/comp/lncs/index.html, pp. 182-196.
ISBN 3-540-65012-1.
(KAR id:21647)
|
![[img]](/21647/1.hassmallThumbnailVersion/Termination_of_Logic_Programs_with_block_Declarations_Running_in_Several_Modes.pdf)  Preview |
|
|
Smith, Graeme and Derrick, John
(2002)
Abstract Specification in Object-Z and CSP.
In: George, Chris and Miao, Huaikou, eds.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 108-119.
ISBN 978-3-540-00029-7.
E-ISBN 978-3-540-36103-9.
(doi:10.1007/3-540-36103-0_14)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13698)
|
|
|
Stapleton, Gem,
Howse, John,
Taylor, John,
Thompson, Simon
(2004)
What Can Spider Diagrams Say?
In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds.
Diagrammatic Representation and Inference.
Lecture Notes in Computer Science
, 2980.
pp. 179-186.
Springer
ISBN 3-540-21268-X.
(doi:10.1007/978-3-540-25931-2_12)
(KAR id:14197)
|
![[img]](/14197/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Stapleton, Gem and Thompson, Simon and Fish, Andrew and Howse, John and Taylor, John
(2005)
A New Language for the Visualization of Logic and reasoning.
In: Cox, Philip and Smedley, Trevor, eds.
Proceedings of the 2005 International Workshop on Visual Languages and Computing.
Knowledge Systems Institute, pp. 287-292.
ISBN 1-891706-17-9.
(KAR id:14261)
|
![[img]](/14261/1.hassmallThumbnailVersion/NewAndrew.pdf)  Preview |
|
|
Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A.
(1997)
Disjunction of LOTOS specifications.
In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds.
Formal Description Techniques and Protocol Specification, Testing and Verification.
IFIP - The International Federation for Information Processing
.
Springer, Boston, Massachusetts, USA, pp. 177-192.
ISBN 978-1-4757-5260-1.
E-ISBN 978-0-387-35271-8.
(doi:10.1007/978-0-387-35271-8_11)
(KAR id:21439)
|
![[img]](/21439/1.hassmallThumbnailVersion/Disjunction_of_LOTOS_specifications.pdf)  Preview |
|
|
Steen, Maarten
(1998)
Consistency and Composition of Process Specifications.
Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21655)
|
|
|
Steen, Maarten,
Bowman, Howard,
Derrick, John
(1995)
Composition of LOTOS specifications.
In: UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21289)
|
|
|
Steen, Maarten and Derrick, John and Boiten, Eerke Albert and Bowman, Howard
(1999)
Consistency of partial process specifications.
In: Haeberer, A.M., ed.
Algebraic Methodology and Software Technology 7th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 248-262.
ISBN 978-3-540-65462-9.
E-ISBN 978-3-540-49253-5.
(doi:10.1007/3-540-49253-4_19)
(KAR id:16653)
|
|
|
Stone, R.D and Morse, David R.
(1996)
A software development tool for parallel and distributed systems.
In: Oneill, B.C. and Transputer User, Grp, eds.
Parallel processing developments : WoTUG-19 ; proceedings of the 19th World Occam and Transputer User Group Technical Meeting.
Concurrent Systems Engineering
.
IOS Press, Amsterdam, Netherlands, pp. 207-219.
ISBN 90-5199-261-0.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:18529)
|
|
|
Su, Li
(2003)
Verification of Concurrent Systems.
Technical report.
University of Kent, University of Kent, Canterbury, Kent, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13893)
|
|
|
Sultana, Nik,
Thompson, Simon
(2008)
A Certified Refactoring Engine.
In: Achten, P. and Koopman, P. and Morazán, M.T., eds.
Draft Proceedings of the Ninth Symposium on Trends in Functional Programming (TFP).
.
(KAR id:23987)
|
![[img]](/23987/1.hassmallThumbnailVersion/CertifiedThompson.pdf)  Preview |
|
|
Sultana, Nik and Thompson, Simon
(2008)
Mechanical Verification of Refactorings.
In:
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation.
PEPM Partial Evaluation and Program Manipulation
.
ACM, New York, USA, pp. 51-60.
ISBN 978-1-59593-977-7.
(doi:10.1145/1328408.1328417)
(KAR id:23959)
|
![[img]](/23959/1.hassmallThumbnailVersion/MechThompson.pdf)  Preview |
|
T
|
Taylor, Chris
(1993)
A Formal Logical Analysis of Causal Relations.
Doctor of Philosophy (PhD) thesis, University of Sussex.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21110)
|
|
|
Taylor, Chris,
Boiten, Eerke Albert,
Derrick, John
(2002)
Interpreting ODP viewpoint specifications: Observations from a Case Study.
In: Jacobs, Bart and Rensink, Arend, eds.
Formal Methods for Open Object-Based Distributed Systems V.
IFIP International Federation for Information Processings
, 5.
pp. 61-76.
Kluwer Academic Publishers, Dordrecht
ISBN 978-0-7923-7683-5.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13814)
|
|
|
Telford, Alastair J. and Turner, David A.
(1997)
Ensuring Streams Flow.
In: Johnson, Michael, ed.
Algebraic Methodology and Software Technology 6th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 509-523.
ISBN 978-3-540-63888-9.
E-ISBN 978-3-540-69661-2.
(doi:10.1007/BFb0000493)
(KAR id:21427)
|
|
|
Telford, Alastair J.,
Turner, David A.
(1999)
Ensuring Termination in ESFP.
In:
15th British Colloquium in Theoretical Computer Science.
.
, Keele
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21845)
|
|
|
Thomas, M. and Kirkwood, C. and Matthews, Brian and Watson, Phil
(1993)
Verification techniques for LOTOS: final report.
Technical report.
Department of Computing Science, University of Glasgow
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21139)
|
|
|
Thomas, Muffy,
Watson, Phil
(1991)
Generalising diverging sequences of rewrite rules by synthesising new sorts.
In: Jones, Simon L. Peyton and Hutton, Graham and Holst, Carsten Kehler, eds.
Functional Programming, Glasgow 1990, Proceedings of the 1990 Glasgow Workshop on Functional Programming.
Workshops in Computing
.
pp. 268-273.
Springer Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21007)
|
|
|
Thomas, Muffy,
Watson, Phil
(1992)
Solving divergence in Knuth-Bendix completion by enriching signatures.
In: Nivat, M. and Rattray, Charles and Rus, Teodor and Scollo, G., eds.
Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991.
Workshops in Computing
.
pp. 377-390.
Springer Verlag
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21075)
|
|
|
Thomas, Stephen P.
(1993)
The Pragmatics of Closure Reduction.
Doctor of Philosophy (PhD) thesis, University of Kent at Canterbury.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21100)
|
|
|
Thompson, Simon
(1996)
Haskell: The Craft of Functional Programming.
Addison Wesley
ISBN 0-201-40357-9.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21362)
|
|
|
Thompson, Simon
(1999)
Haskell: the Craft of Functional Programming.
International Computer Science Series
.
Addison-Wesley, Harlow, UK
ISBN 0-201-34275-8.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21856)
|
|
|
Thompson, Simon
(2001)
Logic and Dependent Types in the Aldor Computer Algebra System.
In: Kerber, Manfred and Kohlhase, Michael, eds.
Symbolic Computation and Automated Reasoning.
.
pp. 205-219.
A K Peters
ISBN 1-56881-145-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13642)
|
|
|
Thompson, Simon
(1989)
A Logic for Miranda.
Formal Aspects of Computing,
(1).
Article Number UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20949)
|
|
|
Thompson, Simon
(1995)
Miranda: The Craft of Functional Programming.
Addison Wesley
ISBN 0-201-42279-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21252)
|
|
|
Thompson, Simon
(1999)
Proof.
In: Hammond, Kevin and Michaelson, Greg, eds.
Research Directions in Parallel Functional Programming.
Springer Verlag, pp. 93-119.
ISBN 1-85233-092-9.
(KAR id:21751)
|
![[img]](/21751/1.hassmallThumbnailVersion/proof.pdf)  Preview |
|
|
Thompson, Simon
(1986)
Proving properties of functions defined on lawful types.
Technical report.
Computing Laboratory, University of Kent, University of Kent, Canterbury, UK
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20917)
|
|
|
Thompson, Simon
(2004)
Refactoring Functional Programs.
In: Vene, Varmo and Uustalu, Tarmo, eds.
Advanced Functional Programming 5th International School.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 331-357.
ISBN 978-3-540-28540-3.
E-ISBN 978-3-540-31872-9.
(doi:10.1007/11546382_9)
(KAR id:14267)
|
![[img]](/14267/1.hassmallThumbnailVersion/notes.pdf)  Preview |
|
|
Thompson, Simon and Reinke, Claus
(2003)
A Case Study in Refactoring Functional Programs.
In: Ierusalimschy, Roberto and Figueiredo, Lucilia and Valente, Marcio Tulio, eds.
Proceedings of the 7th Brazilian Symposium on Programming Languages.
Springer, pp. 1-16.
ISBN 85-88442-45-0.
(KAR id:13978)
|
![[img]](/13978/2.hassmallThumbnailVersion/content.pdf)  Preview |
|
W
|
Walczowski, Les T.,
Jastrzebski, Adam K.,
Barnaby, J.E.
(1994)
A Multi- Mode System for Gaas Circuis.
In:
1994 IEEE International Symposium on Circus and Systems, VOL 1 - Computer Aided Design (CAD).
1.
A427-A430.
I E E E
ISBN 0-7803-1915-X.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20042)
|
|
|
Watson, Phil
(1999)
Inductive Learning with Corroboration.
In: Watanabe, O. and Yokomori, T., eds.
Algorithmic Learning Theory 10th International Conference.
Lecture Notes in Artificial Intelligence
.
Springer, Berlin, Germany, pp. 145-156.
ISBN 978-3-540-66748-3.
E-ISBN 978-3-540-46769-4.
(doi:10.1007/3-540-46769-6_12)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21723)
|
|
|
Watson, Phil
(1995)
Inductive learning of recurrence-term languages from positive data.
In: Jantke, Klaus P. and Lange, Steffen, eds.
Algorithmic learning for knowledge-based systems.
Lecture Notes in Artificial Intelligence, 961
.
Springer Verlag, pp. 292-315.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21292)
|
|
|
Watson, Phil
(1990)
On restricted forms of enumeration reducibility.
Annals of Pure and Applied Logic,
49
.
pp. 75-96.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20978)
|
|
|
Watson, Phil
(1999)
Review of "Generalization and specialization strategies for learning r.e. languages".
Review of: Generalization and specialization strategies for learning r.e. languages
by Jain, Sanjay and Sharma, Arun.
Mathematical Reviews,
(99m:68).
Article Number UNSPECIFIED.
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21735)
|
|
|
Watson, Phil
(1999)
Review of "Learning with refutation".
Review of: Learning with refutation
by Jain, Sanjay.
Mathematical Reviews,
(99m:68).
Article Number UNSPECIFIED.
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21736)
|
|
|
Watson, Phil
(1999)
Review of 'Approximation methods in inductive inference'.
Review of: Approximation methods in inductive inference
by Moser, W.R..
Mathematical Reviews,
(99g:68).
Article Number UNSPECIFIED.
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21807)
|
|
|
Watson, Phil
(1999)
Review of 'Learning via queries and oracles'.
Review of: Learning via queries and oracles
by Stephan, Frank.
Mathematical Reviews,
(99f:03).
Article Number UNSPECIFIED.
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21818)
|
|
|
Watson, Phil
(1999)
Review of 'On the relative sizes of learnable sets'.
Review of: On the relative sizes of learnable sets'
by Fortnow, Lance and Freivalds, Rusins and Gasarch, William I. and Kumme, Martin and Kurtz, Stuart A. and Smith, Carl H. and Stephan, Frank.
Mathematical Reviews,
(99c:68).
Article Number UNSPECIFIED.
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21859)
|
|
|
Watson, Phil
(1999)
Review of 'The structure of intrinsic complexity of learning'.
Review of: The structure of intrinsic complexity of learning
by Jain, Sanjay and Sharma, Arun.
Mathematical Reviews,
(99k:03).
Article Number UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21753)
|
|
|
Welch, Peter H. and Wood, David C.
(1997)
Higher levels of process synchronisation.
In: Bakkers, A.W.P., ed.
Parallel Programming and Java.
Concurrent Systems Engineering Series, 50
.
I O S Press, pp. 104-129.
ISBN 90-5199-336-6.
(KAR id:18035)
|
![[img]](/18035/1.hassmallThumbnailVersion/Higher_Levels_of_Process_Synchronisation.pdf)  Preview |
|
|
Woodcock, Jim,
Cavalcanti, Ana L. C.
(2002)
The Semantics of Circus.
In:
ZB 2002: Formal Specification and Development in Z and B.
Lecture Notes in Computer Science
, 1.
pp. 184-203.
Springer-Verlag, Berlin
ISBN 978-3-540-43166-4.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:13667)
|
|
Z
|
Zammit, Vincent
(1997)
A Comparative Study of Coq and HOL.
In: Gunter, Elsa. L and Felty, Amy, eds.
Theorem Proving in Higher Order Logics 10th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 323-337.
ISBN 783540633792.
E-ISBN 978-3-540-69526-4.
(doi:10.1007/BFb0028403)
(KAR id:21466)
|
|
|
Zammit, Vincent
(1996)
A Mechanisation of Computability Theory in HOL.
In: von Wright, Joakim and Grundy, Jim and Harrison, John, eds.
Theorem Proving in Higher Order Logics 9th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 431-446.
ISBN 978-3-540-61587-3.
E-ISBN 978-3-540-70641-0.
(doi:10.1007/BFb0105420)
(KAR id:21347)
|
|
This list was generated on Wed Aug 5 21:25:23 2020 BST. |
![[img]](/style/images/fileicons/application_msword.png)
![[img]](/style/images/fileicons/other.png)
![[img]](/style/images/fileicons/application_postscript.png)
![[img]](/style/images/fileicons/application_pdf.png)
