08 Faculty of Science > Institute of Computer Science (INF)

Up a level
Export as [feed] RSS
Group by: Date | UniBE Contributor | Item Type | Refereed | No Grouping
Jump to: No | Yes
Number of items at this level: 722.

No

Gomes Duarte, João do Monte; Braun, Torsten; Villas, Leandro (November 2017). Addressing the Effects of Low Vehicle Densities in Highly Mobile Vehicular Named-Data Networks (Submitted). In: The 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. Miami, USA. 21.-25.11.2017.

Zhao, Zhongliang; Kuendig, Stephane; Carrera Villacrés, José Luis; Carron, Blaise; Braun, Torsten; Rolim, Jose (October 2017). Indoor Location for Smart Environments with Wireless Sensor and Actuator Networks (Submitted). In: The 42nd IEEE Conference on Local Computer Networks (LCN'17). Singapore. 09.-12.10.2017.

Gomes Duarte, João do Monte; Braun, Torsten; Villas, Leandro (September 2017). Source Mobility in Vehicular Named-Data Networking: An Overview (Submitted). In: 9th EAI International Conference on Ad Hoc Networks. Niagara Falls, Canada. 28.-29.09.2017.

Saltarin de Arco, Jonnahtan Eduardo; Braun, Torsten; Bourtsoulatze, Eirina; Thomos, Nikolaos (June 2017). A Popularity-based Caching Policy for Network Coding enabled Named Data Networks (Unpublished)

Braun, Torsten; Du, Pengyuan; Gerla, Mario (28 March 2017). Integration of Multipath TCP and Network Coding for Satellite Networks (Submitted)

Gomes Duarte, João do Monte; Braun, Torsten; Villas, Leandro (March 2017). Receiver Mobility in Vehicular Named Data Networking (In Press). In: ACM SIGCOMM 2017 Workshop on Mobility in the Evolving Internet Architecture (MobiArch’2017) - Proceedings. ACM

Zhao, Zhongliang; Braun, Torsten (2017). Mobile Cloud Networking: Future Communication Architecture for Mobile Cloud. In: Network as a Service for Next Generation Internet. Institution of Engineering and Technology (IET) 10.1049/PBTE073E_ch8

Saltarin de Arco, Jonnahtan Eduardo; Bourtsoulatze, Eirina; Thomos, Nikolaos; Braun, Torsten (2017). Adaptive Video Streaming with Network Coding Enabled Named Data Networking (Submitted). IEEE transactions on multimedia Institute of Electrical and Electronics Engineers

Bourtsoulatze, Eirina; Thomos, Nikolaos; Saltarin de Arco, Jonnahtan Eduardo; Braun, Torsten (2017). Content-Aware Delivery of Scalable Video in Network Coding Enabled Named Data Networks (Submitted). IEEE transactions on multimedia Institute of Electrical and Electronics Engineers

Zhao, Zhongliang; Schiller, Eryk Jerzy; Kalogeiton, Eirini; Braun, Torsten; Burkhard, Stiller; Turker Garip, Mevlut; Joy, Joshua; Gerla, Mario; Akhtar, Nabeel; Matta, Ibrahim (2017). Autonomic Communications in Software-Driven Networks Autonomic Communications in Software-Driven Networks (Submitted). IEEE Journal on Selected Areas in Communications IEEE

Kurs, Jan; Lungu, Mircea; Nierstrasz, Oscar Marius; Steinmann, Thomas (2016). Polite Smalltalk - An Implementation. [Software & Other Digital Items] 10.5281/zenodo.61578

Saltarin de Arco, Jonnahtan Eduardo; Bourtsoulatze, Eirina; Thomos, Nikolaos; Braun, Torsten (2016). Live Video Streaming over Network Coding enabled Content-Centric Networks University of Bern

Bertholet, Peter-Immanuel; Zwicker, Matthias (2016). Temporally Consistent Motion Segmentation from RGB-D Video Cornell University Library

Dhillon, Daljit Singh Joginder Singh; Zwicker, Matthias (2016). Bifurcation Analysis of Reaction Diffusion Systems on Arbitrary Surfaces arXiv

Marandi, Sayed Ali; Braun, Torsten; Salamatian, Kave; Thomos, Nikolaos (2016). A Push-based Content Advertisement Approach for Information-Centric Networks University of Bern

Goble, Carole; Howison, James; Kirchner, Claude; Nierstrasz, Oscar Marius; Vinju, Jurgen J. (2016). Engineering Academic Software (Dagstuhl Perspectives Workshop 16252) (Dagstuhl reports 6). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 10.4230/DagRep.6.6.62

Li, Zan; Burbano Acuña, Danilo; Zhao, Zhongliang; Carrera Villacrés, José Luis; Braun, Torsten (2015). Fine-grained Indoor Tracking by Fusing Inertial Sensor and Physical Layer Information in WLANs (Technischer Bericht 15-004). Bern, Switzerland: INF - Institut fur Informatik, Universitat Bern

Li, Zan; Braun, Torsten (2015). Passively Track WiFi Users with an Enhanced Particle Filter using Power-based Ranging (Technischer Bericht IAM-15-005). Bern, Switzerland: INF - Institut fur Informatik, Universitat Bern

Bourtsoulatze, Eirina; Thomos, Nikolaos; Saltarin de Arco, Jonnahtan Eduardo; Braun, Torsten (2015). Content-Aware Delivery of Scalable Video in Network Coding Enabled Named Data Networks (Technischer Bericht 15-003). Bern, Switzerland: Institut für Informatik, Universität Bern

Anastasiades, Carlos; Nobre Gomes, André Sérgio; Gadow, R.; Braun, Torsten (2015). Persistent Caching in Information-Centric Networking (Technischer Bericht IAM-15-001). Bern, Switzerland: Institut fur Informatik, Universität Bern

Braun, Torsten; Hurni, Philipp; Bernardo, Vitor; Pascoal Curado, Marilia (April 2015). Invited Abstract: Issues with State-based Energy Consumption Modelling. In: Proceedings of the “OMNeT++ Community Summit 2015”. Zurich, Switzerland. 03.-04.09.2015.

Alyafawi, Islam Fayez Abd; Schiller, Eryk Jerzy; Braun, Torsten; Dimitrova, Desislava Cvetanova; Nobre Gomes, André Sérgio; Nikaein, Navid (2014). Critical Issues of Centralized and Cloudified LTE FDD Radio Access Networks (Technical Report IAM-14-002). Bern, Switzerland: Institut für Informatik und angewandte Mathematik, Universität Bern

Caracciolo, Andrea; Lungu, Mircea; Nierstrasz, Oscar (2014). Dicto: Keeping Software Architecture Under Control. ERCIM news, 99 European Research Consortium for Informatics and Mathematics

Lapin, A.; Schiller, Eryk Jerzy (October 2014). Integrated Cloud-based Computational Services. Fortschritt-Berichte VDI (Verein Deutscher Ingenieure)(835).

Mercier, Huges; Braun, Torsten; Felber, Pascal; Kropf, Peter; Kuonen, Pierre (2014). 2014 Doctoral Workshop on Distributed Systems Bern, Switzerland: Institut für Informatik und angewandte Mathematik

Nierstrasz, Oscar; Cassou, Damien; Ducasse, Stéphane; Laval, Jannik (2013). Regular Expressions in Pharo. In: Deep Into Pharo (pp. 77-97). Square Bracket Associates

Nierstrasz, Oscar Marius; Bergel, Alexandre; Cassou, Damien; Ducasse, Stéphane; Laval, Jannik (2013). Versioning Your Code with Monticello. In: Deep Into Pharo (pp. 101-127). Square Bracket Associates

Kurs, Jan; Larcheveque, Guillaume; Renggli, Lukas; Bergel, Alexandre; Cassou, Damien; Ducasse, Stéphane; Laval, Jannik (2013). PetitParser: Building Modular Parsers. In: Deep Into Pharo (pp. 375-410). Square Bracket Associates

Mercier, Hugues; Braun, Torsten; Felber, Pascal; Kropf, Peter; Kuonen, Pierre (2013). 2013 Doctoral Workshop on Distributed Systems (Technical Report IAM-13-002). Bern: Institut für Informatik und angewandte Mathematik

Rosário, Denis; Zhao, Zhongliang; Cerqueira, Eduardo; Braun, Torsten; Santos, Aldri (2013). A Link Quality and Geographical-aware Routing Protocol for Video Transmission in Mobile IoT (Technical Report IAM-13-001). Bern: Universität Bern, Institut fur Informatik und angewandte Mathematik

Antonescu, Alexandru-Florian; Robinson, Philip; Braun, Torsten (2012). SLA-Driven Dynamic Orchestration and Composition for Distributed Cloud-Based Services. In: 7th Workshop (Fachgespräch) on Cloud-based Service Platforms for the Future Internet, Winterthur, Switzerland. KuVS Fachgespräch NGSDP

Jamakovic, Almerima; Anwander, Markus; Braun, Torsten; Kropf, Peter; Schiller, Eryk; Schwanbeck, Jan; Staub, Thomas (2012). A4-Mesh: Connecting Remote Sites. SWITCH-Journal, pp. 15-17. Bern: Redaktion SWITCH, Schweiz. Hochschulkonferenz

Lungu, Mircea; Nierstrasz, Oscar (2012). Recovering Software Architecture with Softwarenaut. ERCIM news, 88, pp. 14-15. Sophia-Antipolis (F): European Research Consortium for Informatics and Mathematics

Nierstrasz, Oscar; Lungu, Mircea (2012). Agile software assessment. In: Proceedings on 20th International Conference on Porgram Comprehension ICPC (pp. 3-10). Washington, DC: IEEE Computer Society 10.1109/ICPC.2012.6240507

Nierstrasz, Oscar (2012). Agile software assessment with Moose. ACM SIGSOFT Software engineering notes, 37(3), pp. 1-5. New York, N.Y.: ACM SIGSOFT 10.1145/180921.2180925

Nierstrasz, Oscar (2010). Ten Things I Hate About Object-Oriented Programming. Journal of Object Technology, 9(5) Zürich: AITO 10.5381/jot.2010.9.5.e1

Ducasse, Stéphane; Renggli, Lukas; Shaffer, C. David; Zaccone, Rick; Davies, Michael (2010). Dynamic Web Development with Seaside. ohne Ort: Square Bracket Associates

Black, Andrew; Ducasse, Stéphane; Nierstrasz, Oscar; Pollet, Damien; Cassou, Damien; Denker, Marcus (2009). Pharo by Example. ohne Ort: Square Bracket Associates

Koucheryavy, Y.; Giambene, G.; Staehle, D.; Barcelo-Arroyo, F.; Braun, Torsten; Siris, V. (2009). Traffic and QoS Management in Wireless Multimedia Networks. Lecture Notes in Electrical Engineering: Vol. 31. Heidelberg: Springer Verlag 10.1007/978-0-387-85573-8

Vasa, Rajesh; Schneider, Jean-Guy; Nierstrasz, Oscar; Woodward, Clint (eds.) (2008). Proceedings of the Third International ERCIM Symposium on Software Evolution (Software Evolution 2007), On the Resilience of Classes to Change. Electronic Communications of the EASST: Vol. 8. Potsdam: European Association of Software Science and Technology

Haenni, Rolf (2008). Editorial. Reasoner, 2(11), pp. 1-2. Canterbury: Centre for Reasoning, University of Kent

Haenni, Rolf (2008). Interview with Jürg Kohlas [Interview]. Reasoner, 2(1), pp. 2-4. Canterbury: Centre for Reasoning, University of Kent

Haenni, Rolf (2008). Editorial. Reasoner, 2(1), pp. 1-2. Canterbury: Centre for Reasoning, University of Kent

Haenni, Rolf (2008). Interview with Arthur P. Dempster [Interview]. Reasoner, 2(11), 2--4. Canterbury: Centre for Reasoning, University of Kent

Demeyer, Serge; Ducasse, Stéphane; Nierstrasz, Oscar (2008). Object-Oriented Reengineering Patterns. ohne Ort: Square Bracket Associates

Braun, Torsten (2008). Entstehung und Funktionsweise des Internets. In: Myrach, Thomas; Zwahlen, Sara Margarita (eds.) Virtuelle Welten? Die Realität des Internets. Berner Kulturhistorische Vorlesungen: Vol. 106 (pp. 15-28). Bern, Frankfurt a.M.: Lang

Kandel, Abraham; Bunke, Horst; Last, Mark (eds.) (2007). Applied Graph Theory in Computer Vision and Pattern Recognition. Studies in Computational Intelligence: Vol. 52. Heidelberg: Springer Verlag 10.1007/978-3-540-68020-8

Zaidman, Andy; Hamou-Lhadj, Abdelwahab; Greevy, Orla (eds.) (2007). PCODA 2007. 3rd International Workshop on Program Comprehension through Dynamic Analysis co-located with the 14th International Working Conference on Reverse Engineering (WCRE 07). Delft: Delft University of Technology

Sen, Arun; Braun, Torsten (eds.) (2007). Proceedings of the DIALM-POMC International Workshop on Foundations of Mobile Computing, Portland, Oregon, August 16, 2007. New York: Association for Computing Machinery ACM

Braun, Torsten; Carle, Georg; Stiller, Burkhard (eds.) (2007). Kommunikation in Verteilten Systemen (KiVS). 15. Fachtagung Kommunikation in Verteilten Systemen (KiVS 2007) Bern, Schweiz, 26. Februar 2. März 2007. Informatik aktuell. Heidelberg: Springer Verlag 10.1007/978-3-540-69962-0

Wulff, Markus; Braun, Torsten (2007). OSLab: An Interactive Operating System Laboratory. ERCIM news(71), pp. 46-47. European Research Consortium for Informatics and Mathematics

Yes

Luceri, Luca; Vancheri, Alberto; Braun, Torsten; Giordano, Silvia (December 2017). On the Social Influence in Human Behavior: Physical, Homophily, and Social Communities (Submitted). In: IEEE GLOBECOM 2017. Singapore. 04.-08.12.2017.

Katsalis, Kostas; Nikaein, Navid; Schiller, Eryk Jerzy; Ksentini, Adlen; Braun, Torsten (2017). Network Slices Towards 5G Communications: Slicing the LTE Network (In Press). IEEE Communications Magazine, 55(8) IEEE Communications Society

Gasparyan, Mikael; Corsini, Guillaume; Braun, Torsten; Schiller, Eryk Jerzy; Saltarin de Arco, Jonnahtan Eduardo (June 2017). Session Support for SCN (In Press). In: IFIP Networking 2017 Conference and Workshops: IFIP/TC6 Networking Workshop on Computing Networks. IFIP

Marandi, Sayed Ali; Braun, Torsten; Salamatian, Kave; Thomos, Nikolaos (June 2017). BFR: a Bloom filter-based routing approach for information-centric networks (In Press). In: IFIP Networking 2017. IFIP

Kalogeiton, Eirini; Kolonko, Thomas; Braun, Torsten (June 2017). A Multihop and Multipath Routing Protocol Using NDN for VANETs (In Press). In: 16th Annual Mediterranean Ad Hoc Networking Workshop (MED-HOC-NET'17). Budva, Montenegro. 28.-30.06.2017.

Kalogeiton, Eirini; Zhao, Zhongliang; Braun, Torsten (June 2017). Is SDN the Solution for NDN-VANETs? (In Press). In: 16th Annual Mediterranean Ad Hoc Networking Workshop (MED-HOC-NET'17). Budva, Montenegro. 28.-30.06.2017.

Zhao, Zhongliang; Karimzadeh, Morteza; Braun, Torsten; Pras, Aiko; Berg, Hans (May 2017). Cloudified Mobility and Bandwidth Prediction in Virtualized LTE Networks (In Press). In: IEEE/IFIP International Symposium on Integrated Network Management (IM 2017). IEEE

Carrera Villacrés, José Luis; Zhao, Zhongliang; Braun, Torsten; Neto, Augusto (2017). A Real-time Indoor Tracking System in Smartphones (Submitted). Computer communications Elsevier

Schiller, Eryk Jerzy; Kalogeiton, Eirini; Braun, Torsten; Nobre Gomes, André Sérgio; Nikaein, Navid (2017). ICN/DTN for Public Safety in Mobile Networks (In Press). In: Camara, Daniel; Nikaein, Navid (eds.) Wireless Public Safety Networks 3. Applications and Uses. London: ISTE Press - Elsevier

Zhao, Zhongliang; Karimzadeh Motallebiazar, Mostafa; Braun, Torsten (2017). Next Place Prediction with Hybrid Features using Ensemble Learning (Submitted). Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies ACM

Gomes Duarte, João do Monte; Kalogeiton, Eirini; Soua, Ridha; Manzo, Gaetano; Palattella, Maria Rita; Di Maio, Antonio; Braun, Torsten; Engel, Thomas; Villas, Leandro A.; Rizzo, Gianluca A. (2017). A multi-pronged approach to adaptive and context aware content dissemination in VANETs. Mobile Networks and Applications journal Springer 10.1007/s11036-017-0816-y

Gasparyan, Mikael; Braun, Torsten; Schiller, Eryk Jerzy (2017). L-SCN: layered SCN architecture with Supernodes and Bloom Filters. In: The 14th Annual IEEE Consumer Communications & Networking Conference (CCNC). IEEE

Chandramouli, Paramanand; Noroozi, Mehdi; Favaro, Paolo (2017). ConvNet-based Depth Estimation, Reflection Separation and Deblurring of Plenoptic Images. In: Lai, SH.; Lepetit, V.; Nishino, K.; Sato, Y. (eds.) Asian Conference on Computer Vision. ACCV 2016. Taipei, Taiwan. 20.-24.11.2016. 10.1007/978-3-319-54187-7_9

Kurtz, Wolfgang; Lapin, Andrei; Schilling, Oliver S.; Tang, Qi; Schiller, Eryk Jerzy; Braun, Torsten; Hunkeler, Daniel; Vereecken, Harry; Sudicky, Edward; Kropf, Peter; Franssen, Harrie-Jan Hendricks; Brunner, Philip (2017). Integrating hydrological modelling, data assimilation and cloud computing for real-time management of water resources. Environmental modelling & software, 93, pp. 418-435. Elsevier 10.1016/j.envsoft.2017.03.011

Luceri, Luca (December 2016). Infer mobility patterns and social dynamics for modelling human behaviour. In: IEEE International Conference on Data Mining (ICDM) 2016. Barcelona, Spain. 12-15.12.2016.

Arjomand, Siavash; Budweiser, Gregor; Zwicker, Matthias (2016). Temporally coherent disparity maps using CRFs with fast 4D filtering. IPSJ Transactions on Computer Vision and Applications, 8(1) Springer 10.1186/s41074-016-0011-2

Spasojevic, Boris (2016). Developing Ecosystem-aware Tools. (Dissertation, Universität Bern, Philosophisch-naturwissenschaftliche Fakultät)

Sousa, Bruno; Zhao, Zhongliang; Karimzadeh, Morteza; Palma, David; Fonseca, Vitor; Simoes, Paulo; Braun, Torsten; van den Berg, Hans; Pras, Aiko; Cordeiro, Luis (November 2016). Enabling a Mobility Prediction-aware Follow-Me Cloud. In: IEEE Conference on Local Computer Networks LCN'16. Dubai, UAE. 07.-10.11.2016. 10.1109/LCN.2016.77

Carrera Villacrés, José Luis; Li, Zan; Zhao, Zhongliang; Braun, Torsten; Neto, Augusto (November 2016). A Real-time Indoor Tracking System in Smartphones. In: ACM MSWiM'16 (pp. 292-301). ACM 10.1145/2988287.2989142

Aad, Imad Rafic; Braun, Torsten; Mansour, Dima (November 2016). Authentication and Trust in Service-Centric Networking. In: 41st Annual IEEE Conference on Local Computer Networks (LCN 2016). Dubai, United Arab Emirates (UAE). 07.-10.11.2016. 10.1109/LCN.2016.93

Manzi, Marco; Kettunen, Markus; Durand, Frédo; Zwicker, Matthias; Lehtinen, Jaakko (2016). Temporal gradient-domain path tracing. ACM transactions on graphics, 35(6), p. 246. Association for Computing Machinery 10.1145/2980179.2980256

Carrera Villacrés, José Luis; Zhao, Zhongliang; Braun, Torsten; Li, Zan (October 2016). A Real-time Indoor Tracking System by Fusing, Inertial Sensor, Radio Signal and Floor Plan. In: 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN) (pp. 1-8). IEEE 10.1109/IPIN.2016.7743701

Allen, Alice; Aragon, Cecilia; Becker, Christoph; Carver, Jeffrey; Chis, Vasile-Andrei; Combemale, Benoit; Croucher, Mike; Crowston, Kevin; Garijo, Daniel; Gehani, Ashish; Goble, Carole; Haines, Robert; Hirschfeld, Robert; Howison, James; Huff, Kathryn; Jay, Caroline; Katz, Daniel S.; Kirchner, Claude; Kuksenok, Kateryna; Lämmel, Ralf; ... (12 September 2016). Lightning Talk: "I solemnly pledge": A Manifesto for Personal Responsibility in the Engineering of Academic Software. In: Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4): Vol. 1686. CEUR

Tornatore, Massimo; Andre, Joao; Babarczi, Peter; Braun, Torsten; Følstad, Eirik; Heegaard, Poul; Hmaity, Ali; Furdek, Marija; Jorge, Luisa; Kmiecik, Wojciech; Mas Machuca, Carmen; Martins, Lucia; Medeiros, Carmo; Musumeci, Francesco; Pasi, Alija; Rakk, Jacek; Simpson, Steven; Travanca, Rui; Voyiatzis, Artemios (September 2016). A Survey on Network Resiliency Methodologies against Weather-based Disruptions. In: 8th International Workshop on Resilient Networks Design and Modeling (RNDM 2016). Halmstad, Sweden. 13.-15.09.2016. 10.1109/RNDM.2016.7608264

Soua, Ridha; Kalogeiton, Eirini; Gaetano, Manzo; Gomes Duarte, João do Monte; Palattella, Maria Rita; Maio, Antonio; Braun, Torsten; Engel, Thomas; Villas, Leandro; Rizzo, Gianluca (September 2016). SDN Coordination for CCN and FC Content Dissemination in VANETs. In: Zhou, Yifeng; Kunz, Thomas (eds.) 7th International Conference on Ad Hoc Networks (AdHocNets 2016). Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering: Vol. 184 (pp. 221-233). Springer 10.1007/978-3-319-51204-4_18

Jäger, Gerhard (2016). Relativizing operational set theory. The Bulletin of Symbolic Logic, 22(03), pp. 332-352. Cambridge University Press 10.1017/bsl.2016.11

Sousa, B.; Cordeiro, L.; Simoes, P.; Edmonds, A.; Ruiz, S.; Carella, G.; Corici, M.; Nikaein, N.; Nobre Gomes, André Sérgio; Schiller, Eryk Jerzy; Braun, Torsten; Bohnert, T. M. (2016). Towards a Fully Cloudified Mobile Network Infrastructure. IEEE Transactions on Network and Service Management, PP(99), p. 1. IEEE 10.1109/TNSM.2016.2598354

Kokkinis, Ioannis; Studer, Thomas (2016). Cyclic Proofs for Linear Temporal Logic. In: Probst, Dieter; Schuster, Peter (eds.) Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic: Vol. 6 (pp. 171-192). De Gruyter 10.1515/9781501502620-011

Corrodi, Claudio (July 2016). Towards Efficient Object-Centric Debugging with Declarative Breakpoints. In: Extended Abstracts of the Ninth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2016). Bergen, Norway.

Osman, Haidar (July 2016). Against the Mainstream in Bug Prediction. In: Proceedings of the Seminar Series on Advanced Techniques and Tools for Software Evolution SATToSE2016. Bergen, Norway. 11.-13.07.2016.

Spasojevic, Boris (July 2016). Building Ecosystem-Aware Tools Using the Ecosystem Monitoring Framework. In: Lungu, Mircea; Bagge, Anya Helene; Osman, Haidar (eds.) SATToSE 2016 Seminar on Advanced Techniques and Tools for Software Evolution. Bergen, Norway. 11.-13.07.2016.

Nobre Gomes, André Sérgio; Sousa, Bruno; Palma, David; Fonseca, Vitor; Zhao, Zhongliang; Monteiro, Edmundo; Braun, Torsten; Simoes, Paulo; Cordeiro, Luis (2016). Edge caching with mobility prediction in virtualized LTE mobile networks. Future Generation Computer Systems, 70, pp. 148-162. Elsevier 10.1016/j.future.2016.06.022

Lima Rosário, Denis; Seruffo, Marcos; Cerqueira, Eduardo; Bonato Both, Cristiano; Braun, Torsten; Gerla, Mario (June 2016). Trends in Human-Centric Multimedia Networking Scenarios. In: The 15th IFIP Annual Mediterranean Ad Hoc Networking Workshop. Vilanova i la Geltrú, Barcelona, Spain. 20.-22.06.2016. 10.1109/MedHocNet.2016.7528428

Alyafawi, Islam Fayez Abd; Kiener, Simon; Braun, Torsten (June 2016). Hybrid Indoor Localization Using Multiple Radio Interfaces. In: 17th IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). Coimbra, Portugal. 21.-24.06.2016. 10.1109/WoWMoM.2016.7523525

Nobre Gomes, André Sérgio; Braun, Torsten; Monteiro, Edmundo (May 2016). Enhanced Caching Strategies At the Edge of LTE Mobile Networks. In: IFIP Networking 2016 Conference (Networking 2016). Vienna, Austria. 17.-19.05.2016. 10.1109/IFIPNetworking.2016.7497245

Li, Zan; Burbano Acuna, Danilo; Zhao, Zhongliang; Carrera Villacrés, José Luis; Braun, Torsten (May 2016). Fine-grained Indoor Tracking by Fusing Inertial Sensor and Physical Layer Information in WLANs. In: IEEE International Conference on Communications (ICC). Kuala Lumpur, Malaysia. 23.-27.05.2016. 10.1109/ICC.2016.7511162

Katsalis, Kostas; Nikaein, Navid; Schiller, Eryk Jerzy; Favraud, Romain; Braun, Torsten (May 2016). 5G Architectural Design Patterns. In: IEEE International Conference on Communications (ICC) 2016. Kuala Lumpur, Malaysia. 23.-27.05.2016. 10.1109/ICCW.2016.7503760

Alyafawi, Islam Fayez Abd; Durand, Arnaud; Braun, Torsten (May 2016). High-Performance Wideband SDR Channelizers. In: Mamatas, Lefteris; Matta, Ibrahim; Papadimitriou, Panagiotis; Koucheryavy, Yevgeni (eds.) 14th International Conference on Wired & Wireless Internet Communications (WWIC). Lecture Notes in Computer Science: Vol. 9674 (pp. 3-14). Springer International Publishing 10.1007/978-3-319-33936-8_1

Saltarin de Arco, Jonnahtan Eduardo; Bourtsoulatze, Eirina; Thomos, Nikolaos; Braun, Torsten (10 April 2016). NetCodCCN: a Network Coding approach for Content-Centric Networks. In: IEEE International Conference on Computer Communications (INFOCOM 2016) (pp. 1-9). IEEE 10.1109/INFOCOM.2016.7524382

Dhillon, Daljit Singh Joginder Singh; Descombes, Samira Michèle; Zwicker, Matthias (2 April 2016). Optimized CUDA-Based PDE Solver for Reaction Diffusion Systems on Arbitrary Surfaces. In: Parallel Processing and Applied Mathematics. 10.1007/978-3-319-32149-3_49

Anastasiades, Carlos; Schmid, Tobias; Weber, Jürg; Braun, Torsten (2016). Information-Centric Content Retrieval for Delay-Tolerant Networks. Computer Networks, 107, pp. 194-207. Elsevier 10.1016/j.comnet.2016.03.006

Rizzo, Gianluca; Palattella, Maria Rita; Braun, Torsten; Engel, Thomas (23 March 2016). Content and Context Aware Strategies for QoS Support in VANETs. 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA), pp. 717-723. IEEE 10.1109/AINA.2016.85

Anastasiades, Carlos; Weber, Jürg; Braun, Torsten (2016). Dynamic Unicast: Information-Centric Multi-hop Routing for Mobile Ad-hoc Networks. Computer Networks, 107, pp. 208-219. Elsevier 10.1016/j.comnet.2016.03.009

Osman, Haidar; Leuenberger, Manuel; Lungu, Mircea; Nierstrasz, Oscar Marius (March 2016). Tracking Null Checks in Open-Source Java Systems. In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) (pp. 304-313). IEEE 10.1109/SANER.2016.57

Spasojevic, Boris; Lungu, Mircea; Nierstrasz, Oscar Marius (March 2016). A Case Study on Type Hints in Method Argument Names in Pharo Smalltalk Projects. In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) 1 (pp. 283-292). IEEE 10.1109/SANER.2016.41

Król, Michal; Schiller, Eryk Jerzy; Rousseau, Franck; Duda, Andrzej (February 2016). WEAVE: Efficient Geographical Routing in Large-Scale Networks. In: International Conference on Embedded Wireless Systems and Networks (EWSN 2016). Proceeding EWSN '16 Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks (pp. 89-100). Canada: Junction Publishing

Buchholtz, Ulrik Torben; Jäger, Gerhard; Strahm, Thomas Adrian (2016). Theories of proof-theoretic strength ψ(ΓΩ+1). In: Probst, Dieter; Schuster, Peter (eds.) Concepts of Proof in Mathematics, Philosophy, and ComputerScience. Ontos Mathematical Logic: Vol. 6 (pp. 115-140). De Gruyter 10.1515/9781501502620-007

Jäger, Gerhard; Marti, Michel (2016). Intuitionistic common knowledge or belief. Journal of applied logic, 18, pp. 150-163. Elsevier 10.1016/j.jal.2016.04.004

Kokkinis, Ioannis (2016). The Complexity of Non-Iterated Probabilistic Justification Logic. In: Gyssens, Marc; Simari, Guillermo (eds.) Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Lecture Notes in Computer Science: Vol. 9616 (pp. 292-310). Cham: Springer 10.1007/978-3-319-30024-5_16

Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas (2016). Probabilistic Justification Logic. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science: Vol. 9537 (pp. 174-186). Cham: Springer 10.1007/978-3-319-27683-0_13

Manzi, Marco; Vicini, Delio Aleardo; Zwicker, Matthias (2016). Regularizing Image Reconstruction for Gradient-Domain Rendering with Feature Patches. Computer graphics forum, 35(2), pp. 263-273. Blackwell 10.1111/cgf.12829

Studer, Thomas (2016). Relationale Datenbanken: von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL [Textbook] . eXamen.press. Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-662-46571-4

Kahle, Reinhard; Strahm, Thomas Adrian; Studer, Thomas (eds.) (2016). Advances in Proof Theory. Progress in Computer Science and Applied Logic: Vol. 28. Cham: Springer International Publishing 10.1007/978-3-319-29198-7

Probst, Dieter; Schuster, Peter (eds.) (2016). Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic: Vol. 6. De Gruyter 10.1515/9781501502620

Steila, Silvia; Yokoyama, Keita (2016). Reverse mathematical bounds for the Termination Theorem. Annals of pure and applied logic, 167(12), pp. 1213-1241. Elsevier 10.1016/j.apal.2016.06.001

Kuznets, Roman; Studer, Thomas (2016). Weak arithmetical interpretations for the Logic of Proofs. Logic Journal of IGPL, 24(3), pp. 424-440. Oxford University Press 10.1093/jigpal/jzw002

Nikaein, Navid; Schiller, Eryk Jerzy; Favraud, Romain; Knopp, Raymond; Alyafawi, Islam Fayez Abd; Braun, Torsten (2016). Towards a Cloud-Native Radio Access Network. In: Mavromoustakis, Constandinos X.; Mastorakis, George; Dobre, Ciprian (eds.) Advances in Mobile Cloud Computing and Big Data in the 5G Era. Studies in Big Data: Vol. 22 (pp. 171-202). Springer International Publishing 10.1007/978-3-319-45145-9_8

Corrodi, Claudio; Heußner, Alexander; Poskitt, Christopher M. (2016). A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. In: Stevens, Perdita; Wąsowski, Andrzey (eds.) Fundamental Approaches to Software Engineering. FASE 2016. Lecture Notes in Computer Science: Vol. 9633 (pp. 31-48). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-662-49665-7_3

Kurs, Jan; Vraný, Jan; Ghafari, Mohammad; Lungu, Mircea; Nierstrasz, Oscar Marius (2016). Optimizing Parser Combinators. In: IWST'16 Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies. Prague, Czech Republic. 23.-24.08.2016. 10.1145/2991041.2991042

Leske, Max; Chis, Vasile-Andrei; Nierstrasz, Oscar Marius (2016). A promising approach for debugging remote promises. In: Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies. IWST' 16. Prague. 23.-24.08.2016. 10.1145/2991041.2991059

Merino, Leonel; Ghafari, Mohammad; Nierstrasz, Oscar Marius (2016). Towards Actionable Visualisation in Software Development. In: 2016 IEEE Working Conference on Software Visualization (VISSOFT) (pp. 61-70). IEEE 10.1109/VISSOFT.2016.10

Merino, Leonel; Seliner, Dominik; Ghafari, Mohammad; Nierstrasz, Oscar Marius (2016). CommunityExplorer: A Framework for Visualizing Collaboration Networks. In: IWST'16 Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies. Prague, Czech Republc. 23.-24.08.2016. 10.1145/2991041.2991043

Merino, Leonel; Ghafari, Mohammad; Nierstrasz, Oscar Marius; Bergel, Alexandre; Kubelka, Juraj (2016). MetaVis: Exploring Actionable Visualization. In: 2016 IEEE Working Conference on Software Visualization (VISSOFT), (pp. 151-155). IEEE 10.1109/VISSOFT.2016.19

Nierstrasz, Oscar Marius (2016). The Death of Object-Oriented Programming. In: Stevens, Perdita; Wąsowski, Andrzej (eds.) Fundamental Approaches to Software Engineering. FASE 2016. Lecture Notes in Computer Science: Vol. 9633 (pp. 3-10). Springer-Verlag 10.1007/978-3-662-49665-7_1

Schneider, Teseo; Tymchuk, Yuriy; Salgado, Ronie; Bergel, Alexandre (2016). CuboidMatrix: Exploring Dynamic Structural Connections in Software Components using Space-Time Cube. In: 2016 IEEE Working Conference on Software Visualization (VISSOFT) (pp. 116-125). IEEE 10.1109/VISSOFT.2016.17

Spasojevic, Boris; Ghafari, Mohammad; Nierstrasz, Oscar Marius (2016). The Object Repository, Pulling Objects out of the Ecosystem. In: IWST'16 Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies. Prague, Czech Republic. 23.-24.08.2016. 10.1145/2991041.2991048

Tymchuk, Yuriy; Merino, Leonel; Ghafari, Mohammad; Nierstrasz, Oscar Marius (2016). Walls, Pillars and Beams: A 3D Decomposition of Quality Anomalies. In: 2016 IEEE Working Conference on Software Visualization (VISSOFT) (pp. 126-135). IEEE 10.1109/VISSOFT.2016.9

Tymchuk, Yuriy; Ghafari, Mohammad; Nierstrasz, Oscar Marius (2016). When QualityAssistant Meets Pharo. In: IWST'16 Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies. Prague, Czech Republic. 23.-24.08.2016. 10.1145/2991041.2991046

Caracciolo, Andrea; Aga, Bledar; Lungu, Mircea; Nierstrasz, Oscar Marius (2016). Marea: A Semi-Automatic Decision Support System for Breaking Dependency Cycles. In: 2016 IEEE 23rd International Conference on Software Analysis, Evolution and Reengineering (SANER) (pp. 482-492). IEEE 10.1109/SANER.2016.11

Caracciolo, Andrea; Lungu, Mircea; Truffer, Oskar; Levitin, Kirill; Nierstrasz, Oscar Marius (2016). Evaluating an Architecture Conformance Monitoring Solution. In: 2016 7th International Workshop on Empirical Software Engineering in Practice (IWESEP) (pp. 41-44). IEEE 10.1109/IWESEP.2016.12

Chis, Vasile-Andrei; Gîrba, Tudor; Kubelka, Juraj; Nierstrasz, Oscar Marius; Reichhart, Stefan; Syrel, Aliaksei (2016). Exemplifying Moldable Development. In: Proceedings of the Programming Experience 2016 (PX/16) Workshop (pp. 33-42). New York, New York, USA: ACM Press 10.1145/2984380.2984385

Jäger, Gerhard; Marti, Michel (2016). A canonical model construction for intuitionistic distributed knowledge. In: Beklemishev, Lev; Demri, Stéphane; Máté, András (eds.) Advances in Modal Logic. Advances in Modal Logic 2016: Vol. 11 (pp. 420-434). College Publications

Hu, Qiyang; Zwicker, Matthias; Favaro, Paolo (2016). 3D Face Reconstruction with Silhouette Constraints. Vision, Modeling and Visualization. The Eurographics Association 10.2312/vmv.20161340

Marti, Michel; Studer, Thomas (2016). Intuitionistic modal logic made explicit. The IfCoLog Journal of Logics and their Applications, 3(5), pp. 877-901. College Publications

Chis, Vasile-Andrei; Girba, Tudor Adrian; Kubelka, Juraj; Nierstrasz, Oscar Marius; Reichhart, Stefan; Syrel, Aliaksei (2016). Moldable, context-aware searching with Spotter. In: 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). Onward! 2016 (pp. 128-144). New York, NY, USA: ACM 10.1145/2986012.2986023

Chis, Vasile-Andrei (2016). Towards object-aware development tools. In: 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. SPLASH Companion 2016 (pp. 65-66). New York, NY, USA: ACM 10.1145/2984043.2998546

Milojkovic, Nevena; Béra, Clément; Ghafari, Mohammad; Nierstrasz, Oscar Marius (2016). Inferring Types by Mining Class Usage Frequency from Inline Caches. In: International Workshop on Smalltalk Technologies (IWST 2016) (pp. 1-11). ACM 10.1145/2991041.2991047

Osman, Haidar (2016). On the Non-Generalizability in Bug Prediction. In: Ninth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2016). Bergen, Norway. 11.-13.07.2016.

Gaspar, Tiago; Oliveira, Paulo; Favaro, Paolo (2016). Synchronization of Independently Moving Cameras via Motion Recovery. SIAM Journal on Imaging Sciences, 9(3), pp. 869-900. SIAM 10.1137/15M1035367

Noroozi, Mehdi; Favaro, Paolo (2016). Unsupervised Learning of Visual Representations by Solving Jigsaw Puzzles. In: Leibe, B.; Matas, J.; Sebe, N.; Welling, M. (eds.) European Conference on Computer Vision (ECCV). Lecture Notes in Computer Science: Vol. 9910 (pp. 69-84). Springer 10.1007/978-3-319-46466-4_5

Milojković, Nevena; Nierstrasz, Oscar Marius (2016). Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages. In: 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2016 (pp. 43-56). New York, NY, USA: ACM 10.1145/2986012.2986017

Bernardo, Vitor; Fonseca, Vitor; Pascoal Curado, Marilia; Braun, Torsten (2015). Evaluation of Video Transmission Energy Consumption and Quality. Wireless Personal Communications, 87(2), pp. 565-592. Springer US 10.1007/s11277-015-3150-3

Szabo, Attila; Vedaldi, Andrea; Favaro, Paolo (December 2015). Building the View Graph of a Category by Exploiting Image Realism. In: IEEE International Conference on Computer Vision Workshop (ICCVW). 07.-13.12.2015. 10.1109/ICCVW.2015.109

Jin, Meiguang; Chandramouli, Paramanand; Favaro, Paolo (December 2015). Bilayer Blind Deconvolution with the Light Field Camera. In: IEEE International Conference on Computer Vision Workshop (ICCVW). 07.-13.12.2015. 10.1109/ICCVW.2015.36

Wu, Shihao; Huang, Hui; Gong, Minglun; Zwicker, Matthias; Cohen-Or, Daniel (2015). Deep Points Consolidation. ACM transactions on graphics, 34(6), p. 176. Association for Computing Machinery 10.1145/2816795.2818073

Anastasiades, Carlos; von Rotz, L.; Braun, Torsten (5 October 2015). Adaptive Interest Lifetimes for Information-Centric Wireless Multi-hop Communication. In: 8th IFIP Wireless and Mobile Networking Conference (WMNC) (pp. 40-47). IFIP 10.1109/WMNC.2015.38

Thoma, Matthias; Triantafyllos, Afouras; Braun, Torsten (5 October 2015). An Application-Layer RESTful Sleepy Nodes Implementation For Internet of Things Systems. In: 8th IFIP Wireless and Mobile Networking Conference. Munich, Germany. 05.-07.10.2015. 10.1109/WMNC.2015.47

Anastasiades, Carlos; Nobre Gomes, André Sérgio; Gadow, Rene; Braun, Torsten (October 2015). Persistent Caching in Information-Centric Networks. In: 40th Annual IEEE Conference on Local Computer Networks (LCN 2015) (pp. 64-72). IEEE 10.1109/LCN.2015.7366284

Karimzadeh, Morteza; Zhao, Zhongliang; Hendriks, Luuk; de O. Schmidt, Ricardo; la Fleur, Sebastiaan; van den Berg, Hans; Pras, Aiko; Braun, Torsten; Corici, Marius (October 2015). Mobility and Bandwidth Prediction as a Service in Virtualized LTE Systems. In: IEEE International Conference on Cloud Networking (IEEE CloudNet 2015). Niagara Falls, Canada. 05.10.-07.10.2015. 10.1109/CloudNet.2015.7335295

Zhao, Zhongliang; Karimzadeh, Morteza; Braun, Torsten; Pras, Aiko (October 2015). A Demonstration of Mobility Prediction as a Service in Cloudified LTE Networks. In: IEEE International Conference on Cloud Networking (IEEE CloudNet 2015). Niagara Falls, Canada. 05.10.-07.10.2015. 10.1109/CloudNet.2015.7335285

Hossmann, Andreea Maria; Li, Zan; Zhao, Zhongliang; Braun, Torsten; Marios Angelopoulos, Constantinos; Evangelatos, Orestis; Rolim, José; Papandrea, Michela; Garg, Kamini; Giordano, Silvia; C. Y. Tossou, Aristide; Dimitrakakis, Christos; Mitrokotsa, Aikaterini (October 2015). Synergistic User <-> Context Analytics. Advances in Intelligent Systems and Computing, 399, pp. 163-172. Springer International Publishing 10.1007/978-3-319-25733-4_17

Anastasiades, Carlos; Sittampalam, A.; Braun, Torsten (October 2015). Content Discovery in Wireless Information-Centric Networks. In: 40th IEEE Conference on Local Computer Networks (LCN) (pp. 28-36). IEEE 10.1109/LCN.2015.7366280

Nikaein, N.; Knopp, R.; Gauthier, L.; Schiller, Eryk Jerzy; Braun, Torsten; Pichon, D.; Bonnet, C.; Kaltenberger, F.; Nussbaum, D. (7 September 2015). Demo -- Closer to Cloud-RAN: RAN as a Service. In: Proceedings of the 21st ACM Annual International Conference on Mobile Computing and Networking (ACM MOBICOM) Demonstrations (pp. 193-195). ACM 10.1145/2789168.2789178

Nikaein, N.; Schiller, Eryk Jerzy; Favraud, R.; Katsalis, K.; Stavropoulos, D.; Alyafawi, Islam Fayez Abd; Zhao, Zhongliang; Braun, Torsten; Korakis, T. (7 September 2015). Network Store: Exploring Slicing in Future 5G Networks. In: Proceedings of the 10th ACM Workshop on Mobility in the Evolving Internet Architecture (ACM MobiArch) co-located with the 21st ACM Annual International Conference on Mobile Computing and Networking (ACM MOBICOM) (pp. 8-13). ACM 10.1145/2795381.2795390

Zhao, Zhongliang; Lima do Rosario, Denis; Braun, Torsten; Cerqueira, Eduardo (September 2015). A Tutorial of the Mobile Multimedia Wireless Sensor Network (M3WSN) OMNeT++ Framework. In: OMNeT++ summit'15. Zurich, Switzerland. 03.09.-04.09.2015.

Girba, Tudor Adrian; Chis, Vasile-Andrei (September 2015). Pervasive Software Visualizations. In: Proceedings of 3rd IEEE Working Conference on Software Visualization. VISSOFT'15 (pp. 1-5). IEEE 10.1109/VISSOFT.2015.7332409

Kubelka, Juraj; Bergel, Alexandre; Chis, Vasile-Andrei; Gîrba, Tudor; Reichhart, Stefan; Robbes, Romain; Syrel, Aliaksei (September 2015). On Understanding How Developers Use the Spotter Search Tool. In: Proceedings of 3rd IEEE Working Conference on Software Visualization - New Ideas and Emerging Results. VISSOFT-NIER'15 (pp. 145-149). IEEE 10.1109/VISSOFT.2015.7332426

Perrone, Daniele; Favaro, Paolo (2015). A Logarithmic Image Prior for Blind Deconvolution. International Journal of Computer Vision, 117(2), pp. 159-172. Springer 10.1007/s11263-015-0857-2

Perrone, Daniele; Favaro, Paolo (2015). A Clearer Picture of Total Variation Blind Deconvolution. IEEE transactions on pattern analysis and machine intelligence, 38(6), pp. 1041-1055. IEEE Computer Society 10.1109/TPAMI.2015.2477819

Zhao, Zhongliang; Braun, Torsten (August 2015). SCAD: Sensor Context-aware Adaptive Duty-cycled Beaconless Opportunistic Routing for WSNs. In: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC) (pp. 2038-2043). IEEE 10.1109/PIMRC.2015.7343633

Alyafawi, Islam Fayez Abd; Braun, Torsten; Dimitrova, Desislava Cvetanova (August 2015). Robust indoor localization of narrowband signals. In: Personal, Indoor, and Mobile Radio Communications (PIMRC), 2015 IEEE 26th Annual International Symposium on. Hong Kong, China. 30.08 - 02.09.2015. 10.1109/PIMRC.2015.7343661

Kettunen, Markus; Manzi, Marco; Aittala, Miika; Lehtinen, Jaakko; Durand, Frédo; Zwicker, Matthias (2015). Gradient-domain Path Tracing. ACM transactions on graphics, 34(4), 123:1-123:13. Association for Computing Machinery 10.1145/2766997

Sen, Pradeep; Zwicker, Matthias; Rousselle, Fabrice; Yoon, Sung-Eui; Kalantari, Nima Khademi (August 2015). Denoising Your Monte Carlo Renders: Recent Advances in Image Space-Adaptive Sampling and Reconstruction. In: ACM SIGGRAPH Tutorials. Los Angeles, CA. 09.-13.08.2015. 10.1145/2776880.2792740

Caracciolo, Andrea Enrico Francis (July 2015). On the Evaluation of a DSL for Architectural Consistency Checking. In: Extended Abstracts of the Eighth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2015). Mons (Belgium). 06.-08.07.2015.

Osman, Haidar (July 2015). Null Check Analysis. In: Extended Abstracts of the Eighth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2015). Mons, Belgium. 06.-08.07.2015.

Manzi, Marco; Kettunen, Markus; Aittala, Miika; Lehtinen, Jaakko; Durand, Frédo; Zwicker, Matthias (22 June 2015). Gradient-Domain Bidirectional Path Tracing. In: Lehtinen, Jaakko; Nowrouzezahrai, Derek (eds.) Eurographics Symposium on Rendering - Experimental Ideas & Implementations. Eurographics Association 10.2312/sre.20151168

Eberhard, Sebastian (2015). Applicative theories for logarithmic complexity classes. Theoretical Computer Science, 585, pp. 115-135. Elsevier 10.1016/j.tcs.2015.03.007

Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas (2015). First steps towards probabilistic justification logic. Logic Journal of IGPL, 23(4), pp. 662-687. Oxford University Press 10.1093/jigpal/jzv025

Anastasiades, Carlos; Thomos, Nikolaos; Striffeler, Alexander; Braun, Torsten (June 2015). RC-NDN: Raptor Codes Enabled Named Data Networking. In: IEEE International Conference on Communications (ICC) (pp. 3026-3032). IEEE 10.1109/ICC.2015.7248788

Li, Zan; Braun, Torsten; Dimitrova, Desislava Cvetanova (June 2015). A Time-based Passive Source Localization System for Narrow-band Signal (In Press). In: The IEEE International Conference on Communications (ICC) 2015. IEEE

Nobre Gomes, André Sérgio; Braun, Torsten (June 2015). Load Balancing in LTE Mobile Networks with Information-Centric Networking. In: IEEE ICC 2015 - Third International Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA) (ICC'15 - Workshops 05). London, United Kingdom. 08.-12.06.2015. 10.1109/ICCW.2015.7247449

Alyafawi, Islam Fayez Abd; Schiller, Eryk Jerzy; Braun, Torsten; Dimitrova, Desislava Cvetanova; Nobre Gomes, André Sérgio; Nikaein, Navid (June 2015). Critical Issues of Centralized and Cloudified LTE-FDD Radio Access Networks. In: IEEE ICC 2015 - Next Generation Networking Symposium (ICC'15 (07) NGN). London, United Kingdom. 08.06.-12.06.2015. 10.1109/ICC.2015.7249202

Li, Zan; Braun, Torsten; Dimitrova, Desislava Cvetanova (June 2015). A Passive WiFi Source Localization System based on Fine-grained Power-based Trilateration. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) (pp. 1-9). IEEE 10.1109/WoWMoM.2015.7158147

Durand, Arnaud; Gasparyan, Mikael; Rouvinez, Thomas; Aad, Imad Rafic; Braun, Torsten; Trinh, Tuan Anh (25 May 2015). BitWorker, a Decentralized Distributed Computing System based on BitTorrent. In: Aguayo-Torres, Mari Carmen; Gómez, Gerardo; Poncela, Javier (eds.) Wired/Wireless Internet Communications. The 13th International Conference on Wired & Wireless Internet Communications. Lecture Notes in Computer Science: Vol. 9071 (pp. 151-164). Cham: Springer 10.1007/978-3-319-22572-2_11

Li, Zan; Braun, Torsten; Dimitrova, Desislava Cvetanova (May 2015). Methodology for GPS Synchronization Evaluation with High Accuracy. In: The IEEE 81st Vehicular Technology Conference (VTC2015-Spring) (pp. 1-6). IEEE 10.1109/VTCSpring.2015.7145929

Antonescu, Alexandru-Florian; Braun, Torsten (May 2015). Service Level Agreements-Driven Management of Distributed Applications in Cloud Computing Environments (In Press). In: IFIP/IEEE International Symposium on Integrated Network Management, Dissertation Session. IEEE/IFIP

Li, Zan; Hossmann, Andreea Maria; Braun, Torsten (2015). Range-based Weighted-likelihood Particle Filter for RSS-based Indoor Tracking (Aachener Informatik-Berichte (AIB) 2015-08). Aachen, Germany: Department of Computer Science of RWTH Aachen University

Anastasiades, Carlos; Braun, Torsten (May 2015). Towards Information-Centric Wireless Multi-hop Communication. In: Aguayo-Torres, Mari Carmen; Gómez, Gerardo; Poncela, Javier (eds.) Wired/Wireless Internet Communications. The 13th International Conference on Wired & Wireless Internet Communications. Lecture Notes in Computer Science: Vol. 9071 (pp. 367-380). Cham: Springer 10.1007/978-3-319-22572-2_27

Pimentel, Larissa; Lima do Rosario, Denis; Seruffo, Marcos; Zhao, Zhongliang; Braun, Torsten (May 2015). Adaptive Beaconless Opportunistic Routing for Multimedia Distribution. Lecture notes in computer science, 9071, pp. 122-135. Springer 10.1007/978-3-319-22572-2_9

Zwicker, Matthias; Jarosz, Wojciech; Lehtinen, Jaakko; Moon, Bochang; Ramamoorthi, Ravi; Rousselle, Fabrice; Sen, Pradeep; Soler, Cyril; Yoon, Sung-Eui (2015). Recent Advances in Adaptive Sampling and Reconstruction for Monte Carlo Rendering. Computer graphics forum, 34(2), pp. 667-681. Blackwell 10.1111/cgf.12592

Caracciolo, Andrea Enrico Francis; Lungu, Mircea; Nierstrasz, Oscar Marius (May 2015). A Unified Approach to Architecture Conformance Checking. In: Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA) (pp. 41-50). ACM Press 10.1109/WICSA.2015.11

Nobre Gomes, André Sérgio; Braun, Torsten (April 2015). Feasibility of Information-Centric Networking Integration into LTE Mobile Networks. In: The 30th ACM/SIGAPP Symposium On Applied Computing (pp. 627-633). ACM 10.1145/2695664.2695790

Bernardo, Vitor; Braun, Torsten; Pascoal Curado, Marilia; Fiedler, Markus; Hock, David; Hossmann, Theus; Hummel, Karin Anna; Hurni, Philipp; Ickin, Selim; Jamakovic, Almerima; Nadjm-Tehrani, Simin; Trinh, Tuan Anh; Vergara, Ekhiotz Jon; Wamser, Florian; Zinner, Thomas (2015). Green Wireless-Energy Efficiency in Wireless Networks. In: Pierson, Jean-Marc (ed.) Large-scale Distributed Systems and Energy Efficiency: A Holistic View (pp. 81-130). Hoboken, NJ, USA: John Wiley & Sons, Inc 10.1002/9781118981122.ch4

Anastasiades, Carlos; Braun, Torsten (March 2015). Dynamic Transmission Modes to Support Opportunistic Information-Centric Networks. In: International Conference on Networked Systems (NetSys 2015) (pp. 1-5). IEEE 10.1109/NetSys.2015.7089077

Li, Zan; Braun, Torsten (March 2015). A Passive Source Localization System for IEEE 802.15.4 Signal (In Press). In: The International Conference on Network Systems (NetSys) 2015 (Demostration Session). IEEE

Fitting, Melvin; Kuznets, Roman (2015). Modal interpolation via nested sequents. Annals of pure and applied logic, 166(3), pp. 274-305. Elsevier 10.1016/j.apal.2014.11.002

Taleb, T.; Corici, M.; Parada, C.; Jamakovic, Almerima; Ruffino, S.; Karagiannis, G.; Magedanz, T. (2015). EASE: EPC as a service to ease mobile core network deployment over cloud. IEEE Network, 29(2), pp. 78-88. Institute of Electrical and Electronics Engineers (IEEE) 10.1109/MNET.2015.7064907

Mahdad, Hosseini Kamal; Favaro, Paolo; Pierre, Vandergheynst (January 2015). A Convex Solution to Disparity Estimation from Light Fields via the Primal-Dual Method. Lecture notes in computer science, 8932, pp. 350-363. Springer 10.1007/978-3-319-14612-6_26

Nierstrasz, Oscar; Kurs, Jan (2015). Parsing for agile modeling. Science of computer programming, 97(Part1), pp. 150-156. Elsevier 10.1016/j.scico.2013.11.011

Sato, Kentaro (2015). Full and hat inductive definitions are equivalent in NBG. Archive for Mathematical Logic, 54(1-2), pp. 75-112. Springer 10.1007/s00153-014-0403-x

Antonescu, Alexandru-Florian; Braun, Torsten (2015). Simulation of SLA-based VM-scaling algorithms for cloud-distributed applications. Future Generation Computer Systems, 54, pp. 260-273. Elsevier 10.1016/j.future.2015.01.015

Sato, Kentaro; Zumbrunnen, Rico (2015). A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP. Annals of pure and applied logic, 166(2), pp. 121-186. Elsevier 10.1016/j.apal.2014.10.001

Perrone, Daniele; Diethelm, Remo; Favaro, Paolo (2015). Blind Deconvolution via Lower-Bounded Logarithmic Image Priors. In: Energy Minimization Methods in Computer Vision and Pattern Recognition - Proceedings of the 10th International Conference, EMMCVPR 2015. Lecture Notes in Computer Science: Vol. 8932 (pp. 112-125). Springer 10.1007/978-3-319-14612-6_9

Sato, Kentaro (2015). A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0. Annals of pure and applied logic, 166(7-8), pp. 800-835. Elsevier 10.1016/j.apal.2015.04.002

Eberhard, Sebastian; Strahm, Thomas Adrian (2015). Unfolding Feasible Arithmetic and Weak Truth. In: Achourioti, Theodora; Galinon, Henri; Martínez Fernández, José; Fujimoto, Kentaro (eds.) Unifying the Philosophy of Truth. Logic, Epistemology, and the Unity of Science: Vol. 36 (pp. 153-167). Dordrecht: Springer Netherlands 10.1007/978-94-017-9673-6_7

Jäger, Gerhard; Probst, Dieter (2015). A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions. In: Kahle, Reinhard; Kahle, Reinhard; Rathjen, Michael (eds.) Gentzen's Centenary - The Quest for Consistency (pp. 425-454). Springer 10.1007/978-3-319-10103-3_15

Knaus, Claude; Zwicker, Matthias (2015). Dual-Domain Filtering. SIAM Journal on Imaging Sciences, 8(3), pp. 1396-1420. SIAM 10.1137/140978879

Arjomand, Siavash; Budweiser, Gregor; Zwicker, Matthias (2015). Temporally Coherent Disparity Maps Using CRFs with Fast 4D Filtering (Unpublished). In: Asian Conference on Pattern Recognition (ACPR). Kuala Lumpur. 03-06.11.2015. 10.1109/ACPR.2015.7486514

Strahm, Thomas Adrian; Sommaruga, Giovanni (eds.) (2015). Turing's Revolution: The Impact of His Ideas about Computability. Birkhäuser Basel 10.1007/978-3-319-22156-4

Caracciolo, Andrea Enrico Francis (2015). A Unified Approach to Automatic Testing of Architectural Constraints. In: Proceedings of ICSE 2015 (37st International Conference on Software Engineering), Doctoral Symposium 2 (pp. 871-874). ACM Press 10.1109/ICSE.2015.281

Chis, Vasile-Andrei; Girba, Tudor Adrian; Nierstrasz, Oscar Marius; Syrel, Aliaksei (2015). The Moldable Inspector. In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Onward! 2015 (pp. 44-60). New York, NY, USA: ACM 10.1145/2814228.2814234

Chis, Vasile-Andrei; Girba, Tudor Adrian; Nierstrasz, Oscar Marius; Syrel, Aliaksei (2015). GTInspector: A Moldable Domain-Aware Object Inspector. In: Proceedings of the Companion Publication of the 2015 ACM SIGPLAN Conference on Systems, Programming, and Applications: Software for Humanity. SPLASH Companion 2015 (pp. 15-16). New York, NY, USA: ACM 10.1145/2814189.2814194

Chis, Vasile-Andrei; Denker, Marcus; Girba, Tudor Adrian; Nierstrasz, Oscar Marius (2015). Practical domain-specific debuggers using the Moldable Debugger framework. Computer languages, systems & structures, 44, pp. 89-113. Pergamon Press 10.1016/j.cl.2015.08.005

Chis, Vasile-Andrei; Nierstrasz, Oscar Marius (2015). Towards moldable development tools. In: Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools. Pittsburgh, Pennsylvania, United States. 26.10.2015. 10.1145/2846680.2846684

Deantoni, Julien; Brun, Cédric; Caillaud, Benoit; France, Robert B.; Karsai, Gabor; Nierstrasz, Oscar Marius; Syriani, Eugene (2015). Domain Globalization: Using Languages to Support Technical and Social Coordination. In: Combemale, Benoit; Cheng, Betty H.C.; France, Robert B.; Jézéquel, Jean-Marc; Rumpe, Bernhard (eds.) Globalizing Domain-Specific Languages. Lecture Notes in Computer Science: Vol. 9400 (pp. 70-87). Springer 10.1007/978-3-319-26172-0_5

Kurs, Jan; Lungu, Mircea; Iyadurai, Rathesan; Nierstrasz, Oscar Marius (2015). Bounded seas. Computer languages, systems & structures, 44, pp. 114-140. Pergamon Press 10.1016/j.cl.2015.08.002

Merino del Campo, Leonel Alejandro; Lungu, Mircea; Nierstrasz, Oscar Marius (2015). Explora: Infrastructure for Scaling Up Software Visualisation to Corpora. In: SATToSE'14: Post-Proceedings of the 7th International Seminar Series on Advanced Techniques & Tools for Software Evolution 1354. CEUR Workshop Proceedings (CEUR-WS.org)

Merino del Campo, Leonel Alejandro; Lungu, Mircea; Nierstrasz, Oscar Marius (2015). Explora: A Visualisation Tool for Metric Analysis of Software Corpora. In: VISSOFT'15: Proceedings of the 3rd IEEE Working Conference on Software Visualization (pp. 195-199). IEEE 10.1109/VISSOFT.2015.7332436

Milojkovic, Nevena; Caracciolo, Andrea Enrico Francis; Lungu, Mircea; Nierstrasz, Oscar Marius; Röthlisberger, David; Robbes, Romain (2015). Polymorphism in the Spotlight: Studying its Prevalence in Java and Smalltalk. In: Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension (pp. 186-195). IEEE Press 10.1109/ICPC.2015.29

Syrel, Aliaksei; Chis, Vasile-Andrei; Girba, Tudor Adrian; Kubelka, Juraj; Nierstrasz, Oscar Marius; Reichhart, Stefan (2015). Spotter: towards a unified search interface in IDEs. In: Proceedings of the Companion Publication of the 2015 ACM SIGPLAN Conference on Systems, Programming, and Applications: Software for Humanity. SPLASH Companion 2015 (pp. 54-55). New York, NY, USA: ACM 10.1145/2814189.2817269

Teruel, Camille; Wernli, Erwann; Ducasse, Stephane; Nierstrasz, Oscar Marius (2015). Propagation of Behavioral Variations with Delegation Proxies. In: Chiba, Shigeru; Tanter, Éric; Ernst, Erik; Hirschfeld, Robert (eds.) Transactions on Aspect-Oriented Software Development XII. Lecture Notes in Computer Science: Vol. 8989 (pp. 63-95). Berlin Heidelberg: Springer 10.1007/978-3-662-46734-3_2

Dhillon, Daljit Singh Joginder; Teyssier, J.; Single, M.; Gaponenko, I.; Milinkovitch, M. C.; Zwicker, Matthias (2014). Interactive Diffraction from Biological Nanostructures. Computer graphics forum, 33(8), pp. 177-188. Blackwell 10.1111/cgf.12425

Pimentel, Larissa; Lima do Rosario, Denis; Cerqueira, Eduardo; Braun, Torsten; Abelem, Antonio; Gerla, Mario (November 2014). Context-aware Adaptation Mechanism for Video Dissemination over Flying Ad-Hoc Networks (In Press). In: Wireless Days 2014. IEEE

Sellent, Anita; Favaro, Paolo (15 October 2014). Coded Aperture Flow. In: 36th German Conference, GCPR 2014. Lecture Notes in Computer Science: Vol. 8753 (pp. 582-592). Springer International Publishing 10.1007/978-3-319-11752-2_48

Zhao, Zhongliang; Braun, Torsten (8 September 2014). Real-World Evaluation of Sensor Context-aware Adaptive Duty-cycled Opportunistic Routing. In: 39th Annual IEEE Conference on Local Computer Networks (IEEE LCN'14). Conference on Local Computer Networks (pp. 124-132). IEEE 10.1109/LCN.2014.6925764

Dudouet, Florian; Harsh, Piyush; Ruiz, Santiago; Nobre Gomes, André Sérgio; Bohnert, Thomas Michael (September 2014). A Case for CDN-as-a-Service in the Cloud: A Mobile Cloud Networking Argument. In: Advances in Computing, Communications and Informatics (ICACCI, 2014 International Conference on (pp. 651-657). IEEE 10.1109/ICACCI.2014.6968495

Caracciolo, Andrea; Chis, Andrei; Spasojevic, Boris; Lungu, Mircea (September 2014). Pangea: A Workbench for Statically Analyzing Multi-Language Software Corpora. In: IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM) (pp. 71-76). IEEE 10.1109/SCAM.2014.39

Spasojevic, Boris; Lungu, Mircea; Nierstrasz, Oscar (September 2014). Overthrowing the Tyranny of Alphabetical Ordering in Documentation Systems. International Conference on Software Maintenance. Proceedings, pp. 511-515. IEEE 10.1109/ICSME.2014.84

Papadhimitri, Thoma; Favaro, Paolo (September 2014). Uncalibrated Near-Light Photometric Stereo. In: Proceedings of the British Machine Vision Conference. BMVA Press

Bernardo, Vitor; Correia, Bruno; Pascoal Curado, Marilia; Braun, Torsten (27 August 2014). Towards End-User Driven Power Saving Control in Android devices. Lecture notes in computer science, 8638, pp. 231-244. Springer 10.1007/978-3-319-10353-2_20

Lima do Rosario, Denis; Zhao, Zhongliang; Braun, Torsten; Cerqueira, Eduardo; Santos, Aldri (27 August 2014). A Comparative Analysis of Beaconless Opportunistic Routing Protocols for Video Dissemination over Flying Ad-Hoc Networks. Lecture notes in computer science, 8638, pp. 253-265. Springer 10.1007/978-3-319-10353-2_22

Lapin, Andrei; Schiller, Eryk Jerzy; Kropf, Peter; Schilling, Oliver; Brunner, Phillip; Jamakovic, Almerima; Braun, Torsten; Maffioletti, Sergio (20 August 2014). Real-time Environmental Monitoring for Cloud-based Hydrogeological Modeling with HydroGeoSphere. Proceedings of High Performance Computing and Communications Conference, IEEE HPCC14, pp. 959-965. IEEE 10.1109/HPCC.2014.154

Alyafawi, Islam Fayez Abd; Dimitrova, Desislava Cvetanova; Braun, Torsten (18 August 2014). SDR-based Passive Indoor Localization System for GSM. In: ACM SIGCOMM Software Radio Implementation Forum (SRIF) 2014 (pp. 7-14). ACM 10.1145/2627788.2627790

Antonescu, Alexandru-Florian; Braun, Torsten (18 August 2014). Modeling And Simulation Of Concurrent Workload Processing In Cloud-Distributed Enterprise Information Systems. In: ACM SIGCOMM Workshop on Distributed Cloud Computing (DCC 2014) (pp. 11-16). ACM 10.1145/2627566.2627575

Wagenknecht, Gerald; Braun, Torsten (August 2014). Testbed Evaluation of Sensor Node Overlay Multicast. Lecture notes in computer science, 8638, pp. 280-293. Springer 10.1007/978-3-319-10353-2_24

Metcalfe, George; Marti, Michel (2014). A Hennessy-Milner Property for Many-Valued Modal Logics. In: Goré, Rajeev; Kooi, Barteld; Kurucz, Agi (eds.) Advances in Modal Logic. Advances in Modal Logic: Vol. 10 (pp. 407-420). London: College Publications

Caracciolo, Andrea; Lungu, Mircea; Nierstrasz, Oscar (August 2014). How Do Software Architects Specify and Validate Quality Requirements? In: Avgeriou, Paris; Zdun, Uwe (eds.) European Conference on Software Architecture (ECSA). Lecture Notes in Computer Science: Vol. 8627 (pp. 374-389). Springer Berlin Heidelberg 10.1007/978-3-319-09970-5_32

Spasojevic, Boris; Lungu, Mircea; Nierstrasz, Oscar (August 2014). Towards Faster Method Search Through Static Ecosystem Analysis. In: Proceedings of the 2014 European Conference on Software Architecture Workshops. ECSAW '14 (pp. 1-6). New York, NY, USA: ACM 10.1145/2642803.2642814

Antonescu, Alexandru-Florian; Braun, Torsten (15 July 2014). SLA-Driven Simulation of Multi-Tenant Scalable Cloud-Distributed Enterprise Information Systems. Lecture notes in computer science, 8907, pp. 91-102. Springer 10.1007/978-3-319-13464-2_7

Vidal, René; Favaro, Paolo (2014). Low rank subspace clustering (LRSC). Pattern recognition letters, 43, pp. 47-61. Elsevier 10.1016/j.patrec.2013.08.006

Bilogrevic, I; Jadliwala, M.; Joneja, V.; Kalkan, K.; Hubaux, J.; Aad, Imad Rafic (2014). Privacy-Preserving Optimal Meeting Location Determination on Mobile Devices. IEEE Transactions on Information Forensics and Security, 9(7), pp. 1141-1156. IEEE 10.1109/TIFS.2014.2318435

Merino, Leonel (July 2014). Adaptable Visualisation Based On User Needs. In: Zaytsev, Vadim (ed.) SATToSE'14: Pre-Proceedings of the 7th International Seminar Series on Advanced Techniques & Tools for Software Evolution. L’Aquila, Italy. 09.07.-11.07.2014.

Milojkovic, Nevena (July 2014). Towards cheap, accurate polymorphism detection. In: Zaytsev, Vadim (ed.) SATToSE'14: Pre-Proceedings of the 7th International Seminar Series on Advanced Techniques & Tools for Software Evolution. L’Aquila, Italy. 09.07.-11.07.2014.

Ferreira, Lucio Studer; Pichon, Dominique; Hatefi, Atoosa; Nobre Gomes, André Sérgio; Dimitrova, Desislava Cvetanova; Braun, Torsten; Karagiannis, Georgios; Karimzadeh, Morteza; Branco, Monica; Correia, Luis M. (23 June 2014). An Architecture to offer Cloud-Based Radio Access Network as a Service. In: European Conference on Networks and Communications 2014 (EuCNC 2014) (pp. 1-5). IEEE 10.1109/EuCNC.2014.6882627

Dimitrova, Desislava Cvetanova; Ferreira, L.S.; Nobre Gomes, André Sérgio; Nikaein, N.; Georgiev, A.; Pizzinat, A. (23 June 2014). Challenges ahead of RAN virtualization in LTE (Unpublished). In: MCIS workshop, collocated with EUCNC 2014. Bologna, Italy. 23.06.2014.

Lima do Rosario, Denis; Zhao, Zhongliang; Braun, Torsten; Cerqueira, Eduardo; Santos, Aldri; Alyafawi, Islam Fayez Abd (16 June 2014). Opportunistic Routing for Multi-flow Video Dissemination over Flying Ad-Hoc Networks. In: 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014) (pp. 1-6). IEEE 10.1109/WoWMoM.2014.6918947

Bernardo, Vitor; Pascoal Curado, Marilia; Braun, Torsten (2014). An IEEE 802.11 energy efficient mechanism for continuous media applications. Sustainable Computing: Informatics and Systems, 4(2), 106 - 117. Elsevier 10.1016/j.suscom.2014.04.001

Alyafawi, Islam Fayez Abd; Dimitrova, Desislava Cvetanova; Braun, Torsten (10 June 2014). Real-Time Passive Capturing of the GSM Radio. In: IEEE ICC 2014 - Signal Processing for Communications Symposium (pp. 4401-4406). IEEE 10.1109/ICC.2014.6884013

Bourtsoulatze, Eirina; Thomos, Nikolaos; Frossard, P. (2014). Decoding Delay Minimization in Inter-Session Network Coding. IEEE Transactions on Communications, 62(6), pp. 1944-1957. Institute of Electrical and Electronics Engineers 10.1109/TCOMM.2014.2318701

Nobre Gomes, André Sérgio; Ruiz, Santiago; Carella, Giuseppe; Comi, Paolo; Secondo Crosta, Paolo (June 2014). Cloud-based Orchestration of Multimedia Services and Applications. In: European Conference on Networks and Communications 2014 (EuCNC 2014). Bologna, Italy. 23.-26.06.2014.

Karagiannis, G.; Jamakovic, Almerima; Briggs, K.; Karimzadeh, M.; Parada, C.; Corici, M.I.; Taleb, T.; Edmonds, A.; Bohnert, T.M. (June 2014). Mobility and bandwidth prediction in virtualized LTE systems: Architecture and challenges. In: European Conference on Networks and Communications (EuCNC), 2014 (pp. 1-5). IEEE 10.1109/EuCNC.2014.6882662

Donatsch, Daniel; Bigdeli, Siavash Arjomand; Robert, Philippe; Zwicker, Matthias (2014). Hand-held 3D light field photography and applications. The Visual Computer, 30(6-8), pp. 897-907. Springer 10.1007/s00371-014-0979-5

Mansour, Dima; Braun, Torsten; Anastasiades, Carlos (26 May 2014). NextServe Framework: Supporting Services Over Content-Centric Networking. Lecture notes in computer science, 8458, pp. 189-199. Springer 10.1007/978-3-319-13174-0_15

Anastasiades, Carlos; Braun, Torsten; El Maudni El Alami, Wafaa (26 May 2014). Agent-based Content Retrieval for Opportunistic Content-Centric Networks. Lecture notes in computer science, 8458, pp. 175-188. Springer 10.1007/978-3-319-13174-0_14

Zhao, Zhongliang; Braun, Torsten; Rosário, Denis; Cerqueira, Eduardo (20 May 2014). CAOR: Context-aware Adaptive Opportunistic Routing in Mobile Ad-hoc Networks. In: 7th IFIP Wireless and Mobile Networking Conference (WMNC) (pp. 1-8). IEEE 10.1109/WMNC.2014.6878878

Li, Zan; Dimitrova, Desislava Cvetanova; Hawes Raluy, David-Saeed; Braun, Torsten (20 May 2014). TDOA for Narrow-band Signal with Low Sampling Rate and Imperfect Synchronization. In: 7th IFIP Wireless and Mobile Networking Conference (WMNC 2014) (pp. 1-8). IEEE 10.1109/WMNC.2014.6878849

Antonescu, Alexandru-Florian; Braun, Torsten (5 May 2014). Improving Management of Distributed Services Using Correlations and Predictions in SLA-Driven Cloud Computing Systems. In: IEEE/IFIP Network Operations and Management Symposium (NOMS 2014) (pp. 1-8). IEEE 10.1109/NOMS.2014.6838320

Karagiannis, Georgios; Jamakovic, Almerima; Edmonds, Andy; Parada, Carlos; Metsch, Thijs; Pichon, Dominique; Corici, Marius; Ruffino, Simone; Gomes, Andre; Secondo Crosta, Paolo; Bohnert, Thomas Michael (5 May 2014). Mobile Cloud Networking: Virtualisation of Cellular Networks. In: Proceedings of 21st International Conference on Telecommunications (ICT 2014) (pp. 410-415). IEEE 10.1109/ICT.2014.6845149

Thoma, Matthias; Braun, Torsten; Magerkurth, Carsten; Antonescu, Alexandru-Florian (5 May 2014). Managing Things and Services with Semantics: A Survey. In: IEEE/IFIP Network Operations and Management Symposium (NOMS 2014) (pp. 1-5). IEEE 10.1109/NOMS.2014.6838366

Cerqueira, Eduardo; Santos, A.; Lima do Rosario, Denis; Braun, Torsten; Gerla, M. (May 2014). Multimedia Human-Centric Networking: Concepts, Technologies and Trends. In: Maziero, Carlos (ed.) 32th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC’14) (pp. 1-43). Porto Alegre - RS: SBC

Furquim, Gustavo; Neto, Filipe; Pessin, Gustavo; Ueyama, Jo; de Albuquerque, Joao P.; Clara, Maria; Mendiondo, Eduardo M.; de Souza, Vladimir C.B.; de Souza, Paulo; Dimitrova, Desislava Cvetanova; Braun, Torsten (May 2014). Combining Wireless Sensor Networks and Machine Learning for Flash Flood Nowcasting. In: 28th International Conference on Advanced Information Networking and Applications Workshops (WAINA). IEEE Conference Publications (pp. 67-72). Institute of Electrical and Electronics Engineers IEEE 10.1109/WAINA.2014.21

Dhillon, Daljit Singh J. S.; Teyssier, Jeremie; Single, Michael; Gaponenko, Iaroslav; Milinkovitch, Michel C.; Zwicker, Matthias (7 April 2014). Interactive Diffraction from Biological Nanostructures. In: Eurographics 2014 - Posters. Strasbourg. 7-11 April 2014. 10.2312/egp.20141064

Zhao, Zhongliang; Lima do Rosario, Denis; Braun, Torsten; Cerqueira, Eduardo (6 April 2014). Context-aware Opportunistic Routing in Mobile Ad-hoc Networks Incorporating Node Mobility. In: IEEE Wireless Communications and Networking Conference (WCNC 2014). Istambul, Turkey. 6-9 April 2014. 10.1109/WCNC.2014.6952640

Anastasiades, Carlos; Schmid, Tobias; Weber, Jürg; Braun, Torsten (6 April 2014). Opportunistic Content-Centric Data Transmission During Short Network Contacts. In: IEEE Wireless Communications and Networking Conference (WCNC 2014) (pp. 2516-2521). IEEE 10.1109/WCNC.2014.6952784

Thoma, Matthias; Braun, Torsten; Magerkurth, Carsten (4 April 2014). Enterprise Integration of Smart Objects using Semantic Service Descriptions. In: IEEE Wireless Communication and Networking Conference (WCNC) 2014) (pp. 3426-3431). IEEE 10.1109/WCNC.2014.6953133

Thoma, Matthias; Kakantousis, Theofilos; Braun, Torsten (3 April 2014). REST-based sensor networks with OData. In: 11th IEEE/IFIP Annual Conference on Wireless On-demand Network Systems and Services (WONS) (pp. 33-40). IEEE 10.1109/WONS.2014.6814719

Papadhimitri, Thoma; Favaro, Paolo (2014). A Closed-Form, Consistent and Robust Solution to Uncalibrated Photometric Stereo Via Local Diffuse Reflectance Maxima. International Journal of Computer Vision, 107(2), pp. 139-154. Springer 10.1007/s11263-013-0665-5

Osman, Haidar; Lungu, Mircea; Nierstrasz, Oscar (February 2014). Mining frequent bug-fix code changes. In: IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE), 2014 Software Evolution Week (pp. 343-347). IEEE 10.1109/CSMR-WCRE.2014.6747191

Faical, Bruno S.; Costa, Fausto G.; Pessin, Gustavo; Ueyama, Jó; Freitas, Heitor; Colombo, Alexandre; Fini, Pedro H.; Villas, Leandro; Osório, Fernando S.; Vargas, Patrícia A.; Braun, Torsten (2014). The use of unmanned aerial vehicles and wireless sensor networks for spraying pesticides. Journal of Systems Architecture, 60(4), 393 - 404. Elsevier 10.1016/j.sysarc.2014.01.004

Filho, Geraldo P R; Ueyama, Jó; Villas, Leandro A; Pinto, Alex R; Gonçalves, Vinícius P; Pessin, Gustavo; Pazzi, Richard W; Braun, Torsten (2014). NodePM: A Remote Monitoring Alert System for Energy Consumption Using Probabilistic Techniques. Sensors, 14(1), pp. 848-867. Molecular Diversity Preservation International MDPI 10.3390/s140100848

Lungu, Mircea; Lanza, Michele; Nierstrasz, Oscar (2014). Evolutionary and collaborative software architecture recovery with Softwarenaut. Science of computer programming, 79(1), pp. 204-223. Amsterdam: Elsevier 10.1016/j.scico.2012.04.007

Lima do Rosario, Denis; Zhao, Zhongliang; Santos, Aldri; Braun, Torsten; Cerqueira, Eduardo (2014). A Beaconless Opportunistic Routing Based on a Cross-Layer Approach for Efficient Video Dissemination in Mobile Multimedia IoT Applications. Computer communications, 45, pp. 21-31. Elsevier 10.1016/j.comcom.2014.04.002

Anastasiades, Carlos; Braun, Torsten; Siris, Vasilios (2014). Information-Centric Networking in Mobile and Opportunistic Networks. In: Ganchev, Ivan; Curado, Marília; Kassler, Andreas (eds.) Wireless Networking for Moving Objects. Protocols, Architectures, Tools, Services and Applications. Lecture Notes in Computer Science: Vol. 8611 (pp. 14-30). Springer 10.1007/978-3-319-10834-6_2

Riera, Jordi Ferrer; Tzanakaki, Anna; Antonescu, Alexandru-Florian; Anastasopoulos, Markos; García-Espín, Joan A.; Escalona, Eduard; Peng, Shuping; Landi, Giada; Bernini, Giacomo; Belter, Bartosz; Parniewicz, Damian; Hesselbach, Xavier; Figuerola, Sergi; Simeonidou, Dimitra (2014). Virtual Infrastructures as a Service enabling Converged Optical Networks and Data Centres. Optical Switching and Networking, 14, pp. 197-208. Elsevier 10.1016/j.osn.2014.05.017

Bourtsoulatze, Eirina; Thomos, Nikolaos; Frossard, P. (2014). Distributed Rate Allocation in Inter-Session Network Coding. IEEE transactions on multimedia, PP(99), p. 1. Institute of Electrical and Electronics Engineers 10.1109/TMM.2014.2328320

Lima do Rosario, Denis; Zhao, Zhongliang; Braun, Torsten; Cerqueira, Eduardo (2014). A Cross-Layer QoE-Based Approach for Event-Based Multi-Tier Wireless Multimedia Sensor Networks. International Journal of Adaptive, Resilient and Autonomic Systems, 5(1), pp. 1-18. IGI Global 10.4018/ijaras.2014010101

Lizak, C.; Gerber, Sabine; Zinne, D.; Michaud, Gaëlle; Schubert, M.; Chen, F.; Bucherer, Monika; Darbre, Tamis; Zenobi, R.; Reymond, Jean-Louis; Locher, K. P. (2014). A Catalytically Essential Motif in External Loop 5 of the Bacterial Oligosaccharyltransferase PglB. Journal of biological chemistry, 289(2), pp. 735-746. American Society for Biochemistry and Molecular Biology 10.1074/jbc.M113.524751

Sato, Kentaro (2014). Relative Predicativity and dependent recursion in second-order set theory and higher-orders theories. The Journal of Symbolic Logic, 79(03), pp. 712-732. 10.1017/jsl.2014.28

Alberucci, Luca; Krähenbühl, Jürg; Studer, Thomas (2014). Justifying induction on modal μ-formulae. Logic Journal of IGPL, 22(6), pp. 805-817. Oxford University Press 10.1093/jigpal/jzu001

Flumini, Dandolo; Sato, Kentaro (2014). From hierarchies to well-foundedness. Archive for mathematical logic, 53(7-8), pp. 855-863. Springer International 10.1007/s00153-014-0392-9

Sato, Kentaro (2014). Forcing for hat inductive definitions in arithmetic. Mathematical logic quarterly, 60(4-5), pp. 314-318. Wiley-VCH 10.1002/malq.201300044

Jäger, Gerhard; Zumbrunnen, Rico (2014). Explicit mathematics and operational set theory: some ontological comparisons. The Bulletin of Symbolic Logic, 20(03), pp. 275-292. Cambridge University Press 10.1017/bsl.2014.21

Ranzi, Florian; Strahm, Thomas Adrian (2014). A note on the theory SID<ω of stratified induction. Mathematical Logic Quarterly, 60(6), pp. 487-497. 10.1002/malq.201300063

Eberhard, Sebastian (2014). A feasible theory of truth over combinatory algebra. Annals of pure and applied logic, 165(5), pp. 1009-1033. Elsevier 10.1016/j.apal.2013.12.002

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2014). Realizing public announcements by justifications. Journal of Computer and System Sciences, 80(6), pp. 1046-1066. Elsevier 10.1016/j.jcss.2014.04.001

Savateev, Yury (2014). Proof internalization in generalized Frege systems for classical logic. Annals of pure and applied logic, 165(1), pp. 340-356. Elsevier 10.1016/j.apal.2013.07.017

Artemov, Sergei N.; Kuznets, Roman (2014). Logical omniscience as infeasibility. Annals of pure and applied logic, 165(1), pp. 6-25. Elsevier 10.1016/j.apal.2013.07.003

Studer, Thomas; Werner, Johannes Martin (2014). Censors for Boolean Description Logic. Transactions on Data Privacy, 7(3), pp. 223-252.

Manzi, Marco; Rousselle, Fabrice; Kettunen, Markus; Lehtinen, Jaakko; Zwicker, Matthias (2014). Improved sampling for gradient-domain metropolis light transport. ACM transactions on graphics, 33(6), pp. 1-12. Association for Computing Machinery 10.1145/2661229.2661291

Chapiro, Alexandre; Heinzle, Simon; Aydın, Tunç Ozan; Poulakos, Steven; Zwicker, Matthias; Smolic, Aljosa; Gross, Markus (2014). Optimizing stereo-to-multiview conversion for autostereoscopic displays. Computer graphics forum, 33(2), pp. 63-72. Blackwell 10.1111/cgf.12291

Knaus, Claude; Zwicker, Matthias (2014). Progressive Image Denoising. IEEE transactions on image processing, 23(7), pp. 3114-3125. IEEE 10.1109/TIP.2014.2326771

Aryani, Amir; Perin, Fabrizio; Lungu, Mircea; Mahmood, Abdun Naser; Nierstrasz, Oscar (2014). Predicting dependencies using domain-based coupling. Journal of Software: Evolution and Process, 26(1), pp. 50-76. Wiley 10.1002/smr.1598

Caracciolo, Andrea; Lungu, Mircea; Nierstrasz, Oscar (2014). Dicto: A Unified DSL for Testing Architectural Rules. In: Proceedings of the 2014 European Conference on Software Architecture Workshops. ECSAW '14 (pp. 1-4). New York, NY, USA: ACM 10.1145/2642803.2642824

Chis, Andrei; Girba, Tudor; Nierstrasz, Oscar (2014). The Moldable Inspector: a framework for domain-specific object inspection. In: Proceedings of International Workshop on Smalltalk Technologies (IWST 2014) (pp. 119-125). IWST

Chis, Andrei; Girba, Tudor; Nierstrasz, Oscar (2014). The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers. In: Combemale, Benoî; Pearce, David J.; Barais, Olivier; Vinju, Jurgen J. (eds.) Software Language Engineering. Lecture Notes in Computer Science: Vol. 8706 (pp. 102-121). Springer International Publishing 10.1007/978-3-319-11245-9_6

Haenni, Nicole; Lungu, Mircea; Schwarz, Niko; Nierstrasz, Oscar (2014). A Quantitative Analysis of Developer Information Needs in Software Ecosystems. In: Proceedings of the 2nd Workshop on Ecosystem Architectures (WEA'14) (pp. 1-6). New York, NY, USA: ACM 10.1145/2642803.2642815

Kurs, Jan; Lungu, Mircea; Nierstrasz, Oscar (2014). Top-Down Parsing with Parsing Contexts. In: Proceedings of International Workshop on Smalltalk Technologies (IWST 2014).

Kurs, Jan; Lungu, Mircea; Nierstrasz, Oscar (2014). Bounded Seas: Island Parsing Without Shipwrecks. In: Combemale, Benoî; Pearce, David J.; Barais, Olivier; Vinju, Jurgen J. (eds.) Software Language Engineering. Lecture Notes in Computer Science: Vol. 8706 (pp. 62-81). Springer International Publishing 10.1007/978-3-319-11245-9_4

Spasojevic, Boris; Lungu, Mircea; Nierstrasz, Oscar (2014). Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages. In: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Onward! '14 (pp. 133-142). New York, NY, USA: ACM 10.1145/2661136.2661141

Wernli, Erwann; Nierstrasz, Oscar; Teruel, Camille; Ducasse, Stephane (2014). Delegation Proxies: The Power of Propagation. In: Proceedings of the 13th International Conference on Modularity. MODULARITY '14 (pp. 1-12). New York, NY, USA: ACM 10.1145/2577080.2577081

Tiago, Gaspar; Paulo, Oliveira; Favaro, Paolo (2014). Synchronization of two independently moving cameras without feature correspondences. In: Fleet, David; Pajdla, Tomas; Schiele, Bernt; Tuytelaars, Tinne (eds.) Computer Vision – ECCV 2014. Lecture Notes in Computer Science: Vol. 8689 (pp. 189-204). Switzerland: Springer International Publishing 10.1007/978-3-319-10590-1_13

Perrone, Daniele; Favaro, Paolo (2014). Total Variation Blind Deconvolution: The Devil Is in the Details. In: 2014 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (pp. 2909-2916). IEEE 10.1109/CVPR.2014.372

Oberdörster, Alexander; Favaro, Paolo; Lensch, P. A. Hendrik (2014). Anamorphic pixels for multi-channel superresolution. In: 2014 IEEE International Conference on Computational Photography (ICCP) (pp. 1-10). IEEE 10.1109/ICCPHOT.2014.6831805

Sellent, Anita; Favaro, Paolo (2014). Which side of the focal plane are you on? In: 2014 IEEE International Conference on Computational Photography (ICCP) (pp. 1-8). IEEE 10.1109/ICCPHOT.2014.6831818

Sellent, Anita; Favaro, Paolo (2014). Optimized aperture shapes for depth estimation. Pattern recognition letters, 40, pp. 96-103. Elsevier 10.1016/j.patrec.2013.12.019

Antonescu, Alexandru-Florian; Oprescu, Ana-Maria; Demchenko, Yuri; de Laat, Cees; Braun, Torsten (2 December 2013). Dynamic Optimization of SLA-Based Services Scaling Rules. In: 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) (pp. 282-289). IEEE 10.1109/CloudCom.2013.44

Oprescu, Ana-Maria; Antonescu, Alexandru-Florian; Demchenko, Yuri; Laat, Cees de (2 December 2013). ICOMF: Towards a Multi-cloud Ecosystem for Dynamic Resource Composition and Scaling. In: Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on 1 (pp. 49-55). IEEE 10.1109/CloudCom.2013.14

Rousselle, Fabrice; Manzi, Marco; Zwicker, Matthias (2013). Robust Denoising using Feature and Color Information. Computer graphics forum, 32(7), pp. 121-130. Wiley 10.1111/cgf.12219

Vinhas, Adriano; Bernardo, Vitor; Pascoal Curado, Marilia; Braun, Torsten (14 November 2013). Performance Analysis and Comparison between Legacy-PSM and U-APSD. In: 13th Portuguese Conference on Computer Networks (CRC 2013). Leiria, Portugal. November 14 - 15, 2013.

Rosario, Denis; Zhao, Zhongliang; Braun, Torsten; Cerqueira, Eduardo; Santos, Aldri; Li, Zan (13 November 2013). Assessment of a robust opportunistic routing for video transmission in dynamic topologies. In: Wireless Days (WD), 2013 IFIP. Valencia, Spain. 13-15 Nov. 2013. 10.1109/WD.2013.6686464

Thoma, Matthias; Sperner, Klaus; Braun, Torsten; Magerkurth, Carsten (13 November 2013). Integration of WSNs into enterprise systems based on semantic physical business entities. In: Wireless Days (WD), 2013 IFIP. Valencia, Spain. 13-15 Nov. 2013. 10.1109/WD.2013.6686525

Thomos, Nikolaos; Pulikkoonattu, Rethnakaran; Frossard, Pascal (2013). Growth Codes: Intermediate Performance Analysis and Application to Video. IEEE Transactions on Communications, 61(11), pp. 4710-4721. Institute of Electrical and Electronics Engineers 10.1109/TCOMM.2013.092813.120865

Aeschlimann, Erik; Lungu, Mircea; Nierstrasz, Oscar; Worms, Carl (14 October 2013). Analyzing PL/1 Legacy Ecosystems: An Experience Report. In: Proceedings of the 20th Working Conference on Reverse Engineering, WCRE 2013 (pp. 441-448). IEEE 10.1109/WCRE.2013.6671320

Donatsch, Daniel; Färber, Nico; Zwicker, Matthias (7 October 2013). 3D Conversion using Vanishing Points and Image Warping. In: 3DTV-Conference: The True Vision-Capture, Transmission and Dispaly of 3D Video (3DTV-CON), 2013 (pp. 1-4). IEEE 10.1109/3DTV.2013.6676648

Pessin, Gustavo; Osório, Fernando S.; Souza, Jefferson R.; Ueyama, Jó; Costa, Fausto G.; Wolf, Denis F.; Dimitrova, Desislava; Braun, Torsten; Vargas, Patrícia A. (2013). Investigation on the evolution of an indoor robotic localization system based on wireless networks. Applied Artificial Intelligence, 27(8), pp. 743-758. Taylor & Francis 10.1080/08839514.2013.823328

Knaus, Claude; Zwicker, Matthias (15 September 2013). Dual-Domain Image Denoising. In: 2013 20th IEEE International Conference on Image Processing (ICIP) (pp. 440-444). IEEE 10.1109/ICIP.2013.6738091

Goleva, Rossitza; Atamian, Dimitar; Mirtchev, Seferin; Dimitrova, Desislava; Grigorova, Lyubina (2013). 3G network traffic sources measurement and analysis. Transactions on Emerging Telecommunications Technologies, 25(8), pp. 798-814. Wiley 10.1002/ett.2703

Biswas, Debmalya; Aad, Imad; Perrucci, Gian Paolo (2 September 2013). Privacy Panel: Usable and Quantifiable Mobile Privacy. In: Availability, Reliability and Security (ARES), 2013 Eighth International Conference on (pp. 218-223). IEEE 10.1109/ARES.2013.29

Toni, L.; Thomos, Nikolaos; Frossard, P. (September 2013). Interactive free viewpoint video streaming using prioritized network coding. In: 2013 IEEE 15th International Workshop on Multimedia Signal Processing (MMSP) (pp. 446-451). IEEE 10.1109/MMSP.2013.6659330

Kunszt, Peter; Maffioletti, Sergio; Flanders, Dean; Eurich, Markus; Bohnert, Thomas; Edmonds, Andrew; Stockinger, Heinz; Haug, Sigve; Jamakovic, Almerima; Flury, Placi; Leinen, Simon; Schiller, Eryk (26 August 2013). Towards a Swiss National Research Infrastructure. Lecture notes in computer science, 8374, pp. 157-166. Springer 10.1007/978-3-642-54420-0_16

Laurila, Juha K.; Gatica-Perez, Daniel; Aad, Imad; Blom, Jan; Bornet, Olivier; Do, Trinh Minh Tri; Dousse, Olivier; Eberle, Julien; Miettinen, Markus (2013). From big smartphone data to worldwide research: The Mobile Data Challenge. Pervasive and Mobile Computing, 9(6), 752 - 771. Elsevier 10.1016/j.pmcj.2013.07.014

Haenni, Nicole; Lungu, Mircea; Schwarz, Niko; Nierstrasz, Oscar (18 August 2013). Categorizing Developer Information Needs in Software Ecosystems. In: Proceedings of the 1st Workshop on Ecosystem Architectures (pp. 1-5). New York: ACM 10.1145/2501585.2501586

Schenk, Dennis; Lungu, Mircea (18 August 2013). Geo-Locating the Knowledge Transfer in StackOverflow. In: SSE 2013 Proceedings of the 2013 International Workshop on Social Software Engineering (pp. 21-24). New York: ACM 10.1145/2501535.2501540

Wernli, Erwann; Lungu, Mircea; Nierstrasz, Oscar (2013). Incremental Dynamic Updates with First-class Contexts. Journal of Object Technology, 12(3), pp. 1-27. AITO 10.5381/jot.2013.12.3.a1

Chis, Andrei; Nierstrasz, Oscar; Girba, Tudor (July 2013). Towards a Moldable Debugger. In: DYLA '13: Proceedings of the 7th Workshop on Dynamic Languages and Applications. (pp. 1-6). ACM 10.1145/2489798.2489801

Chakareski, Jacob (2013). Informative State-Based Video Communication. IEEE transactions on image processing, 22(6), pp. 2115-2127. IEEE 10.1109/TIP.2013.2244609

McKinley, Richard (2013). Canonical proof nets for classical logic. Annals of pure and applied logic, 164(6), pp. 702-732. Elsevier 10.1016/j.apal.2012.05.007

Lungu, Mircea; Kurs, Jan (18 May 2013). On Planning an Evaluation of the Impact of Identifier Names on the Readability and Maintainability of Programs. In: USER'13: Proceedings of the 2nd International Workshop on User evaluations for Software Engineering Researchers. San Francisco, CA. May 18-26, 2013.

Studer, Thomas (2013). Decidability for some justification logics with negative introspection. Journal of symbolic logic, 78(2), pp. 388-402. Association for Symbolic Logic 10.2178/jsl.7802030

Milic, Dragan; Braun, Torsten (15 May 2013). Guaranteed greedy routing in overlay networks. In: Future Internet Communications (CFIC), 2013 Conference on. Coimbra, Portugal. May 15 - 16, 2013. 10.1109/CFIC.2013.6566327

Rosário, Denis; Costa, Rodrigo; Santos, Aldri; Braun, Torsten; Cerqueira, Eduardo (6 May 2013). QoE-aware Multiple Path Video Transmission for Wireless Multimedia Sensor Networks. Proceedings of XXXI Brazilian Symposium on Computer Networks and Distributed Systems.

Jamakovic, Almerima; Bohnert, Thomas; Karagiannis, Georgios (2013). Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand. In: Galis, Alex; Gavras, Anastasius (eds.) The Future Internet: Future Internet Assembly 2013. Validated Results and New Horizons. Lecture Notes in Computer Science: Vol. 7858 (pp. 356-358). Heidelberg: Springer 10.1007/978-3-642-38082-2_33

Jamakovic, A.; Dimitrova, D. C.; Anwander, M.; Macicas, T.; Braun, T.; Schwanbeck, J.; Staub, T.; Nyffenegger, B. (2013). Real-World Energy Measurements of a Wireless Mesh Network. In: Pierson, Jean-Marc; Da Costa, Georges; Dittmann, Lars (eds.) Energy Efficiency in Large Scale Distributed Systems: COST IC0804 European Conference, EE-LSDS 2013 Vienna, Austria, April 2013 Revised Selected Papers. Lecture Notes in Computer Science: Vol. 8046 (pp. 218-232). Heidelberg: Springer 10.1007/978-3-642-40517-4_18

Braun, Torsten; Trinh, Tuan Anh (2013). Energy Efficiency Issues in Information-Centric Networking. In: Pierson, Jean-Marc; Da Costa, Georges; Dittmann, Lars (eds.) Energy Efficiency in Large Scale Distributed Systems: COST IC0804 European Conference, EE-LSDS 2013 Vienna, Austria, April 22-24, 2013. Revised Selected Papers. Lecture Notes in Computer Science: Vol. 8046 (pp. 271-278). Heidelberg: Springer 10.1007/978-3-642-40517-4_22

Bernardo, Vitor; Curado, Marilia; Braun, Torsten (2013). Enhancing IEEE 802.11 Energy Efficiency for Continuous Media Applications. In: Pierson, Jean-Marc; Da Costa, Georges; Dittmann, Lars (eds.) Energy Efficiency in Large Scale Distributed Systems: COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013. Revised Selected Papers. Lecture Notes in Computer Science: Vol. 8046 (pp. 203-217). Heidelberg: Springer 10.1007/978-3-642-40517-4_17

Araujo, Regina B.; Ribeiro, Carlos H.C.; Turgut, Damla; Ueyama, Jo; Braun, Torsten (2013). Deploying Real-Life WSN Applications: Challenges, Solutions, and Future Directions. International Journal of Distributed Sensor Networks, 2013(610892), pp. 1-2. Hindawi Publishing Corporation 10.1155/2013/610892

Thoma, Matthias; Antonescu, Alexandru-Florian; Mintsi, Theano; Braun, Torsten (2013). Linked Services for Enabling Interoperability in the Sensing Enterprise. In: van Sinderen, M.; Oude Luttighuis, P.; Folmer, E.; Bosems, S. (eds.) Enterprise Interoperability: 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedings. Lecture Notes in Business Information Processing: Vol. 144 (pp. 131-144). Berlin: Springer 10.1007/978-3-642-36796-0_12

Rosário, Denis; Zhao, Zhongliang; Silva, Claudio; Cerqueira, Eduardo; Braun, Torsten (5 March 2013). An OMNeT++ Framework to Evaluate Video Transmission in Mobile Wireless Multimedia Sensor Networks. In: Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques. SimuTools '13 (pp. 277-284). ICST, Brussels, Belgium, Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Li, Z.; Dimitrova, D. C.; Braun, T. (March 2013). TDOA-Based Localization System with Narrow-band Signals. In: Conference on Networked Systems (NetSys), PhD Forum. Stuttgart, Germany. March 11-15, 2013.

Rosário, Denis; Lima, Philipe; Machado, Kassio; Cerqueira, Eduardo; Zhao, Zhongliang; Braun, Torsten (13 February 2013). Demo Abstract: Disseminating WMSN Data by Using Social Network and Web. In: 10th European Conference on Wireless Sensor Networks (EWSN 2013). Ghent, Belgium. 13.-15. Februar 2013.

Tošić, Tamara; Thomos, Nikolaos; Frossard, Pascal (2013). Distributed sensor failure detection in sensor networks. Signal Processing, 93(2), 399 - 410. Elsevier 10.1016/j.sigpro.2012.07.028

Hurni, Philipp (2013). Traffic-Adaptive and Link-Quality-Aware Communication in Wireless Sensor Networks. Praxis der Informationsverarbeitung und Kommunikation, 36(1), pp. 3-8. De Gruyter 10.1515/pik-2012-0138

McKinley, Richard (2013). Proof Nets for Herbrand’s Theorem. ACM Transactions on Computational Logic, 14(1), pp. 1-31. New York: ACM 10.1145/2422085.2422090

Park, Hyunggon; Thomos, Nikolaos; Frossard, Pascal (2013). Approximate decoding approaches for network coded correlated data. Signal Processing, 93(1), 109 - 123. Elsevier 10.1016/j.sigpro.2012.07.007

de Lemos, Rogério; Giese, Holger; Müller, Hausi A.; Shaw, Mary; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley; Tamura, Gabriel; Villegas, Norha M.; Vogel, Thomas; Weyns, Danny; Baresi, Luciano; Becker, Basil; Bencomo, Nelly; Brun, Yuriy; Cukic, Bojan; Desmarais, Ron; Dustdar, Schahram; Engels, Gregor; Geihs, Kurt; ... (2013). Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. In: Software Engineering for Self-Adaptive Systems II. Lecture Notes in Computer Science: Vol. 7475 (pp. 1-32). Berlin Heidelberg: Springer 10.1007/978-3-642-35813-5

Braun, Torsten; Mauthe, Andreas; Siris, Vasilios (2013). Service-centric Networking Extensions. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing. SAC '13 (p. 583). New York: ACM 10.1145/2480362.2480475

Anwander, Markus; Braun, Torsten; Hurni, Philipp; Staub, Thomas; Wagenknecht, Gerald (2013). User and Machine Authentication and Authorization Infrastructure for Distributed Wireless Sensor Network Testbeds. Journal of Sensor and Actuator Networks, 2(1), pp. 109-121. M D P I AG 10.3390/jsan2010109

Machado, Kássio; Rosario, Denis; Cerqueira, Eduardo; Loureiro, Antonio A. F.; Neto, Augusto; de Souza, José Neuman (2013). A Routing Protocol Based on Energy and Link Quality for Internet of Things Applications. Sensors, 13(2), pp. 1942-1964. Molecular Diversity Preservation International MDPI 10.3390/s130201942

Araujo, Regina B.; Ribeiro, Carlos H. C.; Turgut, Damla; Ueyama, Jo; Braun, Torsten (eds.) (2013). Deploying Real-Life WSN Applications: Challenges, Solutions, and Future Directions. International Journal of Distributed Sensor Networks: Vol. 2013. Hindawi Publishing Corporation

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2013). Decidability for Justification Logics Revisited. In: Logic, language, and computation. Lecture Notes in Computer Science: Vol. 7758 (pp. 166-181). Berlin, Heidelberg: Springer Berlin Heidelberg 10.1007/978-3-642-36976-6_12

Jäger, Gerhard (2013). Operational closure and stability. Annals of pure and applied logic, 164(7-8), pp. 813-821. Elsevier 10.1016/j.apal.2013.01.004

Kuznets, Roman; Studer, Thomas (2013). Update as Evidence: Belief Expansion. In: Update as evidence: brief expansion. Lecture Notes in Computer Science: Vol. 7734 (pp. 266-279). Berlin, Heidelberg: Springer 10.1007/978-3-642-35722-0_19

Studer, Thomas (2013). A Universal Approach to Guarantee Data Privacy. Logica universalis, 7(2), pp. 195-209. Birkhäuser 10.1007/s11787-012-0060-y

Bomma, Sushma; Favaro, Paolo; Robertson, Neil (2013). Sparse representation based action and gesture recognition. In: 20th IEEE International Conference on Image Processing (ICIP) (pp. 141-145). IEEE 10.1109/ICIP.2013.6738030

Papadhimitri, Thoma; Favaro, Paolo (2013). A New Perspective on Uncalibrated Photometric Stereo. In: Computer Vision and Pattern Recognition (CVPR) (pp. 1474-1481). Computer Vision Foundation

Sellent, Anita; Favaro, Paolo (2013). Optimising Aperture Shapes for Depth Estimation. In: Bronstein, Michael M.; Favre, Jean; Hormann, Kai (eds.) VMV (18th International Workshop on Vision, Modeling and Visualization) (pp. 219-220). Eurographics Association 10.2312/PE.VMV.VMV13.219-220

Zhao, Zhongliang; Braun, Torsten; do Rosario, Denis; Cerqueira, Eduardo; Immich, Roger; Pascoal Curado, Marilia (October 2012). QoE-aware FEC Mechanism for Intrusion Detection in Multi-tier Wireless Multimedia Sensor Networks. In: Wireless and Mobile Computing, Networking and Communications (WiMob), 2012 IEEE 8th International Conference on (pp. 689-696). Washington, DC: IEEE Computer Society 10.1109/WiMOB.2012.6379150

Goleva, Rossitza; Mirtchev, Seferin; Atamian, Dimitar; Dimitrova, Desislava; Asenov, Oleg (June 2012). Experimental Analysis of QoS Provisioning for Video Traffic in Heterogeneous Networks. In: Joint ERCIM eMobility and MobiSense Workshop, Santorini, Greece (pp. 62-69). Bern: Universität Bern

Lienhard, Adrian; Girba, Tudor; Nierstrasz, Oscar (2012). Specifying Dynamic Analyses by Extending Language Semantics. IEEE transactions on software engineering, 38(3), pp. 694-706. New York, N.Y.: Institute of Electrical and Electronics Engineers IEEE 10.1109/TSE.2011.38

Antonescu, Alexandru-Florian; Robinson, Philip; Braun, Torsten (2012). Dynamic Topology Orchestration for Distributed Cloud-Based Applications. In: IEEE International Symposium on Network Cloud Computing and Applications NCCA 2012, Imperial College, London, UK, 3.-4.12.2012 (pp. 116-123). Washington, DC: IEEE Computer Society 10.1109/NCCA.2012.14

Anwander, Markus; Braun, Torsten; Jamakovic, Almerima; Staub, Thomas (2012). Authentication and Authorisation Mechanisms in support of Secure Access to WMN Resources. In: The Fourth IEEE International Workshop on Hot Topics in Mesh Networking HOTMESH, San Francisco, USA (pp. 1-6). Washington, DC: IEEE 10.1109/WoWMoM.2012.6263776

Anastasiades, Carlos; Uruqi, Arian; Braun, Torsten (2012). Content Discovery in Opportunistic Content-Centric Networks. In: 5th International Workshop on Architectures, Services and Applications for the Next Generation Internet, Clearwater, FL, USA (pp. 1044-1052). IEEE 10.1109/LCNW.2012.6424042

do Rosario, Denis; Costa, Rodrigo; Paraense, Helder; Machado, Kassio; Cerqueira, Eduardo; Braun, Torsten (2012). A smart multi-hop hierarchical routing protocol for efficient video communication over wireless multimedia sensor networks. In: 2nd IEEE International Workshop on Smart Communication Protocols and Algorithms, Ottawa, Canada (pp. 6530-6534). IEEE 10.1109/ICC.2012.6364926

do Rosario, Denis; Costa, Rodrigo; Paraense, Helder; Machado, Kássio; Cerqueira, Eduardo; Braun, Torsten; Zhao, Zhongliang (2012). A Hierarchical Multi-hop Multimedia Routing Protocol for Wireless Multimedia Sensor Networks. Network protocols and algorithms, 4(4), pp. 44-64. Las Vegas, NV: Macrothink Institute 10.5296/npa.v4i4.2121

Dimitrova, Desislava C.; Alyafawi, Islam; Braun, Torsten (2012). Experimental Comparison of Bluetooth and WiFi Signal Propagation for Indoor Localisation. In: Koucheryavy, Yevgeni; Mamatas, Lefteris; Matta, Ibrahim; Tsaoussidis, Vassilis (eds.) Wired/Wireless Internet Communication. 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Lecture Notes in Computer Science: Vol. 7277 (pp. 126-137). Heidelberg: Springer Verlag 10.1007/978-3-642-30630-3_11

Noppen, Ivo F.R.; Dimitrova, Desislava C.; Braun, Torsten (2012). Data filltering and aggregation in a localisation WSN testbed. In: Korakis, Thanasis; Zink, Michael; Ott, Maximilian (eds.) Testbeds and Research Infrastructure: Development of Networks and Communities. 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering LNICST: Vol. 44 (pp. 210-223). Heidelberg: Springer Verlag 10.1007/978-3-642-35576-9_19

Goleva, Rossitza; Atamian, Dimitar; Mirtchev, Seferin; Dimitrova, Desislava; Grigorova, Lubina (2012). Traffic sources measurement and analysis in UMTS. In: Proceedings of the 1st ACM workshop on High performance mobile opportunistic systems (pp. 29-32). New York: Association for Computing Machinery ACM

Hurni, Philipp; Anwander, Markus; Wagenknecht, Gerald; Staub, Thomas; Braun, Torsten (2012). TARWIS: A testbed management architecture for wireless sensor network testbeds. In: IEEE/IFIP Network Operations and Management Symposium NOMS, Maui, Hawaii, USA (pp. 611-614). Washington, DC: IEEE Computer Society

Wagenknecht, Gerald; Anwander, Markus; Braun, Torsten (2012). Performance Evaluation of Reliable Overlay Multicast in Wireless Sensor Networks. In: Koucheryavy, Yevgeni; Mamatas, Lefteris; Matta, Ibrahim; Tsaoussidis, Vassilis (eds.) Wired/Wireless Internet Communication. 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Lecture Notes in Computer Science: Vol. 7277 (pp. 114-125). Heidelberg: Springer Verlag 10.1007/978-3-642-30630-3_10

Wagenknecht, Gerald; Anwander, Markus; Braun, Torsten (2012). SNOMC: An overlay multicast protocol for Wireless Sensor Networks. In: 9th Annual Conference on Wireless On-demand Network Systems and Services WONS, Courmayeur, Italy (pp. 75-78). IEEE 10.1109/WONS.2012.6152242

Coulson, Geoff; Porter, Barry; Chatzigiannakis, Ioannis; Koninis, Christos; Fischer, Stefan; Pfisterer, Dennis; Bimschas, Daniel; Braun, Torsten; Hurni, Philipp; Anwander, Markus; Wagenknecht, Gerald; Fekete, Sandor; Kröller, Alexander; Baumgartner, Tobias (2012). Flexible Experimentation in Wireless Sensor Networks. Communications of the ACM, 55(1), pp. 82-90. New York, N.Y.: Association for Computing Machinery 10.1145/2063176.2063198

Alyafawi, Islam (2012). Towards Self-Learning Radio-Based Localization Systems. In: IEEE International Conference on Pervasive Computing and Communications Workshops PERCOM PhD Forum, Lugano, Switzerland (pp. 556-557). IEEE 10.1109/PerComW.2012.6197572

Hurni, Philipp; Bürgi, Ulrich; Anwander, Markus; Braun, Torsten (2012). TCP Performance Optimizations for Wireless Sensor Networks. In: Picco, Gian Pietro; Heinzelmann, Wendy (eds.) Wireless Sensor Networks. 9th European Conference EWSN 2012, Trento, Italy 7158 (pp. 17-32). Heidelberg: Springer Verlag 10.1007/978-3-642-28169-3_2

Morgenthaler, Simon; Braun, Torsten; Zhao, Zhongliang; Staub, Thomas; Anwander, Markus (2012). UAVNet: A Mobile Wireless Mesh Network Using Unmanned Aerial Vehicles. In: 3rd International Workshop on Wireless Networking and Control for Unmanned Autonomous Vehicles, Anaheim, CA, USA (pp. 1603-1608). IEEE 10.1109/GLOCOMW.2012.6477825

Thoma, Matthias; Sperner, Klaus; Braun, Torsten (2012). Service Descriptions and Linked Data for Integrating WSNs into Enterprise IT. In: 34th International Conference on Software Engineering, Zurich, Switzerland (pp. 43-48). IEEE 10.1109/SESENA.2012.6225734

Thoma, Matthias; Meyer, Sonja; Sperner, Klaus; Meissner, Stefan; Braun, Torsten (2012). On IoT-services: Survey, Classification and Enterprise Integration. In: 2012 IEEE International Conference on Green Computing and Communications GreenCom, Besancon, France (pp. 257-260). Washington, DC: IEEE Computer Society 10.1109/GreenCom.2012.47

Thomos, Nikolaos; Frossard, Pascal (2012). Towards one Symbol Network Coding Vectors. IEEE communications letters, 16(11), pp. 1860-1863. New York, N.Y.: Institute of Electrical and Electronics Engineers IEEE 10.1109/LCOMM.2012.092812.121661

Staub, Thomas (2012). Development, Testing, Deployment & Operation of Wireless Mesh Networks: Addressing various challenges encountered in the life cycle of Wireless Mesh Networks. Saarbrücken: Südwestdeutscher Verlag für Hochschulschriften

Costa, Fausto; Ueyama, Jo; Braun, Torsten; Pessin, Gustavo; Osorio, Fernando; Vargas, Patricia (2012). The use of Unmanned Aerial Vehicles and Wireless Sensor Networks in Agricultural Applications. In: IEEE International and Remote Sensing Symposiu, Munich, Germany (pp. 5045-5048). Washington, DC: IEEE Computer Society

Zhao, Zhongliang; Braun, Torsten (2012). Topology Control and Mobility Strategy for UAV Ad-hoc Networks: A Survey. In: Joint ERCIM eMobility and MobiSense Workshop, Santorini, Greece (pp. 27-32). Bern: Universität Bern

Pessin, Gustavo; Osorio, Fernando; Souza, Jefferson; Costa, Fausto; Ueyama, Jo; Wolf, Denis; Braun, Torsten; Vargas, Patricia (2012). Evolving an Indoor Robotic Localization System Based on Wireless Networks. In: Jayne, Christina; Yue, Shigang; Iliadis, Lazaros (eds.) Engineering Applications of Neural Networks. 13th International Conference, EANN 2012, London, UK, September 20-23, 2012. Communications in Computer and Information Science: Vol. 311 (pp. 61-70). Heidelberg: Springer Verlag 10.1007/978-3-642-32909-8_7

Hock, David; Bernardo, Vitor; Zinner, Thomas; Wamser, Florian; Hummel, Karin; Curado, Marilia; Pries, Rastin; Braun, Torsten; Tran-Gia, Phuoc (2012). Evaluating the Trade-off Between Energy Efficiency and QoE in Wireless Mesh Networks. In: Fourth International Conference on Communications and Electronics ICCE, Royal city of Hue, Vietnam (pp. 233-238). IEEE 10.1109/CCE.2012.6315904

Zhao, Zhongliang; Mosler, Björn; Braun, Torsten (2012). Performance evaluation of opportunistic routing protocols: a framework-based approach using OMNeT++. In: 7th Latin America Networking Conference, Medellín, Colombia (p. 28). New York: Association for Computing Machinery ACM 10.1145/2382016.2382022

Lo, Wan-Yen; Knaus, Claude; Zwicker, Matthias (2012). Learning motion controllers with adaptive depth perception. In: Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. SCA: Vol. 12 (pp. 145-154). Eurographics Association 10.2312/SCA/SCA12/145-154

Rousselle, Fabrice; Knaus, Claude; Zwicker, Matthias (2012). Adaptive Rendering with Non-Local Means Filtering. ACM transactions on graphics, 31(6), 195.1-195.11. New York, N.Y.: Association for Computing Machinery 10.1145/2366145.2366214

Milinkovitch, Michel C.; Manukyan, Liana; Debry, Adrien; Singh, Daljit; Lambert, Dominique; Zwicker, Matthias (2012). Crocodile Head Scales Are Not Developmental Units But Emerge from Physical Cracking. Science, 339(6115), pp. 78-81. Washington, D.C.: American Association for the Advancement of Science 10.1126/science.1226265

Bishop, T.E.; Favaro, P. (2012). The Light Field Camera: Extended Depth of Field, Aliasing, and Superresolution. IEEE transactions on pattern analysis and machine intelligence, 34(5), pp. 972-986. Los Alamitos, Calif.: IEEE Computer Society 10.1109/TPAMI.2011.168

Perrone, Daniele; Humphreys, David; Lamb, Robert A.; Favaro, Paolo (2012). Evaluation of image deblurring methods via a classification metric. In: Kamerman, Gary W.; Steinvall, Ove; Bishop, Gary J.; Gonglewski, John; Lewis, Keith L.; Hollins, Richard C.; Merlet, Thomas J.; Gruneisen, Mark T.; Dusek, Miloslav; Rarity, John G. (eds.) Electro-Optical Remote Sensing, Photonic Technologies, and Applications VI. Proceedings of SPIE: Vol. 8542 (p. 854215). Bellingham: SPIE 10.1117/12.979199

Favaro, P.; Papadhimitri, T. (2012). A Closed-Form Solution to Uncalibrated Photometric Stereo via Diffuse Maxima. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (pp. 821-828). Washington, DC: IEEE Computer Society

Perrone, D.; Ravichandran, A.; Vidal, R.; Favaro, P. (2012). Image Priors for Image Deblurring with Uncertain Blur. In: Bowden, Richard; Collomosse, John; Mikolajczyk, Krystian (eds.) Proceedings of the British Machine Vision Conference (pp. 1-11). BMVA The British Machine Vision Association and Society for Pattern Recognition

Martinello, M.; Favaro, P. (2012). Depth estimation from a video sequence with moving and deformable objects. In: Poroceedings of the IET Conference on Image Processing (pp. 1-6). IET The Institution of Engineering and Technology

Favaro, Paolo (2012). A split-sensor light field camera for extended depth of field and superresolution. In: Schelkens, Peter; Ebrahimi, Touradj; Cristóbal, Gabriel; Truchetet, Frédéric; Saarikko, Pasi (eds.) Optics, Photonics, and Digital Technologies for Multimedia Applications II. Proceedings of SPIE: Vol. 8436 (p. 843602). Bellingham: SPIE 10.1117/12.924927

Brünnler, Kai; Studer, Thomas (2012). Syntactic cut-elimination for a fragment of the modal mu-calculus. Annals of pure and applied logic, 163(12), pp. 1838-1853. Amsterdam: Elsevier 10.1016/j.apal.2012.04.006

Eberhard, Sebastian; Strahm, Thomas (2012). Weak theories of truth and explicit mathematics. In: Berger, Ulrich; Diener, Hannes; Schuster, Peter (eds.) Logic, Construction, Computation (pp. 157-184). Heusenstamm bei Frankfurt: Ontos

Goetschi, Remo; Kuznets, Roman (2012). Realization for justification logics via nested sequents: Modularity through embedding. Annals of pure and applied logic, 163(9), pp. 1271-1298. Amsterdam: Elsevier 10.1016/j.apal.2012.02.002

Jäger, Gerhard; Zumbrunnen, Rico (2012). About the Strength of Operational Regularity. In: Berger, Ulrich; Diener, Hannes; Schuster, Peter (eds.) Logic, Construction, Computation (pp. 305-324). Heusenstamm bei Frankfurt: Ontos

Buss, Samuel R.; Kuznets, Roman (2012). Lower complexity bounds in justification logic. Annals of pure and applied logic, 163(7), pp. 888-905. Amsterdam: Elsevier 10.1016/j.apal.2011.09.010

Kuznets, Roman; Studer, Thomas (2012). Justifications, Ontology, and Conservativity. In: Bolander, Thmas; Braüner, Torben; Ghilardi, Silvio; Moss, Lawrence (eds.) Advances in Modal Logic, volume 9 (pp. 437-458). College Publications

Savateev, Yury (2012). Product-free Lambek calculus is NP-complete. Annals of pure and applied logic, 163(7), pp. 775-788. Amsterdam: Elsevier 10.1016/j.apal.2011.09.017

Studer, Thomas (2012). Justified Terminological Reasoning. In: Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei (eds.) Perspectives of Systems Informatics. 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 7162 (pp. 349-361). Heidelberg: Springer Verlag 10.1007/978-3-642-29709-0_30

Mints, Grigori; Studer, Thomas (2012). Cut-elimination for the mu-calculus with one variable. In: D. Miller, D.; Esik, Z. (eds.) Fixed Points in Computer Science 2012.

Vrany, Jan; Kurs, Jan; Hlopko, Marcel; Gittinger, Class (2012). On the Integration of Smalltalk and Java. In: Proceedings of the 4rd International Workshop on Smalltalk Technologies IWST 12. New York: Association for Computing Machinery ACM

Hattori, Lile; D'Ambros, Marco; Lanza, Michele; Lungu, Mircea (2012). Answering software evolution questions: An empirical evaluation. Information and software technology, 55(4), pp. 755-775. London: Butterworth 10.1016/j.infsof.2012.09.001

Robbes, Romain; Lungu, Mircea; Rüthlisberger, David (2012). How do developers react to API deprecation?: the case of a smalltalk ecosystem. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (p. 1). New York: Association for Computing Machinery ACM 10.1145/2393596.2393662

Schwarz, Niko; Lungu, Mircea; Robbes, Romain (2012). On how often code is cloned across repositories. In: Proceedings of the 2012 International Conference on Software Engineering (pp. 1289-1292). Washington, DC: IEEE Computer Society

Schwarz, Nico; Lungu, Mircea; Nierstrasz, Oscar (2012). Seuss: Decoupling responsibilities from static methods for fine-grained configurability. Journal of Object Technology, 11(1), 3:1. Zürich: AITO 10.5381/jot.2012.11.1.a3

Wernli, Erwann; Lungu, Mircea; Nierstrasz, Oscar (2012). Incremental Dynamic Updates with First-Class Contexts. In: Furia, Carlo A.; Nanz, Sebastian (eds.) Objects, Models, Components, Patterns. 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Lecture Notes in Computer Science: Vol. 7304 (pp. 304-319). Heidelberg: Springer Verlag 10.1007/978-3-642-30561-0_21

Ressia, Jorge; Bergel, Alexandre; Nierstrasz, Oscar (2012). Object-Centric Debugging. In: Glinz, M; Murphy, G; Pezze, M (eds.) Proceeding of the 34rd international conference on Software engineering (pp. 485-495). Washington, DC: IEEE Computer Society 10.1109/ICSE.2012.6227167

Ressia, Jorge; Bergel, Alexandre; Nierstrasz, Oscar; Renggli, Lukas (2012). Modeling Domain-Specific Profilers. Journal of Object Technology, 11(1), pp. 1-21. Zürich: AITO 10.5381/jot.2012.11.1.a5

Ressia, Jorge; Girba, Tudor; Nierstrasz, Oscar; Perin, Fabrizio; Renggli, Lukas (2012). Talents: an environment for dynamically composing units of reuse. Software, practice and experience, 44(4), pp. 413-432. Chichester, UK: Wiley Interscience 10.1002/spe.2160

Wernli, Erwann; Maerki, Pascal; Nierstrasz, Oscar (2012). Ownership, filters and crossing handlers: flexible ownership in dynamic languages. In: Proceedings of the 8th symposium on Dynamic languages, DLS 12 (p. 83). New York: Association for Computing Machinery ACM 10.1145/2384577.2384589

Ressia, Jorge; Perin, Fabrizio; Renggli, Lukas (2012). Suicide Objects. In: Proceedings of the 6th Workshop on Dynamic Languages and Applications DYLA 12 (pp. 1-2). New York: Association for Computing Machinery ACM 10.1145/2307196.2307197

Schulze, Sandro; Schwarz, Niko (2012). How to Make the Hidden Visible - Code Clone Presentation Revisited. In: Koschke, Rainer; Baxter, Ira D.; Conradt, Michael; Cordy, James R. (eds.) Software Clone Management Towards Industrial Application, vol. 2. Dagstuhl Seminar: Vol. 12071 (pp. 35-38). D-Wadern: Schloss Dagstuhl Leibniz-Zentrum für Informatik

Schwarz, Niko (2012). Hot clones: Combining search-driven development, clone management, and code provenance. In: 34th International Conference on Software Engineering ICSE (pp. 1628-1629). Washington, DC: IEEE Computer Society 10.1109/ICSE.2012.6227221

Schwarz, Niko (2012). Hot Clones: A Shotgun Marriage of Search-Driven Development and Clone Management. In: 16th European Conference on Software Maintenance and Reengineering (pp. 513-515). Washington, DC: IEEE Computer Society 10.1109/CSMR.2012.67

Wernli, Erwann (2012). Theseus: Whole updates of java server applications. In: Fourth Workshop on Hot Topics in Software Upgrades HotSWUp 2012 (pp. 41-45). Washington, DC: IEEE Computer Society 10.1109/HotSWUp.2012.6226616

Hurni, Philipp; Braun, Torsten; Nyffenegger, Benjamin; Hergenroeder, Anton (2011). On the accuracy of Software-based Energy Estimation Techniques. In: Marrón, Pedro José; Whitehouse, Kamin (eds.) EWSN'11 Proceedings of the 8th European conference on Wireless sensor networks. Lecturer Notes in Computer Science: Vol. 6567 (pp. 49-64). Heidelberg: Springer Verlag 10.1007/978-3-642-19186-2_4

Staub, Thomas; Nyffenegger, Benjamin; Dimitrova, Desislava; Braun, Torsten (2011). Operational Support of Wireless Mesh Networks Deployed for Extending Network Connectivity. In: 1st international Workshop on Opportunistic Sensing and Processing in Mobile Wireless Sensor and Cellular networks (MobiSense), Bilbao, Spain. Bilbao, Spain. 09 - 11.05.2011.

Dimitrova, Desislava; Heijenk, Geert; Braun, Torsten (2011). Analysis Methodology for Flow-level Evaluation of a Hybrid Mobile-Sensor Network. In: 1st International Workshop on Opportunistic Sensing and Processing in Mobile Wireless Sensor and Cellular networks (MobiSense), Bilbao, Spain. Bilbao, Spain. 9 - 11.05.2011.

Dimitrova, Desislava; Bürgi, Ulrich; Martins Dias, Gabriel; Braun, Torsten; Staub, Thomas (2011). Inquiry-based Bluetooth Parameters for Indoor Localisation - an experimental study. In: 5th ERCIM workshop on e-Mobility, Vilanova i la Geltrú, Spain (pp. 13-21). Universität Barcelona

Dimitrova, Desislava; Heijenk, Geert; van den Berg, Hans; Yankov, Stoyan (2011). Scheduler-dependent inter-cell interference and its impact on LTE uplink performance at flow level. In: Masip-Bruin, Xavier; Verchere, Dominique; Tsaoussidis, Vassilis; Yannuzzi, Marcelo (eds.) Wired/Wireless Internet Communications, 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011. Proceedings. Lecture Notes in Computer Science: Vol. 6649 (pp. 285-296). Springer 10.1007/978-3-642-21560-5_24

Dimitrova, Desislava; van den Berg, Hans; Heijenk, Geert; Litjens, Remco (2011). LTE uplink scheduling - flow level analysis. Lecture notes in computer science, 6886, pp. 181-192. Heidelberg: Springer 10.1007/978-3-642-23795-9_16

Hurni, Philipp; Anwander, Markus; Wagenknecht, Gerald; Staub, Thomas; Braun, Torsten (2011). TARWIS - A Testbed Management Architecture for Wireless Sensor Network Testbeds. In: International Conference on Network and Service Management (CNSM), Paris, France (pp. 1-4). IEEE

Braun, Torsten; Coulson, Geoff; Staub, Thomas (2011). Towards Virtual Mobility Support in a Federated Testbed for Wireless Sensor Networks. Electronic communications of the EASST, 37, pp. 1-12. Berlin: European Association of Software Science and Technology

Staub, Thomas; Morgenthaler, Simon; Balsiger, Daniel; Goode, Paul Kim; Braun, Torsten (2011). ADAM: Administration and Deployment of Adhoc Mesh Networks. In: 3rd IEEE Workshop on Hot Topics in Mesh Networking (IEEE HotMESH 2011), Lucca, Italy (pp. 1-6). IEEE 10.1109/WoWMoM.2011.5986181

Bernardo, Vitor; Curado, Marilia; Staub, Thomas; Braun, Torsten (2011). Towards Energy Consumption Measurement in a Cloud Computing Wireless Testbed. In: IEEE First Symposium on Network Cloud Computing and Applications (NCCA 2011), Toulouse, France (pp. 91-98). IEEE 10.1109/NCCA.2011.22

Staub, Thomas; Ott, Stefan; Braun, Torsten (2011). Videoconferencia. RTI - Redes, Telecom e Instalações, 12(133), pp. 80-85. São Paulo: Aranda Editora

Braun, Torsten; Hilt, Volker; Hofmann, Markus; Rimac, Ivica; Steiner, Moritz; Varvello, Matteo (2011). Service-Centric Networking. In: Fourth International Workshop on the Network of the Future, Kyoto, Japan (pp. 1-6). IEEE 10.1109/iccw.2011.5963587

Pessin, Gustavo; Osorio, Fernando; Ueyama, Jo; Wolf, Denis; Braun, Torsten (2011). Mobile Robot Indoor Localization Using Artificial Neural Networks and Wireless Networks. In: First Brazilian Conference on Critical Embedded Systems (CBSEC), São Carlos, Brazil. Sao Carlos, Brazil. 11 - 13.05.2011.

Zhao, Zhongliang; Braun, Torsten (2011). OMNet++ based Opportunistic Routing Protocols Simulation: A Framework. In: 10th Scandinavian Workshop on Wireless Ad-hoc Networks (ADHOC '11), Stockholm, Sweden. Stockholm, Sweden. 10 - 11.05.2011.

Pesin, Gustavo; Osorio, Fernando; Ueyama, Jo; Souza, Jefferson; Wolf, Denis; Braun, Torsten; Vargas, Patricia (2011). Evaluating the Impact of the Number of Access Points in Mobile Robots Localization Using Artificial Neural Networks. In: Fifth Internatiional Conference on Communication System software and middleware (COMSWARE), Verona, Italy (pp. 1-9). ACM 10.1145/2016551.2016561

Guzzo da Costa, Fausto; Braun, Torsten; Ueyama, Jó; Pessin, Gustavo; Santos, Fernando (2011). Arquitetura baseada em veículos aéreos não tripulados e redes de sensores sem fio para aplicações agrícolas. In: VIII Congresso Brasileiro de Agroinformatica, SBBIAGRO 2011, Bento Gonçalves, Brazil, Associação Brasileira de Agroinformática.

Rousselle, Fabrice; Knaus, Claude; Zwicker, Matthias (2011). Adaptive Sampling and Reconstruction using Greedy Error Minimization. ACM transactions on graphics, 30(6), 159:1-159:12. New York, N.Y.: Association for Computing Machinery 10.1145/2024156.2024193

Knaus, Claude; Zwicker, Matthias (2011). Progressive Photon Mapping: A Probabilistic Approach. ACM transactions on graphics, 30(3), 25:1-25:13. New York, N.Y.: Association for Computing Machinery 10.1145/1966394.1966404

Jarosz, Wojciech; Nowrouzezahrai, Derek; Thomas, Robert; Sloan, Peter-Pike; Zwicker, Matthias (2011). Progressive Photon Beams. ACM transactions on graphics, 30(6), 181:1-181:12. New York, N.Y.: Association for Computing Machinery 10.1145/2024156.2024215

Chang, Will; Zwicker, Matthias (2011). Global registration of dynamic range scans for articulated model reconstruction. ACM transactions on graphics, 30(3), 26:1-26:15. New York, N.Y.: Association for Computing Machinery 10.1145/1966394.1966405

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Justifications for Common Knowledge. Journal of applied non-classical logics, 21(1), pp. 35-60. Paris: Ed. Hermes 10.3166/JANCL.21.35-60

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2011). Partial Realization in Dynamic Justification Logic. In: Beklemishev, Lev D.; de Queiroz, Ruy (eds.) Logic, Language, Information and Computation, 18th International workshop, WoLLIC 2011, Philadelphia, PA, USA, May, 18-20, Proceedings. Lecture Notes in Computer Science: Vol. 6642 (pp. 35-51). Heidelberg: Springer Verlag 10.1007/978-3-642-20920-8_9

Jäger, Gerhard; Studer, Thomas (2011). A Buchholz rule for modal fixed point logics. Logica universalis, 5(1), pp. 1-19. Basel: Birkhäuser 10.1007/s11787-010-0022-1

Jäger, Gerhard; Probst, Dieter (2011). The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Annals of pure and applied logic, 162(8), pp. 647-660. Amsterdam: Elsevier 10.1016/j.apal.2011.01.009

Probst, Dieter (2011). The provably terminating operations of the subsystem (PETJ) of explicit mathematics. Annals of pure and applied logic, 162(11), pp. 934-947. Amsterdam: Elsevier 10.1016/j.apal.2011.04.004

Probst, Dieter; Strahm, Thomas (2011). Admissible closures of polynomial time computable arithmetic. Archive for mathematical logic, 50(5-6), pp. 643-660. Berlin: Springer International 10.1007/s00153-011-0238-7

Spescha, Daria; Strahm, Thomas (2011). Realizability in weak systems of explicit mathematics. Mathematical logic quarterly, 57(6), pp. 551-565. Weinheim: Wiley-VCH

Studer, Thomas (2011). Justification Logic, Inference Tracking, and Data Privacy. Logic and logical philosophy, 20(4), pp. 297-306. Toruń (PL): Nicholas Copernicus Univ. Press

Studer, Thomas (2011). An application of justification logic to protocol verification. In: Proceedings of Computational Intelligence and Security CIS 2011.

Aryani, Amir; Perin, Fabrizio; Lungu, Mircea; Mahmood, Abdun Naser; Nierstrasz, Oscar (2011). Can we predict dependencies using domain information? In: Proceedings of the 18th Working Conference on Reverse Engineering (WCRE 2011) (pp. 55-64). Washington, DC: IEEE Computer Society 10.1109/WCRE.2011.17

Hattori, Lile; D'Ambros, Marco; Lanza, Michele; Lungu, Mircea (2011). Software Evolution Comprehension: Replay to the Rescue. In: IEEE Computer Society Press. IEEE Computer Society Press. 10.1109/ICPC.2011.39

Robbes, Romain; Lungu, Mircea (2011). A study of ripple effects in Software Ecosystems. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011) (p. 904). New York: Association for Computing Machinery ACM 10.1145/1985793.1985940

Schwarz, Niko; Lungu, Mircea; Nierstrasz, Oscar (2011). Seuss: Cleaning up Class Responsibilities with Language-based Dependency Injection. In: Bishop, Judith; Vallecillo, Antonio (eds.) Objects, Models, Components, Patterns. 49th International Conference TOOLS, Zurich, June 28-30, 2011. Proceedings. Lecture Notes in Computer Science: Vol. 6705 (pp. 276-289). Heidelberg: Springer Verlag 10.1007/978-3-642-21952-8_20

Verwaest, Toon; Bruni, Camillo; Lungu, Mircea; Nierstrasz, Oscar (2011). Flexible object layouts: enabling lightweight language extensions by intercepting slot access. In: Proceedings of the 2011 ACM international conferene on Object oriented programming systems languages and applications OOPSLA '11, Portland, Oregon, USA, (p. 959). New York: Association for Computing Machinery ACM 10.1145/2048066.2048138

Bergel, Alexandre; Nierstrasz, Oscar; Renggli, Lukas; Jorge, Ressia (2011). Domain-Specific Profiling. In: Bishop, Judith; Vallecillo, Antonio (eds.) Objects, Models, Components, Patterns. 49th International Conference TOOLS, Zurich, June 28-30, 2011. Proceedings. Lecture Notes in Computer Science: Vol. 6705 (pp. 68-82). Heidelberg: Springer Verlag 10.1007/978-3-642-21952-8_7

Langone, Daniel; Ressia, Jorge; Nierstrasz, Oscar (2011). Unifying Subjectivity. In: Bishop, Judith; Vallecillo, Antonio (eds.) Objects, Models, Components, Patterns. 49th International Conference TOOLS, Zurich, June 28-30, 2011. Proceedings. Lecture Notes in Computer Science: Vol. 6705 (pp. 115-130). Heidelberg: Springer Verlag 10.1007/978-3-642-21952-8_10

Ressia, Jorge; Girba, Tudor; Nierstrasz, Oscar; Perin, Fabrizio; Renggli, Lukas (2011). Talents: Dynamically Composable Units of Reuse. In: Proceedings of the International Workshop on Smalltalk Technologies (IWST 2011). 10.1145/2166929.2166940

Röthlisberger, David; Harry, Marcel; Villazon, Alex; Ansaloni, Danilo; Binder, Walter; Nierstrasz, Oscar; Moret, Philippe (2011). Exploiting Dynamic Information in IDEs Improves Speed and Correctness of Software Maintenance Tasks. IEEE transactions on software engineering, 38(3), pp. 579-591. New York, N.Y.: Institute of Electrical and Electronics Engineers IEEE 10.1109/TSE.2011.42

Röthlisberger, David; Nierstrasz, Oscar; Ducasse, Stéphane (2011). SmartGroups: Focusing on Task-Relevant Source Artifacts in IDEs. In: Proceedings of the 19th International Conference on Program Comprehension (ICPC 2011) (pp. 61-70). Washington, DC: IEEE Computer Society 10.1109/ICPC.2011.20

Wernli, Erwann; Gurtner, David; Nierstrasz, Oscar (2011). Using First-class Contexts to realize Dynamic Software Updates. In: Proceedings of the International Workshop on Smalltalk Technologies (IWST 2011).

Krebs, Raffael; Perin, Fabrizio (2011). Reverse engineering Java Enterprise Applications in Eclipse. In: Proceedings of the 6th Workshop of the Italian Eclipse Community (Eclipse-IT).

Perin, Fabrizio; Renggli, Lukas; Ressia, Jorge (2011). Linguistic Style Checking with Program Checking Tools. Computer languages, systems & structures, 38(1), pp. 61-72. New York, N.Y.: Pergamon Press 10.1016/j.cl.2011.11.002

Schwarz, Niko (2011). DoodleDebug, Objects Should Sketch Themselves For Code Understanding. In: Proceedings of the TOOLS 2011, 5th Workshop on Dynamic Languages and Applications (DYLA'11).

Verwaest, Toon; Schwarz, Niko; Wernli, Erwann (2011). Runtime Class Updates using Modification Models. In: Proceedings of the TOOLS 2011, 8th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'11).

Callau, Oscar; Robbes, Romain; Tanter, Eric; Röthlisberger, David (2011). How Developers Use the Dynamic Features of Programming Languages: The Case of Smalltalk. In: Proceedings of the 8th working conference on Mining software repositories (MSR 2011).

Staub, Thomas; Gantenbein, Reto; Braun, Torsten (2011). VirtualMesh: an emulation framework for wireless mesh and ad hoc networks in OMNeT++. Simulation - transactions of the Society for Modeling and Simulation International, 87(1-2), pp. 66-81. Thousand Oaks, Calif.: Sage Publications 10.1177/0037549710373909

Braun, Torsten; Heissenbüttel, Marc; Roth, Tobias (2010). Performance of the beacon-less routing protocol in realistic scenarios. Ad hoc networks, 8(1), pp. 96-107. Amsterdam: Elsevier 10.1016/j.adhoc.2009.04.014

Lungu, Mircea; Lanza, Michele; Gîrba, Tudor; Robbes, Romain (2010). The Small Project Observatory: Visualizing Software Ecosystems. Science of computer programming, 75(4), pp. 264-275. Amsterdam: Elsevier 10.1016/j.scico.2009.09.004

Stolz, Michael; Fischer, Andreas; Indermühle, Emanuel; Bunke, Horst; Viehhauser, Gabriel (2010). Ground Truth Creation for Handwriting Recognition in Historical Documents. In: Doermann, David S.; Govindaraju, Venu; Lopresti, Daniel P.; Natarajan, Premkumar (eds.) The Ninth IAPR International Workshop on Document Analysis Systems (DAS 2010). ACM International Conference Proceeding Series (pp. 3-10). New York: Association for Computing Machinery ACM 10.1145/1815330.1815331

Ferrer, M.; Valveny, E.; Serratosa, F.; Riesen, Kaspar; Bunke, Horst (2010). Generalized median graph computation by means of graph embedding in vector spaces. Pattern recognition, 43(4), pp. 1642-1655. Oxford: Pergamon 10.1016/j.patcog.2009.10.013

Fornes, A.; Llados, J.; Sanchez, G.; Otazu, X.; Bunke, Horst (2010). A combination of features for symbol-independent writer identification in old music scores. International journal on document analysis and recognition, 13(4), pp. 243-259. Berlin: Springer 10.1007/s10032-010-0123-7

Frinken, Volkmar; Fischer, Andreas; Bunke, Horst (2010). Combining neural networks to improve performance of handwritten keyword spotting systems. In: El Gayar, Neamat; Kittler, Josef; Roli, Fabio (eds.) Multiple Classifier Systems. 9th International Workshop, MCS 2010 Cairo, Egypt, April 7-9, 2010. Proceedings. Lecture Notes in Computer Science: Vol. 5997 (pp. 215-224). Heidelberg: Springer Verlag 10.1007/978-3-642-12127-2_22

Lee, Wan-Jui; Duin, Robert P.W.; Bunke, Horst (2010). Global versus local structures for building graph-based multiple classifier systems. In: El Gayar, Neamat; Kittler, Josef; Roli, Fabio (eds.) Multiple Classifier Systems. 9th International Workshop, MCS 2010 Cairo, Egypt, April 7-9, 2010. Proceedings. Lecture Notes in Computer Science: Vol. 5997 (pp. 155-164). Heidelberg: Springer Verlag 10.1007/978-3-642-12127-2_16

Frinken, Volkmar; Fischer, Andreas; Bunke, Horst (2010). A novel word spotting algorithm using bidirectional long short-term memory neural networks. In: El Gayar, Neamat; Kittler, Josef; Roli, Fabio (eds.) Artificial Neural Networks in Pattern Recognition. 4th IAPR TC3 Workshop, ANNPR 2010 Cairo, Egypt, April 11-13, 2010. Proceedings. Lecture Notes in Computer Science: Vol. 5998 (pp. 185-196). Heidelberg: Springer Verlag 10.1007/978-3-642-12159-3_17

Ferrer, M.; Bunke, Horst (2010). An iterative algorithm for approximate median graph computation. In: 20th International Conference on Pattern Recognition. Proceedings (pp. 1562-1565). Washington, DC: IEEE Computer Society 10.1109/icpr.2010.386

Fischer, Andreas; Keller, A.; Frinken, Volkmar; Bunke, Hors (2010). HMM-based word spotting in handwritten documents using subword models. In: 20th International Conference on Pattern Recognition. Proceedings (pp. 3416-3419). Washington, DC: IEEE Computer Society 10.1109/icpr.2010.834

Richiardi, J.; Van de Ville, D.; Riesen, K.; Bunke, Horst (2010). Vector space embedding of undirected graphs with fixed-cardinality vertex sequences for classification. In: 20th International Conference on Pattern Recognition. Proceedings (pp. 902-905). Washington, DC: IEEE Computer Society 10.1109/icpr.2010.227

Indermühle, Emanuel; Liwicki, Marcus; Bunke, Horst (2010). IAM on Do-database: an online handwritten document database with non-uniform contents. In: Doermann, David S.; Govindaraju, Venu Lopresti; Natarajan, Premkumar (eds.) The Ninth IAPR International Workshop on Document Analysis Systems (DAS 2010). ACM International Conference Proceeding Series (pp. 97-104). New York: Association for Computing Machinery ACM 10.1145/1815330.1815343

Indermühle, Emanuel; Bunke, Horst; Shafait, F.; Breuel, T. (2010). Text vs. non-text distinction in online handwritten documents. In: 25th Annual ACM Symposium on Applied Computing (p. 3). New York: Association for Computing Machinery ACM 10.1145/1774088.1774090

Gibert, Jaume; Valveny, Ernest; Bunke, Horst (2010). Graph of words embedding for molecular structure-activity relationship analysis. In: Bloch, Isabelle; Cesar, Roberto M. (eds.) Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010 São Paulo, Brazil, November 8-11, 2010. Proceedings. Lecture Notes in Computer Science: Vol. 6419 (pp. 30-37). Heidelberg: Springer Verlag 10.1007/978-3-642-16687-7_9

Frinken, Volkmar; Bunke, Horst (2010). Self-training for handwritten text line recognition. In: Bloch, Isabelle; Cesar, Roberto M. (eds.) Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010 São Paulo, Brazil, November 8-11, 2010. Proceedings. Lecture Notes in Computer Science: Vol. 6419 (pp. 104-112). Heidelberg: Springer Verlag 10.1007/978-3-642-16687-7_18

Fischer, Andreas; Riesen, Kaspar; Bunke, Horst (2010). Graph similarity features for HMM-based handwriting recognition in historical documents. In: 12th International Conference on Frontiers in Handwriting Recognition ICFHR 2010. 10.1109/icfhr.2010.47

Frinken, Volkmar; Fischer, Andreas; Bunke, Horst; Manmatha, R. (2010). Adapting BLSTM neural network based keyword spotting trained on modern data to historical documents. In: 12th International Conference on Frontiers in Handwriting Recognition ICFHR 2010. 10.1109/icfhr.2010.61

Jiang, X.; Bunke, Horst (2010). Learning by generalized median concept. In: Wang, P. (ed.) Pattern Recognition and Machine Vision. Information Science and Technology (pp. 231-246). River Publishers

Riesen, Kaspar; Jiang, Xiaoyi; Bunke, Horst (2010). Exact and inexact graph matching: methodology and applications. In: Aggarwal, Charu C.; Wang, Haixun (eds.) Managing and Mining Graph Data. Advances in database systems: Vol. 40 (pp. 217-247). Berlin-Heidelberg: Springer 10.1007/978-1-4419-6045-0_7

Trifunovic, Sascha; Anastasiades, Carlos; Legendre, Franck (2010). Social Trust in Opportunistic Networks. In: IEEE Infocom Workshop on Network Science for Communication Networks (NetSciCom) 15-19 March 2010 San Diego, CA, USA (pp. 1-6). Washington, DC: IEEE Computer Society 10.1109/INFCOMW.2010.5466696

Trifunovic, Sascha; Anastasiades, Carlos; Distl, Bernhard; Legendre, Franck (2010). PodNetSec - Secure Opportunistic Content. In: Demo Session of ACM Mobisys, San Francisco, CA, USA.

Distl, Bernhard; Csucs, Gergely; Trifunovic, Sascha; Anastasiades, Carlos; Legendre, Franck (2010). Extending the Reach of Online Social Networks to Opportunistic Networks with PodNet. In: Demo Session of ACM MobiOpp (p. 179). ACM 10.1145/1755743.1755779

Braun, Torsten; Anwander, Markus; Hurni, Philipp; Wälchli, Markus (2010). MAC Protocols for Wireless Sensor Networks. In: Next Generation Mobile Networks and Ubiquitous Computing (pp. 165-174). Hershey, PA 17033, USA: IGI Global

Staub, Thomas; Anwander, Markus; Baumann, Kurt; Braun, Torsten; Brogle, Marc; Dolfus, Kirsten; Félix, Christian; Goode, Paul Kim (2010). Connecting Remote Sites to the Wired Backbone by Wireless Mesh Access Networks. In: 16th European Wireless Conference 12-15 April 2010, Lucca, Italy (pp. 675-682). Washington, DC: IEEE Computer Society 10.1109/EW.2010.5483454

Anwander, Markus; Wagenknecht, Gerald; Braun, Torsten; Dolfus, Kirsten (2010). BEAM: A Burst-Aware Energy-Efficient Adaptive MAC Protocol for Wireless Sensor Networks. In: Seventh International Conference on Networked Sensing Systems, 15-18 June 2010 Kassel, Germany (pp. 195-202). Washington, DC: IEEE Computer Society 10.1109/INSS.2010.5573142

Staub, Thomas; Anwander, Markus; Baumann, Kurt; Braun, Torsten; Brogle, Marc; Dornier, Pascal; Félix, Christian; Goode, Paul Kim (2010). Wireless Mesh Networks - Connecting Remote Sites. SWITCH-Journal, pp. 10-12. Bern: Redaktion SWITCH, Schweiz. Hochschulkonferenz

Brogle, Marc; Barthlomé, Sebastian; Braun, Torsten (2010). Quality of Service for Multicasting using NICE. In: 25th Symposium on Applied Computing (ACM SAC 2010) (p. 670). ACM 10.1145/1774088.1774227

Hurni, Philipp; Braun, Torsten (2010). MaxMAC: a Maximally Traffic-Adaptive MAC Protocol for Wireless Sensor Networks. In: Silva, Jorge Sá; Krishnamachari, Bhaskar; Boavida, Fernando (eds.) 7th European Conference on Wireless Sensor Networks. Lecture Notes in Computer Science: Vol. 5970 (pp. 289-305). Heidelberg: Springer Verlag 10.1007/978-3-642-11917-0_19

Hurni, Philipp; Braun, Torsten (2010). An Energy-Efficient Broadcasting Scheme for Unsynchronized Wireless Sensor MAC Protocols. In: The Seventh International Conference on Wireless On-demand Network Systems and Services, 3-5 February 2010 Kranjska Gora, Slovenia (pp. 39-46). Washington, DC: IEEE Computer Society 10.1109/WONS.2010.5437134

Hurni, Philipp; Wagenknecht, Gerald; Anwander, Markus; Braun, Torsten (2010). A Testbed Management Architecture for Wireless Sensor Network Testbeds (TARWIS). In: Silva, Jorge Sá; Krishnamachari, Bhaskar; Boavida, Fernando (eds.) Wireless Sensor Networks. 7th European Conference, EWSN 2010 Coimbra, Portugal, February 2010. Proceedings. Lecture Notes in Computer Science: Vol. 5970 (pp. 33-35). Heidelberg: Springer Verlag

Siska, Peter; Stöcklin, Marc; Kind, Andreas; Braun, Torsten (2010). A Flow Trace Generator using Graph-based Traffic Classification Techniques. In: The 6th International Wireless Communications and Mobile Computing Conference, Caen, France (p. 457). ACM 10.1145/1815396.1815503

Brogle, Marc; Rüttimann, Andreas; Braun, Torsten (2010). Quality of Service for Overlay Multicast in Chord. In: 15th IEEE Symposium on Computers and Communications ISCC 22-25 June 2010, Riccione, Italy (pp. 734-737). Washington, DC: IEEE Computer Society 10.1109/ISCC.2010.5546800

Braun, Torsten (2010). Das Internet der Zukunft. Informatik-Spektrum, 33(2), pp. 103-105. Berlin: Springer 10.1007/s00287-010-0424-8

Braun, Torsten (2010). Geschichte und Entwicklung des Internets. Informatik-Spektrum, 33(2), pp. 201-207. Berlin: Springer 10.1007/s00287-010-0423-9

Milic, Dragan; Braun, Torsten (2010). NetICE9: A Stable Landmark - Less Network Positioning System. In: 35th Annual IEEE Conference on Local Computer Networks 10-14 October 2010 Denver, Colorado, USA (pp. 96-103). Washington, DC: IEEE Computer Society 10.1109/LCN.2010.5735843

Dolfus, Kirsten; Braun, Torsten (2010). An Evaluation of Compression Schemes for Wireless Networks. In: International Congress on Ultra Modern Telecommunications and Control Systems, Moscow, Russia (pp. 1183-1188). IEEE 10.1109/ICUMT.2010.5676532

Braun, Torsten; Hilt, Volker; Hofmann, Markus; Rimac, Ivica; Steiner, Moritz; Varvello, Matteo (2010). Service-Centric Networking. In: 6th GI/ITG KuVS Workshop on "Future Internet", Hannover, Germany.

Staub, Thomas; Ott, Stefan; Braun, Torsten (2010). Automated Deployment of a Wireless Mesh Communication Infrastructure for an On-site Video-conferencing System (OViS). In: 4th ERCIM Workshop on eMobility co-located with the 8th International Conference on wired/Wireless Internet Communications WWIC 2010, Lulea, Sweden (pp. 109-112). Lulea University of Technology

Kuhn, Adrian (2010). Immediate Search in the IDE as an Example of Socio-Technical Congruence in Search-Driven Development. In: ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, 2010, SUITE '10. (pp. 25-28). New York: Association for Computing Machinery ACM 10.1145/1809175.1809182

Gysin, Florian S.; Kuhn, Adrian (2010). A Trustability Metric for Code Search based on Developer Karma. In: ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, 2010, SUITE '10. (pp. 41-44). New York: Association for Computing Machinery ACM 10.1145/1809175.1809186

Kuhn, Adrian; Erni, David; Loretan, Peter; Nierstrasz, Oscar (2010). Software Cartography: Thematic Software Visualization with Consistent Layout. Journal of software maintenance and evolution - research and practice, 22(3), pp. 191-210. Chichester: John Wiley & Sons, Ltd. 10.1002/smr.414

Kuhn, Adrian; Erni, David; Nierstrasz, Oscar (2010). Embedding Spatial Software Visualization in the IDE: an Exploratory Study. In: SOFTVIS 2010.

Schwarz, Niko; Wernli, Erwann; Kuhn, Adrian (2010). Hot Clones, Maintaining a Link Between Software Clones Across Repositories. In: IWSC '10: Proceedings of the 4th International Workshop on Software Clones (pp. 81-82). New York: Association for Computing Machinery ACM 10.1145/1808901.1808915

Verwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Nierstrasz, Oscar (2010). Pinocchio: Bringing Reflection to Life with First-Class Interpreters. In: OOPSLA Onward! '10. Proceedings of the ACM international conference on Object oriented programming systems languages and applications (p. 774). New York: Association for Computing Machinery ACM 10.1145/1869459.1869522

Hattori, Lile; Lungu, Mircea; Lanza, Michele (2010). Replaying past changes in multi-developer projects. In: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE) (p. 13). New York: Association for Computing Machinery ACM 10.1145/1862372.1862379

Denker, Marcus; Ressia, Jorge; Greevy, Orla; Nierstrasz, Oscar (2010). Modeling Features at Runtime. In: Petriu, Dorina C.; Rouquette, Nicolas; Haugen, Øystein (eds.) Model Driven Engineering Languages and Systems. 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II. Lecture Notes in Computer Science: Vol. 6395 (pp. 138-152). Heidelberg: Springer Verlag 10.1007/978-3-642-16129-2_11

Nierstrasz, Oscar; Girba, Tudor (2010). Lessons in Software Evolution Learned by Listening to Smalltalk. In: van Leeuwen, Jan; Muscholl, Anca; Peleg, David; Pokorný, Jaroslav; Rumpe, Bernhard (eds.) SOFSEM 2010. Theory and Practice of Computer Science. 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings. Lecutre Notes in Computer Science: Vol. 5901 (pp. 77-95). Heidelberg: Springer Verlag 10.1007/978-3-642-11266-9_7

Perin, Fabrizio; Girba, Tudor; Nierstrasz, Oscar (2010). Recovery and Analysis of Transaction Scope from Scattered Information in Java Enterprise Applications. In: Proceedings of International Conference on Software Maintenance 2010.

Renggli, Lukas; Girba, Tudor; Nierstrasz, Oscar (2010). Embedding Languages Without Breaking Tools. In: D'Hondt, Theo (ed.) ECOOP '10: Object-Oriented Programming. 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Lecture Notes in Computer Science: Vol. 6183 (pp. 380-404). Heidelberg: Springer Verlag 10.1007/978-3-642-14107-2_19

Renggli, Lukas; Ducasse, Stéphane; Girba, Tudor; Nierstrasz, Oscar (2010). Domain-Specific Program Checking. In: , (ed.) Objects, Models, Components, Patterns. 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings. Lecture Notes in Computer Sience: Vol. 6141 (pp. 213-232). Heidelberg: Springer Verlag 10.1007/978-3-642-13953-6_12

Renggli, Lukas; Ducasse, Stéphane; Girba, Tudor; Nierstrasz, Oscar (2010). Practical Dynamic Grammars for Dynamic Languages. In: 4th Workshop on Dynamic Languages and Applications (DYLA 2010).

Ressia, Jorg; Renggli, Lukas; Girba, Tudor; Nierstrasz, Oscar (2010). Run-Time Evolution through Explicit Meta-Objects. In: Bencomo, Nelly; Blair, Gordon; Fleurey, Franck; Jeanneret, Cédric (eds.) Proceedings of the 5th Workshop on Models@run.time at the ACM/IEEE. 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010).

Perin, Fabrizio (2010). MooseJEE: A Moose Extension to Enable the assessment of JEAs. In: Proceedings of the 26th International Conference on Software Maintenance (ICSM 2010) (Tool Demonstration).

Perin, Fabrizio; Renggli, Lukas; Ressia, Jorge (2010). Ranking Software Artifacts. In: 4th Workshop on FAMIX and Moose in Reengineering (FAMOOSr 2010).

Perin, Fabrizio; Girba, Tudor (2010). Evaluating Code Duplication to Identify Rich Business Objects from Data Transfer Objects. In: 4th Workshop on FAMIX and Moose in Reengineering (FAMOOSr 2010).

Perin, Fabrizio; Renggli, Lukas; Ressia, Jorge (2010). Natural Language Checking with Program Checking Tools. In: Smalltalks 2010.

Bergel, Alexandre; Balnados, Felipe; Robbes, Romain; Röthlisberger, David (2010). Spy: A Flexible Code Profiling Framework. In: Smalltalks 2010. 10.1016/j.cl.2011.10.002

Hamou-Lhadj, Abdelwahab; Röthlisberger, David; Zaidman, Andy; Greevy, Orla (2010). Workshop on Program Comprehension through Dynamic Analysis (PCODA). In: Proceedings of IEEE 17th Working Conference on Software Maintenance and Reengineering (WCRE).

Brünnler, Kai; Goetschi, Remo; Kuznets, Roman (2010). A syntactic realization theorem for justification logics. In: Beklemishev, Lev; Goranko, Valentin; Shehtman, Valentin (eds.) Advances in modal logic, volume 8 (pp. 39-58). College Publications

Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2010). Two ways to common knowledge. In: Bolander, Thomas; Braüner, Torben (eds.) Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark, 12-14 November 2009. Electronic Notes in Theoretical Computer Science: Vol. 262 (pp. 83-98). Amsterdam: Elsevier 10.1016/j.entcs.2010.04.007

Lo, Wan-Yen; Van Baar, Jeroen; Knaus, Claude; Zwicker, Matthias (2010). Stereoscopic 3D copy and paste. ACM transactions on graphics, 29(6), p. 1. New York, N.Y.: Association for Computing Machinery 10.1145/1866158.1866173

Lagae, Ares; Lefebvre, Sylvain; Cook, Rob; DeRose, Tony; Drettakis, George; Ebert, David S.; Lewis, J.P.; Perlin, Ken; Zwicker, Matthias (2010). A Survey of Procedural Noise Functions. Computer graphics forum, 29(8), pp. 2579-2600. Oxford: Blackwell 10.1111/j.1467-8659.2010.01827.x

Ramachandra, Vikas; Hirakawa, Keigo; Zwicker, Matthias; Nguyen, Truong (2010). Spatio-angular Prefiltering for Multiview 3D Displays. IEEE transactions on visualization and computer graphics, 17(5), pp. 642-654. Los Alamitos, Calif.: IEEE Computer Society 10.1109/TVCG.2010.86

Lo, Wan-Yen; Zwicker, Matthias (2010). Bidirectional search for interactive motion synthesis. Computer graphics forum, 29(2), pp. 563-573. Oxford: Blackwell 10.1111/j.1467-8659.2009.01626.x

Ramachandra, Vikas; Hirakawa, Keigo; Zwicker, Matthias; Nguyen, Truong (2010). Spatio-angular sharpening for multiview 3D displays. In: IEEE International Conference on Acoustics Speech and Signal Processing ICASSP, 14.-19.3.2010 (pp. 750-753). Washington, DC: IEEE Computer Society 10.1109/ICASSP.2010.5495013

Lagae, Ares; Lefebvre, Sylvain; Cook, Rob; DeRose, Tony; Drettakis, George; Ebert, David S.; Lewis, J.P.; Perlin, Ken; Zwicker, Matthias (2010). A Survey of Procedural Noise Functions. In: Eurographics 2010 - State of the Art Reports (pp. 1-19). Eurographics Association

Staub, Thomas; Balsiger, Daniel; Morgenthaler, Simon; Lustenberger, Michael; Braun, Torsten (6 March 2009). ADAM (Administration and Deployment of Adhoc Mesh networks). In: Demo session for the KuVS Communication Software Award co-located with KiVS'09. Kassel, Germany. 06.-07,03.2009.

Wüthrich, Markus; Liwicki, Marcus; Fischer, Andreas; Indermühle, Emanuel; Bunke, Horst; Viehhauser, Gabriel; Stolz, Michael (2009). Language Model Integration for the Recognition of Handwritten Medieval Documents. In: Proceedings of the 10th International Conference on Document Analysis and Recognition ICDAR (pp. 211-215). Washington, DC: IEEE Computer Society 10.1109/ICDAR.2009.17

Chang, William; Zwicker, Matthias (2009). Range Scan Registration Using Reduced Deformable Models. Computer graphics forum, 28(2), pp. 447-456. Oxford: Blackwell 10.1111/j.1467-8659.2009.01384.x

Ramachandra, Vikas; Zwicker, Matthias; Nguyen, Truong (2009). Combined image plus depth seam carving for multiview 3D images. In: Chen, Liang-Gee; Glass, James R. (eds.) 2009 IEEE International Conference on Acoustics, Speech and Signal Processing (pp. 737-740). Washington, DC: IEEE Computer Society 10.1109/ICASSP.2009.4959689

Ramachandra, Vikas; Zwicker, Matthias; Nguyen, Truong (2009). Depth-based 2D-3D combined scene images for 3D multiview displays. In: Rabbani, Majid; Stevenson, Robert L. (eds.) SPIE Electronic Imaging Conference: Visual Communications and Image Processing (VCIP), 20.1.2009, San Jose, CA, USA (72570I). The International Society for Optical 10.1117/12.805449

Alberucci, Luca (2009). Sequent calculi for the modal mu-calculus over S5. Journal of logic and computation, 19(6), pp. 971-985. Oxford: Oxford University Press 10.1093/logcom/exn106

Alberucci, Luca; Facchini, Alessandro (2009). On Modal mu-Calculus and Gödel-Löb Logic. Studia logica, 91(2), pp. 145-169. Dordrecht: Springer Science + Business Media 10.1007/s11225-009-9170-9

Alberucci, Luca; Facchini, Alessandro (2009). The modal mu-calculus hierarchy over restricted classes of transition systems. Journal of symbolic logic, 74(4), pp. 1367-1400. Champaign, Ill.: Association for Symbolic Logic 10.2178/jsl/1254748696

Neuhaus, Michel; Riesen, Kaspar; Bunke, Horst (2009). Novel kernels for error-tolerant graph classification. Spatial vision, 22(5), pp. 425-441. Leiden: Brill 10.1163/156856809789476119

Liwicki, Marcus; Bunke, Horst (2009). Feature selection for HMM and BLSTM based handwriting recognition of whiteboard notes. International journal of pattern recognition and artificial intelligence, 23(5), pp. 907-923. Singapore: World Scientific 10.1142/S0218001409007417

Riesen, Kaspar; Bunke, Horst (2009). Graph classification based on vector space embedding. International journal of pattern recognition and artificial intelligence, 23(6), pp. 1053-1081. Singapore: World Scientific 10.1142/S021800140900748X

Graves, A.; Liwicki, M.; Fernandez, S.; Bertolami, R.; Bunke, H.; Schmidhuber, J. (2009). A novel connectionist system for unconstrained handwriting recognition. IEEE transactions on pattern analysis and machine intelligence, 31(5), pp. 855-869. Los Alamitos, Calif.: IEEE Computer Society 10.1109/TPAMI.2008.137

Riesen, Kaspar; Bunke, Horst (2009). Reducing the dimensionality of dissimilarity space embedding graph kernels. Engineering applications of artificial intelligence, 22(1), pp. 48-56. Oxford: Pergamon 10.1016/j.engappai.2008.04.006

Fischer, Andreas; Bunke, Horst (2009). Kernel PCA for HMM-Based Cursive Handwriting Recognition. In: Jiang, Xiaoyi; Petkov, Nicolai (eds.) Computer Analysis of Images and Patterns. 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5702 (pp. 181-188). Heidelberg: Springer Verlag 10.1007/978-3-642-03767-2_22

Fornés, Alicia; Lladós, Josep; Sánches, Gemma; Bunke, Horst (2009). Symbol independent writer identification in old handwritten music scores. In: 8th IAPR International Workshop on Graphics RECognition - GREC 2009, July 21-23, City University of La Rochelle, France (pp. 186-197). International Association for Pattern Recognition (IAPR)

Bunke, Horst; Riesen, Kaspar (2009). Graph edit distance - optimal and suboptimal algorithms with application. In: Dehmer, Matthias; Emmert-Streib, Frank (eds.) Analysis of Complex Networks. From Biology to Linguistics (pp. 113-143). Chichester: John Wiley & Sons 10.1002/9783527627981.ch6

Riesen, Kaspar; Bunke, Horst (2009). Approximate graph edit distance computation by means of bipartite graph matching. Image and vision computing, 27(7), pp. 950-959. Amsterdam: Elsevier 10.1016/j.imavis.2008.04.004

Riesen, Kaspar; Bunke, Horst (2009). Graph classification by means of Lipschitz embedding. IEEE transactions on systems, man, and cybernetics. Part B - cybernetics, 39(6), pp. 1472-1483. New York, N.Y.: Institute of Electrical and Electronics Engineers IEEE 10.1109/TSMCB.2009.2019264

Liwicki, Marcus; Bunke, Horst (2009). Combining diverse on-line and off-line systems for handwritten text line recognition. Pattern recognition, 42(12), pp. 3254-3263. Oxford: Pergamon 10.1016/j.patcog.2008.10.030

Riesen, Kaspar; Bunke, Horst (2009). Feature ranking algorithms for improving classification of vector space embedded graphs. In: Jiang, Xiaoyi; Petkov, Nicolai (eds.) Computer Analysis of Images and Patterns 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5702 (pp. 377-384). Heidelberg: Springer Verlag 10.1007/978-3-642-03767-2_46

Ferrer, M.; Valveny, E.; Serratosa, F.; Bunke, H. (2009). Graph-based k-means clustering: a comparison of the set median versus the generalized median graph. In: Jiang, Xiaoyi; Petkov, Nicolai (eds.) Computer Analysis of Images and Patterns 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5702 (pp. 342-350). Heidelberg: Springer Verlag 10.1007/978-3-642-03767-2_42

Frinken, Volkmar; Peter, Tim; Fischer, Andreas; Bunke, Horst; Do, Trinh-Minh-Tri; Artieres, Thierry (2009). Improved Handwriting Recognition by Combining Two Forms of Hidden Markov Models and a Recurrent Neural Network. In: Jiang, Xiaoyi; Petkov, Nicolai (eds.) Computer Analysis of Images and Patterns 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5702 (pp. 189-196). Heidelberg: Springer Verlag 10.1007/978-3-642-03767-2_23

Frinken, Volkmar; Bunke, Horst (2009). Evaluating retraining rules for semi-supervised learning in neural network based cursive word recognition. In: 10th International Conference on Document Analysis and Recognition ICDAR 2009 (pp. 31-35). Washington, DC: IEEE Computer Society 10.1109/ICDAR.2009.18

Riesen, Kaspar; Fankhauser, Stefan; Bunke, Horst; Dickinson, Peter (2009). Efficient suboptimal graph isomorphism. In: Torsello, Andrea; Escolano, Francisco; Brun, Luc (eds.) Graph-Based Representations in Pattern Recognition 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5534 (pp. 124-133). Heidelberg: Springer Verlag 10.1007/978-3-642-02124-4_13

Riesen, Kaspar; Frinken, Volkmar; Bunke, Horst (2009). Improving graph classification by isomap. In: Torsello, Andrea; Escolano, Francisco; Brun, Luc (eds.) Graph-Based Representations in Pattern Recognition 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5534 (pp. 205-214). Heidelberg: Springer Verlag 10.1007/978-3-642-02124-4_21

Ferrer, M.; Karatzas, D.; Valveny, E.; Bunke, H. (2009). A recursive embedding approach to median graph computation. In: Torsello, Andrea; Escolano, Francisco; Brun, Luc (eds.) Graph-Based Representations in Pattern Recognition 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5534 (pp. 113-123). Heidelberg: Springer Verlag 10.1007/978-3-642-02124-4_12

Fornés, Alicia; Lladós, Josep; Sánchez, Gemma; Bunke, Horst (2009). On the use of textural features for writer identification in old handwritten music scores. In: 10th International Conference on Document Analysis and Recognition ICDAR 2009 (pp. 996-1000). Washington, DC: IEEE Computer Society 10.1109/ICDAR.2009.100

Riesen, Kaspar; Bunke, Horst (2009). Dissimilarity Based Vector Space Embedding of Graphs Using Prototype Reduction Schemes. In: Perner, Petra (ed.) Machine Learning and Data Mining in Pattern Recognition. 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5632 (pp. 617-631). Heidelberg: Springer Verlag 10.1007/978-3-642-03070-3_47

Frinken, Volkmar; Bunke, Horst (2009). Self-training strategies for handwriting word recognition. In: Perner, Petra (ed.) Advances in Data Mining. Applications and Theoretical Aspects. 9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 20 - 22, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5633 (pp. 291-300). Heidelberg: Springer Verlag 10.1007/978-3-642-03067-3_23

Riesen, Kaspar; Bunke, Horst (2009). Cluster Ensembles Based on Vector Space Embeddings of Graphs. In: Proceedings Benediktsson, Jón Atli; Kittler, Josef; Roli, Fabio (eds.) Multiple Classifier Systems. 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5519 (pp. 211-221). Heidelberg: Springer Verlag 10.1007/978-3-642-02326-2

Studer, Thomas (2009). Common knowledge does not have the Beth property. Information processing letters, 109(12), 611--614. Amsterdam: Elsevier 10.1016/j.ipl.2009.02.011

Brünnler, Kai; Studer, Thomas (2009). Syntactic cut-elimination for common knowledge. Annals of pure and applied logic, 160(1), pp. 82-95. Amsterdam: Elsevier 10.1016/j.apal.2009.01.014

Brünnler, Kai; Studer, Thomas (2009). Syntactic cut-elimination for common knowledge. In: Areces, C.; Demri, S. (eds.) Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007). Electronic Notes in Theoretical Computer Science: Vol. 231 (pp. 227-240). Amsterdam: Elsevier 10.1016/j.entcs.2009.02.038

Haenni, Rolf (2009). Non-Additive Degrees of Belief. In: Huber, Franz; Schmidt-Petri, Christoph (eds.) Degrees of Belief. Synthese Library: Vol. 342 (pp. 121-159). Heidelberg: Springer Verlag 10.1007/978-1-4020-9198-8_6

Haenni, Rolf (2009). Probabilistic Argumentation. Journal of applied logic, 7(2), pp. 155-176. Amsterdam: Elsevier 10.1016/j.jal.2007.11.006

Romeijn, J.W.; Haenni, R.; Wheeler, G.; Williamson, J. (2009). Logical Relations in a Statistical Problem. In: Löwe, Benedikt; Pacuit, Eric; Romeijn, Jan-Willem (eds.) Foundation of the formal Sciences VI. Probabilistic Reasoning and Reasoning with Probabilities. Studies in Logic (pp. 49-79). College Publications

Cozman, Fabio; Haenni, Rolf; Romeijn, Jan-Willem; Russo, Federica; Wheeler, Gregory; Williamson, Jon (2009). Combining Probability and Logic. Journal of applied logic, 7(2), pp. 131-135. Amsterdam: Elsevier 10.1016/j.jal.2007.12.001

Milic, Dragan; Braun, Torsten (2009). FISHEYE: Topology Aware Choice of Peers for Overlay Networks. In: The 34th IEEE Conference on Local Computer Networks LCN, 20-23 October 2009, Zurich (pp. 467-474). Washington, DC: IEEE Computer Society 10.1109/LCN.2009.5355168

Haldimann, Niklaus; Denker, Marcus; Nierstrasz, Oscar (2009). Practical, Pluggable Types for a Dynamic Language. Computer languages, systems & structures, 35(1), pp. 48-64. New York, N.Y.: Pergamon Press 10.1016/j.cl.2008.06.003

Nierstrasz, Oscar; Denker, Marcus; Renggli, Lukas (2009). Model-Centric, Context-Aware Software Adaptation. In: Cheng, Betty H.C.; de Lemos, Rogerio; Giese, Holger; Inverardi, Paola; Magee, Jeff (eds.) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science: Vol. 5525 (pp. 128-145). Heidelberg: Springer Verlag 10.1007/978-3-642-02161-9_7

Renggli, Lukas; Denker, Marcus; Nierstrasz, Oscar (2009). Language Boxes: Bending the Host Language with Modular Language Changes. In: van den Brand, Mark; Gasevic, Dragan; Gray, Jeff (eds.) Software Language Engineering: Second International Conference, SLE 2009, Denver, Colorado, October 5-6, 2009. Lecture Notes in Computer Science: Vol. 5969 (pp. 274-293). Heidelberg: Springer Verlag 10.1007/978-3-642-12107-4_20

Denier, Simon; Gîrba, Tudor (2009). Workshop on FAMIX and Moose in Software Reengineering (FAMOOSr 2009). In: 16th Working Conference on Reverse Engineering, 13-16 October 2009, Lille (pp. 325-326). Washington, DC: IEEE Computer Society 10.1109/WCRE.2009.56

Ducasse, Stéphane; Gîrba, Tudor; Kuhn, Adrian; Renggli, Lukas (2009). Meta-Environment and Executable Meta-Language using Smalltalk: an Experience Report. Software and systems modeling, 8(1), pp. 5-19. Berlin: Springer 10.1007/s10270-008-0081-4

Lienhard, Adrian; Ducasse, Stéphane; Gîrba, Tudor (2009). Taking an Object-Centric View on Dynamic Information with Object Flow Analysis. Computer languages, systems & structures, 35(1), pp. 63-79. New York, N.Y.: Pergamon Press 10.1016/j.cl.2008.05.006

Perin, Fabrizio (2009). Enabling the evolution of J2EE applications through reverse engineering and quality assurance. In: Proceedings of the PhD Symposium at the 16th Working Conference on Reverse Engineering (WCRE 2009), Lille, 13.-16.10.2009 (pp. 291-294). IEEE Computer Society Press: IEEE Computer Society Press 10.1109/WCRE.2009.45

Perin, Fabrizio (2009). Driving the refactoring of Java Enterprise applications by evaluating the distance between application elements. In: Proceedings of FAMOOSr at the Working Conference on Reverse Engineering (WCRE 2009). Internetpublikation

Bruni, Camillo; Verwaest, Toon; Denker, Marcus (2009). PyGirl Generating Whole-System VMs from high-level models using PyPy Bern: Institut für Informatik und angewandte Mathematik (IAM)

Brogle, Marc; Milic, Dragan; Braun, Torsten (2009). Multicast-Middleware der Universität Bern, Schweiz, resultierend aus EU FP6 IST IP "EuQoS". Praxis der Informationsverarbeitung und Kommunikation, 32(3), pp. 176-178. Berlin: De Gruyter 10.1515/piko.2009.0033

Brogle, Marc; Bettosini, Luca; Milic, Dragan; Braun, Torsten (2009). A performance comparison of native IP Multicast and IP Multicast tunneled through a Peer-to-Peer overlay network. In: International Conference on Ultra Modern Telecommunications & Workshops, 2009 ICUMT, 12-14 October, St. Petersburg (pp. 1-6). Washington, DC: IEEE Computer Society 10.1109/ICUMT.2009.5345658

Kuhn, Adrian (2009). Automatic Labeling of Software Components and their Evolution using Log-Likelihood Ratio of Word Frequencies in Source Code. In: Proceedings of the 2009 6th IEEE International Working Conference on Mining Software Repositories, 16-17 May 2009, Vancouver BC (pp. 175-178). Washington, DC: IEEE Computer Society 10.1109/MSR.2009.5069499

Matter, Dominique; Kuhn, Adrian; Nierstrasz, Oscar (2009). Assigning Bug Reports using a Vocabulary-Based Expertise Model of Developers. In: Proceedings of the 2009 6th IEEE International Working Conference on Mining Software Repositories, 16-17 May 2009, Vancouver BC (pp. 131-140). Washington, DC: IEEE Computer Society 10.1109/MSR.2009.5069491

Lienhard, Adrian; Fierz, Julien; Nierstrasz, Oscar (2009). Flow-Centric, Back-In-Time Debugging. In: Objects, Components, Models and Patterns, Proceedings of TOOLS Europe 2009. Lecture Notes in Business Information: Vol. 33 (pp. 272-288). Heidelberg: Springer Verlag 10.1007/978-3-642-02571-6_16

Douta, Gisèle; Talib, Haydar; Nierstrasz, Oscar; Langlotz, Frank (2009). CompAS: A new approach to commonality and variability analysis with applications in computer assisted orthopaedic surgery. Information and software technology, 51(2), pp. 448-459. London: Butterworth 10.1016/j.infsof.2008.05.017

Renggli, Lukas; Nierstrasz, Oscar (2009). Transactional Memory in a Dynamic Language. Computer languages, systems & structures, 35(1), pp. 21-30. New York, N.Y.: Pergamon Press 10.1016/j.cl.2008.06.001

Röthlisberger, David; Nierstrasz, Oscar; Ducasse, Stéphane; Pollet, Damien; Robbes, Romain (2009). Supporting Task-oriented Navigation in IDEs with Configurable HeatMaps. In: The 16th IEEE International Conference on Program Comprehension, ICPC 2008, 10-13 June 2008, Amsterdam (pp. 253-257). Washington, DC: IEEE Computer Society

Röthlisberger, David; Härry, Marcel; Villazon, Alex; Ansaloni, Danilo; Binder, Walter; Nierstrasz, Oscar; Moret, Philippe (2009). Augmenting Static Source Views in IDEs with Dynamic Metrics. In: IEEE International Conference on Software Maintenance, ICSM 2009, 20-26 September 2009, Edmonton, AB (pp. 253-262). Washington, DC: IEEE Computer Society 10.1109/ICSM.2009.5306302

Röthlisberger, David; Härry, Marcel; Villazon, Alex; Ansaloni, Danilo; Binder, Walter; Nierstrasz, Oscar; Moret, Philippe (2009). Senseo: Enriching Eclipse's Static Source Views with Dynamic Metrics. In: IEEE International Conference on Software Maintenance, ICSM 2009, 20-26 September 2009, Edmonton, AB (pp. 383-384). Washington, DC: IEEE Computer Society 10.1109/ICSM.2009.5306314

Röthlisberger, David; Nierstrasz, Oscar; Ducasse, Stéphane; Bergel, Alexandre (2009). Tackling Software Navigation Issues of the Smalltalk IDE. In: Proceedings of International Workshop on Smalltalk Technologies (IWST 2009). New York: Association for Computing Machinery ACM

Röthlisberger, David; Nierstrasz, Oscar; Ducasse, Stéphane (2009). Autumn Leaves: Curing the Window Plague in IDEs. In: Proceedings of the 16th Working Conference on Reverse Engineering WCRE 2009, 13-16 October 2009, Lille (pp. 237-246). Washington, DC: IEEE Computer Society 10.1109/WCRE.2009.18

Vasa, Rajesh; Lumpe, Markus; Branch, Philip; Nierstrasz, Oscar (2009). Comparative Analysis of Evolving Software Systems Using the Gini Coefficient. In: IEEE International Conference on Software Maintenance, ICSM 2009, 20-26 September 2009, Edmonton, AB (pp. 179-188). Washington, DC: IEEE Computer Society 10.1109/ICSM.2009.5306322

Verwaest, Toon; Renggli, Lukas (2009). Safe Reflection Through Polymorphism. In: CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications (p. 21). New York: Association for Computing Machinery ACM 10.1145/1595768.1595776

Bruni, Camillo; Verwaest, Toon (2009). PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy. In: Oriol, Manuel; Meyer, Bertrand (eds.) Objects, Components, Models and Patterns, Proceedings of TOOLS Europe 2009. Lecture Notes in Business Information: Vol. 33 (pp. 328-347). Heidelberg: Springer Verlag 10.1007/978-3-642-02571-6_19

Hurni, Philipp; Staub, Thomas; Wagenknecht, Gerald; Anwander, Markus; Braun, Torsten (2009). A Secure Remote Authentication, Operation and Management Infrastructure for Distributed Wireless Sensor Network Testbeds. Electronic communications of the EASST, 17, pp. 1-6. Berlin: European Association of Software Science and Technology

Wagenknecht, Gerald; Anwander, Markus; Braun, Torsten (2009). MARWIS: A Management Platform for Heterogeneous Wireless Sensor Networks. ERCIM news, 5031/2008(76), pp. 18-19. Sophia-Antipolis (F): European Research Consortium for Informatics and Mathematics

Nierstrasz, Oscar (ed.) (2009). CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications. New York: Association for Computing Machinery ACM

Indermühle, Emanuel; Liwicki, Marcus; Bunke, Horst (2009). Combining alignment results for historical handwritten document analysis. In: Proceedings of the 10th International Conference on Document Analysis and Recognition ICDAR 26-29 July, 2009, Barcelona (pp. 1186-1190). Washington, DC: IEEE Computer Society 10.1109/ICDAR.2009.19

Jäger, Gerhard (2009). Full operational set theory with unbounded existential quantification and power set. Annals of pure and applied logic, 160(1), pp. 33-52. Amsterdam: Elsevier 10.1016/j.apal.2009.01.010

Brünnler, Kai; Strassburger, Lutz (2009). Modular Sequent Systems for Modal Logic. In: Giese, Martin; Waaler, Arild (eds.) Automated Reasoning with Analytic Tableaux and Related Methods. 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5607 (pp. 152-166). Heidelberg: Springer Verlag 10.1007/978-3-642-02716-1_12

Brünnler, Kai (2009). Deep Sequent Systems for Modal Logic. Archive for mathematical logic, 48(6), pp. 551-577. Berlin: Springer International 10.1007/s00153-009-0137-3

Buss, Samuel R.; Kuznets, Roman (2009). The NP-Completeness of Reflected Fragments of Justification. In: Artemov, Sergei; Nerode, Anil (eds.) Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science: Vol. 5407 (pp. 122-136). Heidelberg: Springer Verlag 10.1007/978-3-540-92687-0_9

Kuznets, Roman (2009). Self-Referential Justifications in Epistemic Logic. Theory of computing systems, 46(4), pp. 636-661. New York, N.Y.: Springer 10.1007/s00224-009-9209-3

Artemov, Sergei; Kuznets, Roman (2009). Logical omniscience as a computational complexity problem. In: Heifetz, Aviad (ed.) TARK '09. Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (p. 14). New York: Association for Computing Machinery ACM 10.1145/1562814.1562821

Kuznets, Roman (2009). A Note on the Use of Sum in the Logic of Proofs. In: Drossos, Costas; , ; , ; Tsinakis, Constantine (eds.) Proceedings of the 7th Panhellenic Logic Symposium (pp. 99-103). Patras University Press

Staub, Thomas; Brogle, Marc; Baumann, Kurt; Braun, Torsten (2009). Wireless Mesh Networks for Interconnection of Remote Sites to Fixed Broadband Networks. In: Brogle, Marc; Heijenk, Geert; Braun, Torsten; Konstantas, Dimitri (eds.) Proceedings of the Third ERCIM Workshop on eMobility (pp. 97-98). Enschede, Netherlands: University of Twente

Brogle, Marc; Bettosini, Luca; Braun, Torsten (2009). Quality of Service for Multicasting in Content Addressable Networks. Lecture notes in computer science, 5842, pp. 170-175. Heidelberg: Springer 10.1007/978-3-642-04994-1_14

Wagenknecht, Gerald; Anwander, Markus; Braun, Torsten (2009). Hop-to-Hop Reliability in IP-Based Wireless Sensor Networks - A Cross-Layer Approach. Lecture notes in computer science, 5546, pp. 61-72. Heidelberg: Springer 10.1007/978-3-642-02118-3_6

Hurni, Philipp; Braun, Torsten; Anwander, Markus (2009). Evaluation of WiseMAC and extensions on wireless sensor nodes. Telecommunication Systems, 43(1-2), pp. 49-58. Norwell, Mass.: Springer Science + Business Media 10.1007/s11235-009-9196-3

Wälchli, Markus; Zurbuchen, Reto; Staub, Thomas; Braun, Torsten (2009). Gravity-based Local Clock Synchronization in Wireless Sensor Networks. Lecture notes in computer science, 5550, pp. 907-918. Heidelberg: Springer 10.1007/978-3-642-01399-7_71

Wälchli, Markus; Braun, Torsten (2009). Efficient Signal Processing and Anomaly Detection in Wireless Sensor Networks. In: Giacobini, Mario; Brabazon, Anthony; Cagnoni, Stefano; Di Caro, Gianni A.; Ekárt, Anikó; Esparcia-Alcázar, Anna Isabel; Farooq, Muddassar; Fink, Andreas; Machado, Penousal (eds.) 6th European Workshop on the Application of Nature-inspired Techniques for Telecommunication Networks (EvoCOMNET 2009). Lecture Notes in Computer Science: Vol. 5484 (pp. 81-86). Heidelberg: Springer Verlag 10.1007/978-3-642-01129-0_9

Wälchli, Markus; Braun, Torsten (2009). Building Intrusion Detection with a Wireless Sensor Network. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 28, pp. 607-622. Heidelberg: Springer Verlag 10.1007/978-3-642-11723-7_41

Wälchli, Markus; Zurbuchen, Reto; Staub, Thomas; Braun, Torsten (2009). Backbone MAC for Energy-constrained Wireless Sensor Networks. In: IEEE 34th Conference on Local Computer Networks LCN 2009, 20-23 October 2009, Zurich (pp. 77-84). Washington, DC: IEEE Computer Society 10.1109/LCN.2009.5355177

McKinley, Richard (2009). The alpha-epsilon calculus. In: Proceedings of Workshop on Structures and Deduction.

Spescha, Daria; Strahm, Thomas (2009). Elementary explicit types and polynomial time operations. Mathematical logic quarterly, 55(3), pp. 245-258. Weinheim: Wiley-VCH 10.1002/malq.200810004

Staub, Thomas; Ott, Stefan; Braun, Torsten (2009). Experimental Evaluation of Multi-Path Routing in a Wireless Mesh Network Inside a Building. Electronic communications of the EASST, 17, pp. 1-12. Berlin: European Association of Software Science and Technology

Hurni, Philipp (2009). Unsynchronized Energy-Efficient Medium Access Control and Routing in Wireless Sensor Networks. Praxis der Informationsverarbeitung und Kommunikation, 32(1), pp. 38-42. Berlin: De Gruyter 10.1515/piko.2009.008

Staub, Thomas; Gantenbein, Reto; Braun, Torsten (2009). VirtualMesh: An Emulation Framework for Wireless Mesh Networks in OMNeT++. In: The 2nd International Workshop on OMNeT++ (OMNeT++ 2009) held in conjuction with the 2nd International Conference on Simulation Tools and Techniques (pp. 1-8). ICST

Hurni, Philipp; Braun, Torsten (2009). Calibrating Wireless Sensor Network Simulation Models with Real-World Experiments. In: Schulzrinne, Henning; Takahashi, Yutaka; Spaniol, Otto (eds.) 8th International IFIP-TC 6 Networking Conference. Lecture Notes in Computer Science: Vol. 5550 (pp. 1-13). Heidelberg: Springer Verlag 10.1007/978-3-642-01399-7_1

Hurni, Philipp; Braun, Torsten (2009). On the Adaptivity of today's Energy-Efficient MAC Protocols under varying Traffic Conditions. In: International Conference on Ultra Modern Telecommunications & Workshops ICUMT '09, 12-14 October 2009, St. Petersburg, Russia (pp. 1-8). Washington, DC: IEEE Computer Society 10.1109/ICUMT.2009.5345489

Hurni, Philipp (2009). Unsynchronized Energy-Efficient MAC and Routing in Wireless Sensor Networks. In: David, Klaus; Geihs, Kurt (eds.) Kommunikation in Verteilten Systemen (KiVS). Informatik Aktuell: Vol. 8 (p. 321). Heidelberg: Springer Verlag 10.1007/978-3-540-92666-5_32

Yu, Zhang; Bhargava, Bharat; Hurni, Philipp (2009). The Effects of Threading, Infection Time, and Multiple-Attacker Collaboration on Malware Propagation. In: 28th IEEE International Symposium on Reliable Distributed Systems SRDS 09, 27- 30 September 2009, Niagara Falls, NY (pp. 73-82). Washington, DC: IEEE Computer Society 10.1109/SRDS.2009.17

Ressia, Jorge; Nierstrasz, Oscar (2009). Dynamic Synchronization: A Synchronization Model through Behavioral Reflection. In: Proceedings of International Workshop on Smalltalk Technologies (IWST 2009) (p. 101). New York: Association for Computing Machinery ACM 10.1145/1735935.1735952

Renggli, Lukas; Girba, Tudor (2009). Why Smalltalk Wins the Host Languages Shootout. In: Proceedings of International Workshop on Smalltalk Technologies (IWST 2009) (p. 107). New York: Association for Computing Machinery ACM 10.1145/1735935.1735954

Ko, Jerome; Ko, Mankor; Zwicker, Matthias (2008). Practical Methods for a PRT-based Shader Using Spherical Harmonica. In: Engel, Wolfgang (ed.) ShaderX6 Advanced Rendering Techniques (pp. 355-381). Charles River Media

Ramachandra, Vikas; Zwicker, Matthias; Nguyen, Truong (2008). Display Dependent Coding for 3D Video on Automultiscopic Displays. In: Manjunath, B.S.; Ortega, Antonio (eds.) 2008 IEEE International Conference on Image Processing, October 12–15, 2008, San Diego, California, USA (pp. 2436-2439). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/icip.2008.4712

Schär, Sonja; Bieri, Hans-Peter; Killer, Thomas; Nguyen, Truong (2008). Introducing Stereo Effects into Cel Animations. In: Aydin Alatan, A.; Güdükbay, Ugur (eds.) 3DTV Conference: The True Vision - Capture, Transmission and Display of 3D Video, 2008 (pp. 353-356). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/3DTV.2008.4547881

Ramachandra, Vikas; Zwicker, Matthias; Nguyen, Truong (2008). HDR Imaging from Differently Exposed Multiview Videos. In: Aydin Alatan, A.; Güdükbay, Ugur (eds.) 3DTV Conference: The True Vision - Capture, Transmission and Display of 3D Video, 2008 (pp. 85-88). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/3DTV.2008.4547814

Ramachandra, Vikas; Zwicker, Matthias; Nguyen, Truong (2008). 3D Video Fingerprinting. In: Aydin Alatan, A.; Güdükbay, Ugur (eds.) 3DTV Conference: The True Vision - Capture, Transmission and Display of 3D Video, 2008 (pp. 81-84). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/3DTV.2008.4547813

Lo, Wan-Yen; Zwicker, Matthias (2008). Real Time Planning for Parameterized Human Motion. In: Gross, Markus; James, Doug (eds.) Proceedings of the 2008 Eurographics/ACM SIGGRAPH Symposium on Computer Animation, SCA 2008, Dublin, Ireland (pp. 29-38). Eurographics Association

Chang, William; Zwicker, Matthias (2008). Automatic Registration for Articulated Shapes. Computer graphics forum, 27(5), pp. 1459-1468. Oxford: Blackwell 10.1111/j.1467-8659.2008.01286.x

Wojciech, Jarosz; Zwicker, Matthias; Jensen, Henrik Wann (2008). Irradiance Gradients in the Presence of Participating Media and Occlusions. Computer graphics forum, 27(4), pp. 1087-1096. Oxford: Blackwell 10.1111/j.1467-8659.2008.01246.x

Wojciech, Jarosz; Zwicker, Matthias; Jensen, Henrik Wann (2008). The Beam Radiance Estimate for Volumetric Photon Mapping. Computer graphics forum, 27(2), pp. 557-566. Oxford: Blackwell 10.1111/j.1467-8659.2008.01153.x

Wojciech, Jarosz; Donner, Craig; Zwicker, Matthias; Jensen, Henrik Wann (2008). Radiance Caching for Participating Media. ACM transactions on graphics, 27(1), pp. 1-11. New York, N.Y.: Association for Computing Machinery 10.1145/1330511.1330518

Lehtinen, Jaakko; Zwicker, Matthias; Turquin, Emmanuel; Kontkanen, Janne; Durand, Frédo; Sillion, François X.; Aila, Timo (2008). A meshless Hierarchical Representation for Light Transport. ACM transactions on graphics, 27(3), p. 1. New York, N.Y.: Association for Computing Machinery 10.1145/1399504.1360636

Goldberg, Alexander; Zwicker, Matthias; Durand, Frédo (2008). Anisotropic Noise. ACM transactions on graphics, 27(3), p. 1. New York, N.Y.: Association for Computing Machinery 10.1145/1399504.1360653

Hachisuka, Toshiya; Wojciech, Jarosz; Weistroffer, Richard Peter; Dale, Kevin; Humphereys, Greg; Zwicker, Matthias; Jensen, Henrik Wann (2008). Multidimensional Adaptive Sampling and Reconstruction for Ray Tracing. ACM transactions on graphics, 27(3), p. 1. New York, N.Y.: Association for Computing Machinery 10.1145/1399504.1360632

Paris, Sylvain; Chang, William; Wojciech, Jarosz; Kozhushnyan, Oleg; Wojciech, Matusik; Zwicker, Matthias; Durand, Frédo (2008). Hair Photobooth: Geometric and Photometric Acquisition of Real Hairstyles. ACM transactions on graphics, 27(3), p. 1. New York, N.Y.: Association for Computing Machinery 10.1145/1399504.1360629

Bertolami, Roman; Bunke, Horst (2008). Integration of n-gram language models in multiple classifier systems for offline handwritten text line recognition. International journal of pattern recognition and artificial intelligence, 22(7), pp. 1301-1321. Singapore: World Scientific 10.1142/S0218001408006855

Bertolami, Roman; Bunke, Horst (2008). Hidden Markov model based ensemble methods for offline handwritten text line recognition. Pattern recognition, 41(11), pp. 3452-3460. Oxford: Pergamon 10.1016/j.patcog.2008.04.003

Bertolami, Roman; Gutmann, Ch.; Bunke, Horst; Spitz, L. (2008). Shape code based lexicon reduction for offline handwriting recognition. In: Proceedings of the 8th IAPR International Workshop on Document Analysis Systems, 16-19 September 2008 (pp. 158-163). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/DAS.2008.18

Bertolami, Roman; Bunke, Horst (2008). Including language model information in the combination of handwritten text line recognizers. In: Proceedings of the 11th International Conference on Frontiers in Handwriting Recognition, August 19-21, 2008, Concordia University Montreal (pp. 25-30). Concordia University, Montreal: Cenparmi Centre for Pattern Recognition and Machine Intelligence

Bertolami, Roman; Bunke, Horst (2008). Ensemble methods to improve the performance of an English handwritten text line recognizer. In: Doerman, David; Jaeger, Stefan (eds.) Arabic and Chinese Handwriting Recognition. SACH 2006 Summit College, Park, MD, USA, September 27-28,2006. Selected Papers. Lecture notes in computer science: Vol. 4768 (pp. 265-277). Heidelberg: Springer Verlag 10.1007/978-3-540-78199-8_16

Schlapbach, Andreas; Liwicki, Marcus; Bunke, Horst (2008). A writer identification system for on-line whiteboard data. Pattern recognition, 41(7), pp. 2381-2397. Oxford: Pergamon 10.1016/j.patcog.2008.01.006

Ferrer, M.; Valveny, E.; Serratosa, F.; Riesen, K.; Bunke, Horst (2008). An approximate algorithm for median graph computation using graph embedding. In: Proceedings of the 19th International Conference on Pattern Recognition, 8-11 December 2008, Tampa, FL (pp. 1-4). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/ICPR.2008.4761354

Duin, Robert P.W.; Pekalska, Elzbieta; Harol, Artsiom; Lee, Wan-Jui; Bunke, Horst (2008). On Euclidean corrections for non-Euclidean dissimilarities. In: da Vitoria Lobo, Niels; Kasparis, Takis; Roli, Fabio; Kwok, James T.; Georgiopoulos, Michael; Anagnostopoulos, Georgios C.; Loog, Marco (eds.) Structural, Syntactic, and Statistical Pattern Recognition. Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5342 (pp. 551-561). Heidelberg: Springer Verlag 10.1007/978-3-540-89689-0_59

Riesen, Kaspar; Bunke, Horst (2008). IAM graph database repository for graph based pattern recognition and machine learning. In: da Vitoria Lobo, Niels; Kasparis, Takis; Roli, Fabio; Kwok, James T.; Georgiopoulos, Michael; Anagnostopoulos, Georgios C.; Loog, Marco (eds.) Structural, Syntactic, and Statistical Pattern Recognition. Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5342 (pp. 287-297). Heidelberg: Springer Verlag 10.1007/978-3-540-89689-0_33

Bunke, Horst; Riesen, Kaspar (2008). Graph classification based on dissimilarity space embedding. In: da Vitoria Lobo, Niels; Kasparis, Takis; Roli, Fabio; Kwok, James T.; Georgiopoulos, Michael; Anagnostopoulos, Georgios C.; Loog, Marco (eds.) Structural, Syntactic, and Statistical Pattern Recognition. Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5342 (pp. 996-1007). Heidelberg: Springer Verlag 10.1007/978-3-540-89689-0_103

Ferrer, Miquel; Valveny, Ernest; Serratosa, Francesc; Bunke, Horst (2008). Exact median graph computation via graph embedding. In: da Vitoria Lobo, Niels; Kasparis, Takis; Roli, Fabio; Kwok, James T.; Georgiopoulos, Michael; Anagnostopoulos, Georgios C.; Loog, Marco (eds.) Structural, Syntactic, and Statistical Pattern Recognition. Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5342 (pp. 15-24). Heidelberg: Springer Verlag 10.1007/978-3-540-89689-0_6

Fornes, A.; Llados, J.; Sanchez, G.; Bunke, Horst (2008). Writer identification in old handwritten music scores. In: Proceedings of the 8th IAPR International Workshop on Document Analysis Systems, 16-19 September 2008 (pp. 347-353). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/DAS.2008.29

Indermühle, Emanuel; Liwicki, Marcus; Bunke, Horst (2008). Recognition of handwritten historical documents: HMM-adaptation vs. writer specific training. In: Proceedings of the 11th International Conference on Frontiers in Handwriting Recognition, August 19-21, 2008, Concordia University Montreal (pp. 186-191). Concordia University, Montreal: Cenparmi Centre for Pattern Recognition and Machine Intelligence

Liwicki, Marcus; Bunke, Horst (2008). Combining on-line and off-line bidirectional long short-term memory networks for handwritten text line recognition. In: Proceedings of the 11th International Conference on Frontiers in Handwriting Recognition, August 19-21, 2008, Concordia University Montreal (pp. 31-36). Concordia University, Montreal: Cenparmi Centre for Pattern Recognition and Machine Intelligence

Schlapbach, Andreas; Wettstein, Frank; Bunke, Horst (2008). Automatic estimation of the readability of handwritten text. In: Proceedings of the 16th European Signal Processing Conference, August 25-29, 2008, Lausanne, Switzerland. EURASIP The European Association for Signal Processing

Bunke, Horst; Dickinson, Peter; Kraetzl, Miro; Neuhaus, Michael; Stettler, Marc (2008). Matching of hypergraphs - algorithms, applications, and experiments. In: Bunke, Horst; Kandel, Abraham; Last, Mark (eds.) Applied Pattern Recognition. Studies in computational intelligence: Vol. 91 (pp. 131-154). Heidelberg: Springer Verlag 10.1007/978-3-540-76831-9_6

Bunke, Horst; Kandel, Abraham; Last, Mark (eds.) (2008). Applied Pattern Recognition. Studies in computational intelligence: Vol. 91. Heidelberg: Springer Verlag

Schlapbach, Andreas; Bunke, Horst (2008). Off-line writer identification and verification using Gaussian mixture models. In: Marinai, Simone; Fujisawa, Hiromichi (eds.) Machine Learning in Document analysis and Recognition. Studies in computational intelligence: Vol. 90 (pp. 409-428). Heidelberg: Springer Verlag 10.1007/978-3-540-76280-5_16

Varga, Tamás; Bunke, Horst (2008). Perturbation models for generating synthetic training data in handwriting recognition. In: Marinai, Simone; Fujisawa, Hiromichi (eds.) Machine Learning in Document analysis and Recognition. Studies in computational intelligence: Vol. 90 (pp. 333-360). Heidelberg: Springer Verlag 10.1007/978-3-540-76280-5_13

Fischer, A.; Riesen, K.; Bunke, H. (2008). An experimental study of graph classification using prototype selection. In: Proceedings of the 19th International Conference on Pattern Recognition, 8-11 December 2008, Tampa, FL (pp. 1-4). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/ICPR.2008.4761811

Riesen, Kaspar; Bunke, Horst (2008). On Lipschitz Embeddings of Graphs. In: Lovrek, Ignac; Howlett, Robert; Jain, Lakhmi C. (eds.) Knowledge-Based Intelligent Information and Engineering Systems 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I. Lecture Notes in Computer Science: Vol. 5177 (pp. 131-140). Heidelberg: Springer Verlag 10.1007/978-3-540-85563-7_22

Riesen, K.; Bunke, H. (2008). Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs. In: Prevost, Lionel; Marinai, Simone; Schwenker, Friedhelm (eds.) Artificial Neural Networks in Pattern Recognition Third IAPR Workshop, ANNPR 2008 Paris, France, July 2-4, 2008 Proceedings. Lecture Notes in Computer Science: Vol. 5064 (pp. 24-35). Heidelberg: Springer Verlag 10.1007/978-3-540-69939-2_3

Brügger, Alexandra; Bunke, Horst; Dickinson, Peter; Riesen, Kaspar (2008). Generalized Graph Matching for Data Mining and Information Retrieval. In: Perner, Petra (ed.) Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects 8th Industrial Conference, ICDM 2008 Leipzig, Germany, July 16-18, 2008 Proceedings. Lecture Notes in Computer Science: Vol. 5077 (pp. 298-312). Heidelberg: Springer Verlag 10.1007/978-3-540-70720-2_23

Bunke, Horst; Riesen, Kaspar (2008). Recent developments in graph classification and clustering using graph embedding kernels. In: Juan-Ciscar, Alfonso; Sanchez-Albaladejo, Gemma (eds.) Proceedings of the 8th International Workshop on Pattern Recognition in Information Systems, PRIS 2008 (pp. 3-13). Setúbal, Portugal: Institute for Systems and Technologies of Information (INSTICC)

Schlapbach, A.; Wettstein, F.; Bunke, H. (2008). Estimating the readability of handwritten text - a support vector regression based approach. In: Proceedings of the 19th International Conference on Pattern Recognition, 8-11 December 2008, Tampa, FL (pp. 1-4). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/ICPR.2008.4761907

Liwicki, M.; Schlapbach, A.; Bunke, H. (2008). Writer-dependent recognition of handwritten whiteboard notes in smart meeting room environments. In: Proceedings of the 8th IAPR International Workshop on Document Analysis Systems, 16-19 September 2008, Nara (pp. 151-157). New York: Institute of Electrical and Electronics Engineers IEEE 10.1109/DAS.2008.8

Riesen, Kaspar; Bunke, Horst (2008). Non-linear transformations of vector space embedded graphs. In: Juan-Ciscar, Alfonso; Sanchez-Albaladejo, Gemma (eds.) Proceedings of the 8th International Workshop on Pattern Recognition in Information Systems, PRIS 2008 (pp. 173-183). Setúbal, Portugal: Institute for Systems and Technologies of Information (INSTICC)

Studer, Thomas (2008). On the proof theory of the modal mu-calculus. Studia logica, 89(3), pp. 343-363. Dordrecht: Springer Science + Business Media 10.1007/s11225-008-9133-6

Jäger, Gerhard; Kretz, Mathis; Studer, Thomas (2008). Canonical completeness of infinitary mu. Journal of logic and algebraic programming, 76(2), pp. 270-292. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.005

Brünnler, Kai; Probst, Dieter; Studer, Thomas (2008). On contraction and the modal fragment. Mathematical logic quarterly, 54(4), pp. 345-349. Weinheim: Wiley-VCH 10.1002/malq.200710043

Haenni, R (2008). Aggregating Referee Scores: an Algebraic Approach. In: Endriss, Ulle; Goldberg, Paul W (eds.) Proceedings of the 2nd International Workshopon Computational Social (COMSOC-2008). Liverpool. 3-5 September 2008.

Jonczy, Jacez; Haenni, Rolf (2008). Network Reliability Evaluation with Propositional Directed Acyclic Graphs. In: Bedford, Tim; Quigley, John; Walls, Lesley; Alkali, Babakali; Daneshkhah, Alireza; Hardman, Gavin (eds.) Advances in Mathematical Modeling for Reliability (pp. 25-31). IOS Press

Haenni, Rolf; Romeijn, Jan-Willem; Wheeler, Gregory; Williamson, Jon (2008). Possible Semantics for a Common Framework of Probabilistic. In: , ; , ; Nakamori, Yoshiteru; Ono, Hiroakira; Lawry, Jonathan; Kreinovich, Vkladik; Nguyen, Hung T. (eds.) Interval/Probabilistic Uncertainty and Non-Classical Logics. Advances in Soft Computing: Vol. 46 (pp. 268-279). Heidelberg: Springer Verlag

Kohlas, Reto; Jonczy, Jacek; Haenni, Rolf (2008). A Trust Evaluation Method Based on Logic and Probability Theory. In: Karabulut, Yücel; Mitchell, John C.; Herrmann, Peter; Jensen, Schristian Damsgaard (eds.) Trust Management II: Proceedings of IFIPTM 2008. Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway (pp. 17-32). Heidelberg: Springer Verlag

Denker, Marcus; Suen, Mathieu; Ducasse, Stéphane (2008). The Meta in Meta-object Architectures. In: Paige, Richard F.; Meyer, Bertrand (eds.) Objects, Components, Models and Patterns. 46th International Conference, Tools Europe 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing: Vol. 11 (pp. 218-237). Heidelberg: Springer Verlag 10.1007/978-3-540-69824-1_13

Nierstrasz, Oscar; Denker, Marcus; Gîrba, Tudor; Lienhard, Adrian; Röthlisberger, David (2008). Change-Enabled Software Systems. In: Wirsing, Martin; Banâtre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel (eds.) Software-Intensive Systems and New Computing Paradigms. Challenges and Visions. Lecture Notes in Computer Science: Vol. 5380 (pp. 64-79). Heidelberg: Springer Verlag 10.1007/978-3-540-89437-7_3

Röthlisberger, David; Denker, Marcus; Tanter, Eric (2008). Unanticipated Partial Behavioral Reflection: Adapting Applications at Runtime. Computer languages, systems & structures, 34(2-3), pp. 46-65. New York, N.Y.: Pergamon Press 10.1016/j.cl.2007.05.001

Brühlmann, Andrea; Gîrba, Tudor; Greevy, Orla; Nierstrasz, Oscar (2008). Enriching Reverse Engineering with Annotations. In: Czarnecki, Krzysztof; Ober, Ileana; Bruel, Jean-Michel; Uhl, Axel; Völter, Markus (eds.) Model Driven Engineering Languages and Systems. 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5301 (pp. 660-674). Heidelberg: Springer Verlag 10.1007/978-3-540-87875-9_46

Dozsa, Adrian; Gîrba, Tudor; Marinescu, Radu (2008). How Lisp systems look different. In: 12th European Conference on Software Maintenance and Reengineering, 2008, CSMR 2008, 1-4 April, Athens (pp. 223-232). Washington, DC: IEEE Computer Society 10.1109/CSMR.2008.4493317

Ducasse, Stéphane; Gîrba, Tudor; Greevy, Orla; Lanza, Michele; Nierstrasz, Oscar (2008). Workshop on FAMIX and Moose in Software Reengineering (FAMOOSr 2008). In: 15th Working Conference on Reverse Engineering, 2008, WCRE 2008, 15-18 October 2008, Antwerp (pp. 343-344). Washington, DC: IEEE Computer Society 10.1109/WCRE.2008.51

Lienhard, Adrian; Gîrba, Tudor; Greevy, Orla; Nierstrasz, Oscar (2008). Test Blueprints - Exposing Side Effects in Execution Traces to Support Writing Unit Tests. In: Proceedings of the 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, 1-4 April, Athens (pp. 83-92). Washington, DC: IEEE Computer Society 10.1109/CSMR.2008.4493303

Lienhard, Adrian; Gîrba, Tudor; Nierstrasz, Oscar (2008). Practical Object-Oriented Back-in-Time Debugging. In: Vitek, Jan (ed.) ECOOP 2008 - Object-Oriented Programming. 22nd European Conference, Paphos, Cyprus, July 7-11, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5142 (pp. 592-615). Heidelberg: Springer Verlag 10.1007/978-3-540-70592-5_25

Verbaere, Mathieu; Godfrey, Michael W.; Gîrba, Tudor (2008). Query Technologies and Applications for Program Comprehension. In: Proceedings of the 16th IEEE International Conference on Program Comprehension ICPC 2008, 10-13 June, Amsterdam (pp. 285-288). Washington, DC: IEEE Computer Society 10.1109/ICPC.2008.27

Röthlisberger, David; Greevy, Orla; Nierstrasz, Oscar (2008). Exploiting Runtime Information in the IDE. In: Proceedings of the 16th International Conference on Program Comprehension ICPC 2008, 10-13 June 2008, Amsterdam (pp. 63-72). Washington, DC: IEEE Computer Society 10.1109/ICPC.2008.32

Zaidman, Andy; Greevy, Orla; Hamou-Lhadj, Abdelwahab; Röthlisberger, David (2008). Workshop on Program Comprehension through Dynamic Analysis (PCODA). In: 15th Working Conference on Reverse Engineering, 2008, WCRE 2008, 15-18 October 2008, Antwerp (pp. 345-346). Washington, DC: IEEE Computer Society 10.1109/WCRE.2008.21

Brogle, Marc; Milic, Dragan; Braun, Torsten (2008). Quality of Service for Peer-to-Peer based Networked Virtual Environments. In: 14th IEEE International Conference on Parallel and Distributed Systems ICPADS 2008, 8-10 December, Melbourne, Victoria, Australia (pp. 847-852). Washington, DC: IEEE Computer Society 10.1109/ICPADS.2008.95

Milic, Dragan; Braun, Torsten (2008). Enhancing RTT Prediction Schemes Using Global Function Minimization. In: 5th International Conference on Broadband Communications, Networks and Systems, 2008. BROADNETS 2008, 8-11 September 2008, London (pp. 569-576). Washington, DC: IEEE Computer Society 10.1109/BROADNETS.2008.4769144

Haensenberger, Lea; Kuhn, Adrian; Nierstrasz, Oscar (2008). Using Dynamic Analysis for API Migration. In: Zaidman, Andy; Hamou-Lhadj, Abdelwahab; Greevy, Orla; Röthlisberger, David (eds.) Proceedings IEEE 4th International Workshop on Program Comprehension through Dynamic Analysis PCODA, 16 October 2008, Antwerp.

Kuhn, Adrian; Rompaey, Bart Van; Haensenberger, Lea; Nierstrasz, Oscar; Demeyer, Serge; Gaelli, Markus; Leemput, Koenraad Van (2008). JExample: Exploiting Dependencies Between Tests to Improve Defect Localization. In: Abrahamsson, Pekka; Baskerville, Richard; Conboy, Kieran; Fitzgerald, Brian; Morgan, Lorraine; Wang, Xiaofeng (eds.) Agile Processes in Software Engineering and Extreme Programming. 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings. Lecture Notes in Business Information Processing: Vol. 9 (pp. 73-82). Heidelberg: Springer Verlag 10.1007/978-3-540-68255-4_8

Kuhn, Adrian; Verwaest, Toon (2008). FAME, A Polyglot Library for Metamodeling at Runtime. In: Workshop on Models at Runtime.

Kuhn, Adrian; Nierstrasz, Oscar (2008). Composing New Abstractions From Object Fragments. In: , (ed.) Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms VMIL 2008, Nashville, Tennessee, Oct. 19, 2008 (pp. 1-12). New York: Association for Computing Machinery ACM 10.1145/1507504.1507505

Kuhn, Adrian; Loretan, Peter; Nierstrasz, Oscar (2008). Consistent Layout for Thematic Software Maps. In: 15th Working Conference on Reverse Engineering, 2008, WCRE 2008, 15-18 October 2008, Antwerp (pp. 209-218). Washington, DC: IEEE Computer Society 10.1109/WCRE.2008.45

Bolz, Carl Friedrich; Lienhard, Adrian; Matsakis, Nicholas D.; Nierstrasz, Oscar; Renggli, Lukas; Rigo, Armin; Verwaest, Toon (2008). Back to the future in one week - implementing a Smalltalk VM in PyPy. In: Robert Hirschfeld and Kim Rose Hirschfeld, Robert; Rose, Kim (eds.) Self-Sustaining Systems. First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers. Lecture Notes in Computer Science: Vol. 5146 (pp. 123-139). Heidelberg: Springer Verlag 10.1007/978-3-540-89275-5_7

Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Nierstrasz, Oscar (2008). A Calculus of Evolving Objects. In: Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008).

Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Nierstrasz, Oscar (2008). A Calculus of Evolving Objects. Scientific annals of computer science, 18, pp. 63-98. Iaşi: Al.I. Cuza University Press

Hirschfeld, Robert; Costanza, Pascal; Nierstrasz, Oscar (2008). Context-Oriented Programming. Journal of Object Technology, 7(3), pp. 125-151. Zürich: AITO

Röthlisberger, David (2008). Querying Runtime Information in the IDE. In: Proceedings of the 2008 workshop on Query Technologies and Applications for Program Comprehension (QTAPC 2008).

Röthlisberger, David (2008). Embedding Moose Facilities Directly in IDEs. In: FAMOOSr, 2nd Workshop on FAMIX and Moose in Reengineering.

Langone, Daniel; Verwaest, Toon (2008). Extracting models from IDEs. In: 2nd Workshop on FAMIX and Moose in Software Reengineering (FAMOOSr 2008).

Wagenknecht, Gerald; Anwander, Markus; Braun, Torsten; Staub, Thomas; Matheka, James; Morgenthaler, Simon (2008). MARWIS: A Management Architecture for Heterogeneous Wireless Sensor Networks. In: 6th International Conference on Wired/Wireless Internet Communications (WWIC'08), Tampere, Finland (pp. 177-188). Heidelberg: Springer Verlag

Anwander, Markus; Wagenknecht, Gerald; Braun, Torsten (2008). Management of Wireless Sensor Networks using TCP/IP. In: International Workshop on Sensor Network Engineering (IWSNE) at the 4th IEEE/ACM International Conference on Distributed Computing in Sensor Systems, Santorini Island, Greece.

Wagenknecht, Gerald; Anwander, Markus; Brogle, Marc; Braun, Torsten (2008). Reliable Multicast in Wireless Sensor Networks. In: 7. GI/ITG KuVS Fachgespräch Drahtlose Sensornetze, Berlin, Germany (pp. 69-72). Berlin: Freie Universität Berlin

Brünnler, Kai; Lange, Martin (2008). Cut-free sequent systems for temporal logic. Journal of logic and algebraic programming, 76(2), pp. 216-225. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.004

Brünnler, Kai; McKinley, Richard (2008). An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5330 (pp. 482-496). Heidelberg: Springer Verlag 10.1007/978-3-540-89439-1_34

Kuznets, Roman (2008). Self-referentiality of Justified Knowledge. In: Hirsch, Edward A.; Razborov, Alexander A.; Semenov, Alexei; Slissenko, Anatol (eds.) Computer Science - Theory and ApplicationsThird International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5010 (pp. 228-239). Heidelberg: Springer Verlag 10.1007/978-3-540-79709-8_24

Hurni, Philipp; Braun, Torsten (2008). Increasing Throughput for WiseMAC. In: Fifth Annual Conference onWireless on Demand Network Systems and Services, WONS, 23-25 January 2008 (pp. 105-108). Washington, DC: IEEE Computer Society 10.1109/WONS.2008.4459364

Staub, Thomas; Braun, Torsten (2008). ATOM: Adaptive Transport over Multipaths in Wireless Mesh Networks. In: Braun, Torsten; Heijenk, Geert; Konstantas, Dimitri; Wulff, Markus (eds.) Proceedings of the Second ERCIM Workshop on eMobility (pp. 101-106). Tampere, Finland: University of Tampere

Wälchli, Markus; Braun, Torsten (2008). Event Classification and Filtering of False Alarms in Wireless Sensor Networks. In: International Symposium on Parallel and Distributed Processing with Applications ISPA '08, 10-12 December 2008, Sydney (pp. 757-764). Washington, DC: IEEE Computer Society 10.1109/ISPA.2008.26

Wulff, Markus; Lauer, Patrick; Braun, Torsten (2008). Content management and architectural issues of a remote learning laboratory. In: 2nd International Workshop on e-learning and Virtual and Remote Laboratories 2008, Hasso-Plattner-Institute Potsdam, Germany (pp. 13-19). Universitätsverlag Potsdam

Braun, Torsten; Krähenbühl, Jana; Staub, Thomas (2008). VAT4Net - a Visualization and Animation Tool for Network Simulations. In: 6th Symposium on Design, Analysis, and Simulation of Distributed Systems 2008, Edinburgh, UK, Sommer Computer Simulation Conference SCSC'08.

Hurni, Philipp; Braun, Torsten (2008). Energy-Efficient Multi-Path Routing in Wireless Sensor Networks. In: Coudert, David; Simplot-Ryl, David; Stojmenovic, Ivan (eds.) Ad-hoc, Mobile and Wireless Networks 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008, Proceedings. Lecture Notes in Computer Science: Vol. 5198 (pp. 72-85). Heidelberg: Springer Verlag 10.1007/978-3-540-85209-4_6

Wälchli, Markus; Bissig, Samuel; Meer, Michael; Braun, Torsten (2008). Distributed Event Tracking and Classification in Wireless Sensor Networks. Journal of internet engineering, 2(1), pp. 117-126. Athens: Klidarithmos Press

Scheidegger, Matthias; Braun, Torsten; Zahler, Benjamin (2008). An Internet Distance Prediction Service based on Passive Measurements. In: Australasian Telecommunications Networking and Application Conference ATNAC 2008, Adelaide, Australia.

McKinley, Richard (2008). Soft linear set theory. Journal of logic and algebraic programming, 76(2), pp. 226-245. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.010

Strahm, Thomas; Zucker, Jeffery (2008). Primitive recursive selection functions for existential assertions over abstract algebras. Journal of logic and algebraic programming, 76(2), pp. 175-197. New York, N.Y.: North-Holland 10.1016/j.jlap.2008.02.002

Hurni, Philipp; Braun, Torsten (2008). Evaluation of WiseMAC on Sensor Nodes. In: Mammeri, Zoubir (ed.) Wireless and Mobile Networking, IFIP Joint Conference on Mobile and Wireless Communications Networks, MWCN 2008 and Personal Wireless Communications PWC 2008, Toulouse, France, September 30 – October 2, 2008. IFIP Advances in Information and Communication Technology: Vol. 284 (pp. 187-198). Heidelberg: Springer Verlag 10.1007/978-0-387-84839-6_15

Hurni, Philipp; Braun, Torsten; Bhargava, Bharat; Zhang, Yu (2008). Multi-hop Cross-Layer Design in Wireless Sensor Networks: A Case Study. In: IEEE International Conference on Wireless and Mobile Computing Networking and Communications, 2008 WIMOB '08, 12 - 14 October 2008, Avignon (pp. 291-296). Washington, DC: IEEE Computer Society 10.1109/WiMob.2008.28

Staub, Thomas; Braun, Torsten (2008). Supporting Real-time Communication in Wireless Mesh Networks. In: 1st Workshop on Wireless Broadband Access for Communities and Rural Developing Regions - WIRELESS4D'08 held at 1st International Conference on M4D, Karlstad University, Sweden (pp. 48-53). Karlstad University Press

Jäger, Gerhard (2007). On Feferma's operational set theory. Annals of pure and applied logic, 150(1-3), pp. 19-39. Amsterdam: Elsevier 10.1016/j.apal.2007.09.001

Jäger, Gerhard; Kretz, Mathis; Studer, Thomas (2007). Cut-free common knowledge. Journal of applied logic, 5(4), pp. 681-689. Amsterdam: Elsevier 10.1016/j.jal.2006.02.003

Kottmann, Norbert; Studer, Thomas (2007). Improving semantic query answering. In: Database and Expert Systems Applications. Proceedings of the18th International Conference, DEXA 2007. Lecture Notes in Computer Science: Vol. 4653 (pp. 671-679). Heidelberg: Springer Verlag 10.1007/978-3-540-74469-6_65

Steiner, David; Studer, Thomas (2007). Total public announcements. In: Logical Foundations of Computer Science. Proceedings of the International Symposium, LFCS 2007. Lecture Notes in Computer Science: Vol. 4514 (pp. 498-511). Heidelberg: Springer Verlag 10.1007/978-3-540-72734-7_35

Stouppa, Phiniki (2007). A deep inference system for the modal logic S5. Studia logica, 85(2), pp. 199-214. Dordrecht: Springer Science + Business Media 10.1007/s11225-007-9028-y

Stouppa, Phiniki; Studer, Thomas (2007). A formal model of data privacy. In: Virbitskaite, Irina; Voronkov, Andrei (eds.) Perspectives of Systems Informatics. 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Theoretical Computer Science and General Issues: Vol. 4378 (pp. 400-408). Heidelberg: Springer Verlag 10.1007/978-3-540-70881-0_34

Wehbe, Ricardo (2007). Computing with common knowledge. PROCEDINGS OF THE 11TH IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, pp. 45-50. Calgary: ACTA Press

Wehbe, Ricardo (2007). Merging rule-based belief databases. In: Devedzic, V. (ed.) IASTED International Conference on Artificial Intelligence and Applications (pp. 585-589). Calgary: ACTA Press

Bunke, Horst; Dickinson, Peter; Humm, Andreas; Irniger, Christophe; Kraetzl, Miro (2007). Graph sequence visualisation and its application to computer network monitoring and abnormal event detection. In: Kandel, Abraham; Bunke, Horst; Last, Mark (eds.) Applied Graph Theory in Computer Vision and Pattern Recognition. Studies in Computational Intelligence: Vol. 52 (pp. 227-245). Heidelberg: Springer Verlag 10.1007/978-3-540-68020-8_9

Jiang, Xiaoyi; Marti, Cyril; Irniger, Christophe; Bunke, Horst (2006). Distance measures for image segmentation evaluation. EURASIP journal on applied signal processing, 2006, pp. 1-11. Akron, Ohio: Hindawi Publ. 10.1155/ASP/2006/35909

Zimmermann, Matthias; Chappelier, Jean-Cédric; Bunke, Horst (2006). Offline grammar-based recognition of handwritten sentences. IEEE transactions on mobile computing, 28(5), pp. 818-821. Los Alamitos, Calif.: IEEE Computer Society 10.1109/TPAMI.2006.103

Heissenbüttel, Marc; Braun, Torsten; Waelchli, Markus; Bernoulli, Thomas (2006). Optimized Stateless Broadcasting in Wireless Multi-hop Networks. In: INFOCOM 2006. 25th IEEE International Conference on Computer Communications. Proceedings April 2006 (pp. 1-12). Washington, DC: IEEE Computer Society

Heissenbüttel, Marc; Braun, Torsten; Jörg, David; Huber, Thomas (2006). A Framework for Routing in Large Ad-hoc Networks with Irregular Topologies. In: Al Agha, K.; Guerin Lassous, I.; Pujolle, G. (eds.) Challenges in Ad Hoc Networking. IFIP International Federation for Information Processing: Vol. 197 (pp. 119-128). Heidelberg: Springer Verlag 10.1007/0-387-31173-4_14

Scheidegger, Matthias; Braun, Torsten; Baumgartner, Florian (2006). Endpoint Cluster Identification for End-to-End Distance Estimation. In: ICC 2006. IEEE International Conference on Communications. Volume 2 (pp. 634-639). Washington, DC: IEEE Computer Society

Braun, Torsten; Arya, Vijay; Turletti, Thierry (2006). Explicit routing in multicast overlay networks. Computer communications, 29(12), pp. 2201-2216. Amsterdam: Elsevier 10.1016/j.comcom.2006.02.022

Waelchli, Markus; Bissig, Samuel; Braun, Torsten (2006). Intensity-based Object Localization and Tracking with Wireless Sensors. In: ACM Workshop on Real-World Wireless Sensor Networks (REALWSN'06), June 19, 2006, Uppsala, Sweden (pp. 61-65). New York: Association for Computing Machinery ACM

Staub, Thomas; Bernoulli, Thomas; Anwander, Markus; Waelchli, Markus; Braun, Torsten (2006). Experimental Lifetime Evaluation for MAC Protocols on Real Sensor Hardware. In: ACM Workshop on Real-World Wireless Sensor Networks (REALWSN'06), June 19, 2006, Uppsala, Sweden (pp. 25-29). New York: Association for Computing Machinery ACM

Weyland, Attila; Staub, Thomas; Braun, Torsten (2006). Comparison of motivation-based cooperation mechanisms for hybrid wireless networks. Computer communications, 29(13-14), pp. 2661-2670. Amsterdam: Elsevier 10.1016/j.comcom.2006.01.011

Braun, Torsten; Carle, Georg; Koucheryavy, Yevgeni; Tsaoussidis, Vassilis (2006). Wired/Wireless Internet Communications [Editorial]. Computer communications, 29(13-14), pp. 2599-2600. Amsterdam: Elsevier 10.1016/j.comcom.2006.01.014

Danzeisen, Marc; Braun, Torsten; Steiner, Isabel; Heissenbüttel, Marc (2006). On the Potential of Heterogeneous Networks. In: Braun, Torsten; Carle, Georg; Fahmy, Sonia; Koucheryavy, Yevgeni (eds.) Wired/Wireless Internet Communications. 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings. Lecture Notes in Computer Science: Vol. 3970 (pp. 84-95). Heidelberg: Springer Verlag 10.1007/11750390_8

Spillmann, Barbara; Neuhaus, Michel; Bunke, Horst (2006). Multiple classifier systems for embedded string patterns. In: Artificial Neural Networks in Pattern Recognition. Second IAPR Workshop, ANNPR 2006. Proceedings. Lecture Notes in Computer Science: Vol. 4087 (pp. 177-187). Heidelberg: Springer Verlag 10.1007/11829898_16

Waelchli, Markus; Scheidegger, Matthias; Braun, Torsten (2006). Intensity-based Event Localization in Wireless Sensor Networks. In: WONS 2006. Third Annual Conference on Wireless On demand Network Systems and Services, Les Ménuires, France, January 18th to 20th, 2006 (pp. 41-49). Verlag fehlt

Spreng, Thomas; Braun, Torsten; Steinemann, Marc; Weyland, Attila (2006). Implementation of an Authentication and Authorization Architecture for Mobile Internet Users. In: Arbanowski, Stefan; Kellerer, Wolfgang; Steglich, Stephan (eds.) ASWN2006 Proceedings. 6th International Workshop on Applications and Services in Wireless Networks (pp. 207-213). Stuttgart: Fraunhofer IRB Verlag

Waelchli, Markus; Braun, Torsten (2006). Receiver-based CDS Algorithm for Wireless Networks. In: Marrón, Pedro José (ed.) 5. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze", Stuttgart, 17. und 18. Juli 2006 (pp. 69-73). Stuttgart: Institut für Parallele und Verteilte Systeme

Baier, Aurelius; Bernoulli, Thomas; Braun, Torsten; Graf, Christoph; Ultes-Nitsche, Ulrich (2006). Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-learning Project. In: Venter, Hein S.; Eloff, Jan H.P.; Labuschagne, Les; Eloff, Mariki M. (eds.) Proceedings of the ISSA 2006 from Insight to Foresight Conference, 5-7 July 2006, Balalaika Hotel, Sandton, South Africa, ISSA, Pretoria, South Africa 2006 ([1-10]). Johannesburg: University of Johannesburg Academy for Information Technology

Danzeisen, Marc; Braun, Torsten; Heissenbüttel, Marc; Steiner, Isabel (2006). Simulations on heterogeneous networking with CAHN. In: CCNC 2006. IEEE Consumer Communications and Networking Conference, 8-10 January 2006, Las Vegas, Nevada, USA (pp. 923-927). Washington, DC: IEEE Computer Society

Hurni, Philipp; Braun, Torsten; Feeney, Laura Marie (2006). Simulation and Evaluation of Unsynchronized Power Saving Mechanisms in Wireless Ad Hoc Networks. In: Braun, Torsten.; Carle, Georg; Fahmy, Sonia; Koucheryavy, Yevgeni (eds.) Wired/Wireless Internet Communications. 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings. Lecture Notes in Computer Science: Vol. 3970 (pp. 311-324). Heidelberg: Springer Verlag 10.1007/11750390_27

Nierstrasz, Oscar; Ducasse, Stephane; Schärli, Nathanael (2006). Flattening Traits. Journal of Object Technology, 5(4), pp. 129-148. Zürich: AITO 10.5381/jot.2006.5.4.a4

Braun, Torsten; Carle, Georg; Fahmy, Sonia; Yevgeni, Koucheryavy (eds.) (2006). Wired/Wireless Internet Communications. 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings. Lecture Notes in Computer Science: Vol. 4199. Heidelberg: Springer Verlag

This list was generated on Mon Jun 26 05:00:12 2017 CEST.
Provide Feedback