Skip to content

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

SYNASC

National

CORE rank

CORE rank (raw)

National: romania

Fields of research

Theory of Computation

Papers indexed

1,404

2005–2025

Papers per year

200593 peak2025

SYNASC papers

1,404 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2010Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs.Raffaela Mirandola, Pasqualina Potena
2010A Semantic Services Architecture for Solving ODE Systems.Cristina Mindruta, Dana Petcu
2010Translating Regular Expression Matching into Transducers.Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov
2010Surveillance System in Service-Oriented Manner.Damian Mierzwinski, Dariusz Walczak, Marcin Wolski, Marcin Wrzos
2010On the Usage of 16 Bit Indices in Recursively Stored Sparse Matrices.Michele Martone, Salvatore Filippone, Marcin Paprzycki, Salvatore Tucci
2010On BLAS Operations with Recursively Stored Sparse Matrices.Michele Martone, Salvatore Filippone, Marcin Paprzycki, Salvatore Tucci
2010E-System for Automatic Data Migration.Andreea Marin, Ciprian Dobre, Decebal Popescu, Valentin Cristea
2010Type Inference for Regular Expression Pattern Matching.Mircea Marin, Adrian Craciun
2010Mathematical and Computational Mistakes and Failures as a Source of Creativity.Solomon Marcus
2010Improved Bounds on the Complexity of Graph Coloring.Zoltn dm Mann, Aniko Szajko
2010Optimization of Resource Scheduling in Cloud Computing.Qiang Li, Yike Guo
2010Polynomial GCD and Factorization via Approximate Grbner Bases.Daniel Lichtblau
2010Helpful Behavior Based on Trust for Web Services.Ioan Alfred Letia, Radu Razvan Slavescu
2010Semantic Service Alignment Using Concept Description Refinement.Ioan Alfred Letia, Octavian Pop
2010Expectations for Assessment of Services Quality.Ioan Alfred Letia, Anca Nicoleta Marginean
2010An Argumentation Approach to Incompletely Specified Software Services.Ioan Alfred Letia, Anca Goron
2010Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems.Ioana Leahu
2010Role-Based Access Control in Software Services: Theory vs. Practice.Martin Lason, Ondrej Jakl
2010A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic.Jrmy Jean, Stef Graillat
2010Flexible Fault Tolerance in Distributed Enterprise Communities.Mihail Ionescu
2010Connectivity in Semi-algebraic Sets.Hoon Hong
2010A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity.Madalina Hodorog, Bernard Mourrain, Josef Schicho
2010Advanced Data Integration and Data Mining for Enviromental Scenarios.Ladislav Hluch, Peter Krammer, Ondrej Habala, Martin Seleng, Viet D. Tran
2010Generic Representation for Extension-Based Semantics of Argumentation Frameworks.Cristian Gratie, Adina Magda Florea
2010A Security Protocol for Vehicular Distributed Systems.Catalin Gosman, Ciprian Dobre, Valentin Cristea
9761,000 of 1,404← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.