Vladimir Estivill-Castro

Orcid: 0000-0001-7775-0780

According to our database1, Vladimir Estivill-Castro authored at least 160 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Human-Robot Dialogue that Elicits The Alignment of Moral Principles For Driverless Vehicles.
Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

2022
Fully neural object detection solutions for robot soccer.
Neural Comput. Appl., 2022

Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning.
Inf., 2022

Decomposable and Executable Models for Verification of Real-Time Systems.
Proceedings of the Model-Driven Engineering and Software Development, 2022

Verifiable Executable Models for Decomposable Real-time Systems.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

Interpretable Decisions Trees via Human-in-the-Loop-Learning.
Proceedings of the Data Mining - 20th Australasian Conference, AusDM 2022, Western Sydney, 2022

2021
Explanations from a Robotic Partner Build Trust on the Robot's Decisions for Collaborative Human-Humanoid Interaction.
Robotics, 2021

Privacy protection of online social network users, against attribute inference attacks, through the use of a set of exhaustive rules.
Neural Comput. Appl., 2021

Randomized Classifiers vs Human Decision-Makers: Trustworthy AI May Have to Act Randomly and Society Seems to Accept This.
CoRR, 2021

A System Dynamics Model Approach for Simulating Hyper-inflammation in Different COVID-19 Patient Scenarios.
Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

Enabling Modern Application Development with Swift on the Nao/Pepper Robots.
Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021

TTWiFi: Time-Triggered Communication over WiFi.
Proceedings of the DIVANet '21: Proceedings of the 11th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications, Alicante, Spain, November 22, 2021

More Interpretable Decision Trees.
Proceedings of the Hybrid Artificial Intelligent Systems - 16th International Conference, 2021

PostMatch: A Framework for Efficient Address Matching.
Proceedings of the Data Mining, 2021

2020
Tree Index: A New Cluster Evaluation Technique.
CoRR, 2020

Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Verification and Simulation of Time-Domain Properties for Models of Behaviour.
Proceedings of the Model-Driven Engineering and Software Development, 2020

Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

A fair comparison of the EEG signal classification methods for alcoholic subject identification.
Proceedings of the 35th International Conference on Image and Vision Computing New Zealand, 2020

Constructing Interpretable Decision Trees Using Parallel Coordinates.
Proceedings of the Artificial Intelligence and Soft Computing, 2020

Multi-agent Modeling Simulation of In-vitro T-cells for Immunologic Alternatives to Cancer Treatment.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

HeMI ++: A Genetic Algorithm based Clustering Technique for Sensible Clusters.
Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019
Privacy in Multiple On-line Social Networks - Re-identification and Predictability.
Trans. Data Priv., 2019

ROBO: Robust, Fully Neural Object Detection for Robot Soccer.
Proceedings of the RoboCup 2019: Robot World Cup XXIII [Sydney, 2019

Inviting Teachers to Use Educational Robotics to Foster Mathematical Problem-Solving.
Proceedings of the Robotics in Education, 2019

Knowledge-Based Robotic Agent as a Game Player.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

The Understandability of Models for Behaviour.
Proceedings of the Model-Driven Engineering and Software Development, 2019

Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Protection of User-Defined Sensitive Attributes on Online Social Networks Against Attribute Inference Attack via Adversarial Data Mining.
Proceedings of the Information Systems Security and Privacy - 5th International Conference, 2019

Privacy Preservation of Social Network Users Against Attribute Inference Attacks via Malicious Data Mining.
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Panel of Attribute Selection Methods to Rank Features Drastically Improves Accuracy in Filtering Web-pages Suitable for Education.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

Towards the Ranking of Web-pages for Educational Purposes.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018
Combining K-Means and a genetic algorithm through a novel arrangement of genetic operators for high quality clustering.
Expert Syst. Appl., 2018

Real-Time Scene Understanding Using Deep Neural Networks for RoboCup SPL.
Proceedings of the RoboCup 2018: Robot World Cup XXII [Montreal, 2018

High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs.
Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018

Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Improving binary classification of web pages using an ensemble of feature selection algorithms.
Proceedings of the Australasian Computer Science Week Multiconference, 2018

2017
Real-time detection of shill bidding in online auctions: A literature review.
Comput. Sci. Rev., 2017

3LP: Three Layers of Protection for Individual Privacy in Facebook.
Proceedings of the ICT Systems Security and Privacy Protection, 2017

Deterministic High-Level Executable Models Allowing Efficient Runtime Verification.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Social media users' privacy against malicious data miners.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

2016
Genetic algorithm with healthy population and multiple streams sharing information for clustering.
Knowl. Based Syst., 2016

What Effect Does an Animal Robot Called CuDDler Have on the Engagement and Emotional Response of Older People with Dementia? A Pilot Feasibility Study.
Int. J. Soc. Robotics, 2016

Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines.
Proceedings of the 2016 IEEE International Conference on Simulation, 2016

DAJEE: A Dataset of Joint Educational Entities for Information Retrieval in Technology Enhanced Learning.
Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval, 2016

Architecture for logic programing with arrangements of finite-state machines.
Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016

Hardness and tractability of detecting connected communities.
Proceedings of the Australasian Computer Science Week Multiconference, 2016

2015
Is It FPT to Cover Points with Tours on Minimum Number of Bends (Errata)?
Int. J. Comput. Geom. Appl., 2015

Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs.
CoRR, 2015

Can On-line Social Network Users Trust That What They Designated as Confidential Data Remains So?
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware.
Proceedings of the Robot Intelligence Technology and Applications 4, 2015

Simple, Not Simplistic - The Middleware of Behaviour Models.
Proceedings of the ENASE 2015, 2015

Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems.
Proceedings of the 2015 IEEE European Modelling Symposium, 2015

Privacy Tips: Would it be ever possible to empower online social-network users to control the confidentiality of their data?
Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

2014
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Empowering users of social networks to assess their privacy risks.
Proceedings of the 2014 IEEE International Conference on Big Data (IEEE BigData 2014), 2014

Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B.
Proceedings of the 23rd Australian Software Engineering Conference, 2014

2013
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Path-finding in dynamic environments with PDDL-planners.
Proceedings of the 16th International Conference on Advanced Robotics, 2013

Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering.
Proceedings of the ENASE 2013, 2013

Integration of Planning and Reasoning into an Architecture That Enables Model-Driven Development.
Proceedings of the Artificial Intelligence Research and Development, 2013

2012
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2012

Efficient Modelling of Embedded Software Systems and their Formal Verification.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

On the parameterized complexity of dominant strategies.
Proceedings of the Thirty-Fifth Australasian Computer Science Conference, 2012

2011
Fpt-Algorithms for Minimum-Bends Tours.
Int. J. Comput. Geom. Appl., 2011

Exploration of Massive Crime Data Sets through Data Mining Techniques.
Appl. Artif. Intell., 2011

The Instance Easiness of Supervised Learning for Cluster Validity.
Proceedings of the New Frontiers in Applied Data Mining, 2011

Model Checking of Transition-Labeled Finite-State Machines.
Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Image Capture for Concrete Programming - Building Schemata for Problem Solving.
Proceedings of the CSEDU 2011, 2011

2010
NP-completeness and FPT Results for Rectilinear Covering Problems.
J. Univers. Comput. Sci., 2010

Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010

Single Parameter FPT-Algorithms for Non-trivial Games.
Proceedings of the Combinatorial Algorithms - 21st International Workshop, 2010

Requirements Engineering via Non-monotonic Logics and State Diagrams.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010

Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.
Proceedings of the ENASE 2010, 2010

The Rectilinear <i>k</i>-Bends TSP.
Proceedings of the Computing and Combinatorics, 16th Annual International Conference, 2010

2009
Legal and Technical Issues of Privacy Preservation in Data Mining.
Proceedings of the Encyclopedia of Data Warehousing and Mining, Second Edition (4 Volumes), 2009

Practical protocol for Yao's millionaires problem enables secure multi-party computation of metrics and efficient privacy-preserving <i>k</i>-NN for large data sets.
Knowl. Inf. Syst., 2009

Reduction rules deliver efficient FPT-algorithms for covering points with lines.
ACM J. Exp. Algorithmics, 2009

Architecture for Hybrid Robotic Behavior.
Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009

Computing Nash Equilibria Gets Harder: New Results Show Hardness Even for Parameterized Complexity.
Proceedings of the Theory of Computing 2009, 2009

2007
Feature extraction and gating techniques for ultrasonic shaft signal classification.
Appl. Soft Comput., 2007

Fast Private Association Rule Mining by A Protocol for Securely Sharing Distributed Data.
Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2007

Privacy-Preserving k-NN for Small and Large Data Sets.
Proceedings of the Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), 2007

A New Efficient Privacy-Preserving Scalar Product Protocol.
Proceedings of the Data Mining and Analytics 2007, 2007

The Privacy of k-NN Retrieval for Horizontal Partitioned Data -- New Methods and Applications.
Proceedings of the Database Technologies 2007. Proceedings of the Eighteenth Australasian Database Conference, 2007

Mutually Visible Agents in a Discrete Environment.
Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006
Fast Cluster Polygonization and its Applications in Data-Rich Environments.
GeoInformatica, 2006

Mobile Robots for an E-Mail Interface for People Who Are Blind.
Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006

Using Temporal Consistency to Improve Robot Localisation.
Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006

The Undirected Feedback Vertex Set Problem Has a Poly(<i>k</i>) Kernel.
Proceedings of the Parameterized and Exact Computation, Second International Workshop, 2006

Sanitization of Databases for Refined Privacy Trade-Offs.
Proceedings of the Intelligence and Security Informatics, 2006

Privacy Preserving <i>DBSCAN</i> for Vertically Partitioned Data.
Proceedings of the Intelligence and Security Informatics, 2006

Two New Techniques for Hiding Sensitive Itemsets and Their Empirical Evaluation.
Proceedings of the Data Warehousing and Knowledge Discovery, 8th International Conference, 2006

2005
Usability of Real-Time Unconstrained WWW-Co-Browsing for Educational Settings.
Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Optimal Paths for Mutually Visible Agents.
Proceedings of the Algorithms and Computation, 16th International Symposium, 2005

FPT is P-Time Extremal Structure I.
Proceedings of the Algorithms and Complexity in Durham 2005, 2005

2004
Local search for <i>Hamiltonian Path</i> with applications to clustering visitation paths.
J. Oper. Res. Soc., 2004

Generating Nearly Sorted Sequences - The use of measures of disorder.
Proceedings of Computing: The Australasian Theory Symposium, 2004

Fast and Robust General Purpose Clustering Algorithms.
Data Min. Knowl. Discov., 2004

A Descriptive Language for Flexible and Robust Object Recognition.
Proceedings of the RoboCup 2004: Robot Soccer World Cup VIII, 2004

Support Vector Machine Classification of Ultrasonic Shaft Inspection Data Using Discrete Wavelet Transform.
Proceedings of the International Conference on Artificial Intelligence, 2004

Classification Ensembles for Shaft Test Data: Empirical Evaluation.
Proceedings of the 4th International Conference on Hybrid Intelligent Systems (HIS 2004), 2004

Private Representative-Based Clustering for Vertically Partitioned Data.
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004

A Hybrid Classification Approach to Ultrasonic Shaft Signals.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

Dogs or Robots - Why do Children See Them as Robotic Pets Rather Than Canine Machines?
Proceedings of the User Interfaces 2004, 2004

2003
Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems.
Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Foundations of Unconstrained Collaborative Web Browsing with Awareness.
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Improved Object Recognition - The RoboCup 4-Legged League.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2003

Tracking bees - a 3D, outdoor small object environment.
Proceedings of the 2003 International Conference on Image Processing, 2003

Feature Extraction Techniques for Ultrasonic Shaft Signal Classification.
Proceedings of the Design and Application of Hybrid Intelligent Systems, 2003

Group unified histories an instrument for productive unconstrained co-browsing.
Proceedings of the 2003 International ACM SIGGROUP Conference on Supporting Group Work, 2003

Cluster Validity Using Support Vector Machines.
Proceedings of the Data Warehousing and Knowledge Discovery, 5th International Conference, 2003

2002
Why so many clustering algorithms: a position paper.
SIGKDD Explor., 2002

Clustering Web Visitors by Fast, Robust and Convergent Algorithms.
Int. J. Found. Comput. Sci., 2002

Multi-Level Clustering and its Visualization for Exploratory Spatial Analysis.
GeoInformatica, 2002

A Memetic Algorithm Guided by Quicksort for the Error-Correcting Graph Isomorphism Problem.
Proceedings of the Applications of Evolutionary Computing, 2002

A memetic algorithm instantiated with selection sort consistently finds global optima for the error-correcting graph isomorphism.
Proceedings of the 2002 Congress on Evolutionary Computation, 2002

2001
Robust Distance-Based Clustering with Applications to Spatial Data Mining.
Algorithmica, 2001

Categorizing Visitors Dynamically by Fast and Robust Clustering of Access Logs.
Proceedings of the Web Intelligence: Research and Development, 2001

Non-crisp Clustering by Fast, Convergent, and Robust Algorithms.
Proceedings of the Principles of Data Mining and Knowledge Discovery, 2001

Data Structures for Minimization of Total Within-Group Distance for Spatio-temporal Clustering.
Proceedings of the Principles of Data Mining and Knowledge Discovery, 2001

Criteria on Proximity Graphs for Boundary Extraction and Spatial Clustering.
Proceedings of the Knowledge Discovery and Data Mining, 2001

Fast Spatial Clustering with Different Metrics and in the Presence of Obstacles.
Proceedings of the ACM-GIS 2001, 2001

Effective and Efficient Boundary-based Clustering for Three-Dimensional Geoinformation Studies.
Proceedings of the Third International Symposium on Cooperative Database Systems and Applications, 2001

Classical sorting embedded in genetic algorithms for improved permutation search.
Proceedings of the 2001 Congress on Evolutionary Computation, 2001

2000
On the chromatic number of tree graphs.
Discret. Math., 2000

AUTOCLUST+: Automatic Clustering of Point-Data Sets in the Presence of Obstacles.
Proceedings of the Temporal, 2000

Fast Randomized Algorithms for Robust Estimation of Location.
Proceedings of the Temporal, 2000

Hybrid Genetic Algorithms Are Better for Spatial Clustering.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

1999
Robust Clustering of Large Geo-referenced Data Sets.
Proceedings of the Methodologies for Knowledge Discovery and Data Mining, 1999

Data Swapping: Balancing Privacy against Precision in Mining for Logic Rules.
Proceedings of the Data Warehousing and Knowledge Discovery, 1999

Convex group clustering of large geo-referenced data sets.
Proceedings of the 11th Canadian Conference on Computational Geometry, 1999

Robust Clustering of Large Data Sets with Categorial Attributes.
Proceedings of the Database Systems 99, 1999

Sorting and Order Statistics.
Proceedings of the Algorithms and Theory of Computation Handbook., 1999

1998
Illumination of Orthogonal Polygons with Orthogonal Floodlights.
Int. J. Comput. Geom. Appl., 1998

Cluster Discovery Techniques for Exploratory Spatial Data Analysis.
Int. J. Geogr. Inf. Sci., 1998

Hybrid Genetic Algorithm for Solving the p-Median Problem.
Proceedings of the Simulated Evolution and Learning, 1998

Discovering Associations in Spatial Data - An Efficient Medoid Based Approach.
Proceedings of the Research and Development in Knowledge Discovery and Data Mining, 1998

Randomized K-Dimensional Binary Search Trees.
Proceedings of the Algorithms and Computation, 9th International Symposium, 1998

1997
Collaborative Knowledge Acquisition with a Genetic Algorithm.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

1996
An adaptive generic sorting algorithm that uses variable partitioning.
Int. J. Comput. Math., 1996

1995
Illumination of Polygons with Vertex Lights.
Inf. Process. Lett., 1995

Computer Science Research in Mexico.
Computer, 1995

Two-Floodlight Illumination of Convex Polygons.
Proceedings of the Algorithms and Data Structures, 4th International Workshop, 1995

Illumination with Orthogonal Floodlights.
Proceedings of the Algorithms and Computation, 6th International Symposium, 1995

Optimal guarding of polygons and monotone chains.
Proceedings of the 7th Canadian Conference on Computational Geometry, 1995

1994
Foundations for Faster External Sorting (Extended Abstract).
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

Optimal Floodlight Illumination of Orthogonal Art Galleries.
Proceedings of the 6th Canadian Conference on Computational Geometry, 1994

1993
Randomized Adative Sorting.
Random Struct. Algorithms, 1993

Right Invariant Metrics and Measures of Presortedness.
Discret. Appl. Math., 1993

The Design of Competitive Algorithms via Genetic Algorithms.
Proceedings of the Computing and Information, 1993

1992
A Survey of Adaptive Sorting Algorithms.
ACM Comput. Surv., 1992

A Generic Adaptive Sorting Algorithm.
Comput. J., 1992

Move-to-End is Best for Double-Linked Lists.
Proceedings of the Computing and Information, 1992

1991
Competitiveness and Response Time in On-Line Algorithms.
Proceedings of the ISA '91 Algorithms, 1991

Practical Adaptive Sorting.
Proceedings of the Advances in Computing and Information, 1991

Sorting, Measures of Disorder, and Worst-Case Performance.
Proceedings of the New Results and New Trends in Computer Science, 1991

1989
A New Measure of Presortedness
Inf. Comput., October, 1989


  Loading...