Subject area for
-
Faculty Member
- A/PROF Harald Sondergaard Faculty Member
- A/PROF Michael Kirley Faculty Member
- DR Jason Li Faculty Member
- DR Miquel Ramirez Javega
- MR Christopher Ryan
- MR Emir Demirovic
- PROF Christopher Leckie Faculty Member
- PROF Liz Sonenberg Faculty Member
- PROF Peter Stuckey Faculty Member
- PROF Tim Baldwin Faculty Member
-
Authored Research Books
-
Conference Papers Refereed
- #(sic)SAT: Projected Model Counting
- #ISISisNotIslam or #DeportAllMuslims? Predicting Unspoken Views
- A Bayesian Classifier for Learning from Tensorial Data
- A Classification Schema for Fast Disambiguation of Spatial Prepositions
- A Constraint Programming Approach for Non-preemptive Evacuation Scheduling
- A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects
- A Memetic Cooperative Co-evolution Model for Large Scale Continuous Optimization
- A Multi-agent Based Migration Model for Evolving Cooperation in the Spatial N-Player Snowdrift Game
- A Multi-stage Hierarchical Window Model with Application to Real-Time Graph Analysis
- A Semantics-Enhanced Language Model for Unsupervised Word Sense Disambiguation
- A Stacking-based Approach to Twitter User Geolocation Prediction
- A State-Transition DBN for Management of Willows in an American Heritage River Catchment
- A declarative approach to constrained community detection
- A multicore tool for constraint solving
- A multiple population XCS: Evolving condition-action rules based on feature space partitions
- A new hierarchical agent protocol notation: JAAMAS track
- A novel approach to string constraint solving
- A polynomial planning algorithm that beats lama and FF
- A preliminary comparison of job, talent, and web search
- A probabilistic rating auto-encoder for personalized recommender systems
- A robust algorithm for foreground extraction in crowded scenes
- A word embedding approach to predicting the compositionality of multiword expressions
- A.M.B.E.R. shark-Fin: An unobtrusive affective mouse
- ANTIDOTE: Understanding and Defending against Poisoning of Anomaly Detectors
- Accurate Language Identification of Twitter Messages
- Accurate evaluation of segment-level machine translation metrics
- Action recognition using space-time shape difference images
- Adaptive Risk Aversion in Social Dilemmas
- Adaptive bidding for display advertising
- Agent design consistency checking via planning
- An Argumentation-Based Interpreter for Golog Programs
- An Efficient Visual Assessment of Cluster Tendency Tool for Large-scale Time Series Data Sets
- An Embedding Scheme for Detecting Anomalous Block Structured Graphs
- An Empirical Evaluation of doc2vec with Practical Insights into Document Embedding Generation
- An Improved Scheme for Privacy-Preserving Collaborative Anomaly Detection
- An empirical evaluation of portfolios approaches for solving CSPs
- An enhanced features extractor for a portfolio of constraint solvers
- Analysing Virtual Machine Usage in Cloud Computing
- Anomalous Behavior Detection in Crowded Scenes Using Clustering and Spatio-Temporal Features
- Anomaly Detection by Clustering Ellipsoids in Wireless Sensor Networks
- Anomaly Detection in Non-stationary Data: Ensemble based Self-Adaptive OCSVM
- Applications of Class-Conditional Conformal Predictor in Multi-Class Classification
- Applying a Word-sense Induction System to the Automatic Extraction of Diverse Dictionary Examples
- Approximate uni-directional benders decomposition
- Automated segmentation of multiple sclerosis lesion in intensity enhanced flair MRI using texture features and support vector machine
- Automatic Labelling of Topic Models Using Word Vectors and Letter Trigram Vectors
- Automatic detection of retinal vascular landmark features for colour fundus image matching and patient longitudinal study
- Automatic identification of locative expressions from social media text: A comparative analysis
- Belief update for proper epistemic knowledge bases
- Best-first width search: Exploration and exploitation in classical planning
- Big Data Small Data, In Domain Out-of Domain, Known Word Unknown Word: The Impact of Word Representations on Sequence Labelling Tasks
- Body area wireless sensor networks for the analysis of cycling performance
- Breaking Symmetries in Graphs: The Nauty Way
- Breaking symmetries in graph representation
- Building Detection from Multispectral Imagery and LIDAR Data Employing a Threshold-free Evaluation System
- Building a corpus of spatial relational expressions extracted from web documents
- CRNN: A Joint Neural Network for Redundancy Detection
- Checking the Conformance of Requirements in Agent Designs Using ATL
- Classical Planning Algorithms on the Atari Video Games: Preliminary Results
- Classical Planning with Simulators: Results on the Atari Video Games
- Collective document classification with implicit inter-document semantic relationships
- Combining real and virtual graphs to enhance data clustering
- Communication in human-agent teams for tasks with joint action
- Constructing a Phenomenal Corpus: Towards Detecting Linguistic Phenomena in Precision Grammars
- Consumer Radar: Opportunities and Challenges
- Cooperative Co-evolution with online optimizer selection for large-scale optimization
- Coordination Using Social Policies in Dynamic Agent Organizations
- DPISVM: A Dynamic Planar One-Class Support Vector Machine for Internet of Things Environment
- Deep learning based game-theoretical approach to evade jamming attacks
- Density biased sampling with locality sensitive hashing for outlier detection
- Designing for Planned Emergence in Multi-agent Systems
- Detecting location-centric communities using social-spatial links with temporal constraints
- Detecting misflagged duplicate questions in community question-answering archives
- Detecting non-compositional MWE components using wiktionary
- Development of a smartboltTM prototype with energy model for clustered sensor systems
- Discovering the Impact of Urban Traffic Interventions Using Contrast Mining on Vehicle Trajectory Data
- Discriminative Concept Learning Network: Reveal High-level Differential Concepts from Shallow Architecture
- Distributed detection of zero-day network traffic flows
- Domain Adaption of Named Entity Recognition to Support Credit Risk Assessment
- Efficient spatio-temporal tactile object recognition with randomized tiling convolutional networks in a hierarchical fusion strategy
- Emergence of competitive control in a memristor-based neuromorphic circuit
- Encoding actions via quantized vocabulary of averaged silhouettes
- Evaluating a topic modelling approach to measuring corpus similarity
- Evaluating hypotheses in geolocation on a very large sample of Twitter
- Event-based Optimization of Air-to-Air Business Processes
- Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
- Exploiting Sparsity in Difference-Bound Matrices
- Exploiting Term Relations for Semantic Hierarchy Construction
- Exploring Methods and Resources for Discriminating Similar Languages
- FS-XCS vs. GRD-XCS: An analysis using high-dimensional DNA microarray gene expression data sets
- Fair LTL Synthesis for Non-Deterministic Systems Using Strong Cyclic Planners
- Fast and simple semantic class assignment for biomedical text
- Feature Selection for SUNNY: a Study on the Algorithm Selection Library
- Fragment-Based Planning Using Column Generation
- From graphs to events: a subgraph matching approach for information extraction from biomedical text
- GPU-accelerated eXtended Classifier System
- Graph stream mining based anomalous event analysis
- Handling non-local dead-ends in agent planning programs
- Huntsville, hospitals, and hockey teams: Names can reveal your location
- Image constrained blockmodelling: A constraint programming approach
- Image retrieval and Web 2.0 - Where can we go from here?
- Imitation vs evolution: Analysing the effects of strategy update mechanisms in N-player social dilemmas
- Improved Feature Transformations for Classification Using Density Estimation
- Improved classification of known and unknown network traffic flows using semi-supervised machine learning
- Improving Location Prediction using a Social Historical Model with Strict Recency Context
- Improving Personalized Trip Recommendation by Avoiding Crowds
- Inductive Definitions in Constraint Programming
- Knowing Whether in proper epistemic knowledge bases
- LEARNING DICTIONARIES FROM CORRELATED DATA: APPLICATION TO FMRI DATA ANALYSIS
- LSHiForest: A Generic Framework for Fast Tree Isolation based Ensemble Anomaly Analysis
- Lagrangian constrained clustering
- Large-Scale Strategic Games and Adversarial Machine Learning
- Learning Efficiently- The Deep CNNs-Tree Network
- Learning Robust Representations of Text
- Learning word sense distributions, detecting unattested senses and identifying novel senses using topic models
- Leveraging Gene Ontology Annotations to Improve a Memory-Based Language Understanding System
- Link prediction by de-anonymization: How We Won the Kaggle Social Network Challenge
- Local Outlier Detection for Data Streams in Sensor Networks: Revisiting the Utility Problem Invited Paper
- Local search for a cargo assembly planning problem
- MEA: A metapopulation evolutionary algorithm for multi-objective optimisation problems
- Machine Reading Tea Leaves: Automatically Evaluating Topic Coherence and Topic Model Quality
- Machine learning and constraint programming for relational-to-ontology schema mapping
- Markov Random Field-based Parcellation of the Cerebral Cortex: Application to Histology Images
- Measuring Agreement on Linguistic Expressions in Medical Treatment Scenarios
- Measuring behavioural change of players in public goods game
- Melbourne at SemEval 2016 task 11: Classifying type-level word complexity using random forests with corpus and word list features
- Melbourne language technology group microblog track report
- MiniZinc with Functions
- MiniZinc with Strings
- Modelling with Option Types in MiniZinc
- Multi-modal biometric emotion recognition using classifier ensembles
- Near-Optimal Evasion of Convex-Inducing Classifiers
- Non-Local Noise Estimation for Adaptive Image Denoising
- Non-Protruding Hazard Detection for the Aged Vision-Impaired
- Novel Similarity Measure for Interval-Valued Data Based on Overlapping Ratio
- Novel word-sense identification
- On the Complexity of Global Scheduling Constraints under Structural Restrictions
- On the selection of decomposition methods for large scale fully non-separable problems
- One Sense per Tweeter ... and Other Lexical Semantic Tales of Twitter
- Online Clustering for Evolving Data Streams with Online Anomaly Detection
- Optimization of an energy harvesting buoy for coral reef monitoring
- Pairwise webpage coreference classification using distant supervision
- Parametric subspace analysis for dimensionality reduction and classification
- Parking Availability Prediction for Sensor-Enabled Car Parks in Smart Cities
- Pattern Learning through Distant Supervision for Extraction of Protein-Residue Associations in the Biomedical Literature
- Pedestrian Behaviour Analysis Using the Microsoft Kinect
- Performance measures and particle swarm methods for dynamic multi-objective optimization problems
- Personalized Itinerary Recommendation with Queuing Time Awareness
- Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations
- Planning for Mining Operations with Time and Resource Constraints
- Planning for a single agent in a multi-agent environment using FOND
- Portfolio approaches for constraint optimization problems
- Predicting complex activities from ongoing multivariate time series
- Privacy-Preserving Aggregation of Smart Metering via Transformation and Encryption
- Privacy-Preserving Collaborative Deep Learning with Application to Human Activity Recognition
- Purely declarative action representations are overrated: Classical planning with simulators
- R1SVM: A randomised nonlinear approach to large-scale anomaly detection
- Randomized Significance Tests in Machine Translation
- Range-Consistent Forbidden Regions of Allen's Relations
- Real-time UAV maneuvering via automated planning in simulations
- Recoverable Team Formation: Building Teams Resilient to Change
- Recovering HRFs from overlapping ROIs in fMRI data using thresholding correlations for sparse dictionary learning
- Representing Topics Labels for Exploring Digital Libraries
- Robust domain generalisation by enforcing distribution invariance
- RoseMerry: A Baseline Message-level Sentiment Classification System
- Rotational motion estimation from ISAR data using frame processing structure
- SUNNY for algorithm selection: A preliminary study
- SUNNY-CP: a Sequential CP Portfolio Solver
- Scalable Local-Recoding Anonymization using Locality Sensitive Hashing for Big Data Privacy Preservation
- Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study
- Search Result Personalization in Twitter Using Neural Word Embeddings
- Seeing Around Corners: Fast Orthogonal Connector Routing
- Sequence Effects in Crowdsourced Annotations
- Sequencing operator counts
- Sequencing operator counts
- Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers
- Shared Tasks of the 2015Workshop on Noisy User-generated Text: Twitter Lexical Normalization and Named Entity Recognition
- Simplifying the bacteria foraging optimization algorithm
- Situation Calculus-Based Programs for Representing and Reasoning about Game Structures
- Smart sampling: A novel unsupervised boosting approach for outlier detection
- Social media: Friend or foe of natural language processing?
- Social planning for social HRI
- Solution-based phase saving for CP: A value-selection heuristic to simulate local search behavior in complete solvers
- Solver independent rotating workforce scheduling
- Solver-independent large neighbourhood search
- Sparse Dictionary Learning for fMRI Analysis using Autocorrelation Maximization
- Spatial partitioning of large urban road networks
- Stochastic MiniZinc
- Straggler Mitigation for Distributed Behavioral Simulation
- Structural damage identification using power spectral density and an evolutionary algorithm
- Substantiating quality goals with field data for socially-oriented requirements engineering
- Summarizing Significant Changes in Network Traffic Using Contrast Pattern Mining
- Swarming with logic
- Symmetries and Lazy Clause Generation
- Synchronous games in the situation calculus
- Target tracking using range and RCS measurements in a MIMO radar network
- Test suite design for ontology concept recognition systems
- Testing for significance of increased correlation with human judgment
- The Impact of Multiword Expression Compositionality on Machine Translation Evaluation
- The company they keep: Extracting Japanese neologisms using language patterns
- The effects of varying population density in a fine-grained parallel genetic algorithm
- The electric field system of a macular ion channel plaque
- Towards adaptation of linguistic annotations to scholarly annotation formalisms on the semantic web
- Towards automatic large-scale curation of genomic variation: improving coverage based on supplementary material
- Towards next generation touring: Personalized group tours
- Trajectory Pattern Identification and Anomaly Detection of Pedestrian Flows Based on Visual Clustering
- Transforming Situation Calculus Action Theories for Optimised Reasoning
- UNIMELB at SemEval-2016 tasks 4A and 4B: An ensemble of neural networks and a word2vec based model for sentiment classification
- UNSUPERVISED DETRENDING TECHNIQUE USING SPARSE DICTIONARY LEARNING FOR fMRI PREPROCESSING AND ANALYSIS
- Understanding Engagement with Insurgents through Retweet Rhetoric
- UniMelb at SemEval-2016 task 3: Identifying similar questions by combining a CNN with string similarity measures
- Unsupervised Parameter Estimation for One-Class Support Vector Machines
- Using Distributional Similarity of Multi-way Translations to Predict Multiword Expression Compositionality
- Using SenseCam images to assess the environment
- VectorWeavers at SemEval-2016 task 10: From incremental meaning to semantic unit
- Virtual Machine Provisioning Based on Analytical Performance and QoS in Cloud Computing Environments
- Visualization and Language Processing for Supporting Analysis across the Biomedical Literature
- Why CP Portfolio Solvers Are (under) Utilized? Issues and Challenges
- Width and Serialization of Classical Planning Problems
- clusiVAT: A Mixed Visual/Numerical Clustering Algorithm for Big Data
-
Conference Papers Unrefereed
-
Conference Proceedings
-
Contract
- A 3D VISION SPAD SOC FOR AUTONOMOUS UAVS IN A 3D INTEGRATED PROCESS
- A PROGRESSIVE STUDY OF USER AND SENSOR MODELS FOR MONITORING AND ASSISTING ELDERLY PEOPLE, FOCUSING ON THE VISUALLY
- ACADEMIC CENTRES OF CYBER SECURITY EXCELLENCE (ACCSE) PROGRAM
- AMSI INTERN PROGRAM - PASAN KARUNARATNE
- AMSI Internship for Afshin Rahimi with UoM & Telstra
- AMSI Internship for Bahar Salehi with UoM & Telstra
- CERA2017 - Co-operative Simultaneous Localisation and Mappling (SLAM) for a Team of Unmanned Defence Platfroms (48 - RMIT)
- Center for the Science of Science & Innovation Policy (CSSIP) and Spanish Foundation for Science and Technology (FECYT)
- Center for the Science of Science & Innovation Policy (CSSIP) and Spanish Foundation for Science and Technology (FECYT)
- MODELLING AND SIMULATION OF SELF-ORGANISED BEHAVIOUR IN BIOLOGICAL AND BIO-INSPIRED SYSTEMS
- Multi-Objective Reinforcement Learning in Dynamic Team Based Adversarial Games (RHD Grant - Federation)
- OCEANIA CYBER SECURITY CENTRE
- Parallelization of Lazy Clause Generation
- User experience and interface design regarding usability: what are and how to accommodate user needs to best match emotional and quality goals
-
Grant
- ARTIFICIAL INTELLIGENCE MEETS WIRELESS SENSOR NETWORKS: FILLING THE GAPS BETWEEN SENSORS USING SPATIAL REASONING
- AUTOMATED BREAST DENSITY MEASUREMENT AND ITS INTEGRATION INTO BREAST CANCER SCREENING
- Advanced Models of Online Metalearning and Cognitive Computing in Highly Dynamic Context Scenarios
- CONNECTING LEARNERS FOR COLLABORATION ACROSS DIVERSE COMMUNITIES
- Contextualising and Personalising Natural Language Processing
- DR GINTARE GRIGONYTE'S GROUP OF EIGHT EUROPEAN FELLOWSHIP
- Data driven decision making for complex problems
- Development of an EEG-fMRI analysis software for presurgical planning of epilepsy
- Environmental Modelling and Agent Management for Odour Source Localization
- IBES - GARDENS OF TOMORROW IN BROADBAND-ENABLED NEIGHBOURHOODS
- IBES SEED PROJECT "CONNECTING LEARNERS FOR COLLABORATION ACROSS DIVERSE COMMUNITIES"
- MAKING THE PILBARA BLEND: AGILE MINE SCHEDULING THROUGH CONTINGENT PLANNING
- MATHEMATICS AND COMPUTING FOR INTEGRATED STOCKYARD-CENTRIC MANAGEMENT OF MINING SUPPLY CHAINS
- MONITORING HEALTH AND WELLBEING OF SENIORS USING UNINTRUSIVE SENSORS
- Towards a stronger proof system for combinatorial optimization
- Towards reliability in combinatorial optimisation
- URBAN FUTURES MOBILITY
- URBAN FUTURES - MOBILITY DEMAND
- WIN-WIN LOGISTICS: SYNTHESISING CONTINGENT PLANS USING GAME STRUCTURE
- Win-win supply chain logistics: controller synthesis through game structure
-
Journal Articles Refereed
- 3D time-varying simulations of Ca2+ dynamics in arterial coupled cells: A massively parallel implementation
- A CLP heap solver for test case generation
- A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing
- A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods
- A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines
- A Game Theoretical Approach to Defend Against Co-Resident Attacks in Cloud Computing: Preventing Co-Residence Using Semi-Supervised Learning
- A Scalable Permutation Approach Reveals Replication and Preservation Patterns of Network Modules in Large Datasets
- A Soft Modularity Function For Detecting Fuzzy Communities in Social Networks
- A framework for modelling tactical decision-making in autonomous systems
- A lagrangian relaxation and ACO hybrid for resource constrained project scheduling with discounted cash flows
- A new Hierarchical Agent Protocol Notation
- A pollution-resistant method for reprogramming (PRMR) in wireless sensor networks
- An enhanced XCS rule discovery module using feature ranking
- Analytics for awareness in maritime surveillance: from data to tactical insight
- Artificial Intelligence-Assisted Online Social Therapy for Youth Mental Health
- Automatic Detection and Language Identification of Multilingual Documents
- Automatic Identification of Pathology-Distorted Retinal Layer Boundaries Using SD-OCT Imaging
- Automatic Minimal-Height Table Layout
- Basis Expansion Approaches for Regularized Sequential Dictionary Learning Algorithms With Enforced Sparsity for fMRI Data Analysis
- Comparative evaluation of performance measures for shading correction in time-lapse fluorescence microscopy
- Compiling CP subproblems to MDDs and d-DNNFs
- Concept Annotation in the CRAFT corpus
- Coronary smooth muscle cell calcium dynamics: Effects of bifurcation angle on atheroprone conditions
- Cryo-EM structure of the Plasmodium falciparum 80S ribosome bound to the anti-protozoan drug emetine
- Data-Driven Dynamic Probabilistic Reserve Sizing Based on Dynamic Bayesian Belief Networks
- Dealing with Inliers in Feature Vector Data
- Dilemma of Dilemmas: How Collective and Individual Perspectives Can Clarify the Size Dilemma in Voluntary Linear Public Goods Dilemmas
- Dominance breaking constraints
- Effect of adverse environmental conditions and protective clothing on temperature rise in a human body exposed to radiofrequency electromagnetic fields
- Efficient Unsupervised Parameter Estimation for One-Class Support Vector Machines
- Estimating the number of hosts corresponding to an intrusion alert while preserving privacy
- Estimation of crowd density by clustering motion cues
- Evaluating Topic Representations for Exploring Document Collections
- Explaining circuit propagation
- Explaining the cumulative propagator
- Exploratory Landscape Analysis of Continuous Space Optimization Problems Using Information Content
- Exploring species-based strategies for gene normalization
- External Curries
- Fast Memory Efficient Local Outlier Detection in Data Streams
- Fast and Scalable Big Data Trajectory Clustering for Understanding Urban Mobility
- Fast post-disaster emergency vehicle scheduling
- Fast set bounds propagation using a BDD-SAT hybrid
- Fog-Empowered Anomaly Detection in IoT Using Hyperellipsoidal Clustering
- Formalizing tool use in intelligent environments
- Genomic prediction of coronary heart disease
- High-Resolution Monitoring of Atmospheric Pollutants Using a System of Low-Cost Sensors
- High-precision biological event extraction: Effects of system and data
- Hozumi Tanaka Obituary
- Hyperspherical cluster based distributed anomaly detection in wireless sensor networks
- Improving cognitive agent decision making: Experience trajectories as plans
- Incorporating feature ranking and evolutionary methods for the classification of high-dimensional DMA microarray gene expression data
- Infectivity of Plasmodium falciparum in Malaria-Naive Individuals Is Related to Knob Expression and Cytoadherence of the Parasite
- Interdisciplinary Collaboration and Brokerage in the Digital Humanities
- LICRE: unsupervised feature correlation reduction for lipidomics
- Lazy Model Expansion: Interleaving Grounding with Search
- Literature mining of protein-residue associations with graph rules learned through distant supervision
- Modeling the Effect of Adverse Environmental Conditions and Clothing on Temperature Rise in a Human Body Exposed to Radio Frequency Electromagnetic Fields
- On collocations and topic models
- On the Stability of Empirical Risk Minimization in the Presence of Multiple Risk Minimizers
- Oncogenic epithelial cell-derived exosomes containing Rac1 and PAK2 induce angiogenesis in recipient endothelial cells
- Partitioning road networks using density peak graphs: Efficiency vs. accuracy
- Personalized trip recommendation for tourists based on user interests, points of interest visit durations and visit recency
- Portfolio approaches for constraint optimization problems
- Portfolio approaches in constraint programming
- Property persistence in the situation calculus
- Representing Annotation Compositionality and Provenance for the Semantic Web
- Risk sensitivity and assortment in social dilemmas
- SMARTS: Scalable Microscopic Adaptive Road Traffic Simulator
- SUNNY: a Lazy Portfolio Approach for Constraint Solving
- Solving Talent Scheduling with Dynamic Programming
- Spatio-temporal modelling-based drift-aware wireless sensor networks
- Streaming analysis in wireless sensor networks
- Structural Insights into the PorK and PorN Components of the Porphyromonas gingivalis Type IX Secretion System
- Supervisory Control for Behavior Composition
- Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems
- Text Mining Improves Prediction of Protein Functional Sites
- Text-Based Twitter User Geolocation Prediction
- The gene normalization task in BioCreative III
- The hare and the tortoise: Speed and accuracy in translation retrieval
- The structural and content aspects of abstracts versus bodies of full text journal articles are different
- Tour recommendation and trip planning using location-based social media: a survey
- Toward a constructivist epistemology of thought experiments in science
- Truthlikeness and the Lottery Paradox via the Preface Paradox
- U-Compare bio-event meta-service: compatible BioNLP event extraction services
- Using Virtual Machine Allocation Policies to Defend against Co-Resident Attacks in Cloud Computing
- Using constraint programming for solving RCPSP/max-cal
- Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation
- gDelta: a missing link in the grammar engineering toolchain
-
Journal Articles Unrefereed Letters Or Notes
-
Major Reference Works
-
Minor Reports And Working Papers
-
Other Refereed Contribution To Refereed Journals
-
Research Book Chapters
- A Satisfiability Solving Approach
- A framework for distributed data analysis for IoT
- Classifier evasion: Models and open problems
- Exact and Heuristic Methods for the Resource-Constrained Net Present Value Problem
- Security Evaluation of Support Vector Machines in Adversarial Environments
- Social Planning for Trusted Autonomy
- Testing Landmark Selection Theories in Virtual Environments
- The Algorithm Selection Problem on the Continuous Optimization Domain
- Towards agent-based models of cultural dynamics: A case of stereotypes