• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Edited books (1):

• Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong-Chun Lee, Daeyoung Kim, Young-Sik Jeong (Eds.), Emerging Directions in Embedded and Ubiquitous Computing: EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings, Lecture Notes in Computer Science 4097, Springer-Verlag, 2006.

Edited proceedings (1):

• Tomoya Enokido, Lu Yan, Bin Xiao, Daeyoung Kim, Yuanshun Dai, Laurence T. Yang (Eds.), Embedded and Ubiquitous Computing: EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings, Lecture Notes in Computer Science 3823, Springer Berlin / Heidelberg, 2005.

Articles in journals (6):

• Mats Neovius, Fredrik Degerlund, Lu Yan, Forming a Context-Sensitive Web of Trust by Relying on Sentimentally Like-Minded. International Journal of Pervasive Computing and Communications 4(1), 92–109, 2008.
• Fei Xue, Da-Zhong Zheng, Lu Yan, Fault Diagnosis of Distributed Discrete Event Systems Using OBDD. Informatica 16(3), 431–448, 2005.
• Lu Yan, Enable Pervasive Computing with Java. IEEE Distributed Systems Online 6(6), 2005.
• Lu Yan, Review of "Secure Systems Development with UML". Parallel and Distributed Computing Practices 6(1), 2004.
• Lu Yan, MIN: Middleware for Network-Centric Ubiquitous Systems. IEEE Pervasive Computing 3(3), 2004.
• Lu Yan, Kaisa Sere, Xinrong Zhou, Peer-to-Peer Networking with Firewalls. WSEAS Transactions on Computers 2, 566 - 571, 2003.

Articles in proceedings (19):

• Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy, A Formal Model of Context-Awareness and Context-Dependency. In: Van Hung Dang, Pandya Paritosh (Eds.), Proceedings of the fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006., 177 - 185, IEEE Computer Society Press, 2006.
• Mats Neovius, Lu Yan, A Design Framework for Wireless Sensor Networks . In: Khaldoun Al Agha (Ed.), Ad-Hoc Networking: IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25, 2006, Santiago, Chile , IFIP International Federation for Information Processing 212, 119 – 127, Springer, 2006.
• Kaisa Sere, Lu Yan, Mats Neovius, Dependability Challenge in Ubiquitous Computing. In: Proceedings of the International Workshop on Software Engineering Challenges for Ubiquitous Computing (SEUC 2006), June 1-2, 2006 - Lancaster, UK, 2006.
• Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere, On-chip Debug for an Asynchronous Java Accelerator. In: Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), IEEE Computer Society Press, 2005.
• Lu Yan, Performance Modeling of Mobile P2P Systems. In: Proceedings of the 3rd International Conference on Networking and Mobile Computing (ICCNMC 2005), Zhangjiajie, China, August 2-4, 2005, Lecture Notes in Computer Science 3619, Springer-Verlag, 2005.
• Lu Yan, Can P2P Benefit from MANET? Performance Evaluation from Users' Perspective. In: Xiaohua; Wu Jie; He Yanxiang Jia (Ed.), Proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks (MSN 2005), Wuhan, China, December 13-15, 2005, Lecture Notes in Computer Science 3794, Springer-Verlag, 2005.
• Lu Yan, Formal Verification of a Ubiquitous Hardware Component. In: Z.; Guo M.; Chen C.; Bu J. Wu (Ed.), Proceedings of the First International Conference on Embedded Software and System (ICESS 2004), Hangzhou, China, December 9-10, 2004, Lecture Notes in Computer Science 3605, Springer-Verlag, 2005.
• Lu Yan, Zheng Liang, Reconfigurable Computing in Ubiquitous Computers: A Roadmap. In: Proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), IEEE Computer Society, 2005.
• Lu Yan, Via Firewalls. In: Proceedings of Grid and Cooperative Computing - GCC 2004, Lecture Notes in Computer Science, Springer, 2004.
• Lu Yan, Moises Ferrer Serra, Guangcheng Niu, Xinrong Zhou, Kaisa Sere, SkyMin: A Massive Peer-to-Peer Storage System. In: Proceedings of Grid and Cooperative Computing - GCC 2004, Lecture Notes in Computer Science, Springer, 2004.
• Lu Yan, Zheng Liang, Accelerating Java for Ubiquitous Devices. In: Proceedings of the Fourth International Conference on Computer and Information Technology (CIT 04), IEEE Computer Society Press, 2004.
• Lu Yan, Jincheng Ni, Building a Formal Framework for Mobile Ad Hoc Computing. In: Proceedings of the International Conference on Computational Science (ICCS 2004), Lecture Notes in Computer Science (LNCS) 3036, Springer-Verlag, 2004.
• Lu Yan, Kaisa Sere, A Formalism for Context-Aware Mobile Computing. In: Proceedings of the ISPDC/HeteroPar 2004, IEEE Computer Society Press, 2004.
• Lu Yan, Kaisa Sere, Nayyar Iqbal, Building Reliable Peer-to-Peer Systems with Formal Methods. In: Supplement of the International Conference on Dependable Systems and Networks (DSN 2004), 2004.
• Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang, Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications. In: Proceedings of the 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), IEEE Computer Society Press, 2004.
• Lu Yan, Fei Xue, A Performance Model For Peer-to-Peer Downloading. In: Proceedings of the International Conference on Pervasive Computing and Communications (PCC 2004), CSREA Press, 2004.
• Lu Yan, Jincheng Ni, Kaisa Sere, Towards a Systematic Design for Ad hoc Network Applications. In: Proceedings of the 15th Nordic Workshop on Programming Theory, Ser. B, 2003.
• Lu Yan, Kaisa Sere, Stepwise Development of Peer-to-Peer Systems. In: Proceedings of the 6th International Workshop in Formal Methods (IWFM'03), British Computer Society (BCS), 2003.
• Lu Yan, Kaisa Sere, Developing Peer-to-Peer Systems with Formal and Informal Methods. In: Proceedings of RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, 2003.

Chapters in edited books (2):

• Lu Yan, Mats Neovius, Context Awareness: A Formal Foundation. In: Yang Laurance T., Waluyo Agustinus Borgy, Ma Jianhua, Tan Ling, Srinivasan Bala (Eds.), Mobile Intelligence, 279 – 293, John Wiley & Sons, 2010.
• Lu Yan, Mobile File-Sharing over P2P Networks. In: Encyclopedia of Mobile Computing and Commerce, Idea Group Reference, 2006.

Ph.D. thesis (1):

• Lu Yan, Systematic Design of Ubiquitous Systems. TUCS Dissertations 70. Turku Centre for Computer Science, 2005.

Technical reports (4):

• Lu Yan, Performance Evaluation and Modeling of Peer-to-Peer Systems over Mobile Ad hoc Networks. TUCS Technical Reports 678, Turku Centre for Computer Science, 2005.
• Lu Yan, Formal Verification of a Ubiquitous Hardware Component. TUCS Technical Reports 637, Turku Centre for Computer Science, 2004.
• Lu Yan, Kaisa Sere, Stepwise Development of Peer-to-Peer Systems. TUCS Technical Reports 522, Turku Centre for Computer Science, 2003.
• Lu Yan, Kaisa Sere, Xinrong Zhou, Peer-to-Peer Networking with Firewalls. TUCS Technical Reports 554, Turku Centre for Computer Science, 2003.