Global Talk Author Index

GLOBAL TALK AUTHOR INDEX

Shortcuts: A B C D E F G H I J K L M N O P R S T U V W Y Z

A
Abe, Kuniyoshi	(Conference) Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
Adrian, Spataru	(Workshops) The impact of using a 4D data assimilation scheme in WRF-ARW Model
Alexandru, Andrei	(Conference) Static Analysis in Finitely Supported Mathematics
Amrhein, Wolfgang	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Andrei, Stefan	(Conference) An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
Anescu, George	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
Antonie, Mihaita	(Workshops) Complex Network Analysis of a Tourism Content Sharing Network
Apostol, Elena	(Conference) Forecasting Techniques for Time Series from Sensor Data
Ardagna, Danilo	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
Atalan, Yunus	(Workshops) Some Common Fixed Point Results for Quasi-contractive Type Operators
B
Badica, Costin	(Workshops) Complex Network Analysis of a Tourism Content Sharing Network
Balazs, Margareta-Eliza	(Workshops) A Presic-Maia fixed point theorem
Balint, Stefan	(Conference) Numerical investigations of equilibriums in a flight with high angle of attack
Barany, Gergö	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Becheru, Alex	(Workshops) Complex Network Analysis of a Tourism Content Sharing Network
Belkhir, Walid	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Benchea, Razvan	(Conference) Feature creation using genetic programming with application in malware detection
Bentley, Peter	(Conference) Building a Nature-Inspired Computer
Berinde, Vasile	(Workshops) Coupled fixed point theorems for almost contractive mappings (Workshops) Fixed point theorems for almost convex contractive mappings
Biro, Csaba	(Conference) Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
Bistran, Ioan	(Workshops) Parallel Solving Systems of Equations – a survey (Workshops) Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems
Boicea, Alexandru	(Conference) Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Boros, Tiberiu	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Bramerdorfer, Gerd	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Bóta, András	(Conference) Adaptations of the k-means algorithm to community detection in parallel environments
Bēts, Raivis	(Conference) On the existence of 1-bounded bi-ideals with the WELLDOC property.
C
Capra, Lorenzo	(Conference) An Algebraic Petri Nets Emulator
Casola, Valentina	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
Cheng, Albert	(Conference) An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
Chetan, Marinela	(Workshops) Assessing the potential of segmentation methods applied on digital terrain models as support for soil mapping
Chifu, Emil Stefan	(Workshops) Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps
Chifu, Viorica Rozina	(Workshops) Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps (Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Ciavotta, Michele	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
Ciobanu, Daniela	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Ciobanu, Gabriel	(Conference) Continuation Semantics for Dynamic Hierarchical Systems (Conference) Static Analysis in Finitely Supported Mathematics
Cirovic, Natasa	(Workshops) A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces
Cirstea, Horatiu	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Codreanu, Ioana Andra	(Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
Colao, Vitorio	(Workshops) Iterative algorithms for nonself mappings
Corless, Robert M.	(Conference) Computation of Stirling numbers and generalizations
Cristea, Valentin	(Conference) Forecasting Techniques for Time Series from Sensor Data
Croitoru, Nicolae-Eugen	(Conference) High Probability Mutation and Error Thresholds in Genetic Algorithms
Cuceu, Corina	(Workshops) Fixed point theorems for non-self multi-valued almost contractions
D
De Benedictis, Alessandra	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
Dobrican, Melània-Iulia	(Workshops) Fixed point theorems in ordered metric spaces
Dogan, Kadri	(Workshops) A JUNGCK TYPE ITERATITON PROCESS IN CONVEX METRIC SPACES
Dornik, Andrei	(Workshops) A comparison of pixel-based and geographic object-based image analysis for the classification of soil types
Dossal, Charles	(Conference) Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
Dragan, Ioan	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification (Workshops) An Overview of Monitoring Tools for Big Data and Cloud Applications
Dragut, Lucian	(Workshops) Evaluation of geomorphons as a basis for quantifying contextual information
Dramnesc, Isabela	(Conference) Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
Dundua, Besik	(Conference) Lambda Calculus with Regular Types
E
Ene, Remus-Daniel	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
F
Filis, Cristina	(Workshops) Coupled fixed point theorems for almost contractive mappings
Florea, Adina Magda	(Workshops) A Framework for Integrating Heterogeneous Agent Communication Platforms (Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
Florido, Mario	(Conference) Lambda Calculus with Regular Types
Fortis, Alexandra Emilia	(Conference) Numerical investigations of equilibriums in a flight with high angle of attack
Frisch, Jérôme	(Workshops) Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures
Fujino, Seiji	(Conference) Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
G
Gabriel, Iuhasz	(Workshops) An Overview of Monitoring Tools for Big Data and Cloud Applications
Ganea, George	(Workshops) Modeling Design Flaw Evolution Using Complex Systems
Gavrilut, Dragos	(Conference) Feature creation using genetic programming with application in malware detection (Conference) A Study on Techniques for Proactively Identifying Malicious URLs (Conference) Improving malware detection response time with behavior-based statistical analysis techniques
Gibilisco, Giovanni Paolo	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
Gruia, Corina Lavinia	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Guerriero, Michele	(Workshops) A Model-Driven DevOps framework for QoS-aware Cloud applications
Gurfinkel, Arie	(Conference) Algorithmic Logic-Based Verification with SeaHorn
Gursoy, Faik	(Workshops) A comparative study on some recent iterative schemes
H
Hacıoglu, Emirhan	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces
Hedin, Daniel	(Conference) Web application security using JSFlow
Horelu, Adriana	(Conference) Forecasting Techniques for Time Series from Sensor Data
Hosu, Ionel-Alexandru	(Conference) Comparative Analysis of Existing Architectures for General Game Agents
Huru, Dan	(Conference) Forecasting Techniques for Time Series from Sensor Data
I
Ilie, Silvana	(Conference) Computation of Stirling numbers and generalizations
Inaba, Daiju	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Irimie, Bogdan-Constantin	(Conference) Scalable and fault tolerant monitoring of security parameters in the cloud
Iulian, Pop	(Workshops) Improved genetic algorithm based on theorem and fixed point and hJ1 triangulation in Euclidean space
Ivascu, Todor	(Conference) An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring (Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders
J
Jebelean, Tudor	(Conference) Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
Jeffrey, David	(Conference) Lagrange Inversion and series for Lambert W (Conference) Computation of Stirling numbers and generalizations
Jesic, Sinisa	(Workshops) A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces
Joosen, Wouter	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
K
Kalugin, German	(Conference) Lagrange Inversion and series for Lambert W
Karakaya, Vatan	(Workshops) Some Common Fixed Point Results for Quasi-contractive Type Operators (Workshops) A JUNGCK TYPE ITERATITON PROCESS IN CONVEX METRIC SPACES
Karakaya, Vatan	(Workshops) On the convergence results for the finitely family of the multivalued mappings in CAT(κ)-spaces
Kauers, Manuel	(Conference) Creative Telescoping via Hermite Reduction
Khun, Jiri	(Conference) GPU solver for systems of linear equations with infinite precision
Koutschan, Christoph	(Conference) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Krall, Andreas	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Krész, Miklós	(Conference) Adaptations of the k-means algorithm to community detection in parallel environments
Kusper, Gabor	(Conference) Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
Kutsia, Temur	(Conference) Lambda Calculus with Regular Types
L
Lachambre, Helene	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Langr, Daniel	(Conference) Space and execution efficient formats for modern processor architectures
Lenzner, Michel	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Leordeanu, Catalin	(Conference) Forecasting Techniques for Time Series from Sensor Data
Letia, Tiberiu Stefan	(Workshops) Unsupervised Aspect Level Sentiment Analysis Using Self-organizing Maps
Lezuo, Roland	(Conference) vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
Liviu, Oană	(Workshops) The impact of using a 4D data assimilation scheme in WRF-ARW Model
Luchian, Henri	(Conference) Feature creation using genetic programming with application in malware detection
Lughofer, Edwin	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Lupescu, Grigore	(Workshops) Extensions over OpenCL for latency reduction and critical applications
M
Mafteiu-Scai, Liviu Octavian	(Workshops) Parallel Solving Systems of Equations – a survey (Workshops) Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems
Manate, Bogdan	(Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders
Marinca, Vasile	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Marinescu, Dan Stefan	(Workshops) Some Hyers-Ulam Stability Results Related To Fixed Point Theorems
Marinescu, Radu	(Workshops) Modeling Design Flaw Evolution Using Complex Systems
Markevicius, Mantas	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Maruster, Stefan	(Workshops) Error estimations and convergence properties of Picard and Mann iteration for strongly demicontractive mappings
Mesina, Cristian	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Meyer, Stefan	(Workshops) Supporting heterogeneous pools in a single Ceph storage cluster
Mihet, Dorel	(Workshops) Common fixed points and coupled coincidence points in fuzzy metric spaces
Mocanu, Irina	(Workshops) A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
Mocanu, Mariana	(Conference) Forecasting Techniques for Time Series from Sensor Data
Moldovan, Dorin	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Monea, Mihai	(Workshops) Some Hyers-Ulam Stability Results Related To Fixed Point Theorems
Morrison, John	(Workshops) Supporting heterogeneous pools in a single Ceph storage cluster
Muglia, Luigi	(Workshops) on the role of the coefficients on the convergence of general type iterative algorithms
Mundani, Ralf-Peter	(Workshops) Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures
Munoz, Cesar	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Murdoch, Nick	(Conference) Lagrange Inversion and series for Lambert W
N
Narkawicz, Anthony	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Negrea, Romeo	(Conference) THE FLOW IN A VISCOUS FLUID OVER AN UNSTEADY STRETCHING SURFACE
Negru, Viorel	(Conference) Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence (Workshops) A multi-agent architecture for ontology-based diagnosis of mental disorders (Workshops) Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior
Nguyen, Duy Duc	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Nicodème, Marc	(Conference) Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
Nikolic, Rale	(Workshops) A Common Fixed Point Theorem with Generalized Nonlinear Contractive Condition in Menger PM spaces
O
Olaru, Andrei	(Workshops) A Framework for Integrating Heterogeneous Agent Communication Platforms
Onchis, Darian	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
P
Pacurar, Madalina	(Workshops) Fixed point theorems for almost convex contractive mappings
Petcu, Dana	(Conference) Scalable and fault tolerant monitoring of security parameters in the cloud
Piskac, Ruzica	(Conference) From Decision Procedures to Synthesis Procedures
Pop, Cristina Bianca	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Popa, Călin-Adrian	(Conference) Lie Algebra-Valued Hopfield Neural Networks
Popescu, Adrian-Stefan	(Conference) A Study on Techniques for Proactively Identifying Malicious URLs (Conference) Improving malware detection response time with behavior-based statistical analysis techniques
Prelipcean, Dumitru Bogdan	(Conference) A Study on Techniques for Proactively Identifying Malicious URLs (Conference) Improving malware detection response time with behavior-based statistical analysis techniques
Prigoana, Cristian	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Prisecaru, Ilie	(Workshops) NSC-PSO, a novel PSO variant without speeds and coefficients
R
Radoaca, Aurelian	(Conference) Simple Venn Diagrams for Finite Multisets (Conference) Properties of Multiset Orders by Minimal and Maximal Submultisets
Radulescu, Vlad	(Conference) An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling
Rafique, Ansar	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
Rak, Massimiliano	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
Ranetbauer, Helene	(Conference) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Ratier, Nicolas	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Ravve, Elena	(Conference) Automatic definition of optimal default parameters of models (Workshops) Incremental Reasoning on Strongly Distributed Multi-Agent Systems
Regensburger, Georg	(Conference) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Ricaud, Benjamin	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
S
Salinca, Andreea	(Conference) Business reviews classification using sentiment analysis
Salomie, Ioan	(Workshops) Generating Healthy Menus for Older Adults using a Hybrid Honey Bees Mating Optimization Approach
Saminger-Platz, Susanne	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Sandita, Adrian	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Sands, David	(Conference) Getting Personal with Differential Privacy
Sanuki, Masaru	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Sarasan, Adriana	(Workshops) Evaluation of geomorphons as a basis for quantifying contextual information
Sasaki, Tateaki	(Conference) Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
Simecek, Ivan	(Conference) GPU solver for systems of linear equations with infinite precision (Conference) Space and execution efficient formats for modern processor architectures
Slusanschi, Emil	(Workshops) Extensions over OpenCL for latency reduction and critical applications
Smith, Andrew	(Conference) A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
Stempfel, Guillaume	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Stoean, Catalin	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Stoean, Ruxandra	(Workshops) Investigation on Parameter Effect for Contour Semi-Automatic Contour Detection in Histopathological Image Processing
Stratulat, Sorin	(Conference) Combinatorial Techniques for Proof--based Synthesis of Sorting Algorithms
T
Tache, Rozica-Maria	(Conference) General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
Tapus, Nicolae	(Workshops) Extensions over OpenCL for latency reduction and critical applications
Tarau, Paul	(Conference) n Type Inference, Generation and Normalization of SK-combinator Trees (Conference) The Arithmetic of Even-Odd Trees
Terfaloaga, Irina Maria	(Workshops) Parallel Solving Systems of Equations – a survey (Workshops) Convergence and Fixed Points of Evolutionary Algorithms in Solving Equations Systems
Tirea, Monica	(Conference) Stock Market Trading Strategies - Applying Risk and Decision Analysis Models for Detecting Financial Turbulence (Workshops) Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior
Todoran, Eneia Nicolae	(Conference) Continuation Semantics for Dynamic Hierarchical Systems
Tomescu, Ioan	(Conference) General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
Torresani, Bruno	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Truică, Ciprian-Octavian	(Conference) Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Tulceanu, Violeta	(Conference) A matter of trust: smart home system relying on logic, BCI and sensor agents
Turcu, Flavius	(Conference) Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
U
Urzică, Andreea	(Conference) Comparative Analysis of Existing Architectures for General Game Agents
V
Van Landuyt, Dimitri	(Workshops) Expressive Data Storage Policies for Multi-cloud Storage Configurations
Vatamanu, Cristina	(Conference) Feature creation using genetic programming with application in malware detection
Velcin, Julien	(Conference) Automatic Language Identification for Romance Languages using Stop Words and Diacritics
Villano, Umberto	(Workshops) SLA-based Secure Cloud Application Development: the SPECS Framework
Volkovich, Zeev	(Workshops) Incremental Reasoning on Strongly Distributed Multi-Agent Systems
Volkovich, Zeev	(Conference) Automatic definition of optimal default parameters of models
Voronkov, Andrei	(Conference) EasyChair
W
Watt, Stephen	(Conference) Generalized Inclusion-Exclusion: Reducing complexity by borrowing
Weber, Gerhard	(Conference) Automatic definition of optimal default parameters of models (Workshops) Incremental Reasoning on Strongly Distributed Multi-Agent Systems
Wiesmeyr, Christoph	(Conference) OPTIMAL WINDOW AND LATTICE IN GABOR TRANSFORM. APPLICATION TO AUDIO ANALYSIS
Wolfram, Marie-Therese	(Conference) Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Woltran, Stefan	(Conference) Dynamic Programming on Tree Decompositions in Practice -- Some Lessons Learned
Y
Yang, Bin	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Z
Zaharia, Claudia	(Workshops) Common fixed points and coupled coincidence points in fuzzy metric spaces
Zakany, Monica	(Workshops) Fixed point theorems for local almost contractions
Zamkostian, Frédéric	(Conference) Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
Zavalnij, Bogdán	(Conference) Adaptations of the k-means algorithm to community detection in parallel environments
Zavoianu, Alexandru-Ciprian	(Conference) A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
Zhang, Xinyi	(Conference) Computation of Stirling numbers and generalizations