我要吃瓜

Computing Science & Mathematics

Outputs related to Computing Science & Mathematics

Showing 2301 to 2352 of 2352

Conference Paper (published)

Turner KJ (2003) Formalising Graphical Service Descriptions using SDL. In: Reed R & Reed J (eds.) SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany 2003, Proceedings. Lecture Notes in Computer Science 2708, volume 2708. 11th International SDL Forum, Stuttgart, 01.07.2003-04.07.2003. Berlin: Springer-Verlag, pp. 183-202. http://www.springerlink.com; https://doi.org/10.1007/3-540-45075-0_11


Conference Paper (published)

Reiff-Marganiec S & Turner KJ (2003) A Policy Architecture for Enhancing and Controlling Features. In: Amyot D & Logrippo L (eds.) Feature Interactions in Telecommunications and Software Systems VII. Seventh International Workshop on Feature Interactions, Ottawa, Canada, 11.06.2003-13.06.2003. Amsterdam, The Netherlands: IOS Press, pp. 239-246. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484


Article

Li J & Kwan RSK (2003) A fuzzy genetic algorithm for driver scheduling. European Journal of Operational Research, 147 (2), pp. 334-344. https://doi.org/10.1016/s0377-2217%2802%2900564-7


Article

Bell FK & Rowlinson P (2003) On the multiplicities of graph eigenvalues. Bulletin of the London Mathematical Society, 35 (3), pp. 401-408. https://doi.org/10.1112/S0024609303002030


Conference Abstract

Smith L (2003) Biologically inspired robust onset detection. The 145th Meeting of the Acoustical Society of America, Nashville, TN, USA, 28/04/2003 - 02/05/2003. Journal of the Acoustical Society of America, 113 (3), p. 2198. http://scitation.aip.org/content/asa/journal/jasa/113/4/10.1121/1.4780176; https://doi.org/10.1121/1.4780176


Article

Fidge C & Shankland C (2003) But what if I don't want to wait forever?. Formal Aspects of Computing, 14 (3), pp. 281-294. https://doi.org/10.1007/s001650300006


Presentation / Talk

Smith L (2003) Neuron/Electronic Interfacing. Seminar at Bioengineering Center, Georgia Institute of Technology, Atlanta, GA, USA, 23.04.2003-23.04.2003.


Article

Laurenson MK, Norman R, Gilbert L, Reid HW & Hudson PJ (2003) Identifying disease reservoirs in complex systems: mountain hares as reservoirs of ticks and louping-ill virus, pathogens of red grouse. Journal of Animal Ecology, 72 (1), pp. 177-185. http://onlinelibrary.wiley.com/doi/10.1046/j.1365-2656.2003.00688.x/abstract?systemMessage=Wiley+Online+Library+will+be+disrupted+on+9+June+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+maintenance; https://doi.org/10.1046/j.1365-2656.2003.00688.x


Article

Simeoni F, Lievens D, Connor R & Manghi P (2003) Language bindings to XML. IEEE Internet Computing, 7 (1), pp. 19-27. https://doi.org/10.1109/MIC.2003.1167335


Technical Report

Fayed M, Krapivsky P, Byers JW, Crovella M, Finkel D & Redner S (2003) On the Size Distribution of Autonomous Systems. BUCS-TR-2003-001. Boston University. http://open.bu.edu/xmlui/handle/2144/1497


Conference Paper (published)

Mtetwa N, Smith L & Hussain A (2002) Stochastic Resonance and finite resolutions in a leaky integrate-and-fire neuron. In: ESANN'2002 proceedings - European Symposium on Artificial Neural Networks. ESANN'2002: European Symposium on Artificial Neural Networks, Bruges, Belgium, 24.04.2002-26.04.2002. Louvain: Catholic University of Louvain.


Conference Paper (published)

Zayed AS, Hussain A & Smith L (2002) A new non-linear self-tuning controller incorporating neural networks. In: EIS'2002: Third International NAISO Symposium on engineering of intelligent systems. Third International NAISO Symposium on engineering of intelligent systems, Malaga, Spain, 24.09.2002-27.09.2002. NAISO, p. 107. http://www.icsc-naiso.org/conferences/eis2002/


Conference Paper (published)

Zayed AS, Hussain A & Smith L (2002) Adaptive control of non-linear system using a new pole-zero placement generalised minimum-variance technique. In: EIS'2002: Third International NAISO Symposium on engineering of intelligent systems. Third International NAISO Symposium on engineering of intelligent systems, Malaga, Spain, 24.09.2002-27.09.2002. NAISO, p. 103. http://www.icsc-naiso.org/conferences/eis2002/


Conference Paper (published)

Kolberg M, Magill E, Marples D & Tsang S (2002) Feature interactions in services for internet personal appliances. In: 2002 IEEE International Conference on Communications, ICC 2002, volume 4. 2002 IEEE International Conference on Communications. ICC 2002, New York, NY, 28.04.2002-02.05.2002. Piscataway, NJ: IEEE, pp. 2613-2618. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=997315&abstractAccess=no&userType=inst


Conference Paper (published)

Wilson M & Magill E (2002) Service Interaction in Home Networks: A Resource Centric Approach. In: Proceedings of 3rd Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting. 3rd Annual Postgraduate Symposium on the Convergence of Telecommunications, Networking & Broadcasting, June 2002, Liverpool, 17.06.2002-16.08.2002. Liverpool: Liverpool John Moores University.


Book Chapter

Calder M, Magill E, Reiff-Marganiec S & Thayananthan V (2002) Theory and Practice of Enhancing a Legacy Software System. In: Henderson P (ed.) Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme. London: Springer, pp. 120-137. http://link.springer.com/chapter/10.1007/978-1-4471-0135-2_8


Conference Paper (published)

Bujorianu MC, Maharaj S & Bujorianu ML (2002) Towards a Formalization of Viewpoints Testing. In: Hierons R & Thierry J (eds.) Formal Approaches to Testing of Software: FATES’02 A Satellite Workshop of CONCUR’02, Brno, Czech Republic, August 24th 2002 Proceedings. FATES’02: A Satellite Workshop of CONCUR’02, Brno, Czech Republic, 24.08.2002-24.08.2002. Switzerland: Springer, pp. 137-151. http://kar.kent.ac.uk/13752/1/FormalRob.pdf


Article

Faundez-Zanuy M, McLaughlin S, Esposito A, Hussain A, Schoentgen J, Kubin G, Kleijn WB & Maragos P (2002) Nonlinear Speech Processing: Overview & Applications. Control and Intelligent Systems, 30 (1), pp. 1-10.


Book Chapter

Mtetwa N, Smith L & Hussain A (2002) Stochastic resonance and finite resolution in a network of leaky integrate-and-fire neurons. In: Dorronsoro J (ed.) Artificial Neural Networks — ICANN 2002: International Conference Madrid, Spain, August 28–30, 2002 Proceedings. Lecture Notes in Computer Science, 2415. Berlin Heidelberg: Springer, pp. 117-122. http://link.springer.com/chapter/10.1007/3-540-46084-5_20#; https://doi.org/10.1007/3-540-46084-5_20


Conference Paper (published)

Graham B (2002) Multiple forms of activity-dependent plasticity enhance information transfer at a dynamic synapse. In: Dorronsoro J (ed.) Artificial Neural Networks — ICANN 2002: International Conference Madrid, Spain, August 28–30, 2002 Proceedings. Lecture Notes in Computer Science, 2415. The 12th International Conference on Artificial Neural Networks, ICANN 2002, Madrid, Spain, 27.08.2002-30.08.2002. Berlin Heidelberg: Springer, pp. 45-50. http://link.springer.com/chapter/10.1007/3-540-46084-5_8; https://doi.org/10.1007/3-540-46084-5_8


Article

Rowlinson P (2002) Star complements in finite graphs: a survey. Rendiconti del Seminario Matematico di Messina Serie II, 8 (Supplemento), pp. 145-162. https://sites.google.com/site/seminariomatematicomessina/supplementootto


Conference Paper (published)

Ochoa G (2002) Setting the Mutation Rate: Scope and Limitations of the 1/L Heuristic. In: GECCO '02 Proceedings of the Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO-2002), New York, NY, USA, 09.07.2002-13.07.2002. San Francisco, CA, USA: Morgan Kaufman, pp. 495-502. http://dl.acm.org/citation.cfm?id=683104


Conference Paper (unpublished)

Manghi P, Simeoni F, Lievens D & Connor R (2002) Hybrid Applications over XML: Integrating the Procedural and Declarative Approaches. Fourth International Workshop on Web Information and Data Management (WIDM 2002), Maclean, VA, USA, 08.11.2002-08.11.2002. https://www.scopus.com/inward/record.uri?eid=2-s2.0-1542360040&partnerID=40&md5=6938b2799444297292ebc1ab1cf1da52


Conference Paper (published)

Smith L (2002) Using IIDs to estimate sound source direction. In: Hallam B, Floreano D, Hallam J, Hayes G & Meyer J (eds.) From animals to animats 7: Proceedings of the Seventh International Conference on Simulation of Adaptive Behavior. Seventh International Conference on Simulation of Adaptive Behavior, Edinburgh, UK, 05.08.2002-09.08.2002. Cambridge, MA, USA: MIT Press, pp. 60-61. http://mitpress.mit.edu/books/animals-animats-7


Conference Paper (published)

Turner KJ & Bing Q (2002) Protocol Techniques for Testing Radiotherapy Accelerators. In: Vardi M & Peled DA (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002. Lecture Notes in Computer Science, Volume 2529. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer Verlag, pp. 81-96. https://doi.org/10.1007/3-540-36135-9_6


Conference Paper (published)

Li J & Kwan RSK (2002) A fuzzy evolutionary approach with Taguchi parameter setting for the set covering problem. In: Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02. 2002 World Congress on Computational Intelligence - WCCI'02, Honolulu, HI, USA, 12.05.2002-17.05.2002. Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/cec.2002.1004414


Article

White P, Norman R & Hudson PJ (2002) Epidemiological consequences of a pathogen having both virulent and avirulent modes of transmission: the case of rabbit haemorrhagic disease virus. Epidemiology and Infection, 129 (3), pp. 665-677. http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=137505; https://doi.org/10.1017/S095026880200777X


Conference Paper (published)

Bracciali A, Brogi A & Canal C (2002) Systematic component adaptation. In: volume 66. Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop), Málaga, Spain, 12.07.2002-13.07.2002. Elsevier, pp. 103-119. https://doi.org/10.1016/S1571-0661%2804%2980452-3


Conference Paper (published)

Bracciali A, Brogi A & Canal C (2002) Adapting components with mismatching behaviours. In: Bishop J (ed.) Component Deployment. Lecture Notes in Computer Science, 2370. IFIP/ACMWorking Conference, CD 2002, Berlin, Germany, 20.06.2002-21.06.2002. Berlin Heidelberg: Springer, pp. 185-199. http://swt.cs.tu-berlin.de/cd02/; https://doi.org/10.1007/3-540-45440-3_13


Conference Paper (published)

Bracciali A, Brogi A & Canal C (2002) Dynamically adapting the behaviour of software components. In: Arbab F & Talcott C (eds.) Coordination Models and Languages. Lecture Notes in Computer Science, 2315. 5th International Conference, COORDINATION 2002, York, UK, 08.04.2002-11.04.2002. Berlin, Heidelberg: Springer, pp. 88-95. http://www.informatik.uni-trier.de/~ley/db/conf/coordination/; https://doi.org/10.1007/3-540-46000-4_10


Conference Paper (published)

Bracciali A, Brogi A, Ferrari G & Tuosto E (2002) Security and Dynamic Compositions of Open Systems. In: Arabnia H (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 3. International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '02, Las Vegas, Nevada, USA, 24.06.2002-27.06.2002. Athens, GA: CSREA Press, pp. 1372-1377. http://www.informatik.uni-trier.de/~ley/db/conf/pdpta/pdpta2002-3.html


Conference Paper (published)

Baldan P, Bracciali A & Bruni R (2002) Bisimulation by Unification. In: Kirchner H & Ringeissen C (eds.) Algebraic Methodology and Software Technology. Lecture Notes in Computer Science, Volume 2422. 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, 09.09.2002-13.09.2002. Amsterdam: Springer, pp. 254-270. http://link.springer.com/chapter/10.1007/3-540-45719-4_18#; https://doi.org/10.1007/3-540-45719-4_18


Conference Paper (published)

Turner KJ (2002) Modelling SIP Services using CRESS. In: Vardi MY & Peled DA (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science Volume 2529, volume 2529. Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer-Verlag, pp. 162-177. https://doi.org/10.1007/3-540-36135-9_11


Conference Paper (published)

Reiff-Marganiec S & Turner KJ (2002) Use of Logic to describe Enhanced Communications Services. In: Peled DA & Vardi MY (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 2002 Proceedings. Lecture Notes in Computer Science, 2529. 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2002, Houston, Texas, 11.11.2002-14.11.2002. Berlin: Springer-Verlag, pp. 130-145. http://www.springerlink.com; https://doi.org/10.1007/3-540-36135-9


Article

Cvetkovic D, Lepovic M, Rowlinson P, Simic SK & Cvetkovic D (2002) The maximal exceptional graphs. Journal of Combinatorial Theory Series B, 86 (2), pp. 347-363. https://doi.org/10.1006/jctb.2002.2132


Article

Rowlinson P & Jackson P (2002) Star complements and switching in graphs. Linear Algebra and Its Applications, 356 (1-3), pp. 135-143. https://doi.org/10.1016/S0024-3795%2802%2900375-0


Conference Paper (unpublished)

Woodward J & Neil JR (2002) No Free Lunch, Program Induction and Combinatorial Problems. The 2002 UK Workshop on Computational Intelligence (UKCI 2002), Birmingham, 02.09.2002-04.09.2002. http://www.cs.bham.ac.uk/~jxb/UKCI/program.shtml


Article

Fenton A, Fairbairn JP, Norman R & Hudson PJ (2002) Parasite transmission: reconciling theory and reality. Journal of Animal Ecology, 71 (5), pp. 893-905. http://onlinelibrary.wiley.com/doi/10.1046/j.1365-2656.2002.00656.x/abstract?systemMessage=Wiley+Online+Library+will+be+disrupted+on+9+June+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+maintenance; https://doi.org/10.1046/j.1365-2656.2002.00656.x


Article

Burke E & Petrovic S (2002) Recent research directions in automated timetabling. European Journal of Operational Research, 140 (2), pp. 266-280. https://doi.org/10.1016/S0377-2217%2802%2900069-3


Article

Fenton A, Gwynn R, Gupta A, Norman R, Fairbairn JP & Hudson PJ (2002) Optimal application strategies for entomopathogenic nematodes: integrating theoretical and empirical approaches. Journal of Applied Ecology, 39 (3), pp. 481-492. http://onlinelibrary.wiley.com/doi/10.1046/j.1365-2664.2002.00727.x/abstract?systemMessage=Wiley+Online+Library+will+be+disrupted+on+9+June+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+maintenance; https://doi.org/10.1046/j.1365-2664.2002.00727.x


Conference Paper (published)

Turner KJ & Bing Q (2002) Systematic Testing of Radiotherapy Accelerators. In: Ehrig H(, Kr?mer BJ & Ertas A (eds.) Proceedings of The Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT 2002). 6th Biennial World Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, California, 23.06.2002-28.06.2002. Society for Design and Process Science, pp. 33.1-33.8. http://www.sdpsnet.org


Conference Abstract

Smith L (2002) Phase-locked onset detectors for monaural sound grouping and binaural direction finding. The 143rd Meeting of the Acoustical Society of America, Pittsburgh, PA, USA, 03/06/2002 - 07/06/2002. Journal of the Acoustical Society of America, 111 (5), p. 2467. http://scitation.aip.org/content/asa/journal/jasa/111/5/10.1121/1.4778527; https://doi.org/10.1121/1.4778527


Book Chapter

Grenfell BT, Amos W, Arneberg P, Bjornstad ON, Greenman J, Harwood J, Lanfranchi P, McLean AR, Norman R, Read AF & Skorping A (2002) Visions for future research in wildlife epidemiology. In: Hudson P, Rizzoli A, Grenfell B, Heesterbeek H & Dobson A (eds.) The Ecology of Wildlife Diseases. Oxford: Oxford University Press, pp. 151-164. http://global.oup.com/academic/product/the-ecology-of-wildlife-diseases-9780198506195?cc=gb?=en&tab=toc


Conference Paper (published)

Maharaj S (2001) A PVS Theory of Symbolic Transition Systems. In: Boulton R & Jackson P (eds.) Theorem Proving in Higher Order Logics, 2001, Supplemental Proceedings. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, 03.09.2001-06.09.2001. Edinburgh, Scotland: Division of Informatics, University of Edinburgh, pp. 255-266. http://www.inf.ed.ac.uk/publications/online/0046/


Edited Proceedings

Shankland C, Romijn J & Maharaj S (eds.) (2001) IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, Stirling, Scotland, 13.03.2001-13.03.2001. Stirling, Scotland: 我要吃瓜,Dept of Computing Science & Maths.


Article

Cvetkovic D, Rowlinson P & Simic SK (2001) The maximal exceptional graphs with maximal degree less than 28. Bulletin, Classe des Sciences Mathematiques et Naturelles, Sciences Mathematiques, CXXII (26), pp. 115-131. http://www.emis.ams.org/journals/BSANU/26/7.html


Conference Paper (published)

Smith L (2001) Using depressing synapses for phase locked auditory onset detection. In: Dorffner G, Bischof H & Hornik K (eds.) Artificial Neural Networks — ICANN 2001: International Conference Vienna, Austria, August 21–25, 2001 Proceedings. Lecture Notes in Computer Science, 2130. International Conference on Artificial Neural Networks — ICANN 2001, Vienna, Austria, 21.08.2001-25.08.2001. Berlin Heidelberg: Springer, pp. 1103-1108. http://link.springer.com/chapter/10.1007/3-540-44668-0_153#; https://doi.org/10.1007/3-540-44668-0_153


Conference Paper (published)

Ahmad WM, Hussain A & Shah SI (2001) Location Estimation in Cellular Networks using Neural Networks. In: Proceedings ISI'2001: International NAISO Congress Information Science Innovations. International NAISO Congress: Information Science Innovations (ISI'2001), Dubai, UAE, 17.03.2001-21.03.2001. NAISO, p. 1055. http://www.icsc-naiso.org/conferences/isi2001/


Conference Paper (published)

Hussain A & Soraghan JJ (2001) A new Recurrent Neural Network for Temporal Signal Processing. In: Proceedings ISI'2001: International NAISO Congress Information Science Innovations. International NAISO Congress: Information Science Innovations (ISI'2001), Dubai, UAE, 17.03.2001-21.03.2001. NAISO, p. 1050. http://www.icsc-naiso.org/conferences/isi2001/


Conference Paper (published)

Magill E (2001) Feature Interaction - a hybrid approach. In: Gray T (ed.) Proceedings MICON 2001 conference. MICON 2001 conference, August 2001, Ottawa, Canada.


Conference Paper (published)

Kolberg M & Magill E (2001) Handling incompatibilities between services deployed on IP-based networks. In: 2001 IEEE Intelligent Network Workshop. 2001 IEEE Intelligent Network Workshop, Boston, MA, USA, 06.05.2001-09.05.2001. Piscataway, NJ: IEEE, pp. 360-370. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=915332&abstractAccess=no&userType=inst; https://doi.org/10.1109/INW.2001.915332


Conference Paper (published)

Burke E, Bykov Y & Petrovic S (2001) A multicriteria approach to examination timetabling. In: Burke E & Erben W (eds.) Practice and Theory of Automated Timetabling III: Third International Conference, PATAT 2000 Konstanz, Germany, August 16–18, 2000 Selected Papers. Lecture Notes in Computer Science, 2079. Third International Conference, PATAT 2000, Konstanz, Germany, 16.08.2000-18.08.2000. Berlin Heidelberg: Springer, pp. 118-131. http://link.springer.com/chapter/10.1007%2F3-540-44629-X_8; https://doi.org/10.1007/3-540-44629-X_8


Conference Paper (published)

Burke E, De Causmaecker P, Petrovic S & Vanden Berghe G (2001) Fitness evaluation for nurse scheduling problems. In: Proceedings of the 2001 IEEE Conference on Evolutionary Computation, ICEC. Vol. 2. Piscataway, NJ, USA: IEEE, pp. 1139-1146. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=934319&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2001.934319


Conference Paper (published)

Burke E, Cowling P & Landa Silva JD (2001) Hybrid population-based metaheuristic approaches for the space allocation problem. In: Proceedings of the IEEE Conference on Evolutionary Computation, ICEC. Vol. 1. Congress on Evolutionary Computation 2001, Seoul, Korea, 27.05.2001-30.05.2001. Red Hook, NJ, USA: IEEE, pp. 232-239. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=934394&abstractAccess=no&userType=inst; https://doi.org/10.1109/CEC.2001.934394


Conference Paper (published)

Zayed AS, Hussain A & Smith L (2001) A modified generalised minimum-variance stochastic self-tuning controller with pole-zero placement. In: IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Proceedings. IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Lahore, Pakistan, 28.12.2001-30.12.2001. Piscataway, NJ, USA: IEEE, pp. 252-256. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=995346&abstractAccess=no&userType=inst; https://doi.org/10.1109/INMIC.2001.995346


Conference Paper (published)

Hussain A, Zayed AS & Smith L (2001) A new neural network and pole placement based adaptive composite controller. In: IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Proceedings. IEEE International: Multi Topic Conference, 2001. IEEE INMIC 2001: Technology for the 21st Century, Lahore, Pakistan, 28.12.2001-30.12.2001. Piscataway, NJ, USA: IEEE, pp. 267-271. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=995349&abstractAccess=no&userType=; https://doi.org/10.1109/INMIC.2001.995349


Conference Paper (published)

He J & Turner KJ (2001) Specifying Hardware Timing with ET-LOTOS (extended version). In: Margaria T & Melham TF (eds.) Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science, Volume 2144. CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston, Scotland, 04.09.2001-07.09.2001. Berlin: Springer Verlag, pp. 161-166. https://doi.org/10.1007/3-540-44798-9_14


Conference Paper (published)

Turner KJ & He J (2001) Formally-Based Design Evaluation (extended version). In: Margaria T & Melham TF (eds.) Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science, volume 2144. CHARME 2001 - 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston, Scotland, 04.09.2001-07.09.2001. Berlin: Springer Verlag, pp. 104-109. https://doi.org/10.1007/3-540-44798-9


Conference Paper (published)

Bracciali A, Brogi A, Ferrari G & Tuosto E (2001) Security issues in component-based design. In: volume 54. ConCoord: International Workshop on Concurrency and Coordination(Workshop associated to the 13th Lipari School), Lipari Island, Italy, 06.07.2001-08.07.2001. Elsevier, pp. 49-57. https://doi.org/10.1016/S1571-0661%2804%2900234-8


Article

Farkas JZ (2001) The classification of S?xR space groups. Beitrage zur Algebra und Geometrie / Contributions to Algebra and Geometry, 42 (1), pp. 235-250. http://www.emis.de/journals/BAG/vol.42/no.1/15.html


Conference Paper (published)

Bracciali A, Brogi A & Turini F (2001) Coordinating Interaction Patterns. In: SAC '01 Proceedings of the 2001 ACM symposium on Applied computing. SAC 2001: 16th ACM Symposium on Applied Computing, Las Vegas, USA, 11.03.2001-14.03.2001. New York: ACM, pp. 159-165. http://dl.acm.org/citation.cfm?id=372305


Conference Paper (published)

Bracciali A, Brogi A & Turini F (2001) Interaction Patterns for Open Systems. In: Roja F, Monge J & Sanchez Y (eds.) IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software. IDEAS 2001 Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 2001, San Jose, Costa Rica, pp. 398-407.


Conference Paper (published)

Bryans J & Shankland C (2001) Implementing a modal logic over data and processes using XTL. In: Kim M, Chin B, Kang D & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, 69.
Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 201-216. http://link.springer.com/chapter/10.1007/0-306-47003-9_13