BibTeX records: Vitus S. W. Lam

download as .bib file

@article{DBLP:journals/ijseke/Lam19,
  author       = {Vitus S. W. Lam},
  title        = {A Framework-Driven Comparison of Automata-Based Tools for Identifying
                  Business Rule Conflicts},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {29},
  number       = {3},
  pages        = {433--455},
  year         = {2019},
  url          = {https://doi.org/10.1142/S0218194019500190},
  doi          = {10.1142/S0218194019500190},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/Lam19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bpmj/Lam17,
  author       = {Vitus S. W. Lam},
  title        = {Detecting violation of business constraints in declarative process
                  execution: a case study},
  journal      = {Bus. Process. Manag. J.},
  volume       = {23},
  number       = {5},
  pages        = {1043--1063},
  year         = {2017},
  url          = {https://doi.org/10.1108/BPMJ-05-2016-0105},
  doi          = {10.1108/BPMJ-05-2016-0105},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bpmj/Lam17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/LamP12,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  title        = {Equivalence Checking of Communicating {UML} Statechart Diagrams},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {22},
  number       = {2},
  pages        = {265--304},
  year         = {2012},
  url          = {https://doi.org/10.1142/S0218194012500076},
  doi          = {10.1142/S0218194012500076},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/LamP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/Lam10,
  author       = {Vitus S. W. Lam},
  title        = {Formal Analysis of {BPMN} Models: a NuSMV-Based Approach},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {20},
  number       = {7},
  pages        = {987--1023},
  year         = {2010},
  url          = {https://doi.org/10.1142/S0218194010005079},
  doi          = {10.1142/S0218194010005079},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/Lam10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/soca/Lam09,
  author       = {Vitus S. W. Lam},
  title        = {Equivalences of {BPMN} processes},
  journal      = {Serv. Oriented Comput. Appl.},
  volume       = {3},
  number       = {3},
  pages        = {189--204},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11761-009-0048-5},
  doi          = {10.1007/S11761-009-0048-5},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soca/Lam09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Lam08,
  author       = {Vitus S. W. Lam},
  title        = {Theory for classifying equivalences of unified modelling language
                  activity diagrams},
  journal      = {{IET} Softw.},
  volume       = {2},
  number       = {5},
  pages        = {391--403},
  year         = {2008},
  url          = {https://doi.org/10.1049/iet-sen:20070045},
  doi          = {10.1049/IET-SEN:20070045},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Lam08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/Lam08,
  author       = {Vitus S. W. Lam},
  title        = {On pi-Calculus Semantics as a Formal Basis for {UML} Activity Diagrams},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {18},
  number       = {4},
  pages        = {541--567},
  year         = {2008},
  url          = {https://doi.org/10.1142/S0218194008003787},
  doi          = {10.1142/S0218194008003787},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/Lam08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eiswt/Lam08,
  author       = {Vitus S. W. Lam},
  editor       = {Bobby Granville and
                  Zoran Majkic and
                  Chunping Li},
  title        = {Dynamic Workflow Patterns},
  booktitle    = {International Conference on Enterprise Information Systems and Web
                  Technologies, EISWT-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {160--166},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Fri, 15 Aug 2008 14:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/eiswt/Lam08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/njc/Lam07,
  author       = {Vitus S. W. Lam},
  title        = {A Formalism for Reasoning about {UML} Activity Diagrams},
  journal      = {Nord. J. Comput.},
  volume       = {14},
  number       = {1-2},
  pages        = {43--64},
  year         = {2007},
  timestamp    = {Mon, 28 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/Lam07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Lam06,
  author       = {Vitus S. W. Lam},
  title        = {A formal execution semantics and rigorous analytical approach for
                  communicating {UML} statechart diagrams},
  school       = {University of Bath, {UK}},
  year         = {2006},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425342},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Lam06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiccsa/LamP05,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  title        = {An integrated environment for communicating {UML} statechart diagrams},
  booktitle    = {2005 {ACS} / {IEEE} International Conference on Computer Systems and
                  Applications {(AICCSA} 2005), January 3-6, 2005, Cairo, Egypt},
  pages        = {111},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/AICCSA.2005.1387100},
  doi          = {10.1109/AICCSA.2005.1387100},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiccsa/LamP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/LamP05,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  editor       = {Andrew P. Black},
  title        = {Consistency Checking of Statechart Diagrams of a Class Hierarchy},
  booktitle    = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
                  Glasgow, UK, July 25-29, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3586},
  pages        = {412--427},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11531142\_18},
  doi          = {10.1007/11531142\_18},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LamP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/LamP05,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  editor       = {Judi Romijn and
                  Graeme Smith and
                  Jaco van de Pol},
  title        = {Consistency Checking of Sequence Diagrams and Statechart Diagrams
                  Using the pi-Calculus},
  booktitle    = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
                  Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3771},
  pages        = {347--365},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11589976\_20},
  doi          = {10.1007/11589976\_20},
  timestamp    = {Thu, 07 Apr 2022 08:44:27 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LamP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecbs/LamP04,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  title        = {Symbolic Model Checking of {UML} Statechart Diagrams with an Integrated
                  Approach},
  booktitle    = {11th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages        = {337--347},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ECBS.2004.1316717},
  doi          = {10.1109/ECBS.2004.1316717},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/LamP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wecwis/LamP04,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  title        = {Formal Specification and Verification of the {SET/A} Protocol with
                  an Integrated Approach},
  booktitle    = {2004 {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2004), 6-9 July 2004, San Diego, CA, {USA}},
  pages        = {229--235},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICECT.2004.1319738},
  doi          = {10.1109/ICECT.2004.1319738},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/LamP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/serp/LamP03,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  editor       = {Ban Al{-}Ani and
                  Hamid R. Arabnia and
                  Youngsong Mun},
  title        = {On Execution Semantics of {UML} Statechart Diagrams Using the pi-Calculus},
  booktitle    = {Proceedings of the International Conference on Software Engineering
                  Research and Practice, {SERP} '03, June 23 - 26, 2003, Las Vegas,
                  Nevada, USA, Volume 2},
  pages        = {877--882},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Tue, 14 Oct 2003 13:56:57 +0200},
  biburl       = {https://dblp.org/rec/conf/serp/LamP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vl/LamP03,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  title        = {Analyzing equivalences of {UML} statechart diagrams by structural
                  congruence and open bisimulations},
  booktitle    = {2003 {IEEE} Symposium on Human Centric Computing Languages and Environments
                  {(HCC} 2003), 28-31 October 2003, Auckland, New Zealand},
  pages        = {137--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/HCC.2003.1260217},
  doi          = {10.1109/HCC.2003.1260217},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/LamP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aswec/LamP01,
  author       = {Vitus S. W. Lam and
                  Julian A. Padget},
  title        = {Formalization of {UML} Statechart Diagrams in the p-Calculus},
  booktitle    = {13th Australian Software Engineering Conference {(ASWEC} 2001), 26-28
                  August 2001, Canberra, Australia},
  pages        = {213--223},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ASWEC.2001.948515},
  doi          = {10.1109/ASWEC.2001.948515},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/LamP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.