Vladimir EstivillCastro
According to our database^{1},
Vladimir EstivillCastro
authored at least 135 papers
between 1989 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2019
Privacy in Multiple Online Social Networks  Reidentification and Predictability.
Transactions on Data Privacy, 2019
ROBO: Robust, Fully Neural Object Detection for Robot Soccer.
CoRR, 2019
Inviting Teachers to Use Educational Robotics to Foster Mathematical ProblemSolving.
Proceedings of the Robotics in Education, 2019
KnowledgeBased Robotic Agent as a Game Player.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Resolving the Asymmetry of OnExit versus OnEntry in Executable Models of Behaviour.
Proceedings of the 7th International Conference on ModelDriven Engineering and Software Development, 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 Webpages Suitable for Education.
Proceedings of the 11th International Conference on Computer Supported Education, 2019
Towards the Ranking of Webpages for Educational Purposes.
Proceedings of the 11th International Conference on Computer Supported Education, 2019
2018
Combining KMeans and a genetic algorithm through a novel arrangement of genetic operators for high quality clustering.
Expert Syst. Appl., 2018
RealTime Scene Understanding Using Deep Neural Networks for RoboCup SPL.
Proceedings of the RoboCup 2018: Robot World Cup XXII [Montreal, 2018
HighLevel Executable Models of Reactive RealTime Systems with LogicLabelled FiniteState 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 ModelDriven Engineering and Software Development, 2018
Continuous Integration for Testing Full Robotic Behaviours in a GUIstripped 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
Realtime detection of shill bidding in online auctions: A literature review.
Computer Science Review, 2017
3LP: Three Layers of Protection for Individual Privacy in Facebook.
Proceedings of the ICT Systems Security and Privacy Protection, 2017
Deterministic HighLevel Executable Models Allowing Efficient Runtime Verification.
Proceedings of the ModelDriven 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 ModelDriven 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.
I. J. Social Robotics, 2016
Runtime verification of regularly expressed behavioral properties in robotic systems with logiclabeled 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 finitestate machines.
Proceedings of the 1st CPSWeek Workshop on Declarative CyberPhysical 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. Geometry Appl., 2015
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs.
CoRR, 2015
Can Online 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 OOMessages on SharedMemory 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 socialnetwork 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 LogicLabeled FiniteState 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, 2014
Correctness by Construction with LogicLabeled FiniteState Machines  Comparison with EventB.
Proceedings of the 23rd Australian Software Engineering Conference, 2014
2013
Arrangements of Finitestate Machines  Semantics, Simulation, and Model Checking.
Proceedings of the MODELSWARD 2013  Proceedings of the 1st International Conference on ModelDriven Engineering and Software Development, Barcelona, Spain, 19, 2013
Pathfinding in dynamic environments with PDDLplanners.
Proceedings of the 16th International Conference on Advanced Robotics, 2013
Module Isolation for Efficient Model Checking and its Application to FMEA in Modeldriven Engineering.
Proceedings of the ENASE 2013, 2013
Integration of Planning and Reasoning into an Architecture That Enables ModelDriven Development.
Proceedings of the Artificial Intelligence Research and Development, 2013
2012
VisualTrace Simulation of Concurrent FiniteState Machines for Validation and ModelChecking 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 AsiaPacific Software Engineering Conference, 2012
On the parameterized complexity of dominant strategies.
Proceedings of the ThirtyFifth Australasian Computer Science Conference, 2012
2011
FptAlgorithms for MinimumBends Tours.
Int. J. Comput. Geometry Appl., 2011
Exploration of Massive Crime Data Sets through Data Mining Techniques.
Applied Artificial Intelligence, 2011
The Instance Easiness of Supervised Learning for Cluster Validity.
Proceedings of the New Frontiers in Applied Data Mining, 2011
Model Checking of TransitionLabeled FiniteState 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
NPcompleteness and FPT Results for Rectilinear Covering Problems.
J. UCS, 2010
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010
Single Parameter FPTAlgorithms for Nontrivial Games.
Proceedings of the Combinatorial Algorithms  21st International Workshop, 2010
Requirements Engineering via Nonmonotonic Logics and State Diagrams.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010
Nonmonotonic Reasoning for Requirements Engineering  State Diagrams Driven by Plausible Logic.
Proceedings of the ENASE 2010, 2010
The Rectilinear kBends 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 multiparty computation of metrics and efficient privacypreserving kNN for large data sets.
Knowl. Inf. Syst., 2009
Reduction rules deliver efficient FPTalgorithms for covering points with lines.
ACM Journal of Experimental 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
PrivacyPreserving kNN 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 PrivacyPreserving Scalar Product Protocol.
Proceedings of the Data Mining and Analytics 2007, 2007
The Privacy of kNN 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 DataRich Environments.
GeoInformatica, 2006
Mobile Robots for an EMail 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(k) Kernel.
Proceedings of the Parameterized and Exact Computation, Second International Workshop, 2006
Sanitization of Databases for Refined Privacy TradeOffs.
Proceedings of the Intelligence and Security Informatics, 2006
Privacy Preserving DBSCAN 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 RealTime Unconstrained WWWCoBrowsing 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 PTime Extremal Structure I.
Proceedings of the Algorithms and Complexity in Durham 2005, 2005
2004
Local search for Hamiltonian Path with applications to clustering visitation paths.
JORS, 2004
Generating Nearly Sorted Sequences  The use of measures of disorder.
Electr. Notes Theor. Comput. Sci., 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 RepresentativeBased 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 kCut and Related Problems.
Electr. Notes Theor. Comput. Sci., 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 4Legged 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 cobrowsing.
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 Explorations, 2002
Clustering Web Visitors by Fast, Robust and Convergent Algorithms.
Int. J. Found. Comput. Sci., 2002
MultiLevel Clustering and its Visualization for Exploratory Spatial Analysis.
GeoInformatica, 2002
A Memetic Algorithm Guided by Quicksort for the ErrorCorrecting Graph Isomorphism Problem.
Proceedings of the Applications of Evolutionary Computing, 2002
2001
Robust DistanceBased 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
Noncrisp Clustering by Fast, Convergent, and Robust Algorithms.
Proceedings of the Principles of Data Mining and Knowledge Discovery, 2001
Data Structures for Minimization of Total WithinGroup Distance for Spatiotemporal 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 ACMGIS 2001, 2001
Effective and Efficient Boundarybased Clustering for ThreeDimensional Geoinformation Studies.
Proceedings of the Third International Symposium on Cooperative Database Systems and Applications, 2001
2000
On the chromatic number of tree graphs.
Discrete Mathematics, 2000
AUTOCLUST+: Automatic Clustering of PointData Sets in the Presence of Obstacles.
Proceedings of the Temporal, 2000
Fast Randomized Algorithms for Robust Estimation of Location.
Proceedings of the Temporal, 2000
Fast and Robust General Purpose Clustering Algorithms.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 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 Georeferenced 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 georeferenced 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
1998
Illumination of Orthogonal Polygons with Orthogonal Floodlights.
Int. J. Comput. Geometry Appl., 1998
Cluster Discovery Techniques for Exploratory Spatial Data Analysis.
International Journal of Geographical Information Science, 1998
Hybrid Genetic Algorithm for Solving the pMedian 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 KDimensional 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.
IEEE Computer, 1995
TwoFloodlight 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.
Discrete Applied Mathematics, 1993
An Adaptive Generic Sorting Algorithm That Uses Variable Partitioning.
Proceedings of the Computing and Information, 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
MovetoEnd is Best for DoubleLinked Lists.
Proceedings of the Computing and Information, 1992
1991
Competitiveness and Response Time in OnLine 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 WorstCase Performance.
Proceedings of the New Results and New Trends in Computer Science, 1991
1989
A New Measure of Presortedness
Inf. Comput., October, 1989