| 2013 | Applying software product line engineering in building web portals for supercomputing services. | Piyush Diwan, Patricia Carey, Eric Franz, Yixue Li, Thomas Bitterman, David E. Hudak, Rajiv Ramnath |
| 2013 | An integrated framework for QoS-based adaptation and exception resolution in WS-BPEL scenarios. | Dionisis Margaris, Costas Vassilakis, Panagiotis Georgiadis |
| 2013 | Privacy-friendly tasking and trading of energy in smart grids. | Tassos Dimitriou, Ghassan Karame |
| 2013 | Exploiting visual appearance to cluster and detect rogue software. | Christian J. Dietrich, Christian Rossow, Norbert Pohlmann |
| 2013 | On the use of metamodeling for relating requirements and architectural design decisions. | Diego Dermeval, Jaelson Castro, Carla T. L. L. Silva, Joo Pimentel, Ig Ibert Bittencourt, Patrick Henrique da S. Brito, Endhe Elias, Thyago Tenrio, Alan Pedro da Silva |
| 2013 | Common specification language for static and dynamic analysis of C programs. | Mickal Delahaye, Nikolai Kosmatov, Julien Signoles |
| 2013 | Effectiveness of state-of-the-art features for microblog search. | Firas Damak, Karen Pinel-Sauvagnat, Mohand Boughanem, Guillaume Cabanac |
| 2013 | Monitoring SOA-based applications with business provenance. | Srgio Manuel Serra da Cruz, Raimundo Macrio Costa, Laci Mary B. Manhes, Jorge Zavaleta |
| 2013 | A collective robotic architecture in search and rescue scenarios. | Micael S. Couceiro, David Portugal, Rui P. Rocha |
| 2013 | Optimization metaheuristics for minimizing variance in a real-world statistical application. | Estevo Costa, Fbio Fabris, Alexandre Rodrigues Loureiros, Hannu Ahonen, Flvio Miguel Varejo |
| 2013 | Detecting tip spam in location-based social networks. | Helen Costa, Fabrcio Benevenuto, Luiz Henrique de Campos Merschmann |
| 2013 | Practical use of static composition of refactoring operations. | Julien Cohen, Akram Ajouli |
| 2013 | Untitled record | Riccardo Cognini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re |
| 2013 | Exploiting points-to maps for de-/serialization code generation. | Selim Ciraci, Oreste Villa |
| 2013 | Demand response computation for future smart grids incorporating wind power. | Nihan iek, Hakan Deli |
| 2013 | Using cross-entropy for satisfiability. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina |
| 2013 | Composite trust-based public key management in mobile ad hoc networks. | Jin-Hee Cho, Kevin S. Chan, Ing-Ray Chen |
| 2013 | Constructing and comparing user mobility profiles for location-based services. | Xihui Chen, Jun Pang, Ran Xue |
| 2013 | Users segmentations for recommendation. | Lin Chen, Richi Nayak, Sangeetha Kutty, Yue Xu |
| 2013 | Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. | Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang |
| 2013 | Towards a ranking framework for software components. | Dhyanesh Chaudhari, Mohammad Zulkernine, Komminist Weldemariam |
| 2013 | Computing semantic relatedness using word frequency and layout information of Wikipedia. | Patrick Chan, Yoshinori Hijikata, Shogo Nishida |
| 2013 | Software plagiarism detection via the static API call frequency birthmark. | Dong-Kyu Chae, Sang-Wook Kim, Jiwoon Ha, Sang-Chul Lee, Gyun Woo |
| 2013 | Specifying and analysing reputation systems with a coordination language. | Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi |
| 2013 | When entities meet query recommender systems: semantic search shortcuts. | Diego Ceccarelli, Sergiu Gordea, Claudio Lucchese, Franco Maria Nardini, Raffaele Perego |