Results 1 - 20 of 39 for All Library Resources
Sorted by:
Sorted by:
Date-oldestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Refined by:
Journal Title:
Arxiv
Journal Title:
Electronic Proceedings In Theoretical Computer Science, Eptcs
Journal Title:
Electronic Proceedings In Theoretical Computer Science, Eptcs
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Article
|
|
Translation from Classical Two-Way Automata to Pebble Two-Way AutomataElectronic proceedings in theoretical computer science, 2009-07, Vol.3 (Proc. DCFS 2009), p.131-140ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.3.12Full text available |
| 2 |
Material Type: Article
|
|
Deterministic Autopoietic AutomataElectronic proceedings in theoretical computer science, 2009-11, Vol.9 (Proc. DCM 2009), p.49-53ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.9.6Full text available |
| 3 |
Material Type: Article
|
|
Characteristic Formulae for Fixed-Point Semantics: A General FrameworkElectronic proceedings in theoretical computer science, 2009-11, Vol.8 (Proc. EXPRESS 2009), p.1-15ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.8.1Full text available |
| 4 |
Material Type: Article
|
|
Modelling Cell Cycle using Different Levels of RepresentationElectronic proceedings in theoretical computer science, 2009-11, Vol.11 (Proc. MeCBIC 2009), p.51-69ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.11.4Full text available |
| 5 |
Material Type: Article
|
|
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic SystemsElectronic proceedings in theoretical computer science, 2009-12, Vol.13 (Proc. QFM 2009), p.27-39ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.13.3Full text available |
| 6 |
Material Type: Article
|
|
Efficient Parallel Statistical Model Checking of Biochemical NetworksElectronic proceedings in theoretical computer science, 2009-12, Vol.14 (Proc. PDMC 2009), p.47-61ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.14.4Full text available |
| 7 |
Material Type: Article
|
|
Imitation in Large GamesElectronic proceedings in theoretical computer science, 2010-06, Vol.25 (Proc. GANDALF 2010), p.162-172ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.25.16Full text available |
| 8 |
Material Type: Article
|
|
Unitary Noise and the Mermin-GHZ GameElectronic proceedings in theoretical computer science, 2010-06, Vol.25 (Proc. GANDALF 2010), p.188-198ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.25.18Full text available |
| 9 |
Material Type: Article
|
|
Optimal Time-Abstract Schedulers for CTMDPs and Markov GamesElectronic proceedings in theoretical computer science, 2010-06, Vol.28 (Proc. QAPL 2010), p.144-158ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.28.10Full text available |
| 10 |
Material Type: Article
|
|
Primitives for Contract-based SynchronizationElectronic proceedings in theoretical computer science, 2010-10, Vol.38 (Proc. ICE 2010), p.67-82ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.38.8Full text available |
| 11 |
Material Type: Article
|
|
Aspects of multiscale modelling in a process algebra for biological systemsElectronic proceedings in theoretical computer science, 2010-10, Vol.40 (Proc. MeCBIC 2010), p.54-69ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.40.5Full text available |
| 12 |
Material Type: Article
|
|
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.1-15ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.41.1Full text available |
| 13 |
Material Type: Article
|
|
Typed Operational Semantics for Dependent Record TypesElectronic proceedings in theoretical computer science, 2011-01, Vol.53 (Proc. TYPES 2009), p.30-46ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.53.3Full text available |
| 14 |
Material Type: Article
|
|
A Game-Theoretic approach to Fault Diagnosis of Hybrid SystemsElectronic proceedings in theoretical computer science, 2011-06, Vol.54 (Proc. GandALF 2011), p.237-249ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.54.17Full text available |
| 15 |
Material Type: Article
|
|
Combinatorics on words in information security: Unavoidable regularities in the construction of multicollision attacks on iterated hash functionsElectronic proceedings in theoretical computer science, 2011-08, Vol.63 (Proc. WORDS 2011), p.22-29ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.63.4Full text available |
| 16 |
Material Type: Article
|
|
Substitutions over infinite alphabet generating (−β)-integersElectronic proceedings in theoretical computer science, 2011-08, Vol.63 (Proc. WORDS 2011), p.115-121ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.63.16Full text available |
| 17 |
Material Type: Article
|
|
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)Electronic proceedings in theoretical computer science, 2011-09, Vol.67 (Proc. CompMod 2011), p.97-112ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.67.9Full text available |
| 18 |
Material Type: Article
|
|
Programmable models of growth and mutation of cancer-cell populationsElectronic proceedings in theoretical computer science, 2011-09, Vol.67 (Proc. CompMod 2011), p.19-33ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.67.4Full text available |
| 19 |
Material Type: Article
|
|
Refinement for Transition Systems with ResponsesElectronic proceedings in theoretical computer science, 2012-07, Vol.87 (Proc. FIT 2012), p.48-55ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.87.5Full text available |
| 20 |
Material Type: Article
|
|
Topology Inspired Problems for Cellular Automata, and a Counterexample in TopologyElectronic proceedings in theoretical computer science, 2012-08, Vol.90 (Proc. AUTOMATA&JAC 2012), p.53-68ISSN: 2075-2180 ;EISSN: 2075-2180 ;DOI: 10.4204/EPTCS.90.5Full text available |
Results 1 - 20 of 39 for All Library Resources
Sorted by:
Sorted by:
Date-oldestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Refine My Results
Creation Date
- Before 2010 (7)
- 2010 To 2011 (12)
- 2012 To 2014 (6)
- 2015 To 2017 (10)
- After 2017 (5)
-
More options
Subject
- Technology (38)
- Computer Science (38)
- Science & Technology (38)
- Computer Science, Theory & Methods (38)
- Stochastic Process Algebras (1)
- Integrated Development (1)
- User Interface (1)
- Shallow Embedding (1)
- Program Verification (1)
- Prostate Tumour (1)
- Tumour Growth Modelling (1)
- Computational Systems Biology (1)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||