- importsource = "00045411-2000-02.TXT"
- Artículo:
Eavesdropping games: a graph-theoretic approach to privacy in distributed systems
- Autor:
Matthew Franklin
Zvi Galil
Moti Yung
- Página:
225
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
2
- Periodo:
Marzo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-02.TXT
- Documento número 1670730
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Graph Theory and Combinatorial Structures An O(log(n)4/3) space algorithm for (s, t) connectivity in undirected graphs
- Autor:
Roy Armoni
Amnon Ta-Shma
Avi Widgerson
Shiyu Zhou
- Página:
294
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
2
- Periodo:
Marzo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-02.TXT
- Documento número 1670731
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
An automata-theoretic approach to branching-time model checking
- Autor:
Orna Kupferman
Moshe
Vardi
Pierre Wolper
- Página:
312
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
2
- Periodo:
Marzo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-02.TXT
- Documento número 1670732
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Making abstract interpretations complete
- Autor:
Roberto Giacobazzi
Francesco Ranzato
Francesca Scozzari
- Página:
361
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
47
- Número:
2
- Periodo:
Marzo 2000
- ISSN:
00045411
- SrcID:
00045411-2000-02.TXT
- Documento número 1670733
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- 1-4