Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319677286, 9783319677293

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_15 ◽

2017 ◽

pp. 248-265 ◽

Author(s):

Peter Gjøl Jensen ◽

Kim Guldstrand Larsen ◽

Jiří Srba

Keyword(s):

Download Full-text

Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_12 ◽

2017 ◽

pp. 192-209 ◽

Author(s):

Arpit Sharma

Keyword(s):

Markov Decision Processes ◽

Continuous Time ◽

Decision Processes ◽

Markov Decision

Download Full-text

A Formal Proof Generator from Semi-formal Proof Documents

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_1 ◽

2017 ◽

pp. 3-12

Author(s):

Adrián Riesco ◽

Kazuhiro Ogata

Keyword(s):

Download Full-text

Smaller-State Implementations of 2D FSSP Algorithms

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_9 ◽

2017 ◽

pp. 136-152

Author(s):

Hiroshi Umeo ◽

Keisuke Kubo ◽

Akira Nomura

Download Full-text

Derived-Term Automata of Weighted Rational Expressions with Quotient Operators

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_10 ◽

2017 ◽

pp. 155-173

Author(s):

Akim Demaille ◽

Thibaud Michaud

Keyword(s):

Rational Expressions

Download Full-text

ECBC: A High Performance Educational Certificate Blockchain with Efficient Query

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_17 ◽

2017 ◽

pp. 288-304 ◽

Author(s):

Yuqin Xu ◽

Shangli Zhao ◽

Lanju Kong ◽

Yongqing Zheng ◽

Shidong Zhang ◽

...

Keyword(s):

High Performance

Download Full-text

The Delay Monad and Restriction Categories

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_3 ◽

2017 ◽

pp. 32-50 ◽

Author(s):

Tarmo Uustalu ◽

Niccolò Veltri

Download Full-text

Class-Diagrams for Abstract Data Types

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_7 ◽

2017 ◽

pp. 100-117 ◽

Author(s):

Thai Son Hoang ◽

Colin Snook ◽

Dana Dghaym ◽

Michael Butler

Keyword(s):

Abstract Data Types ◽

Abstract Data ◽

Download Full-text

Constructing Cycles in the Simplex Method for DPLL(T)

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_13 ◽

2017 ◽

pp. 213-228

Author(s):

Bertram Felgenhauer ◽

Aart Middeldorp

Keyword(s):

Download Full-text

Inferring Secrets by Guided Experiments

Theoretical Aspects of Computing – ICTAC 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-67729-3_16 ◽

2017 ◽

pp. 269-287 ◽

Author(s):

Quoc Huy Do ◽

Richard Bubel ◽

Reiner Hähnle

Download Full-text