default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 31 matches
- 2024
- Louis John Camilleri, Katie Maras, Mark Brosnan:
Supporting autistic communities through parent-led and child/young person-led digital social story interventions: an exploratory study. Frontiers Digit. Health 6 (2024) - 2023
- Matthew Aquilina, Keith George Ciantar, Christian Galea, Kenneth P. Camilleri, Reuben A. Farrugia, John Abela:
The Best of Both Worlds: A Framework for Combining Degradation Prediction with High Performance Super-Resolution Networks. Sensors 23(1): 419 (2023) - Romain Camilleri, Andrew Wagenmaker, Jamie Morgenstern, Lalit Jain, Kevin Jamieson:
Fair Active Learning in Low-Data Regimes. CoRR abs/2312.08559 (2023) - 2022
- Romain Camilleri, Andrew Wagenmaker, Jamie H. Morgenstern, Lalit Jain, Kevin G. Jamieson:
Active Learning with Safety Constraints. NeurIPS 2022 - Romain Camilleri, Andrew Wagenmaker, Jamie Morgenstern, Lalit Jain, Kevin G. Jamieson:
Active Learning with Safety Constraints. CoRR abs/2206.11183 (2022) - Matthew Aquilina, Keith George Ciantar, Christian Galea, Kenneth P. Camilleri, Reuben A. Farrugia, John Abela:
The Best of Both Worlds: a Framework for Combining Degradation Prediction with High Performance Super-Resolution Networks. CoRR abs/2211.05018 (2022) - 2021
- Matthew Aquilina, Christian Galea, John Abela, Kenneth P. Camilleri, Reuben A. Farrugia:
Improving Super-Resolution Performance Using Meta-Attention Layers. IEEE Signal Process. Lett. 28: 2082-2086 (2021) - Matthew Aquilina, Christian Galea, John Abela, Kenneth P. Camilleri, Reuben A. Farrugia:
Improving Super-Resolution Performance using Meta-Attention Layers. CoRR abs/2110.14638 (2021) - 2018
- Christoph Ungemach, Adrian R. Camilleri, Eric J. Johnson, Richard P. Larrick, Elke U. Weber:
Translated Attributes as Choice Architecture: Aligning Objectives and Choices Through Decision Signposts. Manag. Sci. 64(5): 2445-2459 (2018) - John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider:
A web-based tool for analysing normative documents in english. SAC 2018: 1865-1872 - 2017
- John J. Camilleri, Gerardo Schneider:
Modelling and analysis of normative documents. J. Log. Algebraic Methods Program. 91: 33-59 (2017) - Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider:
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. SEFM 2017: 87-103 - Florian Kunneman, Uxoa Iñurrieta Urmeneta, John J. Camilleri, Mariona Coll Ardanuy:
Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2017, Valencia, Spain, April 3-7, 2017, Student Research Workshop. Association for Computational Linguistics 2017, ISBN 978-1-945626-37-1 [contents] - John J. Camilleri, Normunds Gruzitis, Gerardo Schneider:
Extracting Formal Models from Normative Texts. CoRR abs/1706.04997 (2017) - John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider:
A Web-Based Tool for Analysing Normative Documents in English. CoRR abs/1707.03997 (2017) - 2016
- John J. Camilleri, Normunds Gruzitis, Gerardo Schneider:
Extracting Formal Models from Normative Texts. NLDB 2016: 403-408 - Runa Gulliksson, John J. Camilleri:
A Domain-Specific Language for Normative Texts with Timing Constraints. TIME 2016: 60-69 - John J. Camilleri, Normunds Gruzitis, Gerardo Schneider:
Extracting Formal Models from Normative Texts. CoRR abs/1607.01485 (2016) - 2014
- John J. Camilleri, Gabriele Paganelli, Gerardo Schneider:
A CNL for Contract-Oriented Diagrams. CNL 2014: 135-146 - John J. Camilleri, Gabriele Paganelli, Gerardo Schneider:
A CNL for Contract-Oriented Diagrams. CoRR abs/1406.5691 (2014) - 2013
- Krasimir Angelov, John J. Camilleri, Gerardo Schneider:
A framework for conflict analysis of normative texts written in controlled natural language. J. Log. Algebraic Methods Program. 82(5-7): 216-240 (2013) - 2010
- John J. Camilleri, Gordon J. Pace, Michael Rosner:
Controlled Natural Language in a Game for Legal Assistance. CNL 2010: 137-153 - 1998
- Albert John Camilleri:
A Role for Theorem Proving in Multi-Processor Design. CAV 1998: 45-48 - 1997
- Albert John Camilleri:
A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. TPHOLs 1997: 49-67 - 1996
- Mandayam K. Srivas, Albert John Camilleri:
Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Lecture Notes in Computer Science 1166, Springer 1996, ISBN 3-540-61937-2 [contents] - 1994
- Steven D. Johnson, Paul S. Miner, Albert John Camilleri:
Studies of the Single Pulser in Various Reasoning Systems. TPCD 1994: 126-145 - 1992
- Simon Bainbridge, Albert John Camilleri, Roger Fleming:
Theorem Proving as an Industrial Tool for System Level Desgin. TPCD 1992: 253-274 - 1991
- Albert John Camilleri, Paola Inverardi, Monica Nesi:
Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 1991: 283-296 - Simon Bainbridge, Albert John Camilleri, Roger Fleming:
Industrial Application of Theorem Proving to System Level Design. TPHOLs 1991: 130-142 - 1990
- Albert John Camilleri:
Mechanizing CSP Trace Theory in Higher Order Logic. IEEE Trans. Software Eng. 16(9): 993-1004 (1990)
skipping 1 more match
loading more results
failed to load more results, please try again later
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.
retrieved on 2024-10-05 15:24 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint