Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
| 791. |
Customizable Gradual Polymorphic Effects for Scala.
Conference: ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (Pittsburgh, PA, USA). Publisher: ACM Press. Pages: 935-953. Date: 2015. Authors: Matías Toro, Éric Tanter |
|
| 792. |
From Robots to Humans: Visualizations for Robot Sensor
Data}.
Conference: IEEE Working Conference on Software Visualization (Bremen, Germany). Publisher: IEEE Computer Society Press. Pages: 135-139. Date: 2015. Authors: Miguel Campusano, Johan Fabry |
|
| 793. |
A Visual Support for Decomposing Complex Feature
Models.
Conference: IEEE Working Conference on Software Visualization (Bremen, Germany). Publisher: IEEE Computer Society Press. Pages: 76-85. Date: 2015. Authors: Simon Urli, Alexandre Bergel, Mireille Blay-Fornarino, Philippe Collet, Sébastien Mosser |
|
| 794. |
QA-NIZK Arguments in Asymmetric Groups: New Tools and New
Constructions.
Editors: T. Iwata, J.H.Cheon. Conference: International Conference on the Theory and Application of Cryptology and Information Security (New Zealand). Publisher: Springer-Verlag. Pages: 605-629. Date: 2015. Authors: Alonso Gonzalez, Alejandro Hevia, Carla Rafols |
|
| 795. |
Adaptive Computation of the Swap-Insert Correction
Distance.
Editors: C. Iliopoulos, S. Puglisi, E. Yilmaz. Conference: International Symposium on String Processing and Information Retrieval (London, UK). Publisher: Springer-Verlag. Pages: 21-32. Date: 2015. Authors: Jérémy Barbay, Pablo Pérez-Lantero |
|
| 796. |
LSQ: The Linked SPARQL Queries Dataset.
Conference: International Semantic Web Conference (Bethlehem, PA, USA). Pages: 261-269. Date: 2015. Authors: Muhammed Salem, Muhammed Intizar Ali, Aidan Hogan, Qaiser Mehmood, Axel-Cyrille Ngonga Ngomo |
|
| 797. |
Gradual Certified Programming in Coq.
Conference: Dynamic Languages Symposium (Pittsburg, USA). Publisher: ACM Press. Pages: 26-40. Date: 2015. Authors: Éric Tanter, Nicolas Tabareau |
|
| 798. |
A Tool for Assessing Quality of Rescue Plans by Combining
Visualizations of Different Business Process Perspectives.
Conference: International Conference on Information Systems for Crisis Response And Management (Tunisia). Publisher: Springer-Verlag. Pages: 155-166. Date: 2015. Authors: Alvaro Jose Peralta, Nguyen Tuan Thanh Le, Serge Stinckwich, Chihab Hanachi, Alexandre Bergel, Tuong Vinh Ho |
|
| 799. |
LDQL: A Query Language for the Web of Linked Data.
Conference: International Semantic Web Conference (Bethlehem, PA, USA). Pages: 73-91. Date: 2015. Authors: Olaf Hartig, Jorge Pérez |
|
| 800. |
Tracking Down Performance Variation against Source Code
Evolution.
Conference: Dynamic Languages Symposium (Pittsburg, USA). Publisher: ACM Press. Pages: 129-139. Date: 2015. Authors: Juan Pablo Sandoval Alcocer, Alexandre Bergel |
|