| Adaptive E-learning |
Nadine Marcus |
| Advanced Internet Technologies |
Raymond Wong |
| Agent Architectures |
Wayne Wobcke |
| Algorithm and Complexity |
Xuemin Lin |
| Algorithm Animation |
Geoff Whale |
| Algorithms for Embedded Systems |
Aleksandar Ignjatovic |
| Application of Logic Programming |
Andrew Taylor |
| Applications of Mathematical Logic to Computational Complexity |
Aleksandar Ignjatovic |
| Applications of Process Algebra |
John Potter |
| Artificial Intelligence |
Paul Compton Achim Hoffmann Ashesh Mahidadia Maurice Pagnucco Nandan (Paramesh) Parameswaran Malcolm Ross Kinsella Ryan Claude Sammut Zhidong Li Toby Walsh |
| ASIP Design |
Annie Guo |
| Behavioural Cloning |
Mike Bain |
| Belief Revision |
Maurice Pagnucco Wayne Wobcke |
| Belief Revision, Merging, Negotiation |
Norman Foo |
| Bioinformatics |
Mike Bain Bruno Gaeta Ashesh Mahidadia |
| Bioinformatics of Gene Regulation |
Bruno Gaeta |
| Business Workflow Evolution |
Arthur Ramer Adnene Guabtni Ingo Weber |
| Cloud Computing |
Anna Liu Srikumar Venugopal |
| Cognitive Load Theory |
Nadine Marcus |
| Cognitive Modelling |
Bill Wilson |
| Cognitive Robotics |
Maurice Pagnucco |
| Combinational Algorithms |
Hossam El Gindy |
| Combinatorial Algorithms |
Bill Wilson |
| Combinatorial Problems and Algorithms |
Arthur Ramer Michael Maher |
| Compilation |
Albert Nymeyer |
| Compiler Optimisations |
Jingling Xue |
| Compiler Technology |
Andrew Taylor |
| Compilers |
Manuel Chakravarty |
| Compilers for Embedded Systems |
Jingling Xue |
| Computational Algebra |
Richard Buckland |
| Computational Geometry |
Hossam El Gindy Tim Lambert Xuemin Lin |
| Computational Immunogenetics |
Bruno Gaeta |
| Computer Architecture |
Kevin Elphinstone Jingling Xue |
| Computer Game Design |
Malcolm Ross Kinsella Ryan |
| Computer Graphics |
Tim Lambert |
| Computer Telephony |
Daniel Woo |
| Computer Vision |
Arcot Sowmya Zhidong Li Roger Chen Xiongcai (Peter) Cai |
| Computers and Biology |
Andrew Taylor |
| Concept Analysis |
Mike Bain |
| Concurrency |
Carroll Morgan Rob van Glabbeek Manuel Chakravarty |
| Concurrency Theory |
Yuxin Deng |
| Concurrency Theory and Practice |
John Potter Adnene Guabtni |
| Concurrent Real-Time and Distributed Systems |
Arcot Sowmya John Zic |
| Conditional Logic |
Wayne Wobcke |
| Connectionist Modeling of Human Analogical |
Bill Wilson |
| Connectionist Modeling of Relational Cognition |
Bill Wilson |
| Connectionist Modelling of Human Analogical |
Bill Wilson |
| Constraint Programming |
Michael Maher |
| Conversational Agents |
Claude Sammut |
| Cost Modelling, Software Inspections, Software Process Improvement |
Ross Jeffery Mark Staples |
| Cryptography |
Richard Buckland |
| Data Mining |
Ashesh Mahidadia Wei Wang Nitin Indurkhya Zhidong Li Xiongcai (Peter) Cai Wei Wang |
| Data Mining, Graph Visualization |
Xuemin Lin Adnene Guabtni |
| Data Warehouse and OLAP |
Wei Wang |
| Data-Intensive Distributed Computing |
Srikumar Venugopal |
| Database Query Processing |
John Shepherd Wei Wang Wei Wang Adnene Guabtni Raymond Wong |
| Distributed Computing |
Richard Buckland Kai Engelhardt Jenny Liu Adnene Guabtni |
| Distributed Database Systems |
Xuemin Lin Adnene Guabtni |
| Distributed Software Engineering |
Piyush Maheshwari Jenny Liu Anna Liu |
| Electronic Commerce |
Piyush Maheshwari |
| Electronic Typesetting |
Blanca Mancilla |
| Embedded Systems |
Annie Guo Gernot Heiser |
| Emergence |
Norman Foo |
| End User Centric Integration |
Boualem Benatallah |
| Epistemic and Temporal Logics in Computer Science |
Kai Engelhardt |
| Evolutionary Computation |
Alan Blair |
| Expert Systems |
Achim Hoffmann Nandan (Paramesh) Parameswaran |
| Formal Learning Theory |
Eric Martin |
| Formal Methods |
Richard Buckland Albert Nymeyer Ken Robinson John Zic Mark Staples Gerwin Klein |
| Formal Methods for OO and Components |
John Potter |
| Formal Methods for Program Reasoning and Verification |
Yi Lu Mark Staples Gerwin Klein |
| Formal Methods of Reasoning |
Arthur Ramer |
| Formal Specification and Refinement |
Carroll Morgan Mark Staples Gerwin Klein |
| FPGA-based Architecture & Algorithms |
Hossam El Gindy |
| Functional Programming |
Ken Robinson Manuel Chakravarty Gerwin Klein |
| Fuzzy Databases |
Arthur Ramer |
| Fuzzy Systems and Evidence Theory |
Arthur Ramer |
| Hardware Software Co-Design |
Sri Parameswaran |
| High-Performance Computing |
Gabi Keller Manuel Chakravarty Srikumar Venugopal |
| Human Computer Interaction |
Nadine Marcus Daniel Woo |
| Human Robot Interaction |
Nadine Marcus |
| Inductive Logic Programming |
Mike Bain |
| Information Extraction |
John Shepherd Nitin Indurkhya Wei Wang |
| Information Retrieval/Filtering |
John Shepherd Wei Wang Xiongcai (Peter) Cai Raymond Wong |
| Intelligent Agents |
Wayne Wobcke |
| Intensional Programming |
John Plaice Blanca Mancilla |
| Interactive Narrative |
Malcolm Ross Kinsella Ryan |
| Knowledge Acquisition |
Paul Compton Achim Hoffmann Ashesh Mahidadia Andrew Taylor Xiongcai (Peter) Cai |
| Knowledge Based Systems |
Paul Compton |
| Knowledge Discovery |
Ashesh Mahidadia Nitin Indurkhya |
| Knowledge Representation |
Norman Foo Nandan (Paramesh) Parameswaran Andrew Taylor |
| Knowledge-Based Image Understanding |
Claude Sammut Zhidong Li |
| Knowledge-Based Systems |
Achim Hoffmann |
| Language-Based Security |
Yi Lu Manuel Chakravarty |
| Languages |
John Potter Ken Robinson |
| Learning Algorithms |
Achim Hoffmann |
| Learning in Vision |
Arcot Sowmya |
| Location Based Technologies |
Daniel Woo |
| Logic in Computer Science |
Ron van der Meyden Gerwin Klein |
| Logic of Knowledge and Belief |
Ron van der Meyden |
| Logic Programming |
Norman Foo Eric Martin Claude Sammut Andrew Taylor Michael Maher |
| Logical foundations of AI |
Eric Martin |
| Logical Paradigms of Inductive Inference |
Eric Martin |
| Logics of Action |
Norman Foo |
| Low Power Design |
Annie Guo Sri Parameswaran |
| Machine Learning |
Mike Bain Alan Blair Xiongcai (Peter) Cai Ashesh Mahidadia Claude Sammut Nitin Indurkhya Zhidong Li Roger Chen |
| Management of Uncertainty and Possibility Theory |
Arthur Ramer |
| Medical Image Interpretation |
Arcot Sowmya |
| Memory Management |
Peter Chubb |
| Microkernels |
Kevin Elphinstone |
| Microprocessors and Embedded Systems |
Peter Ho |
| Middleware and Peer-to-Peer Architectures |
Piyush Maheshwari |
| Mobile Computing |
Peter Ho Daniel Woo Mahbub Hassan Raymond Wong |
| Mobile Networks |
Salil Kanhere Mahbub Hassan |
| Model Based Reasoning |
Paul Compton |
| Modelling of Human Cognition |
Nadine Marcus |
| Multicore Systems |
Gernot Heiser Manuel Chakravarty |
| Multilingual Typography |
John Plaice |
| Multimedia Databases |
John Shepherd |
| Multimedia Distribution |
Chun Tung Chou Evan Tan |
| Multimedia Educational Issues |
Peter Ho |
| Multiserver Systems |
Kevin Elphinstone |
| Multiversion Web Sites |
John Plaice |
| Natural Language |
Malcolm Ross Kinsella Ryan |
| Natural Language Processing |
Geoff Whale Nitin Indurkhya |
| Natural Language Understanding |
Bill Wilson |
| Network File System Performance, Scalability and Traffic Analysis |
Shehjar Tikoo |
| Network Security |
Salil Kanhere |
| Neural Networks |
Alan Blair Bill Wilson |
| Nonmonotonic Reasoning |
Norman Foo Maurice Pagnucco Wayne Wobcke Michael Maher |
| Object-oriented Design and Technology |
Piyush Maheshwari Adnene Guabtni |
| Object-Oriented Design: Design by Contract |
John Potter |
| Object-Oriented Languages |
Jingling Xue |
| On-line Learning Systems |
John Shepherd |
| Ontologies |
Norman Foo |
| Operating Systems |
Peter Chubb Kevin Elphinstone Gernot Heiser Gerwin Klein |
| Optimisation of Computer Networks |
Chun Tung Chou |
| Parallel and Distributed Computing |
Piyush Maheshwari Hui Wu Jingling Xue |
| Parallel and Network Computing |
Hossam El Gindy |
| Parallelising and Optimising Compilers |
Jingling Xue |
| Parallelism |
John Plaice Manuel Chakravarty |
| Parsing and Translation |
Ken Robinson |
| Participatory Sensing |
Salil Kanhere |
| Pattern Recognition |
Zhidong Li |
| Philosophical Foundations of AI |
Achim Hoffmann |
| Plagiarism Detection |
Geoff Whale Wei Wang |
| Plan Recognition |
Wayne Wobcke |
| Planning |
Nandan (Paramesh) Parameswaran Malcolm Ross Kinsella Ryan Ingo Weber |
| Power Management |
Gernot Heiser |
| Probabilistic Refinement |
Carroll Morgan |
| Probabistic Models, Reasoning Under Uncertainty |
John Potter |
| Process Spaces |
Boualem Benatallah Adnene Guabtni |
| Production Systems |
Nandan (Paramesh) Parameswaran |
| Program Analysis |
Andrew Taylor |
| Program Similarity |
Geoff Whale |
| Program Transformation |
Gabi Keller Manuel Chakravarty |
| Programming Languages |
Gabi Keller John Plaice Manuel Chakravarty |
| Programming Languages and Implementation |
Piyush Maheshwari Ken Robinson Blanca Mancilla |
| Project portal at:http://gelato.unsw.edu.au/IA64wiki/NFSBenchmarking |
Shehjar Tikoo |
| QoS and Traffic Engineering |
Chun Tung Chou Evan Tan |
| Quality of Service in the Internet |
Sanjay Jha Salil Kanhere Jenny Liu |
| Quantitative and Probabilistic Models |
Yuxin Deng Jenny Liu |
| Quantum Rationality - Use of Quantum Logic in Decision Pocesses |
Arthur Ramer |
| Reactive Systems |
John Plaice |
| Real-Time Embedded Systems |
Hui Wu |
| Reasoning |
Bill Wilson |
| Reasoning and Relational Cognition |
Bill Wilson |
| Reconfigurable Architectures: models, devices |
Oliver Diessel |
| Reconfigurable Computing and Architectures |
Hossam El Gindy |
| Reconfigurable Computing: applications, algorithms, circuits |
Oliver Diessel |
| Reconfigurable Systems: design flows, tools, run-time environments |
Oliver Diessel |
| Recurrent Network Architectures |
Bill Wilson |
| Resilience in IP/MPLS Networks |
Sanjay Jha |
| Resource Management |
Peter Chubb Srikumar Venugopal |
| Reuse Techniques in VLSI/SoC |
Arcot Sowmya |
| Rigorous Methods for Program Construction |
Kai Engelhardt Mark Staples |
| Robotics |
Alan Blair Malcolm Ross Kinsella Ryan Claude Sammut |
| Robotics Research and Development with the Centre for Autonomous Systems |
John Zaitseff Bernhard Hengst |
| Satellite and Aerial Image Interpretation |
Arcot Sowmya |
| Scheduling |
Peter Chubb |
| Security |
Gernot Heiser |
| Security Engineering |
Richard Buckland John Zic |
| Semantics and Type Systems of Programming Languages |
Yuxin Deng Gerwin Klein |
| Semantics of OO Design Notations and Programming |
John Potter |
| Services Engineering |
Anna Liu Srikumar Venugopal |
| Services Oriented Computing |
Helen Hye-Young Paik Jenny Liu Adnene Guabtni Ingo Weber |
| Signal Recognition |
Andrew Taylor |
| Signal Representation and Processing |
Aleksandar Ignjatovic |
| Simulation and Modelling |
Norman Foo |
| Social Agents, Trust |
Norman Foo |
| Software Architectures |
Piyush Maheshwari Jenny Liu Anna Liu Liming Zhu |
| Software Components: Systems & Application Design |
John Potter Mark Staples Jenny Liu |
| Software Configuration |
John Plaice Mark Staples |
| Software Engineering |
Peter Ho Albert Nymeyer John Plaice Ken Robinson Mark Staples Jenny Liu |
| Software Experience Factory |
Ross Jeffery |
| Software Metrics, Software Design |
Ross Jeffery |
| Software Process Modelling |
Ross Jeffery Mark Staples Liming Zhu |
| Software Quality, Software Development, Cost Estimation |
Ross Jeffery |
| Spatial Database Systems |
Xuemin Lin Wei Wang |
| Specification and Refinement |
Ken Robinson Mark Staples |
| Speech Applications |
Daniel Woo |
| System Level Pipelining |
Annie Guo |
| Systems Theory |
Norman Foo |
| Teaching and Learning |
Richard Buckland |
| Temporal Logic |
Ron van der Meyden |
| Tensor Product Networks |
Bill Wilson |
| Theory and Practice of Programming Languages |
Yi Lu |
| Theory of Computer Security |
Ron van der Meyden |
| Theory of Databases Systems |
Arthur Ramer Michael Maher |
| Theory of Distributed Systems |
Ron van der Meyden |
| Theory of Neural Networks |
Achim Hoffmann |
| Theory of Programming Languages |
Michael Maher |
| Type Systems |
John Potter Yi Lu Manuel Chakravarty |
| Unix and other Operating System Scalability |
Peter Chubb |
| User interface design and evaluation |
Daniel Woo |
| Vehicular Ad-Hoc Networks |
Salil Kanhere Mahbub Hassan |
| Version Control |
John Plaice Mark Staples |
| Versioned Software Engineering |
John Plaice Mark Staples |
| Virtual Reality and its Application to Interactive and Immersive Cinema |
Matthew McGinity |
| Virtualization |
Gernot Heiser Srikumar Venugopal |
| Vision and ControlSoftware Engineering |
Arcot Sowmya |
| Visual Robotics and Robotic Vision and Control |
Arcot Sowmya |
| Visualisation for Object Run-times |
John Potter |
| VLSI Systems |
Sri Parameswaran |
| Web Operating Systems |
John Plaice |
| Web Searching |
John Shepherd Wei Wang Raymond Wong |
| Web Services and Business Process Modelling |
Mark Staples Helen Hye-Young Paik Jenny Liu Basem Suleiman Adnene Guabtni Liming Zhu |
| Web Services and Data Integration |
Mark Staples Helen Hye-Young Paik Adnene Guabtni |
| Web System Architecture |
John Shepherd Mark Staples |
| Wireless Mesh Networks |
Chun Tung Chou Sanjay Jha Salil Kanhere Evan Tan |
| Wireless Sensor Networks |
Chun Tung Chou Sanjay Jha Salil Kanhere |
| Workflow Management Systems |
Mark Staples Helen Hye-Young Paik Basem Suleiman Adnene Guabtni |
| XML and Semi-Structured Data |
Wei Wang Raymond Wong |
233 records found
