Skip to content

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

SOFSEM papers

1,439 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2008On Reachability Games of Ordinal Length.Julien Cristau, Florian Horn
2008Implementing byte-oriented rank and select operations.Yolanda Cillero, Susana Ladra, Nieves R. Brisaboa, Antonio Faria, Oscar Pedreira
2008Short Ballot Assumption and Threeballot Voting Protocol.Jacek Cichon, Miroslaw Kutylowski, Bogdan Weglorz
2008Strong Authentication over Lock-Keeper.Feng Cheng, Christoph Meinel
2008Remote Entrusting by Run-Time Software Authentication.Mariano Ceccato, Yoram Ofek, Paolo Tonella
2008A Useful Bounded Resource Functional Language.Michael J. Burrell, James H. Andrews, Mark Daley
2008Social Information Access: The Other Side of the Social Web.Peter Brusilovsky
2008Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers.Nieves R. Brisaboa, Oscar Pedreira, Diego Seco, Roberto Solar, Roberto Uribe
2008Exact OBDD Bounds for Some Fundamental Functions.Beate Bollig, Niko Range, Ingo Wegener
2008On the Hardness of Reoptimization.Hans-Joachim Bckenhauer, Juraj Hromkovic, Tobias Mmke, Peter Widmayer
2008From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.Julien Bernet, David Janin
2008Domain Name System as a Memory and Communication Medium.Dusan Bernt
2008Tabu search for the BWC problem.Daniel Berend, Ephraim Korach, Shira Zucker
2008Periodic and Infinite Traces in Matrix Semigroups.Paul Bell, Igor Potapov
2008(S)CRUD pattern support for semantic web applications.Peter Bartalos, Mria Bielikov
2008Algorithmic Problems for Metrics on Permutation Groups.Vikraman Arvind, Pushkar S. Joglekar
2008Quantum Walks with Multiple or Moving Marked Locations.Andris Ambainis, Alexander Rivosh
2008Quantum Random Walks - New Method for Designing Quantum Algorithms.Andris Ambainis
20083D_XML: A Three-Dimensional XML-Based Model.Khadija Abied Ali, Jaroslav Pokorn
2008Recursive Domain Equations of Filter Models.Fabio Alessi, Paula Severi
2008Approximations of state spaces reduced by partial order reduction.Pavel Moravec
2007Immune-Inspired Online Method for Service Interactions Detection.Jianyin Zhang, Fangchun Yang, Kai Shuang, Sen Su
2007Constraints for Argument Filterings.Harald Zankl, Nao Hirokawa, Aart Middeldorp
2007Operational Semantics of Framed Temporal Logic Programs.Xiaoxiao Yang, Zhenhua Duan
2007Agent Oriented Methodology Construction and Customization with HDA.Xue Xiao, Zeng Zhifeng, Cui Ying
901925 of 1,439← PreviousNext →