@inproceedings{VitekST96,
  title = {Security and Communication in Mobile Object Systems},
  author = {Jan Vitek and Manuel Serrano and Dimitri Thanos},
  year = {1996},
  tags = {meta-model, security, Meta-Environment, mobile, meta-objects},
  researchr = {https://researchr.org/publication/VitekST96},
  cites = {0},
  citedby = {0},
  pages = {177-200},
  booktitle = {Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS 96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers},
  editor = {Jan Vitek and Christian F. Tschudin},
  volume = {1222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62852-5},
}

@inproceedings{KrallVH97,
  title = {Near Optimal Hierarchical Encoding of Types},
  author = {Andreas Krall and Jan Vitek and R. Nigel Horspool},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1241/12410128.htm},
  researchr = {https://researchr.org/publication/KrallVH97},
  cites = {0},
  citedby = {0},
  pages = {128-145},
  booktitle = {ECOOP 97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings},
  editor = {Mehmet Aksit and Satoshi Matsuoka},
  volume = {1241},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63089-9},
}

@inproceedings{VitekHU92,
  title = {Compile-Time Analysis of Object-Oriented Programs},
  author = {Jan Vitek and R. Nigel Horspool and James S. Uhl},
  year = {1992},
  tags = {object-oriented programming, program analysis, meta programming, analysis, compiler, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/VitekHU92},
  cites = {0},
  citedby = {0},
  pages = {236-250},
  booktitle = {Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings},
  editor = {Uwe Kastens and Peter Pfahler},
  volume = {641},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55984-1},
}

@inproceedings{BakerCPV07,
  title = {Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks},
  author = {Jason Baker and Antonio Cunei and Filip Pizlo and Jan Vitek},
  year = {2007},
  doi = {10.1007/978-3-540-71229-9_5},
  url = {http://dx.doi.org/10.1007/978-3-540-71229-9_5},
  tags = {laziness, Meta-Environment},
  researchr = {https://researchr.org/publication/BakerCPV07},
  cites = {0},
  citedby = {0},
  pages = {64-79},
  booktitle = {Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings},
  editor = {Shriram Krishnamurthi and Martin Odersky},
  volume = {4420},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71228-2},
}

@inproceedings{ZhaoNV04,
  title = {Scoped Types for Real-Time Java},
  author = {Tian Zhao and James Noble and Jan Vitek},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/rtss/2004/2247/00/22470241abs.htm},
  tags = {Java},
  researchr = {https://researchr.org/publication/ZhaoNV04},
  cites = {0},
  citedby = {0},
  pages = {241-251},
  booktitle = {Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2247-5},
}

@inproceedings{ZendraJDGJKMV07,
  title = {Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems},
  author = {Olivier Zendra and Eric Jul and Roland Ducournau and Etienne Gagnon and Richard E. Jones and Chandra Krintz and Philippe Mulet and Jan Vitek},
  year = {2007},
  doi = {10.1007/978-3-540-78195-0_6},
  url = {http://dx.doi.org/10.1007/978-3-540-78195-0_6},
  tags = {programming languages, optimization, object-oriented programming, subject-oriented programming, program optimization, feature-oriented programming},
  researchr = {https://researchr.org/publication/ZendraJDGJKMV07},
  cites = {0},
  citedby = {0},
  pages = {50-64},
  booktitle = {Object-Oriented Technology. ECOOP 2007 Workshop Reader, Berlin, Germany, July 30-31, 2007, Final Reports},
  editor = {Michael Cebulla},
  volume = {4906},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78194-3},
}

@inproceedings{BryceIV98,
  title = {4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations},
  author = {Ciarán Bryce and Leila Ismail and Jan Vitek},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1543/15430288.htm},
  tags = {mobile},
  researchr = {https://researchr.org/publication/BryceIV98},
  cites = {0},
  citedby = {0},
  pages = {288-290},
  booktitle = {Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Serge Demeyer and Jan Bosch},
  volume = {1543},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65460-7},
}

@inproceedings{CarbunarVV01:0,
  title = {Lime Revisited},
  author = {Bogdan Carbunar and Marco Tulio de Oliveira Valente and Jan Vitek},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2240/22400054.htm},
  researchr = {https://researchr.org/publication/CarbunarVV01%3A0},
  cites = {0},
  citedby = {0},
  pages = {54-69},
  booktitle = {Mobile Agents, 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001, Proceedings},
  editor = {Gian Pietro Picco},
  volume = {2240},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42952-2},
}

@inproceedings{PalaczVCD02,
  title = {Incommunicado: efficient communication for isolates},
  author = {Krzysztof Palacz and Jan Vitek and Grzegorz Czajkowski and Laurent Daynès},
  year = {2002},
  doi = {10.1145/582419.582444},
  url = {http://doi.acm.org/10.1145/582419.582444},
  researchr = {https://researchr.org/publication/PalaczVCD02},
  cites = {0},
  citedby = {0},
  pages = {262-274},
  booktitle = {OOPSLA},
}

@inproceedings{ZhaoPV03,
  title = {Lightweight confinement for featherweight Java},
  author = {Tian Zhao and Jens Palsberg and Jan Vitek},
  year = {2003},
  doi = {10.1145/949305.949318},
  url = {http://doi.acm.org/10.1145/949305.949318},
  tags = {Java},
  researchr = {https://researchr.org/publication/ZhaoPV03},
  cites = {0},
  citedby = {0},
  pages = {135-148},
  booktitle = {Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA},
  editor = {Ron Crocker and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {1-58113-712-5},
}

@article{ZhaoPV06,
  title = {Type-based confinement},
  author = {Tian Zhao and Jens Palsberg and Jan Vitek},
  year = {2006},
  doi = {10.1017/S0956796805005691},
  url = {http://dx.doi.org/10.1017/S0956796805005691},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/ZhaoPV06},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {16},
  number = {1},
  pages = {83-128},
}

@article{GrothoffPV07,
  title = {Encapsulating objects with confined types},
  author = {Christian Grothoff and Jens Palsberg and Jan Vitek},
  year = {2007},
  doi = {10.1145/1286821.1286823},
  url = {http://doi.acm.org/10.1145/1286821.1286823},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/GrothoffPV07},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {29},
  number = {6},
  pages = {32},
}

@article{JagannathanVWH05,
  title = {A transactional object calculus},
  author = {Suresh Jagannathan and Jan Vitek and Adam Welc and Antony L. Hosking},
  year = {2005},
  doi = {10.1016/j.scico.2005.03.001},
  url = {http://dx.doi.org/10.1016/j.scico.2005.03.001},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JagannathanVWH05},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {57},
  number = {2},
  pages = {164-186},
}

@inproceedings{GuerraouiKV07,
  title = {STMBench7: a benchmark for software transactional memory},
  author = {Rachid Guerraoui and Michal Kapalka and Jan Vitek},
  year = {2007},
  doi = {10.1145/1272996.1273029},
  url = {http://doi.acm.org/10.1145/1272996.1273029},
  researchr = {https://researchr.org/publication/GuerraouiKV07},
  cites = {0},
  citedby = {0},
  pages = {315-324},
  booktitle = {Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007},
  editor = {Paulo Ferreira and Thomas R. Gross and Luís Veiga},
  publisher = {ACM},
  isbn = {978-1-59593-636-3},
}

@inproceedings{CuneiGSPV09,
  title = {High-Performance Transactional Event Processing},
  author = {Antonio Cunei and Rachid Guerraoui and Jesper Honig Spring and Jean Privat and Jan Vitek},
  year = {2009},
  doi = {10.1007/978-3-642-02053-7_2},
  url = {http://dx.doi.org/10.1007/978-3-642-02053-7_2},
  researchr = {https://researchr.org/publication/CuneiGSPV09},
  cites = {0},
  citedby = {0},
  pages = {27-46},
  booktitle = {Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings},
  editor = {John Field and Vasco Thudichum Vasconcelos},
  volume = {5521},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02052-0},
}

@inproceedings{JagannathanV04,
  title = {Optimistic Concurrency Semantics for Transactions in Coordination Languages},
  author = {Suresh Jagannathan and Jan Vitek},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2949&spage=183},
  tags = {semantics},
  researchr = {https://researchr.org/publication/JagannathanV04},
  cites = {0},
  citedby = {0},
  pages = {183-198},
  booktitle = {Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings},
  editor = {Rocco De Nicola and Gian Luigi Ferrari and Greg Meredith},
  volume = {2949},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21044-X},
}

@article{CuneiV08,
  title = {An efficient and flexible toolkit for composing customized method dispatchers},
  author = {Antonio Cunei and Jan Vitek},
  year = {2008},
  doi = {10.1002/spe.821},
  url = {http://dx.doi.org/10.1002/spe.821},
  researchr = {https://researchr.org/publication/CuneiV08},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {38},
  number = {1},
  pages = {33-73},
}

@inproceedings{CuneiV06,
  title = {A new approach to real-time checkpointing},
  author = {Antonio Cunei and Jan Vitek},
  year = {2006},
  doi = {10.1145/1134760.1134771},
  url = {http://doi.acm.org/10.1145/1134760.1134771},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/CuneiV06},
  cites = {0},
  citedby = {0},
  pages = {68-77},
  booktitle = {Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006},
  editor = {Hans-Juergen Boehm and David Grove},
  publisher = {ACM},
}

@inproceedings{GopalakrishnaSV05,
  title = {Efficient Intrusion Detection using Automaton Inlining},
  author = {Rajeev Gopalakrishna and Eugene H. Spafford and Jan Vitek},
  year = {2005},
  doi = {10.1109/SP.2005.1},
  url = {http://doi.ieeecomputersociety.org/10.1109/SP.2005.1},
  researchr = {https://researchr.org/publication/GopalakrishnaSV05},
  cites = {0},
  citedby = {0},
  pages = {18-31},
  booktitle = {2005 IEEE Symposium on Security and Privacy (S&P 2005), 8-11 May 2005, Oakland, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2339-0},
}

@inproceedings{HorspoolV92,
  title = {Static analysis of PostScript code},
  author = {R. Nigel Horspool and Jan Vitek},
  year = {1992},
  doi = {10.1109/ICCL.1992.185464},
  url = {http://dx.doi.org/10.1109/ICCL.1992.185464},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/HorspoolV92},
  cites = {0},
  citedby = {0},
  pages = {14-23},
  booktitle = {ICCL 92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992},
  editor = {James R.  Cordy and Mario Barbacci},
  publisher = {IEEE},
  isbn = {0-8186-2585-6},
}

@inproceedings{VitekH96,
  title = {Compact Dispatch Tables for Dynamically Typed Object Oriented Languages},
  author = {Jan Vitek and R. Nigel Horspool},
  year = {1996},
  researchr = {https://researchr.org/publication/VitekH96},
  cites = {0},
  citedby = {0},
  pages = {309-325},
  booktitle = {Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, Proceedings},
  editor = {Tibor Gyimóthy},
  volume = {1060},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61053-7},
}

@inproceedings{CarbunarGV04,
  title = {Distributed and Dynamic Voronoi Overlays for Coverage Detection and Distributed Hash Tables in Ad-Hoc Networks},
  author = {Bogdan Carbunar and Ananth Grama and Jan Vitek},
  year = {2004},
  doi = {10.1109/ICPADS.2004.34},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.34},
  tags = {coverage},
  researchr = {https://researchr.org/publication/CarbunarGV04},
  cites = {0},
  citedby = {0},
  pages = {549},
  booktitle = {10th International Conference on Parallel and Distributed Systems (ICPADS 2004), 7-9 July 2004, Newport Beach, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2152-5},
}

@inproceedings{CuneiV05,
  title = {PolyD: a flexible dispatching framework},
  author = {Antonio Cunei and Jan Vitek},
  year = {2005},
  doi = {10.1145/1094811.1094849},
  url = {http://doi.acm.org/10.1145/1094811.1094849},
  researchr = {https://researchr.org/publication/CuneiV05},
  cites = {0},
  citedby = {0},
  pages = {487-503},
  booktitle = {Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-031-0},
}

@inproceedings{MansonBCJPXV05,
  title = {Preemptible Atomic Regions for Real-Time Java},
  author = {Jeremy Manson and Jason Baker and Antonio Cunei and Suresh Jagannathan and Marek Prochazka and Bin Xin and Jan Vitek},
  year = {2005},
  doi = {10.1109/RTSS.2005.34},
  url = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2005.34},
  tags = {Java},
  researchr = {https://researchr.org/publication/MansonBCJPXV05},
  cites = {0},
  citedby = {0},
  pages = {62-71},
  booktitle = {Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 6-8 December 2005, Miami, FL, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2490-7},
}

@inproceedings{PizloHV07,
  title = {Hierarchical real-time garbage collection},
  author = {Filip Pizlo and Antony L. Hosking and Jan Vitek},
  year = {2007},
  doi = {10.1145/1254766.1254784},
  url = {http://doi.acm.org/10.1145/1254766.1254784},
  researchr = {https://researchr.org/publication/PizloHV07},
  cites = {0},
  citedby = {0},
  pages = {123-133},
  booktitle = {Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 07), San Diego, California, USA, June 13-15, 2007},
  editor = {Santosh Pande and Zhiyuan Li},
  publisher = {ACM},
  isbn = {978-1-59593-632-5},
}

@inproceedings{PizloFHV04,
  title = {Real-Time Java Scoped Memory: Design Patterns and Semantics},
  author = {Filip Pizlo and J. M. Fox and David Holmes and Jan Vitek},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240101abs.htm},
  tags = {semantics, Java, design},
  researchr = {https://researchr.org/publication/PizloFHV04},
  cites = {0},
  citedby = {0},
  pages = {101-110},
  booktitle = {7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2124-X},
}

@inproceedings{SpringPGV07:0,
  title = {Streamflex: high-throughput stream programming in java},
  author = {Jesper Honig Spring and Jean Privat and Rachid Guerraoui and Jan Vitek},
  year = {2007},
  doi = {10.1145/1297027.1297043},
  url = {http://doi.acm.org/10.1145/1297027.1297043},
  tags = {Java, programming},
  researchr = {https://researchr.org/publication/SpringPGV07%3A0},
  cites = {0},
  citedby = {0},
  pages = {211-228},
  booktitle = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-786-5},
}

@article{BonsangueJMV09,
  title = {Preface},
  author = {Marcello M. Bonsangue and Einar Broch Johnsen and Amy L. Murphy and Jan Vitek},
  year = {2009},
  doi = {10.1016/j.tcs.2008.09.039},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.09.039},
  researchr = {https://researchr.org/publication/BonsangueJMV09},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {410},
  number = {2-3},
  pages = {113},
}

@inproceedings{SewellV00,
  title = {Secure Composition of Untrusted Code: Wrappers and Causality Types},
  author = {Peter Sewell and Jan Vitek},
  year = {2000},
  url = {http://www.computer.org/proceedings/csfw/0671/06710269abs.htm},
  tags = {composition},
  researchr = {https://researchr.org/publication/SewellV00},
  cites = {0},
  citedby = {0},
  pages = {269-284},
  booktitle = {CSFW},
}

@inproceedings{SpringPGV07,
  title = {Reflexes: abstractions for highly responsive systems},
  author = {Jesper Honig Spring and Filip Pizlo and Rachid Guerraoui and Jan Vitek},
  year = {2007},
  doi = {10.1145/1254810.1254837},
  url = {http://doi.acm.org/10.1145/1254810.1254837},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/SpringPGV07},
  cites = {0},
  citedby = {0},
  pages = {191-201},
  booktitle = {Proceedings of the 3rd International Conference on Virtual Execution Environments, VEE 2007, San Diego, California, USA, June 13-15, 2007},
  editor = {Chandra Krintz and Steven Hand and David Tarditi},
  publisher = {ACM},
  isbn = {978-1-59593-630-1},
}

@inproceedings{VitekB99,
  title = {Confined Types},
  author = {Jan Vitek and Boris Bokowski},
  year = {1999},
  doi = {10.1145/320384.320392},
  url = {http://doi.acm.org/10.1145/320384.320392},
  researchr = {https://researchr.org/publication/VitekB99},
  cites = {0},
  citedby = {0},
  pages = {82-96},
  booktitle = {OOPSLA},
}

@inproceedings{VitekH94,
  title = {Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages},
  author = {Jan Vitek and R. Nigel Horspool},
  year = {1994},
  url = {http://link.springer.de/link/service/series/0558/bibs/0821/08210432.htm},
  researchr = {https://researchr.org/publication/VitekH94},
  cites = {0},
  citedby = {0},
  pages = {432-449},
  booktitle = {Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP  94, Bologna, Italy, July 4-8, 1994},
  editor = {Mario Tokoro and Remo Pareschi},
  volume = {821},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58202-9},
}

@inproceedings{AuerbachBGSV08,
  title = {Flexible task graphs: a unified restricted thread programming model for java},
  author = {Joshua S. Auerbach and David F. Bacon and Rachid Guerraoui and Jesper Honig Spring and Jan Vitek},
  year = {2008},
  doi = {10.1145/1375657.1375659},
  url = {http://doi.acm.org/10.1145/1375657.1375659},
  tags = {Java, graph-rewriting, programming, rewriting},
  researchr = {https://researchr.org/publication/AuerbachBGSV08},
  cites = {0},
  citedby = {0},
  pages = {1-11},
  booktitle = {Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 08), Tucson, AZ, USA, June 12-13, 2008},
  editor = {Krisztián Flautner and John Regehr},
  publisher = {ACM},
  isbn = {978-1-60558-104-0},
}

@article{BryceV01,
  title = {The JavaSeal Mobile Agent Kernel},
  author = {Ciarán Bryce and Jan Vitek},
  year = {2001},
  tags = {mobile},
  researchr = {https://researchr.org/publication/BryceV01},
  cites = {0},
  citedby = {0},
  journal = {Autonomous Agents and Multi-Agent Systems},
  volume = {4},
  number = {4},
  pages = {359-384},
}

@inproceedings{HirzelNBV08,
  title = {Matchete: Paths through the Pattern Matching Jungle},
  author = {Martin Hirzel and Nathaniel Nystrom and Bard Bloom and Jan Vitek},
  year = {2008},
  doi = {10.1007/978-3-540-77442-6_11},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_11},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/HirzelNBV08},
  cites = {0},
  citedby = {1},
  pages = {150-166},
  booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008},
  editor = {Paul Hudak and David Scott Warren},
  volume = {4902},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77441-9},
}

@inproceedings{VitekBCKV05,
  title = {Reconsidering complete search algorithms for protein backbone NMR assignment},
  author = {Olga Vitek and Chris Bailey-Kellogg and Bruce Craig and Paul Kuliniewicz and Jan Vitek},
  year = {2005},
  doi = {10.1093/bioinformatics/bti1138},
  url = {http://dx.doi.org/10.1093/bioinformatics/bti1138},
  tags = {completeness, search},
  researchr = {https://researchr.org/publication/VitekBCKV05},
  cites = {0},
  citedby = {0},
  pages = {236},
  booktitle = {ECCB/JBI 05 Proceedings, Fourth European Conference on Computational Biology/Sixth Meeting of the Spanish Bioinformatics Network (Jornadas de BioInformática), Palacio de Congresos, Madrid, Spain, September 28 - October 1, 2005},
}

@inproceedings{VitekJWH04,
  title = {A Semantic Framework for Designer Transactions},
  author = {Jan Vitek and Suresh Jagannathan and Adam Welc and Antony L. Hosking},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2986&spage=249},
  researchr = {https://researchr.org/publication/VitekJWH04},
  cites = {0},
  citedby = {0},
  pages = {249-263},
  booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  editor = {David A. Schmidt},
  volume = {2986},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21313-9},
}

@inproceedings{BakerCFPPVAPH06,
  title = {A Real-time Java Virtual Machine for Avionics - An Experience Report},
  author = {Jason Baker and Antonio Cunei and Chapman Flack and Filip Pizlo and Marek Prochazka and Jan Vitek and Austin Armbruster and Edward Pla and David Holmes},
  year = {2006},
  doi = {10.1109/RTAS.2006.7},
  url = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2006.7},
  tags = {Java},
  researchr = {https://researchr.org/publication/BakerCFPPVAPH06},
  cites = {0},
  citedby = {0},
  pages = {384-396},
  booktitle = {12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2516-4},
}

@article{CastagnaVN05,
  title = {The Seal Calculus},
  author = {Giuseppe Castagna and Jan Vitek and Francesco Zappa Nardelli},
  year = {2005},
  doi = {10.1016/j.ic.2004.11.005},
  url = {http://dx.doi.org/10.1016/j.ic.2004.11.005},
  researchr = {https://researchr.org/publication/CastagnaVN05},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {201},
  number = {1},
  pages = {1-54},
}

@inproceedings{AndreaeCGNVZ06,
  title = {Scoped Types and Aspects for Real-Time Java},
  author = {Chris Andreae and Yvonne Coady and Celina Gibbs and James Noble and Jan Vitek and Tian Zhao},
  year = {2006},
  doi = {10.1007/11785477_7},
  url = {http://dx.doi.org/10.1007/11785477_7},
  tags = {Java},
  researchr = {https://researchr.org/publication/AndreaeCGNVZ06},
  cites = {0},
  citedby = {0},
  pages = {124-147},
  booktitle = {ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings},
  editor = {Dave Thomas},
  volume = {4067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35726-2},
}

@inproceedings{BradleyHV98,
  title = {JAZZ: an efficient compressed format for Java archive files},
  author = {Quetzalcoatl Bradley and R. Nigel Horspool and Jan Vitek},
  year = {1998},
  doi = {10.1145/783160.783167},
  url = {http://doi.acm.org/10.1145/783160.783167},
  tags = {Java},
  researchr = {https://researchr.org/publication/BradleyHV98},
  cites = {0},
  citedby = {0},
  pages = {7},
  booktitle = {Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30 - December 3, 1998, Toronto, Ontario, Canada},
  editor = {Stephen A. MacKay and J. Howard Johnson},
  publisher = {IBM},
}

@article{VitekB01,
  title = {Confined types in Java},
  author = {Jan Vitek and Boris Bokowski},
  year = {2001},
  tags = {Java},
  researchr = {https://researchr.org/publication/VitekB01},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {31},
  number = {6},
  pages = {507-532},
}

@article{MoirSV05,
  title = {Concurrency and synchronization in Java programs},
  author = {Mark Moir and Nir Shavit and Jan Vitek},
  year = {2005},
  doi = {10.1016/j.scico.2005.05.001},
  url = {http://dx.doi.org/10.1016/j.scico.2005.05.001},
  tags = {Java, synchronization},
  researchr = {https://researchr.org/publication/MoirSV05},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {58},
  number = {3},
  pages = {291-292},
}

@inproceedings{BryceOV99,
  title = {A Coordination Model Agents Based on Secure Spaces},
  author = {Ciarán Bryce and Manuel Oriol and Jan Vitek},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1594/15940004.htm},
  tags = {rule-based, agent based modeling},
  researchr = {https://researchr.org/publication/BryceOV99},
  cites = {0},
  citedby = {0},
  pages = {4-20},
  booktitle = {Coordination Languages and Models, Third International Conference, COORDINATION  99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings},
  editor = {Paolo Ciancarini and Alexander L. Wolf},
  volume = {1594},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65836-X},
}

@article{ZhaoBHNV08,
  title = {Implicit ownership types for memory management},
  author = {Tian Zhao and Jason Baker and James Hunt and James Noble and Jan Vitek},
  year = {2008},
  doi = {10.1016/j.scico.2008.04.001},
  url = {http://dx.doi.org/10.1016/j.scico.2008.04.001},
  tags = {memory management},
  researchr = {https://researchr.org/publication/ZhaoBHNV08},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {71},
  number = {3},
  pages = {213-241},
}

@article{PalaczBFGYV05,
  title = {Engineering a common intermediate representation for the Ovm framework},
  author = {Krzysztof Palacz and Jason Baker and Chapman Flack and Christian Grothoff and Hiroshi Yamauchi and Jan Vitek},
  year = {2005},
  doi = {10.1016/j.scico.2004.08.007},
  url = {http://dx.doi.org/10.1016/j.scico.2004.08.007},
  tags = {intermediate representation},
  researchr = {https://researchr.org/publication/PalaczBFGYV05},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {57},
  number = {3},
  pages = {357-378},
}

@article{CarbunarVV01,
  title = {Lime Revisited: Reverse Engineering an Agent Communication Model},
  author = {Bogdan Carbunar and Marco Tulio de Oliveira Valente and Jan Vitek},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/87/27/show/Products/notes/index.htt#003},
  tags = {meta-model, reverse engineering, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/CarbunarVV01},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {54},
  pages = {17-34},
}

@inproceedings{KrallV97,
  title = {On Extending Java},
  author = {Andreas Krall and Jan Vitek},
  year = {1997},
  tags = {Java},
  researchr = {https://researchr.org/publication/KrallV97},
  cites = {0},
  citedby = {0},
  pages = {321-335},
  booktitle = {Modular Programming Languages, Joint Modular Languages Conference, JMLC  97, Linz, Austria, March 19-21, 1997, Proceedings},
  editor = {Hanspeter Mössenböck},
  volume = {1204},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62599-2},
}

@article{SewellV03,
  title = {Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality},
  author = {Peter Sewell and Jan Vitek},
  year = {2003},
  tags = {composition},
  researchr = {https://researchr.org/publication/SewellV03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Security},
  volume = {11},
  number = {2},
  pages = {135-188},
}

@article{HorspoolV93,
  title = {Static Analysis of PostScript Code},
  author = {R. Nigel Horspool and Jan Vitek},
  year = {1993},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/HorspoolV93},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {19},
  number = {2},
  pages = {65-78},
}

@inproceedings{PizloV08,
  title = {Memory Management for Real-Time Java: State of the Art},
  author = {Filip Pizlo and Jan Vitek},
  year = {2008},
  doi = {10.1109/ISORC.2008.40},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2008.40},
  tags = {Java, memory management},
  researchr = {https://researchr.org/publication/PizloV08},
  cites = {0},
  citedby = {0},
  pages = {248-254},
  booktitle = {11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{PalaczV03,
  title = {Java Subtype Tests in Real-Time},
  author = {Krzysztof Palacz and Jan Vitek},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2743&spage=378},
  tags = {Java, testing, subtyping},
  researchr = {https://researchr.org/publication/PalaczV03},
  cites = {0},
  citedby = {0},
  pages = {378-404},
  booktitle = {ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  editor = {Luca Cardelli},
  volume = {2743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40531-3},
}

@article{CiancariniTV98,
  title = {Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface},
  author = {Paolo Ciancarini and Robert Tolksdorf and Jan Vitek},
  year = {1998},
  tags = {web applications},
  researchr = {https://researchr.org/publication/CiancariniTV98},
  cites = {0},
  citedby = {0},
  journal = {World Wide Web},
  volume = {1},
  number = {3},
  pages = {109},
}

@inproceedings{BryceV99,
  title = {The JavaSeal Mobile Agent Kernel},
  author = {Ciarán Bryce and Jan Vitek},
  year = {1999},
  doi = {10.1109/ASAMA.1999.805397},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASAMA.1999.805397},
  tags = {mobile},
  researchr = {https://researchr.org/publication/BryceV99},
  cites = {0},
  citedby = {0},
  pages = {103-117},
  booktitle = {1st International Symposium on Agent Systems and Applications / 3rd International Symposium on Mobile Agents (ASA/MA  99), 3-6 October 1999, Palm Springs, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0340-3},
}

@article{VitekBO03,
  title = {Coordinating processes with secure spaces},
  author = {Jan Vitek and Ciarán Bryce and Manuel Oriol},
  year = {2003},
  doi = {10.1016/S0167-6423(02)00090-4},
  url = {http://dx.doi.org/10.1016/S0167-6423(02)00090-4},
  researchr = {https://researchr.org/publication/VitekBO03},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {46},
  number = {1-2},
  pages = {163-193},
}

@inproceedings{SewellV99,
  title = {Secure Composition of Insecure Components},
  author = {Peter Sewell and Jan Vitek},
  year = {1999},
  url = {http://www.computer.org/proceedings/csfw/0201/02010136abs.htm},
  tags = {composition},
  researchr = {https://researchr.org/publication/SewellV99},
  cites = {0},
  citedby = {0},
  pages = {136-150},
  booktitle = {CSFW},
}

@inproceedings{ChothiaDV03,
  title = {Type-Based Distributed Access Control},
  author = {Tom Chothia and Dominic Duggan and Jan Vitek},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270170abs.htm},
  tags = {rule-based, access control, role-based access control},
  researchr = {https://researchr.org/publication/ChothiaDV03},
  cites = {0},
  citedby = {0},
  pages = {170},
  booktitle = {16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1927-X},
}

@inproceedings{CarbunarIGV04,
  title = {A Secure Crediting Protocol for Hybrid Cellular and Ad-Hoc Networks},
  author = {Bogdan Carbunar and Ioannis Ioannidis and Ananth Grama and Jan Vitek},
  year = {2004},
  tags = {protocol},
  researchr = {https://researchr.org/publication/CarbunarIGV04},
  cites = {0},
  citedby = {0},
  pages = {142-149},
  booktitle = {ICETE 2004, 1st International Conference on E-Business and Telecommunication Networks, Setúbal, Portugal, August 24-28, 2004, Proceedings},
  editor = {João Ascenso and Carlos Belo and Luminita Vasiu and Mónica Saramago and Helder Coelhas},
  publisher = {INSTICC Press},
  isbn = {972-8865-15-5},
}

@article{AndreaeCGNVZ07,
  title = {Scoped types and aspects for real-time Java memory management},
  author = {Chris Andreae and Yvonne Coady and Celina Gibbs and James Noble and Jan Vitek and Tian Zhao},
  year = {2007},
  doi = {10.1007/s11241-007-9024-3},
  url = {http://dx.doi.org/10.1007/s11241-007-9024-3},
  tags = {Java, memory management},
  researchr = {https://researchr.org/publication/AndreaeCGNVZ07},
  cites = {0},
  citedby = {0},
  journal = {Real-Time Systems},
  volume = {37},
  number = {1},
  pages = {1-44},
}

@inproceedings{VitekHK97,
  title = {Efficient Type Inclusion Tests},
  author = {Jan Vitek and R. Nigel Horspool and Andreas Krall},
  year = {1997},
  tags = {testing},
  researchr = {https://researchr.org/publication/VitekHK97},
  cites = {0},
  citedby = {0},
  pages = {142-157},
  booktitle = {OOPSLA},
}

@inproceedings{NobleVLA99,
  title = {Aliasing in Object Oriented Systems},
  author = {James Noble and Jan Vitek and Doug Lea and Paulo Sérgio Almeida},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1743/17430136.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/NobleVLA99},
  cites = {0},
  citedby = {0},
  pages = {136-163},
  booktitle = {Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  editor = {Ana M. D. Moreira and Serge Demeyer},
  volume = {1743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66954-X},
}

@inproceedings{SchoeberlV07,
  title = {Garbage collection for safety critical Java},
  author = {Martin Schoeberl and Jan Vitek},
  year = {2007},
  doi = {10.1145/1288940.1288953},
  url = {http://doi.acm.org/10.1145/1288940.1288953},
  tags = {Java},
  researchr = {https://researchr.org/publication/SchoeberlV07},
  cites = {0},
  citedby = {0},
  pages = {85-93},
  booktitle = {Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria},
  editor = {Gregory Bollella},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
}

@article{CarbunarVV04,
  title = {Coordination and mobility in CoreLime},
  author = {Bogdan Carbunar and Marco Tulio de Oliveira Valente and Jan Vitek},
  year = {2004},
  doi = {10.1017/S0960129504004177},
  url = {http://dx.doi.org/10.1017/S0960129504004177},
  researchr = {https://researchr.org/publication/CarbunarVV04},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {14},
  number = {3},
  pages = {397-419},
}

@inproceedings{DucournauGKMVZ06,
  title = {Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems},
  author = {Roland Ducournau and Etienne Gagnon and Chandra Krintz and Philippe Mulet and Jan Vitek and Olivier Zendra},
  year = {2006},
  doi = {10.1007/978-3-540-71774-4_1},
  url = {http://dx.doi.org/10.1007/978-3-540-71774-4_1},
  tags = {programming languages, optimization, object-oriented programming, subject-oriented programming, program optimization, feature-oriented programming},
  researchr = {https://researchr.org/publication/DucournauGKMVZ06},
  cites = {0},
  citedby = {0},
  pages = {1-14},
  booktitle = {Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
  editor = {Mario Südholt and Charles Consel},
  volume = {4379},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71772-0},
}

@article{ArmbrusterBCFHPPPV07,
  title = {A real-time Java virtual machine with applications in avionics},
  author = {Austin Armbruster and Jason Baker and Antonio Cunei and Chapman Flack and David Holmes and Filip Pizlo and Edward Pla and Marek Prochazka and Jan Vitek},
  year = {2007},
  doi = {10.1145/1324969.1324974},
  url = {http://doi.acm.org/10.1145/1324969.1324974},
  tags = {Java},
  researchr = {https://researchr.org/publication/ArmbrusterBCFHPPPV07},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Embedded Comput. Syst.},
  volume = {7},
  number = {1},
}

@article{CarbunarGVC06,
  title = {Redundancy and coverage detection in sensor networks},
  author = {Bogdan Carbunar and Ananth Grama and Jan Vitek and Octavian Carbunar},
  year = {2006},
  doi = {10.1145/1138131},
  url = {http://doi.acm.org/10.1145/1138131},
  tags = {redundancy, coverage},
  researchr = {https://researchr.org/publication/CarbunarGVC06},
  cites = {0},
  citedby = {0},
  journal = {TOSN},
  volume = {2},
  number = {1},
  pages = {94-128},
}

@inproceedings{CzajkowskiV02,
  title = {Resource Management for Safe Languages},
  author = {Grzegorz Czajkowski and Jan Vitek},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2548/25480001.htm},
  researchr = {https://researchr.org/publication/CzajkowskiV02},
  cites = {0},
  citedby = {0},
  pages = {1-14},
  booktitle = {Object-Oriented Technology, ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10-14, 2002, Proceedings},
  editor = {Juan Hernández Núñez and Ana M. D. Moreira},
  volume = {2548},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00233-2},
}

@inproceedings{GrothoffPV01,
  title = {Encapsulating Objects with Confined Types},
  author = {Christian Grothoff and Jens Palsberg and Jan Vitek},
  year = {2001},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/GrothoffPV01},
  cites = {0},
  citedby = {0},
  pages = {241-253},
  booktitle = {OOPSLA},
}

@inproceedings{NobleVP98,
  title = {Flexible Alias Protection},
  author = {James Noble and Jan Vitek and John Potter},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450158.htm},
  researchr = {https://researchr.org/publication/NobleVP98},
  cites = {0},
  citedby = {0},
  pages = {158-185},
  booktitle = {ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Eric Jul},
  volume = {1445},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64737-6},
}

@inproceedings{MansonVJ06,
  title = {Dynamic aspects for runtime fault determination and recovery},
  author = {Jeremy Manson and Jan Vitek and Suresh Jagannathan},
  year = {2006},
  doi = {10.1109/IPDPS.2006.1639576},
  url = {http://dx.doi.org/10.1109/IPDPS.2006.1639576},
  researchr = {https://researchr.org/publication/MansonVJ06},
  cites = {0},
  citedby = {0},
  booktitle = {20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher = {IEEE},
}

@inproceedings{PizloV06,
  title = {An Emprical Evaluation of Memory Management Alternatives for Real-Time Java},
  author = {Filip Pizlo and Jan Vitek},
  year = {2006},
  doi = {10.1109/RTSS.2006.9},
  url = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2006.9},
  tags = {Java, memory management},
  researchr = {https://researchr.org/publication/PizloV06},
  cites = {0},
  citedby = {0},
  pages = {35-46},
  booktitle = {Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 5-8 December 2006, Rio de Janeiro, Brazil},
  publisher = {IEEE Computer Society},
}

@inproceedings{YamauchiV06,
  title = {Combining Offline and Online Optimizations: Register Allocation and Method Inlining},
  author = {Hiroshi Yamauchi and Jan Vitek},
  year = {2006},
  doi = {10.1007/11924661_19},
  url = {http://dx.doi.org/10.1007/11924661_19},
  tags = {optimization},
  researchr = {https://researchr.org/publication/YamauchiV06},
  cites = {0},
  citedby = {0},
  pages = {307-322},
  booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings},
  editor = {Naoki Kobayashi},
  volume = {4279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48937-1},
}

@inproceedings{DriesenHV95,
  title = {Message Dispatch on Pipelined Processors},
  author = {Karel Driesen and Urs Hölzle and Jan Vitek},
  year = {1995},
  url = {http://link.springer.de/link/service/series/0558/bibs/0952/09520253.htm},
  researchr = {https://researchr.org/publication/DriesenHV95},
  cites = {0},
  citedby = {0},
  pages = {253-282},
  booktitle = {ECOOP 95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings},
  editor = {Walter G. Olthoff},
  volume = {952},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60160-0},
}

@inproceedings{VitekC98,
  title = {Seal: A Framework for Secure Mobile Computations},
  author = {Jan Vitek and Giuseppe Castagna},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1686/16860047.htm},
  tags = {mobile},
  researchr = {https://researchr.org/publication/VitekC98},
  cites = {0},
  citedby = {0},
  pages = {47-77},
  booktitle = {Internet Programming Languages, ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings},
  editor = {Henri E. Bal and Boumediene Belkhouche and Luca Cardelli},
  volume = {1686},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66673-7},
}
@proceedings{ecoop:2008,
  title = {ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings},
  year = {2008},
  tags = {object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/ecoop%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings},
  conference = {ECOOP},
  editor = {Jan Vitek},
  volume = {5142},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70591-8},
}

@proceedings{coordination:2007,
  title = {Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
  year = {2007},
  tags = {modeling language, modeling, language modeling},
  researchr = {https://researchr.org/publication/coordination%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
  conference = {coordination},
  editor = {Amy L. Murphy and Jan Vitek},
  volume = {4467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72793-4},
}

@proceedings{ecoopw:1999secure,
  title = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects},
  year = {1999},
  tags = {object-oriented programming, security, programming, subject-oriented programming, mobile, feature-oriented programming},
  researchr = {https://researchr.org/publication/ecoopw%3A1999secure},
  cites = {0},
  citedby = {0},
  booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects},
  conference = {ECOOPW},
  editor = {Jan Vitek and Christian Damsgaard Jensen},
  volume = {1603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66130-1},
}

@proceedings{vee:2005,
  title = {Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005},
  year = {2005},
  tags = {Meta-Environment},
  researchr = {https://researchr.org/publication/vee%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005},
  conference = {vee},
  editor = {Michael Hind and Jan Vitek},
  publisher = {ACM},
  isbn = {1-59593-047-7},
}

@proceedings{mos:1996,
  title = {Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS 96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers},
  year = {1997},
  tags = {object-oriented programming, subject-oriented programming, mobile, feature-oriented programming},
  researchr = {https://researchr.org/publication/mos%3A1996},
  cites = {0},
  citedby = {0},
  booktitle = {Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS 96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers},
  editor = {Jan Vitek and Christian F. Tschudin},
  volume = {1222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62852-5},
}