Dodiplomski študij:

Citati

Automated generation of Promela model from SDL specification

BibTeX 
  1. @article{ ISI:000257566100006,
  2.    Author = {Damiani, Ernesto and Fansi, Majirus and Gabillon, Alban and Marrara, Stefania},
  3.    Title = {{A general approach to securely querying XML}},
  4.    Journal = {{COMPUTER STANDARDS \& INTERFACES}},
  5.    Year = {{2008}},
  6.    Volume = {{30}},
  7.    Number = {{6}},
  8.    Pages = {{379-389}},
  9.    Note = {{5th International Workshop on Security in Information Systems (WOSIS 2007),   Funchal, PORTUGAL, JUN 12-13, 2007}},
  10.    Publisher = {{ELSEVIER SCIENCE BV}},
  11. }
  12.  
  13. @inproceedings{ ISI:000258321200100,
  14.    Author = {Segui, John S.},
  15.    Book-Group-Author = {{IEEE}},
  16.    Title = {{Demand access protocol design and validation with SPIN}},
  17.    Booktitle = {{2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9}},
  18.    Series = {{IEEE AEROSPACE CONFERENCE PROCEEDINGS}},
  19.    Year = {{2008}},
  20.    Pages = {{1049-1056}},
  21.    Note = {{2008 IEEE Aerospace Conference, Big Sky, MT, MAR 01-08, 2008}},
  22.    Publisher = {{IEEE}},
  23. }
@article{ ISI:000257566100006,
    Author = {Damiani, Ernesto and Fansi, Majirus and Gabillon, Alban and Marrara, Stefania}, 
    Title = {{A general approach to securely querying XML}},
    Journal = {{COMPUTER STANDARDS \& INTERFACES}}, 
    Year = {{2008}},
    Volume = {{30}},
    Number = {{6}},
    Pages = {{379-389}},
    Note = {{5th International Workshop on Security in Information Systems (WOSIS 2007),   Funchal, PORTUGAL, JUN 12-13, 2007}}, 
    Publisher = {{ELSEVIER SCIENCE BV}},
}

@inproceedings{ ISI:000258321200100,
    Author = {Segui, John S.},
    Book-Group-Author = {{IEEE}},
    Title = {{Demand access protocol design and validation with SPIN}},
    Booktitle = {{2008 IEEE AEROSPACE CONFERENCE, VOLS 1-9}},
    Series = {{IEEE AEROSPACE CONFERENCE PROCEEDINGS}},
    Year = {{2008}},
    Pages = {{1049-1056}},
    Note = {{2008 IEEE Aerospace Conference, Big Sky, MT, MAR 01-08, 2008}},
    Publisher = {{IEEE}},
}

Packet Based Telephony

BibTeX 
  1. @inproceedings{DBLP:conf/euc/WangC05,
  2.  author    = {Tsan-Pin Wang and
  3.               KauLin Chiu},
  4.  title     = {Supporting SIP Personal Mobility for VoIP Services},
  5.  booktitle = {EUC},
  6.  year      = {2005},
  7.  pages     = {703-714},
  8.  ee        = {http://dx.doi.org/10.1007/11596356_70},
  9.  crossref  = {DBLP:conf/euc/2005},
  10.  bibsource = {DBLP, dblp.uni-trier.de}
  11. }
  12.  
  13. @article{WangC06,
  14.  author    = {Tsan-Pin Wang and
  15.               KauLin Chiu},
  16.  title     = {An Efficient Scheme for Supporting Personal Mobility in SIP-Based VoIP Services},
  17.  booktitle = {IEICE Transactions on Communications},
  18.  year      = {2006},
  19.  pages     = {2706-2714},
  20.  ee        = {http://ietcom.oxfordjournals.org/cgi/content/abstract/E89-B/10/2706}
  21. }
@inproceedings{DBLP:conf/euc/WangC05,
  author    = {Tsan-Pin Wang and
               KauLin Chiu},
  title     = {Supporting SIP Personal Mobility for VoIP Services},
  booktitle = {EUC},
  year      = {2005},
  pages     = {703-714},
  ee        = {http://dx.doi.org/10.1007/11596356_70},
  crossref  = {DBLP:conf/euc/2005},
  bibsource = {DBLP, dblp.uni-trier.de}
}

@article{WangC06,
  author    = {Tsan-Pin Wang and
               KauLin Chiu},
  title     = {An Efficient Scheme for Supporting Personal Mobility in SIP-Based VoIP Services},
  booktitle = {IEICE Transactions on Communications},
  year      = {2006},
  pages     = {2706-2714},
  ee        = {http://ietcom.oxfordjournals.org/cgi/content/abstract/E89-B/10/2706}
}

Uporaba jezika SDL pri predmetu Programska oprema v TK sistemih

BibTeX 
  1. @inproceedings{hercog2001,
  2.    author = "Drago Hercog",
  3.    title = "{Vloga jezika SDL pri pou"cevanju telekomunikacijskih protokolov}",
  4.    booktitle = "{Zbornik desete Elektrotehni"ske in ra"cunalniške konference, ERK 2001}",
  5.    month = "September",
  6.    publisher = "{Slovenska sekcija IEEE}",
  7.    address = "{Portoro"z, Slovenija}",
  8.    pages = "385-388",
  9.    year = "2001"
  10. }
@inproceedings{hercog2001,
    author = "Drago Hercog",
    title = "{Vloga jezika SDL pri pou"cevanju telekomunikacijskih protokolov}",
    booktitle = "{Zbornik desete Elektrotehni"ske in ra"cunalniške konference, ERK 2001}",
    month = "September",
    publisher = "{Slovenska sekcija IEEE}",
    address = "{Portoro"z, Slovenija}",
    pages = "385-388",
    year = "2001"
}