default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVladimir Estivill-Castro
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c124]Georgios Angelopoulos
, Vladimir Estivill-Castro:
Human-Robot Dialogue that Elicits The Alignment of Moral Principles For Driverless Vehicles. HRI (Companion) 2024: 196-200- 2023
- [c123]Carl Lusty, Vladimir Estivill-Castro, René Hexel:
TTWiFi: Time-Triggered WiFi for Mobile Robotics in Human Environments. WiCON 2023: 14-28 - [e5]Oscar Pedreira, Vladimir Estivill-Castro:
Similarity Search and Applications - 16th International Conference, SISAP 2023, A Coruña, Spain, October 9-11, 2023, Proceedings. Lecture Notes in Computer Science 14289, Springer 2023, ISBN 978-3-031-46993-0 [contents] - 2022
- [j34]Vladimir Estivill-Castro, Eugene Gilmore, René Hexel:
Constructing Explainable Classifiers from the Start - Enabling Human-in-the Loop Machine Learning. Inf. 13(10): 464 (2022) - [j33]Márton Szemenyei, Vladimir Estivill-Castro:
Fully neural object detection solutions for robot soccer. Neural Comput. Appl. 34(24): 21419-21432 (2022) - [c122]Vladimir Estivill-Castro, Eugene Gilmore, René Hexel:
Interpretable Decisions Trees via Human-in-the-Loop-Learning. AusDM 2022: 115-130 - [c121]Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel:
Decomposable and Executable Models for Verification of Real-Time Systems. MODELSWARD (Revised Selected Papers) 2022: 135-156 - [c120]Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel:
Verifiable Executable Models for Decomposable Real-time Systems. MODELSWARD 2022: 182-193 - 2021
- [j32]Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro:
Privacy protection of online social network users, against attribute inference attacks, through the use of a set of exhaustive rules. Neural Comput. Appl. 33(19): 12397-12427 (2021) - [j31]Misbah Javaid, Vladimir Estivill-Castro:
Explanations from a Robotic Partner Build Trust on the Robot's Decisions for Collaborative Human-Humanoid Interaction. Robotics 10(1): 51 (2021) - [c119]Darren Yates, Md Zahidul Islam, Yanchang Zhao, Richi Nayak, Vladimir Estivill-Castro, Salil S. Kanhere:
PostMatch: A Framework for Efficient Address Matching. AusDM 2021: 136-151 - [c118]Eugene Gilmore, Vladimir Estivill-Castro, René Hexel:
More Interpretable Decision Trees. HAIS 2021: 280-292 - [c117]Carl Lusty, Vladimir Estivill-Castro, René Hexel:
TTWiFi: Time-Triggered Communication over WiFi. DIVANet 2021: 35-44 - [c116]Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, René Hexel:
Enabling Modern Application Development with Swift on the Nao/Pepper Robots. RoboCup 2021: 15-27 - [c115]Vladimir Estivill-Castro, Enrique Hernández Jiménez, David F. Nettleton:
A System Dynamics Model Approach for Simulating Hyper-inflammation in Different COVID-19 Patient Scenarios. SIMULTECH 2021: 141-153 - [i4]Gábor Erdélyi, Olivia Johanna Erdélyi, Vladimir Estivill-Castro:
Randomized Classifiers vs Human Decision-Makers: Trustworthy AI May Have to Act Randomly and Society Seems to Accept This. CoRR abs/2111.07545 (2021) - 2020
- [c114]Abul Hashem Beg, Md Zahidul Islam, Vladimir Estivill-Castro:
HeMI ++: A Genetic Algorithm based Clustering Technique for Sensible Clusters. CEC 2020: 1-8 - [c113]David F. Nettleton, Vladimir Estivill-Castro, Enrique Hernández Jiménez:
Multi-agent Modeling Simulation of In-vitro T-cells for Immunologic Alternatives to Cancer Treatment. ICAART (1) 2020: 169-178 - [c112]Vladimir Estivill-Castro, Eugene Gilmore, René Hexel:
Constructing Interpretable Decision Trees Using Parallel Coordinates. ICAISC (2) 2020: 152-164 - [c111]Mohammad Awrangjeb, Jardel das C. Rodrigues, Bela Stantic, Vladimir Estivill-Castro:
A fair comparison of the EEG signal classification methods for alcoholic subject identification. IVCNZ 2020: 1-6 - [c110]Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth:
Verification and Simulation of Time-Domain Properties for Models of Behaviour. MODELSWARD (Revised Selected Papers) 2020: 225-249 - [c109]Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth:
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. MODELSWARD 2020: 287-298 - [c108]Vladimir Estivill-Castro, Eugene Gilmore, René Hexel:
Human-In-The-Loop Construction of Decision Tree Classifiers with Parallel Coordinates. SMC 2020: 3852-3859 - [i3]Abul Hashem Beg, Md Zahidul Islam, Vladimir Estivill-Castro:
Tree Index: A New Cluster Evaluation Technique. CoRR abs/2003.10841 (2020)
2010 – 2019
- 2019
- [j30]David F. Nettleton, Vladimir Estivill-Castro, Julián Salas:
Privacy in Multiple On-line Social Networks - Re-identification and Predictability. Trans. Data Priv. 12(1): 29-56 (2019) - [c107]Vladimir Estivill-Castro, Alessandro Marani:
Towards the Ranking of Web-pages for Educational Purposes. CSEDU (1) 2019: 47-54 - [c106]Vladimir Estivill-Castro, Matteo Lombardi, Alessandro Marani:
Panel of Attribute Selection Methods to Rank Features Drastically Improves Accuracy in Filtering Web-pages Suitable for Education. CSEDU (2) 2019: 48-57 - [c105]Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro:
Protection of User-Defined Sensitive Attributes on Online Social Networks Against Attribute Inference Attack via Adversarial Data Mining. ICISSP (Revised Selected Papers) 2019: 230-249 - [c104]Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro:
Privacy Preservation of Social Network Users Against Attribute Inference Attacks via Malicious Data Mining. ICISSP 2019: 412-420 - [c103]Vladimir Estivill-Castro, René Hexel:
Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour. MODELSWARD 2019: 49-61 - [c102]Vladimir Estivill-Castro, René Hexel:
The Understandability of Models for Behaviour. MODELSWARD (Revised Selected Papers) 2019: 50-75 - [c101]Misbah Javaid, Vladimir Estivill-Castro, René Hexel:
Knowledge-Based Robotic Agent as a Game Player. PRICAI (3) 2019: 322-336 - [c100]Vladimir Estivill-Castro:
Inviting Teachers to Use Educational Robotics to Foster Mathematical Problem-Solving. RiE 2019: 248-261 - [c99]Márton Szemenyei, Vladimir Estivill-Castro:
ROBO: Robust, Fully Neural Object Detection for Robot Soccer. RoboCup 2019: 309-322 - [i2]Márton Szemenyei, Vladimir Estivill-Castro:
ROBO: Robust, Fully Neural Object Detection for Robot Soccer. CoRR abs/1910.10949 (2019) - 2018
- [j29]Md Zahidul Islam, Vladimir Estivill-Castro, Md Anisur Rahman, Terry Bossomaier:
Combining K-Means and a genetic algorithm through a novel arrangement of genetic operators for high quality clustering. Expert Syst. Appl. 91: 402-417 (2018) - [c98]Vladimir Estivill-Castro, Matteo Lombardi, Alessandro Marani:
Improving binary classification of web pages using an ensemble of feature selection algorithms. ACSW 2018: 17:1-17:10 - [c97]Vladimir Estivill-Castro, René Hexel, Carl Lusty:
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation. MoDELS (Workshops) 2018: 453-464 - [c96]Vladimir Estivill-Castro, René Hexel:
Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems. MODELSWARD 2018: 364-371 - [c95]Vladimir Estivill-Castro, René Hexel, Morgan McColl:
High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs. ReConFig 2018: 1-8 - [c94]Márton Szemenyei, Vladimir Estivill-Castro:
Real-Time Scene Understanding Using Deep Neural Networks for RoboCup SPL. RoboCup 2018: 96-108 - 2017
- [j28]Nazia Majadi, Jarrod Trevathan, Heather Gray, Vladimir Estivill-Castro, Neil Bergmann:
Real-time detection of shill bidding in online auctions: A literature review. Comput. Sci. Rev. 25: 1-18 (2017) - [c93]Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro:
Social media users' privacy against malicious data miners. ISKE 2017: 1-8 - [c92]Vladimir Estivill-Castro, René Hexel:
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems. MODELSWARD 2017: 29-40 - [c91]Vladimir Estivill-Castro, René Hexel:
Deterministic High-Level Executable Models Allowing Efficient Runtime Verification. MODELSWARD (Revised Selected Papers) 2017: 119-144 - [c90]Khondker Jahid Reza, Md Zahidul Islam, Vladimir Estivill-Castro:
3LP: Three Layers of Protection for Individual Privacy in Facebook. SEC 2017: 108-123 - 2016
- [j27]Wendy Moyle, Cindy Jones, Billy Sung, Marguerite Bramble, Siobhan T. O'Dwyer, Michael Blumenstein, Vladimir Estivill-Castro:
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 8(1): 145-156 (2016) - [j26]Abul Hashem Beg, Md Zahidul Islam, Vladimir Estivill-Castro:
Genetic algorithm with healthy population and multiple streams sharing information for clustering. Knowl. Based Syst. 114: 61-78 (2016) - [c89]Vladimir Estivill-Castro, Mahdi Parsa:
Hardness and tractability of detecting connected communities. ACSW 2016: 25 - [c88]Vladimir Estivill-Castro, René Hexel, Alberto Ramirez Regalado:
Architecture for logic programing with arrangements of finite-state machines. DCPS 2016: 1-8 - [c87]Vladimir Estivill-Castro, Carla Limongelli, Matteo Lombardi, Alessandro Marani:
DAJEE: A Dataset of Joint Educational Entities for Information Retrieval in Technology Enhanced Learning. SIGIR 2016: 681-684 - [c86]Vladimir Estivill-Castro, René Hexel:
Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines. SIMPAR 2016: 281-288 - 2015
- [j25]Vladimir Estivill-Castro:
Is It FPT to Cover Points with Tours on Minimum Number of Bends (Errata)? Int. J. Comput. Geom. Appl. 25(1): 11-14 (2015) - [c85]Vladimir Estivill-Castro, David F. Nettleton:
Privacy Tips: Would it be ever possible to empower online social-network users to control the confidentiality of their data? ASONAM 2015: 1449-1456 - [c84]Vladimir Estivill-Castro, René Hexel, Josh Stover:
Modeling, Validation, and Continuous Integration of Software Behaviours for Embedded Systems. EMS 2015: 89-95 - [c83]Vladimir Estivill-Castro, René Hexel:
Simple, Not Simplistic - The Middleware of Behaviour Models. ENASE 2015: 189-196 - [c82]Dimitri Joukoff, Vladimir Estivill-Castro, René Hexel, Carl Lusty:
Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware. RiTA 2015: 195-211 - [c81]Vladimir Estivill-Castro, David F. Nettleton:
Can On-line Social Network Users Trust That What They Designated as Confidential Data Remains So? TrustCom/BigDataSE/ISPA (1) 2015: 966-973 - [i1]Yi Fan, Chengqian Li, Zongjie Ma, Ljiljana Brankovic, Vladimir Estivill-Castro, Abdul Sattar:
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs. CoRR abs/1509.05870 (2015) - 2014
- [c80]Vladimir Estivill-Castro, René Hexel:
Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B. Australian Software Engineering Conference 2014: 38-47 - [c79]Vladimir Estivill-Castro, Peter Hough, Md Zahidul Islam:
Empowering users of social networks to assess their privacy risks. IEEE BigData 2014: 644-649 - [c78]Vladimir Estivill-Castro, René Hexel, Carl Lusty:
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines. SIMPAR 2014: 182-194 - 2013
- [c77]Vladimir Estivill-Castro:
Integration of Planning and Reasoning into an Architecture That Enables Model-Driven Development. CCIA 2013: 3-4 - [c76]Vladimir Estivill-Castro, René Hexel:
Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. ENASE 2013: 218-225 - [c75]Vladimir Estivill-Castro, Jonathan Ferrer-Mestres:
Path-finding in dynamic environments with PDDL-planners. ICAR 2013: 1-7 - [c74]Vladimir Estivill-Castro, René Hexel:
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. MODELSWARD 2013: 182-189 - 2012
- [c73]Vladimir Estivill-Castro, Mahdi Parsa:
On the parameterized complexity of dominant strategies. ACSC 2012: 21-26 - [c72]Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth:
Efficient Modelling of Embedded Software Systems and their Formal Verification. APSEC 2012: 428-433 - [c71]Robert Coleman, Vladimir Estivill-Castro, René Hexel, Carl Lusty:
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. SIMPAR 2012: 52-64 - 2011
- [j24]Ickjai Lee, Vladimir Estivill-Castro:
Exploration of Massive Crime Data Sets through Data Mining Techniques. Appl. Artif. Intell. 25(5): 362-379 (2011) - [j23]Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera:
Fpt-Algorithms for Minimum-Bends Tours. Int. J. Comput. Geom. Appl. 21(2): 189-213 (2011) - [c70]Vladimir Estivill-Castro, Brendan Bartlett:
Image Capture for Concrete Programming - Building Schemata for Problem Solving. CSEDU (1) 2011: 56-68 - [c69]Vladimir Estivill-Castro, David A. Rosenblueth:
Model Checking of Transition-Labeled Finite-State Machines. FGIT-ASEA/DRBC/EL 2011: 61-73 - [c68]Vladimir Estivill-Castro:
The Instance Easiness of Supervised Learning for Cluster Validity. PAKDD Workshops 2011: 197-208 - 2010
- [j22]Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera:
NP-completeness and FPT Results for Rectilinear Covering Problems. J. Univers. Comput. Sci. 16(5): 622-652 (2010) - [c67]Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera:
The Rectilinear k-Bends TSP. COCOON 2010: 264-277 - [c66]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE 2010: 68-77 - [c65]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Requirements Engineering via Non-monotonic Logics and State Diagrams. ENASE (Selected Papers) 2010: 121-135 - [c64]Vladimir Estivill-Castro, Mahdi Parsa:
Single Parameter FPT-Algorithms for Non-trivial Games. IWOCA 2010: 121-124 - [c63]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR 2010: 204-216
2000 – 2009
- 2009
- [j21]Vladimir Estivill-Castro, Apichat Heednacram, Francis Suraweera:
Reduction rules deliver efficient FPT-algorithms for covering points with lines. ACM J. Exp. Algorithmics 14 (2009) - [j20]Artak Amirbekyan, Vladimir Estivill-Castro:
Practical protocol for Yao's millionaires problem enables secure multi-party computation of metrics and efficient privacy-preserving k-NN for large data sets. Knowl. Inf. Syst. 21(3): 327-363 (2009) - [c62]Vladimir Estivill-Castro, Mahdi Parsa:
Computing Nash Equilibria Gets Harder: New Results Show Hardness Even for Parameterized Complexity. CATS 2009: 81-87 - [c61]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Architecture for Hybrid Robotic Behavior. HAIS 2009: 145-156 - [r1]Kirsten Wahlstrom, John F. Roddick, Rick Sarre, Vladimir Estivill-Castro, Denise de Vries:
Legal and Technical Issues of Privacy Preservation in Data Mining. Encyclopedia of Data Warehousing and Mining 2009: 1158-1163 - 2007
- [j19]Kyungmi Lee, Vladimir Estivill-Castro:
Feature extraction and gating techniques for ultrasonic shaft signal classification. Appl. Soft Comput. 7(1): 156-165 (2007) - [c60]Joel Fenwick, Vladimir Estivill-Castro:
Mutually Visible Agents in a Discrete Environment. ACSC 2007: 141-150 - [c59]Artak Amirbekyan, Vladimir Estivill-Castro:
The Privacy of k-NN Retrieval for Horizontal Partitioned Data -- New Methods and Applications. ADC 2007: 33-42 - [c58]Artak Amirbekyan, Vladimir Estivill-Castro:
A New Efficient Privacy-Preserving Scalar Product Protocol. AusDM 2007: 209-214 - [c57]Artak Amirbekyan, Vladimir Estivill-Castro:
Privacy-Preserving k-NN for Small and Large Data Sets. ICDM Workshops 2007: 699-704 - [c56]Vladimir Estivill-Castro, Ahmed HajYasien:
Fast Private Association Rule Mining by A Protocol for Securely Sharing Distributed Data. ISI 2007: 324-330 - 2006
- [j18]Ickjai Lee, Vladimir Estivill-Castro:
Fast Cluster Polygonization and its Applications in Data-Rich Environments. GeoInformatica 10(4): 399-422 (2006) - [c55]Ahmed HajYasien, Vladimir Estivill-Castro:
Two New Techniques for Hiding Sensitive Itemsets and Their Empirical Evaluation. DaWaK 2006: 302-311 - [c54]Artak Amirbekyan, Vladimir Estivill-Castro:
Privacy Preserving DBSCAN for Vertically Partitioned Data. ISI 2006: 141-153 - [c53]Ahmed HajYasien, Vladimir Estivill-Castro, Rodney W. Topor:
Sanitization of Databases for Refined Privacy Trade-Offs. ISI 2006: 522-528 - [c52]Kevin Burrage, Vladimir Estivill-Castro, Michael R. Fellows, Michael A. Langston, Shev Mac, Frances A. Rosamond:
The Undirected Feedback Vertex Set Problem Has a Poly(k) Kernel. IWPEC 2006: 192-202 - [c51]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Using Temporal Consistency to Improve Robot Localisation. RoboCup 2006: 232-244 - [c50]Vladimir Estivill-Castro, Stuart Seymon:
Mobile Robots for an E-Mail Interface for People Who Are Blind. RoboCup 2006: 338-346 - [e4]Vladimir Estivill-Castro, Gillian Dobbie:
Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006. CRPIT 48, Australian Computer Society 2006, ISBN 1-920682-30-9 [contents] - 2005
- [c49]Vladimir Estivill-Castro, Michael R. Fellows, Michael A. Langston, Frances A. Rosamond:
FPT is P-Time Extremal Structure I. ACiD 2005: 1-41 - [c48]Joel Fenwick, Vladimir Estivill-Castro:
Optimal Paths for Mutually Visible Agents. ISAAC 2005: 869-881 - [c47]Maria Aneiros, Vladimir Estivill-Castro:
Usability of Real-Time Unconstrained WWW-Co-Browsing for Educational Settings. Web Intelligence 2005: 105-111 - [e3]Vladimir Estivill-Castro:
Computer Science 2005, Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, NSW, Australia, January/February 2005. CRPIT 38, Australian Computer Society 2005, ISBN 1-920682-20-1 [contents] - 2004
- [j17]Vladimir Estivill-Castro, Jianhua Yang:
Fast and Robust General Purpose Clustering Algorithms. Data Min. Knowl. Discov. 8(2): 127-150 (2004) - [j16]Rodolfo Torres-Velázquez, Vladimir Estivill-Castro:
Local search for Hamiltonian Path with applications to clustering visitation paths. J. Oper. Res. Soc. 55(7): 737-748 (2004) - [c46]Brendan Bartlett, Vladimir Estivill-Castro, Stuart Seymon:
Dogs or Robots - Why do Children See Them as Robotic Pets Rather Than Canine Machines? AUIC 2004: 7-14 - [c45]Kyungmi Lee, Vladimir Estivill-Castro:
A Hybrid Classification Approach to Ultrasonic Shaft Signals. Australian Conference on Artificial Intelligence 2004: 284-295 - [c44]Vladimir Estivill-Castro:
Private Representative-Based Clustering for Vertically Partitioned Data. ENC 2004: 160-167 - [c43]Kyungmi Lee, Vladimir Estivill-Castro:
Classification Ensembles for Shaft Test Data: Empirical Evaluation. HIS 2004: 304-309 - [c42]Kyungmi Lee, Vladimir Estivill-Castro:
Support Vector Machine Classification of Ultrasonic Shaft Inspection Data Using Discrete Wavelet Transform. IC-AI 2004: 848-854 - [c41]Nathan Lovell, Vladimir Estivill-Castro:
A Descriptive Language for Flexible and Robust Object Recognition. RoboCup 2004: 540-547 - [c40]Vladimir Estivill-Castro:
Generating Nearly Sorted Sequences - The use of measures of disorder. CATS 2004: 56-95 - [e2]Vladimir Estivill-Castro:
Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004. CRPIT 26, Australian Computer Society 2004, ISBN 1-920682-05-8 [contents] - 2003
- [c39]Vladimir Estivill-Castro, Jianhua Yang:
Cluster Validity Using Support Vector Machines. DaWaK 2003: 244-256 - [c38]Maria Aneiros, Vladimir Estivill-Castro, Chengzheng Sun:
Group unified histories an instrument for productive unconstrained co-browsing. GROUP 2003: 330-338 - [c37]