| 2010 | A Complete Symbolic Bisimulation for Full Applied Pi Calculus. Jia Liu, Huimin Lin |
| 2010 | A Kernel for Convex Recoloring of Weighted Forests. Hans L. Bodlaender, Marc Comas |
| 2010 | A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks. Maxim A. Babenko, Ignat I. Kolesnichenko, Ilya P. Razenshteyn |
| 2010 | A Rule Format for Unit Elements. Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2010 | A Social Vision of Knowledge Representation and Reasoning. François Bry, Jakub Kotowski |
| 2010 | Accelerating Smart Play-Out. David Harel, Hillel Kugler, Shahar Maoz, Itai Segall |
| 2010 | Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph. Alexander Grigoriev, Bert Marchal, Natalya Usotskaya |
| 2010 | An Amortized Search Tree Analysis for Daniel Raible, Henning Fernau |
| 2010 | Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem. Simone Faro, Elisa Pappalardo |
| 2010 | Approximability of Edge Matching Puzzles. Antonios Antoniadis, Andrzej Lingas |
| 2010 | Approximate Structural Consistency. Michel de Rougemont, Adrien Vieilleribière |
| 2010 | Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. Frank S. de Boer, Immo Grabe |
| 2010 | CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions. Friedrich Otto |
| 2010 | Clock Synchronization: Open Problems in Theory and Practice. Christoph Lenzen, Thomas Locher, Philipp Sommer, Roger Wattenhofer |
| 2010 | Comparison of Scoring and Order Approach in Description Logic Veronika Vaneková, Peter Vojtás |
| 2010 | Comprehensive System for Systematic Case-Driven Software Reuse. Michal Smialek, Audris Kalnins, Elina Kalnina, Albert Ambroziewicz, Tomasz Straszak, Katharina Wolter |
| 2010 | Continuous Processing of Preference Queries in Data Streams. Maria Kontaki, Apostolos N. Papadopoulos, Yannis Manolopoulos |
| 2010 | Design Patterns Instantiation Based on Semantics and Model Transformations. Peter Kajsa, L'ubomír Majtás |
| 2010 | Destructive Rule-Based Properties and First-Order Logic. David Duris |
| 2010 | Dynamic Edit Distance Table under a General Weighted Cost Function. Heikki Hyyrö, Kazuyuki Narisawa, Shunsuke Inenaga |
| 2010 | Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays. Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Wojciech Rytter, Tomasz Walen |
| 2010 | Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup. Jakub Radoszewski, Wojciech Rytter |
| 2010 | Empirical Evaluation of Strategies to Detect Logical Change Dependencies. Guenter Pirklbauer |
| 2010 | Essential Performance Drivers in Native XML DBMSs. Theo Härder, Christian Mathis, Sebastian Bächle, Karsten Schmidt, Andreas M. Weiner |
| 2010 | Fast Arc-Annotated Subsequence Matching in Linear Space. Philip Bille, Inge Li Gørtz |
| 2010 | Fast and Compact Prefix Codes. Travis Gagie, Gonzalo Navarro, Yakov Nekrich |
| 2010 | Finding and Certifying Loops. Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp |
| 2010 | Flavors of KWQL, a Keyword Query Language for a Semantic Wiki. François Bry, Klara A. Weiand |
| 2010 | Forcing Monotonicity in Parameterized Verification: From Multisets to Words. Parosh Aziz Abdulla |
| 2010 | Homophily of Neighborhood in Graph Relational Classifier. Peter Vojtek, Mária Bieliková |
| 2010 | How to Complete an Interactive Configuration Process? Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva |
| 2010 | Improved Matrix Interpretation. Pierre Courtieu, Gladys Gbedo, Olivier Pons |
| 2010 | Improving Classification Performance with Focus on the Complex Areas. Seyed Zeinolabedin Moussavi, Kambiz Zarei, Reza Ebrahimpour |
| 2010 | Learning User Preferences for 2CP-Regression for a Recommender System. Alan Eckhardt, Peter Vojtás |
| 2010 | Lessons in Software Evolution Learned by Listening to Smalltalk. Oscar Nierstrasz, Tudor Gîrba |
| 2010 | Linear Complementarity Algorithms for Infinite Games. John Fearnley, Marcin Jurdzinski, Rahul Savani |
| 2010 | Maintaining XML Data Integrity in Programs. Patrick Michel, Arnd Poetzsch-Heffter |
| 2010 | Mixing Coverability and Reachability to Analyze VASS with One Zero-Test. Alain Finkel, Arnaud Sangnier |
| 2010 | Model-Driven Software Product Line Testing: An Integrated Approach. Andy Schürr, Sebastian Oster, Florian Markert |
| 2010 | Multilanguage Debugger Architecture. Jan Vraný, Michal Píse |
| 2010 | New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes. Robert Ganian, Petr Hlinený |
| 2010 | OTwig: An Optimised Twig Pattern Matching Approach for XML Databases. Jun Liu, Mark Roantree |
| 2010 | On Contracting Graphs to Fixed Pattern Graphs. Pim van 't Hof, Marcin Kaminski, Daniël Paulusma, Stefan Szeider, Dimitrios M. Thilikos |
| 2010 | On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances. Silvio Capobianco |
| 2010 | On a Labeled Vehicle Routing Problem. Hatem Chatti, Laurent Gourvès, Jérôme Monnot |
| 2010 | On the Complexity of the Highway Pricing Problem. Alexander Grigoriev, Joyce van Loon, Marc Uetz |
| 2010 | Optimum Broadcasting in Complete Weighted-Vertex Graphs. Hovhannes A. Harutyunyan, Shahin Kamali |
| 2010 | Parallel Randomized Load Balancing: A Lower Bound for a More General Model. Guy Even, Moti Medina |
| 2010 | Perfect Matching for Biconnected Cubic Graphs in Krzysztof Diks, Piotr Stanczyk |
| 2010 | Picture Recognizability with Automata Based on Wang Tiles. Violetta Lonati, Matteo Pradella |
| 2010 | Practically Applicable Formal Methods. Jedrzej Fulara, Krzysztof Jakubczyk |
| 2010 | Query Optimization through Cached Queries for Object-Oriented Query Language SBQL. Piotr Cybula, Kazimierz Subieta |
| 2010 | R-Programs: A Framework for Distributing XML Structural Joins across Function Calls. David Bednárek |
| 2010 | Regret Minimization and Job Scheduling. Yishay Mansour |
| 2010 | Research Issues in the Automated Testing of Ajax Applications. Arie van Deursen, Ali Mesbah |
| 2010 | SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe |
| 2010 | Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations. Giorgio Gnecco, Marcello Sanguineti |
| 2010 | Source Code Rejuvenation Is Not Refactoring. Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup |
| 2010 | Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining. Danuta Zakrzewska |
| 2010 | Symbolic OBDD-Based Reachability Analysis Needs Exponential Space. Beate Bollig |
| 2010 | Taming the Complexity of Inductive Logic Programming. Filip Zelezný, Ondrej Kuzelka |
| 2010 | The Web of Things: Extending the Web into the Real World. Dave Raggett |
| 2010 | Unilateral Orientation of Mixed Graphs. Tamara Mchedlidze, Antonios Symvonis |
| 2010 | Vertex Ranking with Capacity. Ruben van der Zwaan |
| 2010 | Web Science: The Digital-Heritage Case. Guus Schreiber |