Остановите войну!
for scientists:
default search action
Vladimir Estivill-Castro
Publications
- 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) - [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 - [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 - [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) - 2019
- [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 - 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) - [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 - 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
- [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) - [c88]Vladimir Estivill-Castro, René Hexel, Alberto Ramirez Regalado:
Architecture for logic programing with arrangements of finite-state machines. DCPS 2016: 1-8 - [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
- [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 - [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
- [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 - [c74]Vladimir Estivill-Castro, René Hexel:
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. MODELSWARD 2013: 182-189 - 2012
- [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
- [c69]Vladimir Estivill-Castro, David A. Rosenblueth:
Model Checking of Transition-Labeled Finite-State Machines. FGIT-ASEA/DRBC/EL 2011: 61-73 - 2010
- [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 - [c63]David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock:
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR 2010: 204-216 - 2009
- [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
- [c56]Vladimir Estivill-Castro, Ahmed HajYasien:
Fast Private Association Rule Mining by A Protocol for Securely Sharing Distributed Data. ISI 2007: 324-330 - 2006
- [c55]Ahmed HajYasien, Vladimir Estivill-Castro:
Two New Techniques for Hiding Sensitive Itemsets and Their Empirical Evaluation. DaWaK 2006: 302-311 - [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 - [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 - [c47]Maria Aneiros, Vladimir Estivill-Castro:
Usability of Real-Time Unconstrained WWW-Co-Browsing for Educational Settings. Web Intelligence 2005: 105-111 - 2003
- [c38]Maria Aneiros, Vladimir Estivill-Castro, Chengzheng Sun:
Group unified histories an instrument for productive unconstrained co-browsing. GROUP 2003: 330-338 - [c34]Maria Aneiros, Vladimir Estivill-Castro:
Foundations of Unconstrained Collaborative Web Browsing with Awareness. Web Intelligence 2003: 18-25 - [c33]Rodney G. Downey, Vladimir Estivill-Castro, Michael R. Fellows, Elena Prieto-Rodriguez, Frances A. Rosamond:
Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems. CATS 2003: 209-222 - 2001
- [j12]Vladimir Estivill-Castro, Michael E. Houle:
Robust Distance-Based Clustering with Applications to Spatial Data Mining. Algorithmica 30(2): 216-242 (2001) - [c26]Vladimir Estivill-Castro, Michael E. Houle:
Data Structures for Minimization of Total Within-Group Distance for Spatio-temporal Clustering. PKDD 2001: 91-102 - 2000
- [j11]Vladimir Estivill-Castro, Marc Noy, Jorge Urrutia:
On the chromatic number of tree graphs. Discret. Math. 223(1-3): 363-366 (2000) - [c21]Vladimir Estivill-Castro, Michael E. Houle:
Fast Randomized Algorithms for Robust Estimation of Location. TSDM 2000: 77-88 - [e1]Ding-Zhu Du, Peter Eades, Vladimir Estivill-Castro, Xuemin Lin, Arun Sharma:
Computing and Combinatorics, 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000, Proceedings. Lecture Notes in Computer Science 1858, Springer 2000, ISBN 3-540-67787-9 [contents] - 1999
- [c19]Vladimir Estivill-Castro, Michael E. Houle:
Robust Clustering of Large Data Sets with Categorial Attributes. Australasian Database Conference 1999: 165-176 - [c17]Vladimir Estivill-Castro, Ljiljana Brankovic:
Data Swapping: Balancing Privacy against Precision in Mining for Logic Rules. DaWaK 1999: 389-398 - [c16]Vladimir Estivill-Castro, Michael E. Houle:
Robust Clustering of Large Geo-referenced Data Sets. PAKDD 1999: 327-337 - 1998
- [j9]James Abello, Vladimir Estivill-Castro, Thomas C. Shermer, Jorge Urrutia:
Illumination of Orthogonal Polygons with Orthogonal Floodlights. Int. J. Comput. Geom. Appl. 8(1): 25-38 (1998) - 1995
- [j6]Vladimir Estivill-Castro, Joseph O'Rourke, Jorge Urrutia, Dianna Xu:
Illumination of Polygons with Vertex Lights. Inf. Process. Lett. 56(1): 9-13 (1995) - [c11]Danny Z. Chen, Vladimir Estivill-Castro, Jorge Urrutia:
Optimal guarding of polygons and monotone chains. CCCG 1995: 133-138 - [c10]James Abello, Vladimir Estivill-Castro, Thomas C. Shermer, Jorge Urrutia:
Illumination with Orthogonal Floodlights. ISAAC 1995: 362-371 - [c9]Vladimir Estivill-Castro, Jorge Urrutia:
Two-Floodlight Illumination of Convex Polygons. WADS 1995: 62-73 - 1994
- [c8]Vladimir Estivill-Castro, Jorge Urrutia:
Optimal Floodlight Illumination of Orthogonal Art Galleries. CCCG 1994: 81-86
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint