The University of Southampton
Warning! Your browser is out-of-date and not compatible with this website. Please download a new secure and faster browser to view this website correctly.
Telephone:
+442380592703
Telephone:
dan@ecs.soton.ac.uk

Denis A Nicole MA PhD MIEE CEng

Academic Staff

Personal homepage

Professional

Duties

Course leader for Digital Systems Engineering

Publications

Takeda, K., Allsopp, N. K., Hardwick, J.C., Macey, P.C., Nicole, D.A., Cox, S.J. and Lancaster, D.J. (2001) An assessment of MPI environments for Windows NT. The Journal of Supercomputing, 19, (3), 315-323. (doi:10.1023/A:1011138816820).

Fairman, M.J., Price, A.R., Xue, G., Molinari, M., Nicole, D.A., Lenton, T.M., Marsh, R., Takeda, K. and Cox, S.J. (2007) Building scientific workflows for Earth system modelling with Windows Workflow Foundation. In, Shi, Yong, van Abada, Geert Dick, Dongarra, Jack and Sloot, Peter M.A. (eds.) Proceedings of the 7th International Computational Science Conference. International Conference on Computational Science: Advancing Science and Society Through Computation (ICCS 2007) Berlin, Germany, Springer, 273-280. (Lecture Notes in Computer Science 4489). (doi:10.1007/978-3-540-72588-6_46).

Paventhan, A., Takeda, K., Cox, S.J. and Nicole, D.A. (2006) Workflows for wind tunnel grid applications. In, Computational Science: ICCS 2006. Proceedings of the 6th International Conference, Part III Berlin, Germany, Springer, 928-935. (Lecture Notes in Computer Science, 3993/2006). (doi:10.1007/11758532).

Paventhan, A., Takeda, K., Cox, S.J. and Nicole, D.A. (1970) Leveraging windows workflow foundation for scientific workflows in wind tunnel applications. In, Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06). 22nd International Conference on Data Engineering Workshops, 2006: Proceedings (ICDEW'06) , Institute of Electrical and Electronics Engineers: Computer Society, 65-75. (Proceedings). (doi:10.1109/ICDEW.2006.71).

Paventhan, A., Takeda, K., Cox, S.J. and Nicole, D.A. (2007) Federated database services for wind tunnel experiment workflows. Scientific Programming, 14, (3-4), 173-184.

Fairman, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Marc, Nicole, Denis A., Lenton, Timothy M., Marsh, Robert, Takeda, Kenji and Cox, Simon J. (2009) Earth system modelling with Windows Workflow Foundation. Future Generation Computer Systems, 25, (5), 586-597. (doi:10.1016/j.future.2008.06.011).

Paventhan, A., Takeda, Kenji, Cox, Simon J. and Nicole, Denis A. (2006) MyCoG.NET: a multi-language CoG toolkit. Concurrency and Computation: Practice & Experience, 19, (14), 1885-1900. (doi:10.1002/cpe.1133).

Takeda, Kenji, Allsopp, Nicholas K., Hardwick, Johnathan C., Macey, P.C., Nicole, Denis A., Cox, Simon J. and Lancaster, David J. (1999) An assessment of MPI environments for Windows NT. In, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99). International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99) USA, CSREA Press, 1898-1904.

Papiani, Mark, Wason, Jasmin L, Dunlop, Alistair N and Nicole, Denis A (1999) A Distributed Scientific Data Archive Using the Web, XML and SQL/MED. SIGMOD RECORD, 28, (3), 56-62.

Manjunathaiah, M. and Nicole, Denis A (1997) Precise analysis of array usage in scientific programs. Scientific Programming, 6, 229-42.

Cox, S.J., Daniell, G.J. and Nicole, D.A. (1998) Using Maximum Entropy to Double One's Expected Winnings in the UK National Lottery 1998. J.R.Statist.Soc., 47, 629-41.

Nicole, Denis A and Sivaram, Rajini (1996) SCOTT: The Southampton COFF Tools for Transputers. WOTUG-19, Proceedings of the 19th World occam and transputer user group technical meeting IOS Press, 191.

Cox, S.J., Nicole, D.A. and Takeda, K. (1998) Commodity High Performance Computing at Commodity Prices. In, WOTUG-21, Proceedings of the 21st World occam and transputer user group technical meeting IOS Press, 19-26.

Takeda, K., Wolton, I.C. and Nicole, D.A. (1998) Software Probability and Maintenance. In, HIGH-PERFORMANCE COMPUTING Kluwer Academic/Plenum Publishers, 119-125.

Nicole, D.A., Wolton, I.C. and Takeda, K. (1998) HPC on DEC Alphas and Windows NT. In, HIGH-PERFORMANCE COMPUTING Kluwer Academic/Plenum Publishers, 551-557.

Nicole, D.A., Wolton, I.C. and Takeda, K. (1998) Southampton High Performance Computing Centre. In, HIGH-PERFORMANCE COMPUTING Kluwer Academic/Plenum Publishers, 33-41.

Cox, S.J., Daniell, G.J. and Nicole, D.A. (1998) Maximum Entropy, Parallel Computations and Lotteries. In, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1998 (PDPTA 1998) , 1252-8.

Caton, M.J, Cox, S.J., Blott, BH, Daniell, G.J. and Nicole, D.A. (1999) Prospects for high fidelity imaging in nonlinear EIT using high performance computing. UNSPECIFIED UCL, 1-6.

Papiani, Mark, Wason, Jasmin L. and Nicole, Denis A., Zaniolo, Carlo, Lockemann, Peter C., Scholl, Marc H. and Grust, TorstenTorsten Grust (eds.) (2000) An Architecture for Management of Large, Distributed, Scientific Data Using SQL/MED and XML. Lecture Notes in Computer Science Advances in Database Technology - EDBT 2000: 7th International Conference on Extending Database Technology, Konstanz, Germany, March 2000. Proceedings , 1777, 447-461.

Hey, A J G, Jesshope, C R and Nicole, D A (1986) High Performance Simulation of Lattice Physics on Transputer Arrays, North Holland

Pritchard, D J, Askew, C R, Carpenter, D B, Glendinning, I, Hey, A J G and Nicole, D A (1987) Practical Parallelism Using Transputer Arrays at Parallel Architectures and Languages. In, UNSPECIFIED, Springer-Verlag.

Nicole, D A, Fountain, T J and Shute, M J (eds.) (1990) Reconfigurable Transputer Processor Architectures in Microprocessor Computer Architectures, Elsevier, Amsterdam

Nicole, D A, Jane, M R, Fawcett, R J and Mawby, T P (eds.) (1992) Standard Software on Scalable Computers in Transputer Applications Progress and Prospects, IOS Press

Nicole, D A, Barnaby, C and May, M D (1993) General Purpose Parallel Computers in Networks, Routers and Transputers. UNSPECIFIED IOS Press.

Nicole, D A, Cosnard, M and Puigjaner, R (eds.) (1993) High Peformance Architecture Issues in IFIP Transactions A-39, Decentralized and Distributed Systems, Elsevier Science

Nicole, D A, Kessler, C W (ed.) (1994) Targetting Transputer Systems, Past and Future in Automatic Parallelisation, Vieweg Verlag, Weisbaden, Germany

Barnes, K J, Ketley, I J, Nicole, D A and O'Donnell, P J (1977) Nonlinear Chiral Models and Many-Dimensional Solutions.

Nicole, D A (1977) Soliton Solutions to Chiral SU(3)xSU(3) Models.

Nicole, D A (1978) Tranverse Pure Guage Fields and Nonlinear Chiral Solitons, UNSPECIFIED

Nicole, D A (1978) Solitons with Non-Varnishing Hopf Index, UNSPECIFIED

Gunther, N J, Nicole, D A and Wallace, D J (1980) Goldstone modes in vacuum decay and first-order phase transitions. Journal of Physics A: Mathematical and Theoretical, 13, 1755-1767.

Jasnow, D, Nicole, D A and Ohta, T (1981) Unstable Modes of a Quenched Fluid Interface.

Carlitz, R D and Nicole, D A (1982) A Physical Model of the Instanton Gas.

Carlitz, R D and Nicole, D A (1984) The Structure of the Mult-Instanton Gas.

Auerbach, A, Kivelson, S and Nicole, D A (1984) Path Decomposition for Multidimensional Tunnelling. Physical Review Letters, 53, (5), 411-414.

Carlitz, R D and Nicole, D A (1985) Classical Paths and Quantum Mechanics.

Askew, C R, Carpenter, D B, Chalker, J T, Hey, A J G, Nicole, D A and Pritchard, D J (1986) Simulation of Statistical Mechanical Systems on Transputer Arrays.

Nicole, D A and Walters, P J (1988) Classical Paths for the Periodic PotentiaL.

Askew, C R, Carpenter, D B, Chalker, J T, Hey, A J G, Moore, M, Nicole, D A and Pritchard, D J (1988) Monte Carlo Simulation on Transputer Arrays.

Nicole, D A, Ward, J S and Lloyd, E K (1990) Transputer Link Reconfiguration: Switching Networks for 4-Valent Graphs.

Pritchard, D J and Nicole, D A (1993) Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network.

Debbage, M, Hill, M B, Nicole, D A and Sturgess, A (1993) The Virtual Channel Router.

Wykes, S M, Jnr, O Trindade and Nicole, D A (1993) A DS-Link Interface for T9000 System Development.

Debbage, M, Hill, M B and Nicole, D A (1995) An Intterface to a Reliable Packet Delivery Service for Parallel Systems.

Manjunathaiah, M and Nicole, D A (1970) Precise Analysis of Array Usage in Scientific Programs.

Nicole, D A (1988) Esprit Project 1085 Reconfigurable Transputer Processor Architecture.

Nicole, D A, Lloyd, E K and Ward, J S (1988) Switching Networks for Transputer Links.

Lloyd, E K and Nicole, D A (1988) Eurerian Cycles and Switching Networks For Transputer Links.

Nicole, D A (1989) Reconfigurable Transputer Processor Architectures. , 365.

Debbage, M, Hill, M and Nicole, D A (1990) Towards a Distributed Implementation of Occam. , 158.

Nicole, D A (1991) Commonality in Architectures. , 70.

Debbage, M, Hill, M and Nicole, D A (1991) A General Purpose Parallel Programming Environment. , 123.

Barrett, G, Barton, E, Carden, T, Duval, D and Nicole, D (1992) General Purpose Parallel Computers: A Standard Architecture with a Standard Programming Interface. , 129.

Debbage, M, Hill, M, Nicole, D A and Wykes, S M (1994) Southampton's Portable Occam Compiler (SPOC). , 40.

Manjunathaiah, M and Nicole, D A (1994) Advanced Parallel Usage Analysis in the Proceedings of the First International Workshop on Parallel Processing, Bangalore.

Nicole, D A (1984) Transputers and Occam at a SERC Meeting on future Computational Requirements, Abingdon.

Nicole, D A (1986) Languages and Software Engineering at an Institute of Physics Meeting on Computing in High Energy Physics, Southampton.

Nicole, D A (1986) Languages and Software Engineering at an Institute of Physics Meeting on Computing in High Energy Physics, Southampton.

Nicole, D A (1988) Occam and Transputer Tutorial at a Conference on Economical Parallel Processing, Berne, Switzerland, May 1988.

Nicole, D A (1988) P1085 Hardware at a Wokshop on Future Parallel Computers, Eindhoven, Netherlands, June 1988.

Nicole, D A (1988) Transputers and Security at the 5th National Computer Security Conference, London, October 1988.

Nicole, D A (1988) The Esprit Reconfigurable Transputer Processor: A Range of General Purpose Machines built on a Communicating Process Architecture, at IEE International Specialist Seminar on the Design and Application of Parallel Digital Processors, Lisbon, Portugal, April 1988.

Nicole, D A (1989) Recent and Future MIMD Architectures, at the Inaugural Meeting of the Occam User Group of Latin America, Florianopolis, Brazil, September 1989.

Nicole, D A (1991) Evolution of Architectures and Programming Models, a the Parallel Processing Seminars, Stockholm, January 1991.

Nicole, D A (1991) Invited Lectures on Transputer-Based Architectures, at the Community of Mediterranean Universities Distance Learning Computer Science School Third Summer Session in Computer Architecture, Technopolis (Bari), Italy, July 1991.

Nicole, D A (1991) A General Purpose MIMD Computer, at the Computer Architecture Conference, Brindisi, Italy, October 1991.

Nicole, D A (1991) The Future of Transputing, at the Nordic Transputer Seminar, Trondheim, Norway, November 1991.

Nicole, D A (1993) Invited Lectures on Parallel Computing Architectures: The Evolving Consensus, at the Community of Mediterranean Universities Distance Learning Computer Science School, University of Leece, Italy, June 1993.

Nicole, D A (1993) High Performance Architectures, Invited Lecture at the BCS Parallel Processing Specialist Group Workshop on General Purpose Parallel Computing, London, December 1993.

Nicole, D A (1994) Limitations of Electronics, Invited Lecture at the SERC International Workshop on Photonic Information Processing, Grassmer, February 1994.

Nicole, D A (1972) Improved Digital Display, Radio and Electronics Constructor. , 104.

Nicole, Denis (1979) Solitons and instantons in elementary particle physics. University of Southampton, Electronics and Computer Science, Doctoral Thesis .

Nicole, D A and Moore, M P (1989) Operating Transputers at Low Temperatures, Occam User Group Newsletter. , 47.

Nicole, D A and Duval, D (1992) GPMIMD: A Standard Industrial Architecture for Scalavle Parallel Computing, presented at Supercomputing Europe 1992, Paris, France, February 1992.

Nicole, D A and Pritchard, D J (1992) Load Balance Deadlock Free Routing of Arbitrary Networks, Submitted to IEEE Transactions on Parallel and Distributed Systems.

Nicole, D A and Bisiani, R (1992) State of the Art Report for High Performance Computing in the Report of the High Performance Computing and Networking Advisory Committee, Commission of the European Communities (1992).

Askew, C R, Carpenter, D B, Chalker, J T, Hey, A J G, Nicole, D A and Pritchard, D J (1986) Simulation of Statistical Mechanical Systems on Transputer Arrays. UNSPECIFIED

Dunlop, A N, Hey, A J G, Nicole, D A and Pritchard, D J (1995) Performance Estimation for Parallel Performance Optimisation. Supercomputing, 11, 19-31.

Hey, A J G, Jesshope, C R and Nicole, D A (1985) High Performance Simulation of Lattice Physics using Enhanced Transputer Arrays. International Conference on Computing in High Energy Physics, Amsterdam Elsevier.

Dunlop, A, Hernandez, E, Naim, O, Hey, A J G and Nicole, D (1995) A Toolkit for Optimizing Parallel Performance. Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science Springer-Verlag, 548.

Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Caton, M J, Nicole, D A, Cox, S J and Lancaster, D J (1999) Parallel Computing on Windows NT Clusters. At 3rd USENIX Windows NT Symposium, Seattle, Washington, 12 - 15 Jul 1999. Advanced Computing Systems Association.

Takeda, K., Allsopp, N. K., Hardwick, J. C., Macey, P. C., Nicole, D. A., Cox, S. J. and Lancaster, D. J. (2001) An Assessment of MPI Environments for Windows NT. The Journal of Supercomputing, 19, (3), 315-323.

Takeda, K, Allsopp, N K, Hardwick, J C, Macey, P C, Nicole, D A, Cox, S J and Lancaster, D J (1999) An Assessment of MPI Environments for Windows NT. In, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, Nevada, USA, 28 Jun - 01 Jul 1999. , 1898-1904.

Snelling, David, van den Berghe, Sven, von Laszewski, Gregor, Wieder, Philipp, Breuer, Dirk, MacLaren, Jon, Nicole, Denis and Hoppe, Hans-Christian, LaForenza, Domenico (eds.) (2002) A Unicore Globus Interoperability Layer. Computing and Informatics, 21, (4), 399-411.

Nicole, Denis, Ellis, Sam and Hancock, Simon (2003) occam for reliable embedded systems: lightweight runtimes and model checking. In, 26th WoTUG Technical Meeting, University of Twente, The , Netherlands, 07 - 10 Sep 2003. IOS Press, 167-172.

Watkins, E Rowland and Nicole, Denis A, Arabnia, Hamid R and Reza, Hassan (eds.) (2005) Version Control in Online Software Repositories. Proceedings of the 2005 International Conference on Software Engineering Research and Practice, II, 550-556.

Watkins, E Rowland and Nicole, Denis A (2005) Version Control in Online Software Repositories. ACM TechNews, 7, (872)

Nicole, Denis A. (2005) UNICORE and GRIP: experiences of grid middleware development. In, 2005 International Conference on Grid Computing and Applications, Las Vegas, US, 20 - 23 Jun 2005. CSREA Press, 1-17.

Watkins, E. Rowland and Nicole, Denis A., Zhou, Xiaofang, Li, Jianzhong, Shen, Heng Tao, Kitsuregawa, Masaru and Zhang, Yanchun (eds.) (2006) Named Graphs as a Mechanism for Reasoning about Provenance. Lecture Notes in Computer Science Frontiers of WWW Research and Development - APWeb 2006: 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006. Proceedings, 3841, 943-948.

Paventhan, A, Takeda, Kenji, Cox, Simon J and Nicole, Denis A (2006) Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. In, Barga, Roger S. and Zhou, Xiaofang (eds.) Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06). IEEE Workshop on Workflow and Data Flow for Scientific Applications, (SciFlow 2006) , IEEE Computer Society, 65-74.

Paventhan, Arumugam, Takeda, Kenji, Cox, Simon J. and Nicole, Denis A., Alexandrov, Vassil N., van Albada, G. Dick, Sloot, Peter M. A. and Dongarra, Jack J (eds.) (2006) Workflows for Wind Tunnel Grid Applications. Lecture Notes in Computer Science Computational Science – ICCS 2006, 3993, 928-935.

Paventhan, A., Takeda, Kenji, Cox, Simon J. and Nicole, Denis A., Fox, Geoffrey C., Hey, Anthony J. G. and Moreau, Luc (eds.) (2007) MyCoG.NET: A Multi-language CoG Toolkit. Concurrency and Computation: Practice and Experience, 19, (14), 1885-1900.

Nicole, Denis (2007) Stay unpopular-and get rich quick. Money Guardian, 4-4.

Nicole, Denis and Panahi, Taban (2007) Successful Indian model in producing modern computers. Digital, Tehran, 30-30.

Fairman, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Mark, Nicole, Denis A., Lenton, Timothy M., Marsh, Robert, Takeda, Kenji and Cox, Simon J., Shi, Y, Albada, G D, Dongarra, J and Sloot, P M A (eds.) (2007) Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation. Lecture Notes in Computer Science Computational Science – ICCS 2007, 4489, 273-280.

Nicole, Denis A, Mills, Hugo (eds.) (2007) New Schools in the East and west of Southampton. VIEWPOINT : a paper for independent comment, (456), 1-7.

Derouiche, Kheiredine and Nicole, Denis A, Meersman, Robert, Tari, Zahir and Herrero, Pilar (eds.) (2007) Semantically Resolving Type Mismatches in Scientific Workflows. Lecture Notes in Computer Science On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops , 4805, 125-135.

Brezany, Peter, Winslett, Marianne, Nicole , Denis A. and Cortes, Toni, Sakellariou, Rizos, Keane, John, Gurd, John and Freeman, Len (eds.) (2001) Topic 18 Parallel I/O and Storage Technology. Lecture Notes in Computer Science Euro-Par 2001: Parallel Processing: 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings, 2150, 887-887.

Nicole, Denis A (2008) Robots that don't suck. At Higher Education Academy workshop on Robots in the Curriculum (Invited Presentation), Southampton,

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011. , 302-317.

Cordeiro, Lucas, Morse, Jeremy, Nicole, Denis and Fischer, Bernd (2012) Context-bounded model checking with ESBMC 1.17. In, Flanagan, Cormac and König, Barbara (eds.) Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems. 18th International Conference, TACAS 2012 Berlin, DE, Springer, 534-537. (Lecture Notes in Computer Science: Theoretical Computer Science and General Issues, 7214). (doi:10.1007/978-3-642-28756-5_42).

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-bounded model checking of LTL properties for ANSI-C software. In, Software Engineering and Formal Methods. 9th International Conference, SEFM 2011 Berlin, DE, Springer, 302-317. (Lecture Notes in Computer Science: Programming and Software Engineering, 7041). (doi:10.1007/978-3-642-24690-6_21).

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2012) Model checking LTL properties over ANSI-C programs with bounded traces. 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, UY, 14 - 18 Nov 2011. 30pp. (doi:10.1007/s10270-013-0366-0).

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2013) Handling unbounded loops with ESBMC 1.20. In, Piterman, Nir and Smolka, Scott A. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Berlin, DE, Heidelberg, DE, Springer, 619-622. (Lecture Notes in Computer Science, 7795). (doi:10.1007/978-3-642-36742-7_47).

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2013) Model checking LTL properties over C programs with bounded traces. Software and Systems Modeling, n/a, n/a. (doi:10.1007/s10270-013-0366-0).

Contact

Telephone: +442380592703

Email: dan@ecs.soton.ac.uk

Fax: 02380593045

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×