ARDC Research Link Australia Research Link Australia   BETA Research
Link
Australia
  • ARDC Newsletter Subscribe
  • Contact Us
  • Home
  • About
  • Feedback
  • Explore Collaborations
  • Researcher
  • Funded Activity
  • Organisation
  • Researcher
  • Funded Activity
  • Organisation
  • Researcher
  • Funded Activity
  • Organisation

Need help searching? View our Search Guide.

Advanced Search

Current Selection
Research Topic : Logics And Meanings Of Programs
Clear All
Filter by Field of Research
Biochemistry and Cell Biology (783)
Psychology (782)
Nanotechnology (740)
Environmental Science and Management (716)
Materials Engineering (707)
Public Health and Health Services (649)
Functional Materials (618)
Genetics (554)
Nanomaterials (537)
Artificial Intelligence and Image Processing (501)
Sociology (491)
Conservation and Biodiversity (460)
Ecology (430)
Physical Chemistry (Incl. Structural) (422)
Civil Engineering (420)
Geology (392)
Electrical and Electronic Engineering (389)
Macromolecular and Materials Chemistry (364)
Pattern Recognition and Data Mining (356)
Biomaterials (352)
Policy and Administration (349)
Information Systems (335)
Ecological Impacts of Climate Change (326)
Historical Studies (320)
Structural Biology (incl. Macromolecular Modelling) (319)
Interdisciplinary Engineering (314)
Natural Resource Management (311)
Plant Physiology (311)
Composite and Hybrid Materials (308)
Plant Biology (308)
Filter by Socio-Economic Objective
Expanding Knowledge in the Biological Sciences (2172)
Expanding Knowledge in Technology (1385)
Expanding Knowledge in the Physical Sciences (1370)
Expanding Knowledge in Engineering (1319)
Expanding Knowledge in the Chemical Sciences (1126)
Biological sciences (793)
Expanding Knowledge in the Medical and Health Sciences (717)
Expanding Knowledge in Psychology and Cognitive Sciences (676)
Expanding Knowledge in the Information and Computing Sciences (610)
Other (597)
Physical sciences (572)
Expanding Knowledge in the Earth Sciences (566)
Expanding Knowledge in the Mathematical Sciences (544)
Expanding Knowledge through Studies of Human Society (543)
Understanding Australia's Past (467)
Ecosystem Adaptation to Climate Change (464)
Scientific Instruments (459)
Chemical sciences (456)
Expanding Knowledge in the Environmental Sciences (437)
Effects of Climate Change and Variability on Australia (excl. Social Impacts) (427)
Land and water management (414)
Flora, Fauna and Biodiversity at Regional or Larger Scales (377)
Expanding Knowledge In the Biological Sciences (367)
Scientific instrumentation (366)
Expanding Knowledge In Engineering (339)
Expanding Knowledge in History and Archaeology (326)
Behaviour and Health (318)
Expanding Knowledge in the Agricultural and Veterinary Sciences (313)
Treatments (e.g. chemicals, antibiotics) (312)
Climate change (285)
Filter by Current Organisation
Griffith University (1586)
University of melbourne (719)
Monash university (682)
The university of queensland (618)
University of Technology Sydney (593)
Australian national university (533)
The university of sydney (514)
University of western australia (416)
Macquarie university (396)
Queensland university of technology (365)
University of new south wales (356)
University of technology sydney (313)
RMIT University (259)
The university of adelaide (258)
Curtin university (200)
Flinders university (188)
The university of wollongong (187)
Deakin university (175)
University of south australia (172)
Griffith university (170)
University of tasmania (170)
La trobe university (129)
UNSW Sydney (126)
Csiro (123)
The university of newcastle (120)
Swinburne university of technology (112)
Western Sydney University (110)
University of canberra (69)
James cook university (65)
Edith cowan university (62)
Filter by Country
Australia (9139)
United States of America (1909)
United Kingdom of Great Britain and Northern Ireland (1876)
Germany (619)
China (592)
Canada (507)
France (355)
New Zealand (343)
Netherlands (264)
Switzerland (242)
Italy (209)
Singapore (191)
Sweden (189)
Japan (179)
India (161)
Spain (160)
Denmark (141)
Hong Kong (135)
South Africa (108)
Belgium (102)
Ireland (98)
Austria (97)
Brazil (82)
"Korea, Republic of" (70)
Finland (69)
Norway (60)
Russian Federation (58)
Iran (Islamic Republic of) (54)
Viet Nam (54)
Malaysia (49)
Filter by Australian State/Territory
NSW (3485)
VIC (3153)
QLD (2047)
ACT (1402)
WA (1060)
SA (946)
TAS (286)
NT (81)
  • Researchers (16195)
  • Funded Activities (34134)
  • Organisations (3604)
  • The sequence of this search result does not indicate the ranking of researchers in the searched topic area. However, it does reflect those who have received grants or published manuscripts related to the searched area.

    Researcher

    Guido Governatori

    Independent Reseacher
    ORCID Profile
    0000-0002-9878-2762
    Publications
    229
    Grants Awarded
    2
    Top 5 Research Topics
    Logics And Meanings Of Programs (2) | Computer software and services not elsewhere classified (2) | Interorganisational Information Systems (1) | Other Artificial Intelligence (1) | Information Systems (1)
    More information
    Researcher

    Cliff Jones

    Newcastle University
    ORCID Profile
    0000-0002-0038-6623
    Publications
    12
    Grants Awarded
    3
    Top 5 Research Topics
    Computer Software (3) | Concurrent Programming (2) | Logics And Meanings Of Programs (1) | Programming Techniques (1) | Software Engineering (1)
    More information
    Researcher

    Kai Engelhardt

    ORCID Profile
    0000-0001-5329-2818
    Grants Awarded
    3
    Top 5 Research Topics
    Logics And Meanings Of Programs (3) | Computer software and services not elsewhere classified (3) | Mathematical sciences (2) | Computation Theory and Mathematics (2) | Mathematical Logic And Formal Languages (1)
    More information
    Researcher

    Oliver Diessel

    ORCID Profile
    0000-0003-0725-5957
    Publications
    22
    Grants Awarded
    3
    Top 5 Research Topics
    Circuits and Systems (2) | Computer Software (2) | Application Tools and System Utilities (2) | Satellite, Space Vehicle and Missile Design and Testing (2) | Programming Languages (1)
    More information
    Researcher

    Kaile Su

    Griffith university
    ORCID Profile
    0000-0001-6741-9699
    Publications
    135
    Grants Awarded
    3
    Top 5 Research Topics
    Application Tools and System Utilities (2) | Artificial Intelligence and Image Processing (2) | Education and training not elsewhere classified (1) | Artificial Intelligence and Image Processing not elsewhere classified (1) | Logics And Meanings Of Programs (1)
    More information
    Researcher

    Gemma McKibbin

    The university of queensland , University of melbourne
    ORCID Profile
    0000-0001-6831-4784
    Publications
    118
    Grants Awarded
    10
    Top 5 Research Topics
    Computer Software (9) | Software Engineering (7) | Computer software and services not elsewhere classified (5) | Logics And Meanings Of Programs (3) | Combined operations (2)
    More information
    Researcher

    Ian Hayes

    The university of queensland
    ORCID Profile
    0000-0003-3649-392X
    Publications
    1
    Grants Awarded
    10
    Top 5 Research Topics
    Computer Software (9) | Software Engineering (7) | Computer software and services not elsewhere classified (5) | Logics And Meanings Of Programs (3) | Combined operations (2)
    More information
    Researcher

    Mark Reynolds

    University of western australia
    ORCID Profile
    0000-0002-5415-0544
    Publications
    132
    Grants Awarded
    6
    Top 5 Research Topics
    Analysis of Algorithms and Complexity (2) | Other Artificial Intelligence (2) | Computer Software and Services not elsewhere classified (2) | Computation Theory and Mathematics (2) | Software Engineering (2)
    More information
    Researcher

    Shazia Sadiq

    The university of queensland , Lawrence Berkeley National Laboratory
    ORCID Profile
    0000-0001-6739-4145
    Publications
    163
    Grants Awarded
    15
    Top 5 Research Topics
    Information Systems (15) | Database Management (8) | Electronic Information Storage and Retrieval Services (7) | Information processing services (6) | Application tools and system utilities (6)
    More information
    Researcher

    Stephen Hyde

    The university of sydney
    ORCID Profile
    0000-0003-2003-9992
    Publications
    195
    Grants Awarded
    7
    Top 5 Research Topics
    Physical sciences (3) | Mathematical sciences (3) | Theory Of Materials (2) | Chemical sciences (2) | Condensed Matter Physics—Structural Properties (2)
    More information

    Showing 1-10 of 16195 Researchers

    • 1
    • 2
    • 3
    • 4
    • 5
    Advanced Search

    Advanced search on the Researcher index.

    Advanced search on the Funded Activity index.

    Advanced search on the Organisation index.

    National Collaborative Research Infrastructure Strategy

    The Australian Research Data Commons is enabled by NCRIS.

    ARDC CONNECT NEWSLETTER

    Subscribe to the ARDC Connect Newsletter to keep up-to-date with the latest digital research news, events, resources, career opportunities and more.

    Subscribe

    Quick Links

    • Home
    • About Research Link Australia
    • Product Roadmap
    • Documentation
    • Disclaimer
    • Contact ARDC

    We acknowledge and celebrate the First Australians on whose traditional lands we live and work, and we pay our respects to Elders past, present and emerging.

    Copyright © ARDC. ACN 633 798 857 Terms and Conditions Privacy Policy Accessibility Statement
    Top
    Quick Feedback