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
2014A Practical Guide for Detecting the Java Script-Based Malware Using Hidden Markov Models and Linear Classifiers.Doina Cosovan, Razvan Benchea, Dragos Gavrilut
2014The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes.Michael Codish, Lus Cruz-Filipe, Peter Schneider-Kamp
2014Open and Interoperable Socio-technical Networks.Andrei Ciortea, Olivier Boissier, Antoine Zimmermann, Adina Magda Florea
2014Correct Metric Semantics for a Biologically-Inspired Formalism.Gabriel Ciobanu, Eneia Nicolae Todoran
2014Expressing BBUFs Lookup Using the π-Calculus.Gabriel Ciobanu, Dan Cojocar
2014Reducing Partial Equivalence to Partial Correctness.Stefan Ciobaca
2014Using Models at Runtime to Support Adaptable Monitoring of Multi-clouds Applications.Lorenzo Cianciaruso, Francesco di Forenza, Elisabetta Di Nitto, Marco Miglierina, Nicolas Ferry, Arnor Solberg
2014Opinion Influence Analysis in Online Forum Threads.Dumitru-Clementin Cercel, Stefan Trausan-Matu
2014CTL Model Checking in the Cloud Using MapReduce.Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga
2014Reliable Management of Virtualized Resources Using Fault Trees.Alexandru Butoi, Alexandru Stan, Gheorghe Cosmin Silaghi
2014Performance Evaluation of Fuzzy Automata Using VHDL Simulation.Daniel-Eugen Butoianu, Doru Todinca
2014Fault-Tolerant Global Load Balancing in X10.Marco Bungart, Claudia Fohry, Jonas Posner
2014Simulation-Extrapolation Gaussian Processes for Input Noise Modeling.Botond Bocsi, Hunor Jakab, Lehel Csat
2014On the Computation of the Hansen Coefficients.Petru Calin Bazavan, Lucian-Florentin Barbulescu, Paul Cefola
2014Load Scheduling in a Cloud Based Massive Video-Storage Environment.Karunakar Reddy Bayyapu, Paul Fischer
2014Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private Clouds.Amine Barkat, Alysson Diniz dos Santos, Thi Thao Nguyen Ho
2014A Practical Approach on Cleaning-Up Large Data Sets.Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut
2014A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems.Danilo Ardagna, Michele Ciavotta, Riccardo Lancellotti
2014An Imperialistic Strategy Approach to Continuous Global Optimization Problem.George Anescu
2013An Effective Ensemble-Based Method for Creating On-the-Fly Surrogate Fitness Functions for Multi-objective Evolutionary Algorithms.Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Erich-Peter Klement
2013A "Piano Movers" Problem Reformulated.David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford
2013Survey of Covering Arrays.Jose Torres-Jimenez, Idelfonso Izquierdo-Marquez
2013Managing Risk Behavior on an Evolutionary Market - A Risk Limits and Value-at-Risk Measures Approach.Monica Tirea, Viorel Negru
2013Traders' Behavior Effect on Stock Price Evolution.Monica Tirea
2013Compiler Design for Hyper-metaprogramming.Lucian Radu Teodorescu, Rodica Potolea
726750 of 1,404← PreviousNext →

Comparable venues

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