Khalid Azim Mughals bilde
Khalid Azim
Mughal
Førsteamanuensis
Besøksadresse: 
HIB - Thormøhlensgt. 55
5020 Bergen
Postadresse: 
Postboks 7803
5020 Bergen
Telefon: 
+47 55 58 41 52
+47 934 86 450
Last ned visittkort

Software Security
Object-oriented Technologies (Java)
E-learning
Programming Environments
Programming Paradigms, Tools and Techniques.

Bøker
  • Mughal, Khalid Azim; Hamre, Torill; Rasmussen, Rolf W. 2008. Java Actually: A Comprehensive Primer in Programming. 783 sider. ISBN: 978-1-84480-933-2.
  • Mughal, Khalid Azim; Rasmussen, Rolf Wilhelm. 2008. A Programmer's Guide to Java SCJP Certification: A Comprehensive Primer (Third Edition). 1039 sider. ISBN: 978-0-321-55605-9.
  • Mughal, Khalid Azim; Hamre, Torill; Rasmussen, Rolf W. 2007. Java Actually: A First Course in Programming. Forlaget Thomson. 331 sider. ISBN: 978-1-84480-418-4.
  • Mughal, Khalid Azim; Hamre, Torill; Rasmussen, Rolf W. 2006. Java som første programmeringsspråk (3.utg.). Cappelen Damm Akademisk. 668 sider. ISBN: 82-02-24554-0.
  • Mughal, Khalid Azim; Hamre, Torill; Rasmussen, Rolf W. 2003. Java som første programmeringsspråk. Cappelen Damm Akademisk. 554 sider. ISBN: 8202232740.
  • Mughal, Khalid Azim; Rasmussen, Rolf W. 2003. Programmer's Guide to Java Certification: A Comprehensive Primer. 621 sider. ISBN: 0201728281.
  • Mughal, Khalid Azim; Hamre, Torill; Rasmussen, Rolf W. 2002. Java som første programmeringsspråk. Cappelen Damm Akademisk. 554 sider. ISBN: 8202217822.
  • Mughal, Khalid Azim; Opdahl, Andreas Lothe; Sjøberg, Dag I K. 2000. Proceedings of NWPER'2000 - Nordic Workshop on Programming Environment Research. 188 sider.
  • Mughal, Khalid Azim; Rasmussen, Rolf Wilhelm. 1999. A Programmer's Guide to Java Certification - A Comprehensive Primer. 754 sider. ISBN: 0-201-59614-8.
Tidsskriftartikler
  • Gejibo, Samson Hussien; Mancini, Federico; Mughal, Khalid Azim; Valvik, Remi André Bognøy; Klungsøyr, Jørn Ivar. 2012. Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings. Lecture Notes in Computer Science. 7159: 38-45.
  • Jacob, Anita; Hamre, Torill; Evensen, Geir; Mughal, Khalid Azim. 2003. Developing a Marine Information System by Integrating Existing Ocean Models Using Object-Oriented Technology. Marine Geodesy. 26: 87-106.
  • Mughal, Khalid Azim; Opdahl, Andreas Lothe. 1999. Workshop Summary (Guest Editor's Introduction). Nordic Journal of Computing. 1-3.
  • Hamre, Torill; Mughal, Khalid Azim; Jacob, Anita. 1997. A 4D marine data model: design and application in ice monitoring. Marine Geodesy. 20: S. 121-136.
  • Mughal, Khalid Azim; Efremidis, Sofoklis G.; Reppy, John H.; Søraas, Lars. 1997. AML: Attribute Grammars in ML. Nordic Journal of Computing. 4: 37-65.
Rapporter/avhandlinger
  • Mughal, Khalid Azim; Espelid, Yngve; Hamre, Torill. 2006. Composing Web Presentations using Presentation Patterns. Reports in Informatics. 331. Department of Informatics, University of Bergen, Bergen. 10 sider.
  • Mughal, Khalid Azim. 2001. Forelesningsnotater i Java programmering (5. utgave). Institutt for informatikk, UiB, Bergen. 250 sider.
  • Mughal, Khalid Azim; Opdahl, Andreas L.; Sjøberg, Dag I.K. 2000. Proceedings of NWPER'2000 � Nordic Workshop on Programming Environment Research. Research Report in Informatics, No. 195. Department of Informatics, University of Bergen, Bergen, Norway. 182 sider.
  • Mughal, Khalid Azim; Opdahl, Andreas L.; Sjøberg, Dag I.K. 2000. Proceedings of NWPER'2000 — Nordic Workshop on Programming Environment Research. Research Report in Informatics, No. 195. Department of Informatics, University of Bergen, Bergen, Norway. 182 sider.
  • Mughal, Khalid Azim; Opdahl, Andreas Lothe. 1999. Nordic Research on Programming and Software Development Environments, Special Issue of "Nordic Journal of Computing". Nordic Journal of Computing. Publishing Association Nordic Journal of Computing, Helsinki/Finland. 140 sider.
  • Mughal, Khalid Azim; Opdahl, Andreas Lothe. 1998. Proceedings of ``The Eighth Nordic Workshop on Programming Environment Research -- NWPER'98''. Reports in information science. Department of Information Science, University of Bergen.
  • Mughal, Khalid Azim. 1997. Java som første programmeringsspråk. Forelesningsnotater i I110: Grunnkurs i databahandling. Institutt for informatikk, Universitetet i Bergen.
  • Mughal, Khalid Azim. 1997. Java programmeringsspråk: En smaksprøve. Institutt for informatikk, Universitetet i Bergen.
  • Mughal, Khalid Azim; Rasmussen, Rolf W. 1997. Introducing Java as First Programming Language. Reports in Informatics. 144. Institutt for informatikk, Universitetet i Bergen. 15 sider.
  • Mughal, Khalid Azim; Søraas, Lars. 1995. Attribute evaluation using neighbour functions. Reports in Informatics. 112. Inst. for informatikk, UiB. 20 sider.
  • Mughal, Khalid Azim. 1994. Datamodelling i NIAM. Supplemet, I126 - Databaser og datamodellering. UiB-MatNat: Institutt for Informatikk.
  • Mughal, Khalid Azim. 1994. Relational Database Management Systems. Supplemet, I126 - Databaser og datamodellering. UiB-MatNat: Institutt for Informatikk.
  • Mughal, Khalid Azim. 1988. Generation of Runtime Facilities for Program Editors. Dr. scient. thesis. -. Institutt for informatikk, Universitetet i Bergen. 92 sider.
  • Mughal, Khalid Azim. 1981. Interactive construction, syntax analysis and editing of programs. [Mangler utgivernavn].
  • Mughal, Khalid Azim. 1980. Synted (STD): An Interactive Syntax-Oriented Diagnistic Editor for Fortran-77. Cand. Real. Thesis. Institutt for informatikk, Universitetet i Bergen. 96 sider.
Bokkapitler
  • Mancini, Federico; Mughal, Khalid Azim; Gejibo, Samson Hussien; Grasso, Daniele. 2013. Secure cloud storage for remote mobile data collection. Kapittel, sider 8-14. I:
    • Solberg, Arnor; Babar, Muhammad Ali; Dumas, Marlon; Cuesta, Carlos E. 2013. NordiCloud '13: Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies - Oslo, Norway, 2-3 September 2013. Association for Computing Machinery (ACM). 81 sider. ISBN: 978-1-4503-2307-9.
  • Gejibo, Samson Hussien; Mancini, Federico; Mughal, Khalid Azim; Valvik, Remi André Bognøy; Klungsøyr, Jørn Ivar. 2012. Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings. Kapittelnummer, sider 38-45. I:
    • Scandariato, Riccardo; Livshits, Benjamin; Barthe, Gilles. 2012. Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Springer. 150 sider. ISBN: 978-3-642-28165-5.
  • Mancini, Federico; Mughal, Khalid Azim; Gejibo, Samson Hussien; Valvik, Remi André Bognøy; Klungsøyr, Jørn Ivar. 2012. Secure Data Storage for Mobile Data Collection Systems. KAPITTEL. I:
    • Chbeir, Richard. 2012. Proceedings of the International Conference on Management of Emergent Digital EcoSystems (MEDES'12). ACM Press. ISBN: 978-1-4503-1755-9.
  • Mancini, Federico; Mughal, Khalid Azim; Gejibo, Samson Hussien; Valvik, Remi André Bognøy; Klungsøyr, Jørn Ivar. 2012. Secure Mobile Data Collection Systems for Low-Budget Settings. KAPITTEL. I:
    • IEEE, . 2012. 2012 Seventh International Conference on Availability, Reliability and Security (ARES), Prague, 20-24 August, 2012. IEEE conference proceedings. ISBN: 978-1-4673-2244-7.
  • Mancini, Federico; Mughal, Khalid Azim; Gejibo, Samson Hussien; Valvik, Remi André Bognøy; Klungsøyr, Jørn Ivar. 2012. Secure Data Storage for Java ME-Based Mobile Data Collection Systems. KAPITTEL. I:
    • Wang, Jintao. 2012. IEEE 14th International Conference on e-Health Networking, Applications and Services (Healthcom 2012). IEEE conference proceedings. 541 sider. ISBN: 978-1-4577-2039-0.
  • Mancini, Federico; Mughal, Khalid Azim; Gejibo, Samson Hussien; Klungsøyr, Jørn Ivar. 2011. Adding Security to Mobile Data Collection. Article, sider 86-89. I:
    • Shyu, Chi-Ren. 2011. Healthcom 2011 - 13th IEEE International Conference on e-Health Networking Applications and Services. IEEE Communications Society. 380 sider. ISBN: 978-1-61284-695-8.
  • Rossini, Alessandro; Rutle, Adrian; Mughal, Khalid Azim; Lamo, Yngve; Wolter, Uwe Egbert. 2011. A Formal Approach to Data Validation Constraints in MDE. Artikkel, sider 65-76. I:
    • Marcel, Kyas; Sun, Meng; Stolz, Volker. 2011. TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software. 124 sider.
  • Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim. 2010. The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications. Artikkel, sider 122-128. I:
    • IEEE, Org. 2010. Proceedings of the Fifth International Conference on Internet and Web Applications and Services (ICIW 2010). IEEE conference proceedings. 578 sider. ISBN: 978-0-7695-4022-1.
  • Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim. 2010. Investigating the Limitations of Java Annotations for Input Validation. Artikkel, sider 513-518. I:
    • IEEE, Org. 2010. Proceedings of the Fifth International Conference on Availability, Reliability, and Security (ARES 2010). IEEE conference proceedings. 708 sider. ISBN: 978-1-4244-5879-0.
  • Espelid, Yngve; Netland, Lars-Helge; Mughal, Khalid Azim. 2007. A Reflection-Based Framework for Content Validation. Kapittel, sider 697-706. I:
    • Quirchmayr, Gerald; Tjoa, A Min. 2007. Proceedings, The Second International Conference on Availability, Reliability and Security. IEEE Computer Society. 1260 sider. ISBN: 0-7695-2775-2.

Se fullstendig oversikt over publikasjoner i CRIStin.