The University of Southampton
Telephone:
+442380592703
Email:
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), pp. 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 Shi, Yong, van Abada, Geert Dick, Dongarra, Jack and Sloot, Peter M.A. (eds.) In Proceedings of the 7th International Computational Science Conference. Springer., pp. 273-280. (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. vol. 3993/2006, Springer. 7 pp, pp. 928-935. (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). Institute of Electrical and Electronics Engineers: Computer Society. 10 pp, pp. 65-75. (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), pp. 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. (2008) Earth system modelling with Windows Workflow Foundation Future Generation Computer Systems, 25, (5), pp. 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), pp. 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). CSREA Press., pp. 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), pp. 56-62.

Manjunathaiah, M. and Nicole, Denis A (1997) Precise analysis of array usage in scientific programs Scientific Programming, 6, pp. 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, pp. 629-41.

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

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

Takeda, K., Wolton, I.C. and Nicole, D.A. (1998) Software Probability and Maintenance At HIGH-PERFORMANCE COMPUTING. , pp. 119-125.

Nicole, D.A. and Wolton, I.C. (1998) HPC on DEC Alphas and Windows NT At HIGH-PERFORMANCE COMPUTING. , pp. 551-557.

Nicole, D.A., Wolton, I.C. and Takeda, K. (1998) Southampton High Performance Computing Centre At HIGH-PERFORMANCE COMPUTING. , pp. 33-41.

Cox, S.J., Daniell, G.J. and Nicole, D.A. (1998) Maximum Entropy, Parallel Computations and Lotteries At Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1998 (PDPTA 1998). , pp. 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 Holder, D. (ed.) , pp. 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, 1777, pp. 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 At conference; 1987-06-01.

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 Jane, M R, Fawcett, R J and Mawby, T P (eds.)

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 Physical Review D

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

Nicole, D A (1978) Tranverse Pure Guage Fields and Nonlinear Chiral Solitons, s.n.

Nicole, D A (1978) Solitons with Non-Varnishing Hopf Index, s.n.

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, pp. 1755-1767.

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

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

Carlitz, R D and Nicole, D A (1984) The structure of the multi-instanton gas Nuclear Physics B, 243, (2) (doi:10.1016/0550-3213(84)90031-2).

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

Carlitz, R D and Nicole, D A (1985) Classical Paths and Quantum Mechanics Annals of Physics

Nicole, D A and Walters, P J (1988) Classical Paths for the Periodic Potential Journal of Physics A: Mathematical and General, 21, (10) (doi:10.1088/0305-4470/21/10/014).

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

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

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

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

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

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

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

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

Nicole, D A (1991) Commonality in Architectures

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

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

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

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

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

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

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

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

Dunlop, A, Hernandez, E, Naim, O, Hey, A J G and Nicole, D (1995) A Toolkit for Optimizing Parallel Performance At Proceedings of HPCN Europe '95: published in Lecture Notes in Computer Science. , p. 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. 12 - 15 Jul 1999.

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), pp. 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 At International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), United States. 28 Jun - 01 Jul 1999. , pp. 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(ed.) (2002) A Unicore Globus Interoperability Layer Computing and Informatics, 21, (4), pp. 399-411.

Nicole, Denis, Ellis, Sam and Hancock, Simon, (2003) occam for reliable embedded systems: lightweight runtimes and model checking Broenink, Jan F. and Hilderink, Gerald H. (eds.) At 26th WoTUG Technical Meeting, Netherlands. 07 - 10 Sep 2003. , pp. 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, pp. 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 Arabnia, Hamid R. and Ni, Jun (eds.) At 2005 International Conference on Grid Computing and Applications, United States. 20 - 23 Jun 2005. , pp. 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, 3841, pp. 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 Barga, Roger S. and Zhou, Xiaofang (eds.) In Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06). IEEE Computer Society., pp. 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, 3993, pp. 928-935. (doi:10.1007/11758532_124).

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), pp. 1885-1900.

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

Nicole, Denis and Panahi, Taban (2007) Successful Indian model in producing modern computers Digital, Tehran, p. 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, 4489, pp. 273-280.

Nicole, Denis A, Mills, Hugo(ed.) (2007) New Schools in the East and west of Southampton VIEWPOINT : a paper for independent comment, (456), pp. 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, 4805, pp. 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, 2150, p. 887.

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

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software At 9th International Conference on Software Engineering and Formal Methods, Uruguay. , pp. 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 pp. 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. vol. 7041, Springer., pp. 302-317. (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 At 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Uruguay. 14 - 18 Nov 2011. 30 pp. (doi:10.1007/s10270-013-0366-0).

Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd, (2013) Handling unbounded loops with ESBMC 1.20 Piterman, Nir and Smolka, Scott A. (eds.) In 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. vol. 7795, Springer., pp. 619-622. (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).

Morse, Jeremy, Ramalho Gadelha, Mikhail, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2014) ESBMC 1.22 In, Tools and Algorithms for the Construction and Analysis of Systems. 20th International Conference, TACAS 2014 Springer pp. 405-407. (Lecture Notes in Computer Science, 8413).

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.

×