Computing Science: Publications

2011

Maintaining Database Integrity with Refinement Types. Ioannis G. Baltopoulos, Johannes Borgström, and Andrew D. Gordon. In ECOOP 2011 – Object-Oriented Programming, volume 6813 of Lecture Notes in Computer Science, pp 484-509, Springer-Verlag, Berlin, 2011. (DOI).
Psi-calculi: a framework for mobile processes with nominal data and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011. (DOI).
Refinement types for secure implementations. Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, and Sergio Maffeis. In ACM Transactions on Programming Languages and Systems, volume 33, number 2, pp 8:1-45, 2011. (DOI).
Broadcast Psi-calculi with an Application to Wireless Protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, and Joachim Parrow. In Software Engineering and Formal Methods: SEFM 2011, volume 7041 of Lecture Notes in Computer Science, pp 74-89, Springer Berlin/Heidelberg, Berlin, 2011. (DOI, fulltext).
Verified Stateful Programs with Substructural State and Hoare Types. Johannes Borgström, Juan Chen, and Nikhil Swamy. In Proc. 5th ACM Workshop on Programming Languages Meets Program Verification, pp 15-26, ACM Press, New York, 2011. (DOI).
Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld, and Björn Victor. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, Norrköping, 2011.
Consistency of constraint networks induced by automaton-based constraint specifications. María Andreína Francisco Rodríguez, Pierre Flener, and Justin Pearson. In Proc. 10th International Workshop on Constraint Modelling and Reformulation, pp 117-131, Department of Mathematics and Informatics, University of Perugia, Italy, 2011. (Proceedings).
A type and effect system for deadlock avoidance in low-level languages. Prodromos Gerakios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Proc. 6th International Workshop on Types in Language Design and Implementation, pp 15-28, ACM Press, New York, 2011. (DOI).
Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming. Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai, and Justin Pearson. In Operations Research, Computing, and Homeland Defense, pp 199-209, Institute for Operations Research and the Management Sciences, Hanover, MD, 2011. (DOI).
An <em>automaton</em> constraint for local search. Jun He, Pierre Flener, and Justin Pearson. In Fundamenta Informaticae, volume 107, pp 223-248, 2011. (DOI).
A quadratic edge-finding filtering algorithm for cumulative resource constraints. Roger Kameugne, Laure Pauline Fotso, Joseph Scott, and Youcheu Ngo-Kateu. In Principles and Practice of Constraint Programming – CP 2011, volume 6876 of Lecture Notes in Computer Science, pp 478-492, Springer-Verlag, Berlin, 2011. (DOI).
Framtidsoptimerad livscykeloch hantering av versioner: för Scanias Fleet ManagementavdelningOptimizing Scanias Fleet Management softwarelifecycle and version management for the future. Markus Karlsson and David Åhman. Student thesis, supervisor: Mats Axelsson, examiner: Elísabet Andrésdóttir, Roland Bol, UPTEC STS nr 11040, 2011. (fulltext).
Adaptive Parallelization of Queries to Data Providing Web Service Operations. Manivasakan Sabesan and Tore Risch. In Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer, 2011. Publication status: Accepted
Adaptive parallelization of queries calling dependent data providing web services. Manivasakan Sabesan and Tore Risch. In New Frontiers in Information and Software as Services: Service and Application Design Challenges in the Cloud, volume 74 of Lecture Notes in Business Information Processing, pp 132-154, Springer-Verlag, Berlin, 2011. (DOI).
Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs. Davor Sutic, Ioana Rodhe, Christian Rohner, and Björn Victor. In 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), pp 659-664, IEEE Computer Society, 2011. (DOI).
A scalable architecture for e-Science data management. Salman Toor, Manivasakan Sabesan, Sverker Holmgren, and Tore Risch. In Proc. 7th International Conference on e-Science, pp 210-217, IEEE, Piscataway, NJ, 2011. (DOI).
Is the World Ready for Ownership Types? Is Ownership Types Ready for the World?. Tobias Wrigstad and Dave Clarke. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP (Vetenskapsrådet), 2011.
Owners as Ombudsmen: Multiple Aggregate Entry Points for Ownership Types. Tobias Wrigstad and Johan Östlund. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP (Vetenskapsrådet), 2011.
Massive scale-out of expensive continuous queries. Erik Zeitler and Tore Risch. In 36th International Conference on Very Large Data Bases: VLDB 2010, 2011.
Regions as Owners: A Discussion on Ownership-based Effects in Practice. Johan Östlund and Tobias Wrigstad. International Workshop on Aliasing, Confinement and Ownership in object-oriented programming: IWACO at ECOOP, 2011.

2010

On matrices, automata, and double counting. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
Tribal ownership. Nicholas Cameron, James Noble, and Tobias Wrigstad. In Proc. 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, volume 45:10 of ACM SIGPLAN Notices, pp 618-633, ACM Press, New York, 2010. (DOI).
Static detection of race conditions in Erlang. Maria Christakis and Konstantinos Sagonas. In Practical Aspects of Declarative Languages: PADL 2010, volume 5937 of Lecture Notes in Computer Science, pp 119-133, Springer-Verlag, Berlin, 2010. (DOI).
Inductive programming. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 537-544, Springer, New York, 2010. (DOI).
Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Pierre Flener and Justin Pearson (eds). Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).
Programming by demonstration. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 805-805, Springer, New York, 2010. (DOI).
Trace-based programming. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 989-989, Springer, New York, 2010. (DOI).
A concurrent language with a uniform treatment of regions and locks. Prodromos Gerakios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software: PLACES 2009, volume 17 of Electronic Proceedings in Theoretical Computer Science, pp 79-93, 2010. (DOI).
Race-free and memory-safe multithreading: Design and implementation in Cyclone. Prodromos Gerakios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Proc. 5th International Workshop on Types in Language Design and Implementation, pp 15-26, ACM Press, New York, 2010. (DOI).
Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming. Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai, and Justin Pearson. In Proc. 9th International Workshop on Constraint Modelling and Reformulation, p 13, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (fulltext).
A Fully Abstract Symbolic Semantics for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
Weak Equivalences in Psi-calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow, and Björn Victor. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
Local search over relational databases. Toni Mancini, Pierre Flener, and Justin Pearson. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext).
Automated Web Service Query Service. Manivasakan Sabesan, Tore Risch, and Feng Luan. In International Journal of Web and Grid Services (IJWGS), volume 6, number 4, pp 400-423, 2010. (DOI).
Querying Data Providing Web Services. Manivasakan Sabesan. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 755, Acta Universitatis Upsaliensis, Uppsala, 2010. (KÖP BOKEN / BUY THIS BOOK, fulltext).
Using static analysis to detect type errors and concurrency defects in Erlang programs. Konstantinos Sagonas. In Functional and Logic Programming: FLOPS 2010, volume 6009 of Lecture Notes in Computer Science, pp 13-18, Springer-Verlag, Berlin, 2010. (DOI).
SPARQL queries to RDFS views of Topic Maps. Silvia Stefanova and Tore Risch. In International Journal of Metadata, Semantics and Ontologies (IJMSO), volume 5, number 1, pp 1-16, Inderscience, 2010. (DOI).
Contingency plans for air traffic flow and capacity management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
Contingency plans for air traffic management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
Scalable Splitting of Massive Data Streams. Erik Zeitler and Tore Risch. In Database Systems for Advanced Applications: Part II, volume 5982 of Lecture Notes in Computer Science, pp 184-198, Springer-Verlag, Berlin, 2010. (DOI, fulltext).
Welterweight Java. Johan Östlund and Tobias Wrigstad. In Objects, Models, Components, Patterns, volume 6141 of Lecture Notes in Computer Science, pp 97-116, Springer-Verlag, Berlin, 2010. (DOI).

2009

A New Analysis of Revenue in the Combinatorial and Simultaneous Auction. Arne Andersson and Jim Wilenius. Technical report / Department of Information Technology, Uppsala University nr 2009-001, 2009. (External link).
Formalising the π-calculus using nominal logic. Jesper Bengtson and Joachim Parrow. In Logical Methods in Computer Science, volume 5, number 2, pp 16:1-36, 2009. (DOI, fulltext).
Psi-calculi: Mobile processes, nominal data, and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009. (DOI).
Psi-calculi in Isabelle. Jesper Bengtson and Joachim Parrow. In Theorem Proving in Higher Order Logics: Proceedings of TPHOLs 2009, volume 5674 of Lecture Notes in Computer Science, pp 99-114, Springer-Verlag, Berlin, 2009. (DOI).
Constraint Programming in Sweden. Pierre Flener, Mats Carlsson, and Christian Schulte. In IEEE Intelligent Systems, volume 24, number 2, pp 87-89, 2009. (DOI).
Dynamic structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. In Constraints, volume 14, number 4, pp 506-538, 2009. (DOI).
Solving necklace constraint problems. Pierre Flener and Justin Pearson. In Journal of Algorithms, volume 64, number 2-3, pp 61-73, 2009. (DOI).
Static and dynamic structural symmetry breaking. Pierre Flener, Justin Pearson, and Meinolf Sellmann. In Annals of Mathematics and Artificial Intelligence, volume 57, number 1, pp 37-57, 2009. (DOI).
Optimization and Execution of Complex Scientific Queries. Ruslan Fomkin. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 80, Acta Universitatis Upsaliensis, Uppsala, 2009. (KÖP BOKEN / BUY THIS BOOK, fulltext).
Optimization and Execution of Complex Scientific Queries over Uncorrelated Experimental Data. Ruslan Fomkin and Tore Risch. In Scientific and Statistical Database Management, volume 5566 of Lecture Notes in Computer Science, pp 320-338, Springer-Verlag, Berlin, 2009. (DOI, fulltext).
Mining long, sharable patterns in trajectories of moving objects. Gyözö Gidófalvi and Torben Bach Pedersen. In Geoinformatica, volume 13, number 1, pp 27-55, 2009. (DOI).
Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results. Farshid Hassani Bijarbooneh, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 27-40, 2009. (DOI).
Toward an <em>automaton</em> constraint for local search. Jun He, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 13-25, 2009. (DOI).
Relaying Controller Area Network Frames over Wireless Internetworks for Automotive Testing Applications. Mathias Johanson, Lennart Karlsson, and Tore Risch. In Proc. 4th International Conference on Systems and Networks Communications, pp 1-5, IEEE, Piscataway, NJ, 2009. (DOI).
Constrained optimisation over massive databases. Toni Mancini, Pierre Flener, Amir Hossein Monshi, and Justin Pearson. In Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 589 of CEUR Workshop Proceedings, p 16, Italian Association for Artificial Intelligence, 2009. (Proceedings).
Analyzing data streams in scientific applications. Tore Risch, Samuel Madden, Hari Balakrishan, Lewis Girod, Ryan Newton, Milena Ivanova, Erik Zeitler, Johannes Gehrke, Biswanath Panda, and Mirek Riedewald. In Scientific Data Management: Challenges, Technology, and Deployment, pp 399-432, Chapman & Hall/CRC, London, 2009. (External link).
Distributed Architecture, et cetera. Tore Risch. In Encyclopedia of Database Systems, Springer, 2009. (DOI, Encyclopedia of Database Systems 2009).
Adaptive Parallelization of Queries over Dependent Web Service Calls. Manivasakan Sabesan and Tore Risch. In Proc. 25th International Conference on Data Engineering, pp 1725-1732, IEEE, Piscataway, NJ, 2009. (DOI).
Web Service Query Service. Manivasakan Sabesan and Tore Risch. In Proc. 11th International Conference on Information Integration and Web-based Applications and Services: iiWAS2009, volume 260 of books@ocg.at, pp 692-697, ACM Press, New York, 2009.
Automatic refactoring of Erlang programs. Konstantinos Sagonas and Thanassis Avgerinos. In Proc. 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp 13-23, ACM Press, New York, 2009. (DOI).
Bidding in Combinatorial Auctions. Jim Wilenius. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 656, Acta Universitatis Upsaliensis, Uppsala, 2009. (KÖP BOKEN / BUY THIS BOOK, fulltext).
Combinatorial and Simultaneous Auction: A Pragmatic Approach to Tighter Bounds on Expected Revenue. Jim Wilenius. Technical report / Department of Information Technology, Uppsala University nr 2009-013, 2009. (External link).
Revisiting constraint-directed search. Magnus Ågren, Pierre Flener, and Justin Pearson. In Information and Computation, volume 207, number 3, pp 438-457, 2009. (DOI).

2008

Combining tree partitioning, precedence, and incomparability constraints. Nicolas Beldiceanu, Pierre Flener, and Xavier Lorca. In Constraints, volume 13, number 4, pp 459-489, 2008. (DOI).
An introduction to inductive programming. Pierre Flener and Ute Schmid. In Artificial Intelligence Review, volume 29, number 1, pp 45-62, 2008. (DOI).
Proceedings of LSCS'08, the Fifth International Workshop on Local Search Techniques in Constraint Satisfaction. Pierre Flener and Yehuda Naveh (eds). 2008. (External link).
Proceedings of ModRef'08, the Seventh International Workshop on Constraint Modelling and Reformulation. Pierre Flener and Helmut Simonis (eds). 2008. (External link).
Solving necklace constraint problems. Pierre Flener and Justin Pearson. In Proc. 18th European Conference on Artificial Intelligence, pp 520-524, IOS Press, Amsterdam, The Netherlands, 2008.
Highly Scalable Trip Grouping for Large Scale Collective Transportation Systems. Gyözö Gidófalvi, Torben Bach Pedersen, Tore Risch, and Erik Zeitler. In Proc. 11th International Conference on Extending Database Technology, EDBT 2008, 2008. (Fulltext).
Instant Social Ride-Sharing. Gyözö Gidófalvi and Torben Bach Pedersen. In Proc. 15th World Congress on Intelligent Transport Systems, p 8, Intelligent Transportation Society of America, 2008.
Privacy-Preserving Trajectory Collection. Gyözö Gidófalvi, Xuegang Huang, and Torben Bach Pedersen. In Proc. 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, pp 46:1-4, ACM Press, New York, 2008. (DOI).
Extended pi-Calculi. Magnus Johansson, Joachim Parrow, Björn Victor, and Jesper Bengtson. In Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volume 5126 of Lecture Notes in Computer Science, pp 87-98, 2008. (DOI).
Expressiveness of Process Algebras. Joachim Parrow. In Electronical Notes in Theoretical Computer Science, volume 209, pp 173-186, 2008. (DOI).
Querying RDF Schema Views of Relational Databases. Johan Petrini. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 75, Acta Universitatis Upsaliensis, Uppsala, 2008. (KÖP BOKEN / BUY THIS BOOK).
Gradual Typing of Erlang Programs: A Wrangler Experience. Konstantinos Sagonas and Daniel Luna. In Proc. 7th ACM SIGPLAN Workshop on ERLANG, pp 73-81, ACM Press, New York, 2008. (DOI).
A bound on the overlap of same-sized subsets. Olof Sivertsson, Pierre Flener, and Justin Pearson. In Annals of Combinatorics, volume 12, number 3, pp 347-352, 2008. (DOI).
Viewing and Querying Topic Maps in terms of RDF. Silvia Stefanova and Tore Risch. In SEMMA2008: First International Workshop on Semantic Metadata Management and Applications, 2008. (Fulltext).

2007

[[OPUS program= Datalogi;year=2007;sort=author]]

2006

[[OPUS program= Datalogi;year=2006;sort=author]]

2005

[[OPUS program= Datalogi;year=2005;sort=author]]

2004

[[OPUS program= Datalogi;year=2004;sort=author]]

2003

[[OPUS program= Datalogi;year=2003;sort=author]]

2002

[[OPUS program= Datalogi;year=2002;sort=author]]

2001

[[OPUS program= Datalogi;year=2001;sort=author]]

2000

[[OPUS program= Datalogi;year=2000;sort=author]]

1999

[[OPUS program= Datalogi;year=1999;sort=author]]

1998

[[OPUS program= Datalogi;year=1998;sort=author]]

1997

[[OPUS program= Datalogi;year=1997;sort=author]]

1996

[[OPUS program= Datalogi;year=1996;sort=author]]

1995

[[OPUS program= Datalogi;year=1995;sort=author]]

1994

[[OPUS program= Datalogi;year=1994;sort=author]]

1993

[[OPUS program= Datalogi;year=1993;sort=author]]

1992

[[OPUS program=Datalogi;year=1992;sort=author]]