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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
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
Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning.
Inf., 2022
Proceedings of the Model-Driven Engineering and Software Development, 2022
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022
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
Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021
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
Proceedings of the Hybrid Artificial Intelligent Systems - 16th International Conference, 2021
Proceedings of the Data Mining, 2021
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
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
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
Proceedings of the IEEE Congress on Evolutionary Computation, 2020
2019
Trans. Data Priv., 2019
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
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
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
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
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
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
Comput. Sci. Rev., 2017
Proceedings of the ICT Systems Security and Privacy Protection, 2017
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
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
Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016
Proceedings of the Australasian Computer Science Week Multiconference, 2016
2015
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
Proceedings of the Robot Intelligence Technology and Applications 4, 2015
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
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
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013
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
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the Thirty-Fifth Australasian Computer Science Conference, 2012
2011
Appl. Artif. Intell., 2011
Proceedings of the New Frontiers in Applied Data Mining, 2011
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
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
Proceedings of the Combinatorial Algorithms - 21st International Workshop, 2010
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
Proceedings of the Computing and Combinatorics, 16th Annual International Conference, 2010
2009
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
ACM J. Exp. Algorithmics, 2009
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
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
Proceedings of the Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), 2007
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
Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007
2006
GeoInformatica, 2006
Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006
Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006
Proceedings of the Parameterized and Exact Computation, Second International Workshop, 2006
Proceedings of the Intelligence and Security Informatics, 2006
Proceedings of the Intelligence and Security Informatics, 2006
Proceedings of the Data Warehousing and Knowledge Discovery, 8th International Conference, 2006
2005
Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005
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
Proceedings of Computing: The Australasian Theory Symposium, 2004
Data Min. Knowl. Discov., 2004
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
Proceedings of the 4th International Conference on Hybrid Intelligent Systems (HIS 2004), 2004
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004
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
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003
Proceedings of the Intelligent Data Engineering and Automated Learning, 2003
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
Proceedings of the 2003 International ACM SIGGROUP Conference on Supporting Group Work, 2003
Proceedings of the Data Warehousing and Knowledge Discovery, 5th International Conference, 2003
2002
Int. J. Found. Comput. Sci., 2002
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
Algorithmica, 2001
Proceedings of the Web Intelligence: Research and Development, 2001
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
Proceedings of the Knowledge Discovery and Data Mining, 2001
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
Proceedings of the 2001 Congress on Evolutionary Computation, 2001
2000
Proceedings of the Temporal, 2000
Proceedings of the Temporal, 2000
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000
1999
Proceedings of the Methodologies for Knowledge Discovery and Data Mining, 1999
Proceedings of the Data Warehousing and Knowledge Discovery, 1999
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
Proceedings of the Algorithms and Theory of Computation Handbook., 1999
1998
Int. J. Comput. Geom. Appl., 1998
Int. J. Geogr. Inf. Sci., 1998
Proceedings of the Simulated Evolution and Learning, 1998
Proceedings of the Research and Development in Knowledge Discovery and Data Mining, 1998
Proceedings of the Algorithms and Computation, 9th International Symposium, 1998
1997
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997
1996
Int. J. Comput. Math., 1996
1995
Proceedings of the Algorithms and Data Structures, 4th International Workshop, 1995
Proceedings of the Algorithms and Computation, 6th International Symposium, 1995
Proceedings of the 7th Canadian Conference on Computational Geometry, 1995
1994
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
The Design of Competitive Algorithms via Genetic Algorithms.
Proceedings of the Computing and Information, 1993
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
Proceedings of the ISA '91 Algorithms, 1991
Proceedings of the Advances in Computing and Information, 1991
Proceedings of the New Results and New Trends in Computer Science, 1991
1989