Current Trends in Theory and Practice of Computer Science
SOFSEM
B
CORE rank
CORE rank (raw)
B
Fields of research
Information and Computing Sciences (general)
Papers indexed
1,439
1995–2026
Papers per year
199592 peak2026
Most published authors
SOFSEM papers
1,439 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2011 | Cooperative Query Answering by Abstract Interpretation. | Raju Halder, Agostino Cortesi |
| 2011 | A Structured Codesign Approach to Many-Core Architectures for Embedded Systems. | Jrg Gutknecht |
| 2011 | Upward Point-Set Embeddability. | Markus Geyer, Michael Kaufmann, Tamara Mchedlidze, Antonios Symvonis |
| 2011 | On | Andreas Gemsa, Martin Nllenburg, Thomas Pajor, Ignaz Rutter |
| 2011 | In-Place Sorting. | Viliam Geffert, Jozef Gajdos |
| 2011 | New Results on the Complexity of the Max- and Min-Rep Problems. | Robert Ganian |
| 2011 | White Space Regions. | Shayan Ehsani, MohammadAmin Fazli, Mohammad Ghodsi, MohammadAli Safari, Morteza Saghafian, Mohammad Tavakkoli |
| 2011 | Bandwidth Constrained Multi-interface Networks. | Gianlorenzo D'Angelo, Gabriele Di Stefano, Alfredo Navarra |
| 2011 | Min-Max Coverage in Multi-interface Networks. | Gianlorenzo D'Angelo, Gabriele Di Stefano, Alfredo Navarra |
| 2011 | Collisionless Gathering of Robots with an Extent. | Andreas Cord-Landwehr, Bastian Degener, Matthias Fischer, Martina Hllmann, Barbara Kempkes, Alexander Klaas, Peter Kling, Sven Kurras, Marcus Mrtens, Friedhelm Meyer auf der Heide, Christoph Raupach, Kamil Swierkot, Daniel Warner, Christoph Weddemann, Daniel Wonisch |
| 2011 | One-Reversal Counter Machines and Multihead Automata: Revisited. | Ehsan Chiniforooshan, Mark Daley, Oscar H. Ibarra, Lila Kari, Shinnosuke Seki |
| 2011 | Sequential Optimization of Matrix Chain Multiplication Relative to Different Cost Functions. | Igor Chikalov, Shahid Hussain, Mikhail Moshkov |
| 2011 | Integrity and Consistency for Untrusted Services - (Extended Abstract). | Christian Cachin |
| 2011 | GreedyMAX-type Algorithms for the Maximum Independent Set Problem. | Piotr Borowiecki, Frank Gring |
| 2011 | Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size. | Beate Bollig, Marc Gill |
| 2011 | On Making a Distinguished Vertex Minimum Degree by Vertex Deletion. | Nadja Betzler, Robert Bredereck, Rolf Niedermeier, Johannes Uhlmann |
| 2011 | Combining Traditional Map Labeling with Boundary Labeling. | Michael A. Bekos, Michael Kaufmann, Dimitrios Papadopoulos, Antonios Symvonis |
| 2011 | Tracking the Evolution of Code Clones. | Tibor Bakota |
| 2011 | Liquidsoap: A High-Level Programming Language for Multimedia Streaming. | David Baelde, Romain Beauxis, Samuel Mimram |
| 2011 | The Straight-Line RAC Drawing Problem Is NP-Hard. | Evmorfia N. Argyriou, Michael A. Bekos, Antonios Symvonis |
| 2010 | Vertex Ranking with Capacity. | Ruben van der Zwaan |
| 2010 | Taming the Complexity of Inductive Logic Programming. | Filip Zelezn, Ondrej Kuzelka |
| 2010 | Finding and Certifying Loops. | Harald Zankl, Christian Sternagel, Dieter Hofbauer, Aart Middeldorp |
| 2010 | Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining. | Danuta Zakrzewska |
| 2010 | Multilanguage Debugger Architecture. | Jan Vran, Michal Pse |
701–725 of 1,439← PreviousNext →