Information and Computation

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
A maximal entropy stochastic process for a timed automaton
Information and Computation - Tập 243 - Trang 50-74 - 2015
Nicolas Basset
A self-stabilizing Hashed Patricia Trie
Information and Computation - Tập 285 - Trang 104697 - 2022
Till Knollmann, Christian Scheideler
Learning by switching type of information
Information and Computation - Tập 185 - Trang 89-104 - 2003
Sanjay Jain, Frank Stephan
Bayesianism: An Algorithmic Analysis
Information and Computation - Tập 127 - Trang 1-10 - 1996
Vladimir V. V'yugin
An Infinite Pebble Game and Applications
Information and Computation - Tập 136 - Trang 53-66 - 1997
A.J. Kfoury, A.P. Stolboushkin
Bounds on Shared Memory for Mutual Exclusion
Information and Computation - Tập 107 - Trang 171-184 - 1993
J.E. Burns, N.A. Lynch
Timer formulas and decidable metric temporal logic
Information and Computation - Tập 198 - Trang 148-178 - 2005
Yoram Hirshfeld, Alexander Rabinovich
Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states
Information and Computation - Tập 250 - Trang 3-14 - 2016
Samson Abramsky, Carmen M. Constantin, Shenggang Ying
Completeness and expressiveness of pointer program verification by separation logic
Information and Computation - Tập 267 - Trang 1-27 - 2019
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
Database Query Languages Embedded in the Typed Lambda Calculus
Information and Computation - Tập 127 - Trang 117-144 - 1996
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson
Tổng số: 1,178   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10