DCSL Publications      


Recent Publications      



  • Dojen, R., "A Communication Protocol Conformance Verification System", Annals of the University of Oradea, Fascicle of Electrotechnics, Section of Computer Science and Control Systems, Vol. 2007, 2007, pp.26-31 (ISSN 1223-2106)

  • Dojen, R., Coffey, T., Gyorodi, R. and Tian, L., "Using the Common Authentication Protocol Speccification Language for logic-based security protocol verification", Annals of the University of Oradea, Fascicle of Electrotechnics, Section of Computer Science and Control Systems, Vol. 2007, 2007, pp.32-37 (ISSN 1223-2106)

  • Dojen, R., Coffey, T. and Tian, L., "A security protocol specification language extension for modal logic-based verification", Proceedings of IET China-Ireland International Conference on Information and Communications Technologies CIICT07, IET Press, August 2007, pp. 295-302, ISBN: 978-0-86341-827-3



  • Picovici, D., Levy, D., Mahdi, A.E., Coffey, T., "The cascade induction machine: a reliable and controllable motor or generator", Electric Power Systems Research (Elsevier Science), 68, 2004, pp.193-207, ISSN: 0378-7796.

  • Morrison, J. and Coffey, T., "An Experimental Analysis of Geometric Attacks on DCT-Based Watermarks", WSEAS Transactions on Information Science and Applications, Volume 1, Issue 6, December 2004, pp 1656-1661. ISSN 1790-0832

  • Mastorakis, N. (Editor), Antonidakis, M., Coffey, T. et. al (Guest Editors), WSEAS Transactions on Information Science and Applications, Issue 5, Vol.1, Nov. 2004. ISSN 1790-0832

  • Dojen, R. and Coffey, T., "A Novel Approach to the Automation of Logic-Based Security Protocol Verification", WSEAS Transactions on Information Science and Applications, Volume 1, Issue 5, November 2004, pp. 1243-1247. ISSN 1790-0832

  • Healy, K., Coffey, T. and Dojen, R., "A Comparative Analysis of State-Space Tools for Security Protocol Verification", WSEAS Transactions on Information Science and Applications, Volume 1, Issue 5, November 2004, pp. 1256-1261. ISSN 1790-0832

  • Ventuneac, M., Coffey, T., Newe, T., "Reasoning on Properties of Non-Repudiation Security Protocols", WSEAS Transactions on Information Science and Applications, Issue 5, Volume 1, November 2004, pp 1262-1267. ISSN 1790-0832.

  • Dojen, R. and Coffey, T., "Conditional Linear Cryptanalysis - Applying Linear Cryptanalysis to Ciphers with Key-Dependant Operations". WSEAS Transactions on Computers, Volume 3, Issue 5, November 2004, pp.1425-1430. ISSN 1109-2750

  • Gyorodi, R., Gyorodi, C., Bogan-Marta, A. and Pater, M., "The Distributed Algorithms in Mining Association Rules", Academic Journal (Revista Academiei): Fuzzy Systems and A. I. Reports and Letters, Romania, vol. 10, No. 1-2, pp. 55-65, 2004.

  • Coffey, T., Ventuneac, M., Newe, T. and Salomie, I., "On investigating the security and fairness of a fair exchange protocol using logic-based verification", Proceedings of IEEE International Conference on Intelligent Engineering Systems (INES2004), Cluj-Napoca, Romania, pp 325-330, U.T.Pres 2004, ISBN: 973-662-120-0.

  • Marian, T., Dumitriu, B., Dinsoreanu, M. and Salomie, I., "A framework of reusable structures for mobile agent development", Proceedings of IEEE International Conference on Intelligent Engineering Systems (INES2004), Cluj-Napoca, Romania, Sept. 19-21, pp. 279-284.

  • Dojen, R. and Coffey, T., "A Novel Approach to the Automation of Logic-Based Security Protocol Verification", Proceedings of E-Activities'04 (Invited Session on Network and Data Security), Rethymno, Crete Island, Greece, 24-26 October 2004, Paper No. 476-178 (CD Proceedings only)

  • Morrison, J. and Coffey, T., "An Experimental Analysis of Geometric Attacks on DCT Based Watermarks", Proceedings of WSEAS International Conference on E-ACTIVITIES, Crete, Oct. 2004. ISBN: 960-8457-04-1.

  • Ventuneac, M., Coffey, T. and Newe, T., "Reasoning on Properties of Non-Repudiation Security Protocols", Proceedings of WSEAS International Conference on E-ACTIVITIES, Crete, Oct. 2004. ISBN: 960-8457-04-1.

  • Healy, K., Coffey, T. and Dojen, R., "A Comparative Analysis of State-Space Tools for Security Protocol Verification", Proceedings of E-Activities'04 (Invited Session on Network and Data Security), Rethymno, Crete Island, Greece, 24-26 October 2004, Paper No. 476-185 (CD Proceedings only)

  • Bogan-Marta, A., Gyorodi, R. and Gyorodi, C., "Implications of syntactic and semantic categories of grammars on a speech recognition tool", ECI 2004 The sixth International Scientific Conference on Electronic Computers and Informatics, September 22-24, 2004, Kosice - Herl'any, Slovakia, pp. 86-91.

  • Gyorodi, R. and Gyorodi, C., "Mining association rules in frequently updated databases using Dynamic FP-trees", ECI 2004 The sixth International Scientific Conference on Electronic Computers and Informatics, September 22-24, 2004, Kosice - Herl'any, Slovakia, pag. 19-26.

  • Tierney, E., Newe, T. and Coffey, T., 2004. "Cox's Algorithm: strengths and weaknesses with varying composition digital images", 6th WSEAS International Conference on Telecommunications and Informatics (TELE-INFO '04), Cancun, Mexico, May 12-15, 2004, ISBN 960-8052-98-X.

  • Gyorodi, C., Gyorodi, R. and Holban, S., "A Comparative Study of Association Rules Mining Algorithms", SACI 2004, 1st Romanian-Hungarian Joint Symposium on Applied Computational Intelligence, Timisoara, Romania, May 25-26, 2004, pp. 213-222.

  • Gyorodi, R., Caus, S., Holban, S., Gyorodi, C., and Bogan-Marta. A., "Management System for Electrical Residential Installation", CONTI'2004, 6th International Conference on Technical Informatics, May 26-28 2004, Timisoara, Romania, Transactions on Automatic Control and Computer Science, Scientific Bulletin of Politehnica University of Timisoara, Vol 49(63) nr. 2, 2004, pp. 209-215. ISSN 1224-600X.

  • Gyorodi, R., Gyorodi, C., Bogan-Marta, A. and Pater, M., "Text mining and Web mining", The 5th International Conference on Renewable Sources and Environmental Electro-Technologies, Session Computer Science and Control Systems, RSEE' 2004, Analele Universităţii din Oradea, May 27-29, 2004, Stana de Vale-Spa, Romania, pp. 14-18.

  • Gyorodi, R., Gyorodi, C., Bogan-Marta, A. and Pater, M., "Bridging the gap between OLAP and Data Mining", The 5th International Conference on Renewable Sources and Environmental Electro-Technologies, Session Computer Science and Control Systems, RSEE' 2004, Analele Universităţii din Oradea, May 27-29, 2004, Stana de Vale-Spa, Romania, pp. 11-14.

  • Gyorodi, C., Gyorodi, R., Bogan-Marta, A. and Pater, M., "The distributed algorithms in mining association rules", ICCC 2004 International Conference on Computers and Communications, May 27-29, 2004 Baile Felix Spa-Oradea, Romania, First Edition, pp. 186-192.

  • Dojen, R. and Coffey, T., "Conditional Linear Cryptanalysis - Applying Linear Cryptanalysis to Ciphers with Key-Dependant Operations". Invited paper at ISA'04, 4th WSEAS International Conference on Information Science and Applications), Miami, USA, 21-23 April 2004, Paper No. 484-266 (CD Proceedings only)



  • Gyorodi, R., Holban, S., Coffey, T. and Gyorodi C., "Identity confirmation system based on CTAG and HMM", Transactions on Automatic Control and Computer Science, Scientific Bulletin of Poliethnica University of Timisoara, Vol 47(61) No. 2, 2002, pp 35-41. ISSN 1224-600X.

  • Gyorodi, C., Gyorodi, R. and Bogan-Marta, M., "Structured Knowledge Representation in Expert Systems using MIKE", ALETHEIA Journal no. 13, Oradea, Romania, Septembrie, 2002, pag. 481-489. ISBN 973-8032-25-3, ISSN 1221-4272,

  • Newe, T. and Coffey, T., "Hybrid Mobile Security Protocol: Formal verification using a new modal logic", Proceedings of ICAI-2002, Puerto De La Cruz, Spain, Dec.2002.

  • Gyorodi, C., Holban, S., Gyorodi, R. and Pater, M., " Mining Knowledge in Relational Databases", CONTI'2002, 5th International Conference on Technical Informatics, October 18-19th 2002, Timisoara, Romania, Transactions on Automatic Control and Computer Science, Scientific Bulletin of Politehnica University of Timisoara, Vol 47(61) nr. 2, 2002, pp. 1-6.

  • Gyorodi, R., Holban, S., Coffey, T. and Gyorodi, C., "Identity confirmation system based on CTAG and HMM", Proceedings of CONTI 2002 (5th International Conference on Technical Informatics), October 2002, Timisoara, Romania

  • Gyorodi, C. and Gyorodi, R., " Designing and Validating New Curricula Employing Data Mining Techniques", ECI'2002, 5th International Scientific Conference on Electronic Computers and Informatics, October 10-11th 2002, Kosice - Herl'any, Slovakia, pp. 336-341.

  • Salomie, I., Dinsoreanu, M. and Pusztai, K., "Designing Agent-Based Systems using UML and Extensions", Proceedings of the 2nd Euorpean Conference on Intelligent Systems and Technologies, Cavat, Croatia, July 17-20, 2002, ISBN 973-8075-20-3

  • Gyorodi, C. and Gyorodi, R., "Mining Association Rules in Large Databases", RSEE' 2002, The 4th International Conference on Renewable Sources and Environmental Electro-Technologies, Automation and Computer Science, June 6-8, 2002, Stana de Vale-Spa, Romania, pp. 115-122.

  • Gyorodi, R. and Gyorodi, C., "Architectures of Data Mining Systems", RSEE' 2002, The 4th International Conference on Renewable Sources and Environmental Electro-Technologies, Automation and Computer Science, June 6-8, 2002, Stana de Vale-Spa, Romania, pp. 122-130.

  • Salomie, I., Dinsoreanu, M. and Pusztai, K., "On the design of agent-based systems using UML and extensions", Proceedings of the 24th IEEE International Conference on Information Technology Interfaces, Cavat, Croatia, June 24-27, 2002, pp. 205-210.

  • Dadarlat,V., Coffey, T. and Ivan, C., " A Personalized Approach for Teaching Web-based Curriculum in Communications ans Computer Networks" IEEE CCECE02 Proceedings, Vol. 1 pp 732-737. May 2002, Manitoba, Canada.. ISBN 0-7803 7514 9.

  • Picovici, D., Mahdi, A.E. and Coffey, T., "An Internet-based indoor air quality measurement system", Proceedings of the 6th International Conference on Development and Applications Systems, May 2002. Suceava, Romania, pp. 249-254. ISBN 973-98670-9-X

  • Dadarlat, V., Ivan, C. and Coffey, T., "A Middleware Based Approach for Designing Routing Protocols", IEEE CCEDCE02 Proceedings, Vol. 1, May 2002, Manitoba, Canada, pp 1436 -1441. ISBN 0-7803 7514 9.



  • Gyorodi, C., Gyorodi, R. and Bogan-Marta, A., "Achiziţionarea cunoştinţelor in sistemele expert.", ALETHEIA Journal no. 11, Oradea, Romania, September, 2000, pp. 163-171.

  • Coffey T. and McGrath, S., (Editors) Proceedings of ISPLC2000 (2000 International Symposium on Power-line Communications and its Applications), ISBN 1-87-4653-60-7.

  • Salomie I., Pusztai K. and Nedevschi S. (editors), "Web based Educational Technology", Casa Cartii de Stiinta Publ. House, Cluj-Napoca, Cluj-Napoca, Romania, 2000

  • Salomie, I., Hamza-Lup, F., Bot, R.S., Dinsoreanu, M. and Suciu, A. "Design Decisions of the Virtual University in the Framework of Coned Tempus Project", in I. Salomie, S.Nedevschi, K.Pusztai (editors) Web Based Educational Technology, Casa Cartii de Stiinta Publ. House, Cluj-Napoca, 2000, p. 223 - 234

  • Salomie, I., Nedevschi S., Pusztai K., Goller, H. and Sintoma, B., "Java Mobile Agents for Student Evaluation and Assessment in Virtual Universities", in I. Salomie, S.Nedevschi, K.Pusztai (editors) Web Based Educational Technology, Casa Cartii de Stiinta Publ. House, Cluj, 2000, p. 235 - 246

  • Salomie, I. and Nedevschi S., "Mobile Agents for e-Assessment in Virtual Universities", in F.Restivo and L.Ribeiro (editors) Web Based Learning Environments, FEUP Publ. House, Porto, 2000, pp. 161-163

  • Nedevschi S., Salomie I., Olinic D. and Leuca A., "Web Based Methodology for Education in the Domain of Ultrasound Image Medical Description", in F.Restivo and L.Ribeiro (editors) Web Based Learning Environments, FEUP Publ. House, Porto, 2000, p. 151 - 153

  • Rarau, A., Salomie, I. and Pusztai, K., "On Synchronization in a Mobile Environment", Eric Horlait (ed) Mobile Agents for Telecommunication Applications., Lecture Notes in Computer Science 1931, Springer 2000

  • Gyorodi, C., Gyorodi, R. and Bogan-Marta, A., "A Method of Solving the Serializability of Concurrent Transactions in the Database Systems.", ECI 2000 Electronic, Computers and Informatics, International Scientific Conference, September 28-30th, 2000 Herľany, SLOVAKIA, pp. 280-284.

  • Bogan-Marta, A., Gyorodi, C. and Gyorodi, R., "Approaches of Problem Solving in Knowledge Engineering Using MIKE.", RSEE' 2000,The 3'rd International Conference on Renewable Sources and Environmental Electro-Technologies, Automation and Computer Science, May 25-27, 2000, Felix-Spa, Romania, pp. 158-164.

  • Bogan-Marta, A., Gyorodi, C. and Gyorodi, R., "Knowledge Representation Using Frames-Anomalies Inroduced by Multiple Inheritance." SINTES 10, International Symposium on SystemTheory, Automation, Robotics, Computers, Informatics, May 25-26. 2000, Craiova, Romania, Computers, pp. 46 - 49.

  • Gyorodi, C., Gyorodi, R. and Bogan-Marta, A., "Techniques Used for Testing Serializability in Concurrency Control of Transactions in the Database Systems." SINTES 10, International Symposium on SystemTheory, Automation, Robotics, Computers, Informatics, May 25-26. 2000, Craiova, Romania, Computers, pag. 113 - 114.

  • Gyorodi, C., Gyorodi, R. and Bogan-Marta, A., "A Way to Approach the Deadlock in Database Systems.", RSEE' 2000,The 3'rd International Conference on Renewable Sources and Environmental Electro-Technologies, Automation and Computer Science, May 25-27, 2000, Felix-Spa, Romania, pag. 112-117.

  • Salomie I., Hamza-Lup, F., Bot, R. and Dinsoreanu M., "Web based e-educational Environments using Java Technology", Proc. of Internat. Conference OPTIM 2000, Brasov, Romania, May 11-12, 2000, pp. 871-876

  • Salomie, I., Rarau, A. and Pusztai, K., "Agent-Based Mobile Environment", Proceedings of Agent-based Simulation Workshop, May 2000, Passau, Germany, pp. 221 - 226

  • Newe, T. and Coffey, T., " Verifying a Minimum-Knowledge Authentication Protocol for use in Power-Line Networks" Proceedings of ISPLC2000 (2000 International Symposium on Power-line Communications 2000, Limerick, Ireland, April, pp 109-116. ISBN 1-87-4653-60-7.

  • Gallagher, B., Moore, B. and Coffey, T., "A Transport Protocol Independent Driver for a Power-Line LAN", Proceedings of ISPLC2000 (2000 International Symposium on Power-line Communications 2000, Limerick, Ireland, April, pp 233-240. ISBN 1-87-4653-60-7.

  • Salomie, I., Goller, H.E., Sintoma, B. and Rarau, A., "Student Evaluation and Assessment in Virtual Universities using Mobile Agents", Proceedings of International Symposium on Tele-education and Telemedicine, ISTEP 2000, Kosice, Slovakia, March 2000, pp. 245-250

  • Salomie I., Nedevschi, S., Hamza-Lup, F. and Bot, R., "Virtual University of Cluj - A Web based Educational Framework", Proceedings of International Symposium on Tele-education and Telemedicine, ISTEP 2000, Kosice, Slovakia, March 2000, p.251-256