default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 294
Volume 294, October 2023
- Curtis E. Dyreson
, M. A. Manazir Ahsan:
Achieving sequenced SQL with log-segmented timestamps. 105065 - Weiming Feng, Heng Guo, Jiaheng Wang:
Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields. 105066 - Renu Mary Daniel, Anitha Thomas, Elijah Blessing Rajsingh, Salaja Silas:
A strengthened eCK secure identity based authenticated key agreement protocol based on the standard CDH assumption. 105067 - Raffaele Giancarlo, Giovanni Manzini, Antonio Restivo, Giovanna Rosone, Marinella Sciortino:
A new class of string transformations for compressed text indexing. 105068 - Andreas Maletti, Lena Katharina Schiffer:
Combinatory categorial grammars as generators of weighted forests. 105075 - Yuan Feng, Sanjiang Li:
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs. 105077 - Jack H. Lutz, Neil Lutz, Elvira Mayordomo:
Extending the reach of the point-to-set principle. 105078 - Rob van Glabbeek:
Modelling mutual exclusion in a process algebra with time-outs. 105079 - Oscar H. Ibarra, Ian McQuillan:
On the complexity of decision problems for some classes of machines and applications. 105080 - Massimo Benerecetti, Fabio Mogavero, Adriano Peron:
Taming Strategy Logic: Non-Recurrent Fragments. 105081 - Jesper Jansson, Konstantinos Mampentzidis, T. P. Sandhya:
Building a small and informative phylogenetic supertree. 105082 - Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala:
Pspace-completeness of the temporal logic of sub-intervals and suffixes. 105083 - Florian Bruse, Martin Lange:
The tail-recursive fragment of timed recursive CTL. 105084 - Junqiang Peng, Mingyu Xiao:
Further improvements for SAT in terms of formula length. 105085 - Diego Díaz-Domínguez, Gonzalo Navarro:
Efficient construction of the BWT for repetitive text using string compression. 105088
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
