Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 275
Volume 275, December 2020
- Slawomir Lasota, Radoslaw Piórkowski:
WQO dichotomy for 3-graphs. 104541 - Bosheng Song, Kenli Li, David Orellana-Martín, Luis Valencia-Cabrera
, Mario J. Pérez-Jiménez:
Cell-like P systems with evolutional symport/antiport rules and membrane creation. 104542 - Peng Zhang, Linqing Tang:
Minimum Label s-t Cut has large integrality gaps. 104543 - Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer:
Arrow update synthesis. 104544 - Christian Rosenke, Maciej Liskiewicz:
The generic combinatorial algorithm for image matching with classes of projective transformations. 104550 - Haitao Jiang, Hong Liu, Cédric Chauve, Binhai Zhu:
Breakpoint distance and PQ-trees. 104584 - Chiara Bodei, Linda Brodo, Roberto Bruni:
The link-calculus for open multiparty interactions. 104587 - Salvatore La Torre, Margherita Napoli, Gennaro Parlato:
Reachability of scope-bounded multistack pushdown systems. 104588 - Jin-Yi Cai, Zhiguo Fu, Shuai Shao:
Beyond #CSP: A dichotomy for counting weighted Eulerian orientations with ARS. 104589 - Nikolay Bazhenov, Ekaterina B. Fokina, Luca San Mauro:
Learning families of algebraic structures from informant. 104590 - George Barmpalias, Nan Fang:
Granularity of wagers in games and the possibility of saving. 104600 - Neil Lutz, Donald M. Stull:
Bounding the dimension of points on a line. 104601 - Benjamin Fuller, Xianrui Meng, Leonid Reyzin:
Computational fuzzy extractors. 104602 - Roberto Gorrieri:
Team equivalences for finite-state machines with silent moves. 104603 - Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord:
Perfect failure detection with very few bits. 104604 - Daowen Qiu, Shenggen Zheng:
Revisiting Deutsch-Jozsa algorithm. 104605
- Chun Tian, Davide Sangiorgi:
Unique solutions of contractions, CCS, and their HOL formalisation. 104606
- Tara Brough, Alan J. Cain:
A language hierarchy of binary relations. 104607
- Kirstin Peters, Uwe Nestmann:
Distributability of mobile ambients. 104608
- Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti:
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results. 104609 - Anna Becchi, Enea Zaffanella:
PPLite: Zero-overhead encoding of NNC polyhedra. 104620 - Cassio P. de Campos, Georgios Stamoulis, Dennis Weyland:
A structured view on weighted counting with relations to counting, quantum computation and applications. 104627 - Renu Mary Daniel, Elijah Blessing Rajsingh, Salaja Silas:
An efficient eCK secure identity based Two Party Authenticated Key Agreement scheme with security against active adversaries. 104630 - Michal Kunc, Alexander Okhotin:
Reversibility of computations in graph-walking automata. 104631 - Sebastian Berndt, Maciej Liskiewicz:
On the universal steganography of optimal rate. 104632 - Amihood Amir, Avivit Levy, Ely Porat, B. Riva Shalom:
Online recognition of dictionary with one gap. 104633 - Ming Xu, Yuxin Deng:
Time-bounded termination analysis for probabilistic programs with delays. 104634
- Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A parametric framework for reversible π-calculi. 104644
- James Laird:
Weighted models for higher-order computation. 104645 - Samuel Epstein:
An extended coding theorem with application to quantum complexities. 104660
a service of 
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-06-10 21:31 CEST 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:
