2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479930364, 9781479930357

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bounded Bi-ideals and Linear Recurrence

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.57 ◽

2013 ◽

Author(s):

Inese Berzina ◽

Janis Buls ◽

Raivis Bets

Keyword(s):

Linear Recurrence

Download Full-text

Quality Assurance for Open Source Software Configuration Management

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.66 ◽

2013 ◽

Cited By ~ 4

Author(s):

Stefan Meyer ◽

Philip Healy ◽

Theo Lynn ◽

John Morrison

Keyword(s):

Quality Assurance ◽

Open Source ◽

Open Source Software ◽

Configuration Management ◽

Software Configuration Management ◽

Software Configuration

Download Full-text

Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.9 ◽

2013 ◽

Author(s):

Tetsuo Ida ◽

Fadoua Ghourabi ◽

Kazuko Takahashi

Keyword(s):

Computer Assisted ◽

Regular Polygons

Download Full-text

Deciding Conjugacy in Thompson's Group F in Linear Time

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.19 ◽

2013 ◽

Author(s):

Nabil Hossain ◽

Robert W. McGrail ◽

James Belk ◽

Francesco Matucci

Keyword(s):

Linear Time ◽

Thompson’S Group ◽

Thompson's Group F

Download Full-text

Planar Stretching Flows with Partial Slip

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.24 ◽

2013 ◽

Cited By ~ 1

Author(s):

Remus D. Ene ◽

Vasile Marinca ◽

Romeo Negrea

Keyword(s):

Partial Slip

Download Full-text

Assessing SLA Compliance from Palladio Component Models

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.60 ◽

2013 ◽

Cited By ~ 19

Author(s):

Juan F. Perez ◽

Giuliano Casale

Keyword(s):

Component Models

Download Full-text

Algebraic Properties of Generalized Multisets

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.55 ◽

2013 ◽

Cited By ~ 1

Author(s):

Andrei Alexandru ◽

Gabriel Ciobanu

Keyword(s):

Algebraic Properties

Download Full-text

Engineering Hoare Logic-Based Program Verification in K Framework

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.31 ◽

2013 ◽

Author(s):

Andrei Arusoaie

Keyword(s):

Program Verification ◽

Hoare Logic

Download Full-text

Token Free Bounded Delay Codes and Hash Iteration

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.58 ◽

2013 ◽

Author(s):

Sebastian Codrin Ditu

Keyword(s):

Bounded Delay

Download Full-text

Non-interleaving Operational Semantics for Geographically Replicated Databases

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2013.64 ◽

2013 ◽

Cited By ~ 3

Author(s):

Gabriel Ciobanu ◽

Ross Horne

Keyword(s):

Operational Semantics ◽

Replicated Databases

Download Full-text

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Bounded Bi-ideals and Linear Recurrence

Quality Assurance for Open Source Software Configuration Management

Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification

Deciding Conjugacy in Thompson's Group F in Linear Time

Planar Stretching Flows with Partial Slip

Assessing SLA Compliance from Palladio Component Models

Algebraic Properties of Generalized Multisets

Engineering Hoare Logic-Based Program Verification in K Framework

Token Free Bounded Delay Codes and Hash Iteration

Non-interleaving Operational Semantics for Geographically Replicated Databases

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Latest Publications