Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching

Sayan Bhattacharya; Monika Henzinger; Giuseppe F. Italiano

doi:10.1137/140998925

Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching

SIAM Journal on Computing ◽

10.1137/140998925 ◽

2018 ◽

Vol 47 (3) ◽

pp. 859-887 ◽

Cited By ~ 4

Author(s):

Sayan Bhattacharya ◽

Monika Henzinger ◽

Giuseppe F. Italiano

Keyword(s):

Data Structures ◽

Vertex Cover ◽

Dynamic Data Structures ◽

Dynamic Data

Download Full-text

Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching

Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms ◽

10.1137/1.9781611973730.54 ◽

2014 ◽

Cited By ~ 16

Author(s):

Sayan Bhattacharya ◽

Monika Henzinger ◽

Giuseppe F. Italiano

Keyword(s):

Data Structures ◽

Vertex Cover ◽

Dynamic Data Structures ◽

Dynamic Data

Download Full-text

Perpetual Secret Sharing from Dynamic Data Structures

2021 IEEE Conference on Dependable and Secure Computing (DSC) ◽

10.1109/dsc49826.2021.9346272 ◽

2021 ◽

Author(s):

Shion Samadder Chaudhury ◽

Sabyasachi Dutta ◽

Kouichi Sakurai

Keyword(s):

Data Structures ◽

Secret Sharing ◽

Dynamic Data Structures ◽

Dynamic Data

Download Full-text

Compiling Dynamic Data Structures in Python to Enable the Use of Multi-core and Many-core Libraries

2011 International Conference on Parallel Architectures and Compilation Techniques ◽

10.1109/pact.2011.13 ◽

2011 ◽

Cited By ~ 1

Author(s):

Bin Ren ◽

Gagan Agrawal

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Many Core

Download Full-text

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/11823230_5 ◽

2006 ◽

pp. 52-70 ◽

Cited By ~ 46

Author(s):

Ahmed Bouajjani ◽

Peter Habermehl ◽

Adam Rogalewicz ◽

Tomáš Vojnar

Keyword(s):

Model Checking ◽

Data Structures ◽

Complex Dynamic ◽

Tree Model ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Regular Tree

Download Full-text

Dynamic Data Structures

Start Concurrent ◽

10.2307/j.ctv15wxqh7.22 ◽

2013 ◽

pp. 458-494

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data

Download Full-text

Dynamic Data Structures

Introduction to Computing ◽

10.1007/978-1-349-08039-7_9 ◽

1990 ◽

pp. 254-274

Author(s):

Percy Mett

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data

Download Full-text

DSI: an evidence-based approach to identify dynamic data structures in C programs

Proceedings of the 25th International Symposium on Software Testing and Analysis - ISSTA 2016 ◽

10.1145/2931037.2931071 ◽

2016 ◽

Cited By ~ 5

Author(s):

David H. White ◽

Thomas Rupprecht ◽

Gerald Lüttgen

Keyword(s):

Data Structures ◽

Evidence Based ◽

Dynamic Data Structures ◽

Dynamic Data ◽

C Programs

Download Full-text

Recognition of Dynamic Data Structures to Support Porting of Applications to the Cloud

2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing ◽

10.1109/cit/iucc/dasc/picom.2015.350 ◽

2015 ◽

Author(s):

Beniamino Di Martino ◽

Antonio Esposito

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data

Download Full-text

Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.01.015 ◽

2004 ◽

Vol 108 ◽

pp. 99-112 ◽

Cited By ~ 3

Author(s):

Edgar G. Daylight ◽

Bart Demoen ◽

Francky Catthoor

Keyword(s):

Data Structures ◽

Software Design ◽

Embedded Software ◽

Dynamic Data Structures ◽

Dynamic Data ◽

Initial Approach

Download Full-text

Dynamic data structures for series parallel digraphs

Lecture Notes in Computer Science - Algorithms and Data Structures ◽

10.1007/3-540-51542-9_30 ◽

1989 ◽

pp. 352-372 ◽

Cited By ~ 2

Author(s):

Giuseppe F. Italiano ◽

Alberto Marchetti Spaccamela ◽

Umberto Nanni

Keyword(s):

Data Structures ◽

Dynamic Data Structures ◽

Dynamic Data

Download Full-text