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
Exact matches
- Ana Cavalcanti 0001
aka: Ana Lucia Caneca Cavalcanti
University of York, UK
Likely matches
- Ana Regina Cavalcanti da Rocha
aka: Ana Regina Rocha - Ana Paula Carvalho Cavalcanti Furtado
aka: Ana Paula Carvalho Cavalcanti, Ana Paula C. Cavalcanti
Federal University of Pernambuco and C.E.S.A.R, Recife Center for Advanced Studies, Recife, Brazil - Ana Beatriz Cavalcanti Ribeiro
- Ana Paula Cavalcanti Cavalcanti Furtado
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 567 matches
- 2024
- Juscimara Gomes Avelino, George D. C. Cavalcanti, Rafael M. O. Cruz:
Resampling strategies for imbalanced regression: a survey and empirical analysis. Artif. Intell. Rev. 57(4): 82 (2024) - Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis:
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48(6-7): 14 (2024) - Vanessa de Melo Cavalcanti-Dantas, Brenda Fernandes, Pedro Henrique Lopes Ferreira Dantas, Glaucielle Ramalho Uchoa, Andrei Félix Mendes, Waldecir Oliveira de Araújo Júnior, Lúcio Roberto Cançado Castellano, Ana Isabel Vieira Fernandes, Luiz Ricardo Goulart, Renato Antônio dos Santos Oliveira, Priscilla Anne Castro de Assis, Joelma Rodrigues De Souza, Clarice Neuenschwander Lins de Morais:
Differential epitope prediction across diverse circulating variants of SARS-COV-2 in Brazil. Comput. Biol. Chem. 112: 108139 (2024) - Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio:
Laws of Timed State Machines. Comput. J. 67(6): 2066-2107 (2024) - Sascha Jecklin, Youyang Shen, Amandine Gout, Daniel Suter, Lilian Calvet, Lukas Zingg, Jennifer Straub, Nicola Alessandro Cavalcanti, Mazda Farshad, Philipp Fürnstahl, Hooman Esfandiari:
Domain adaptation strategies for 3D reconstruction of the lumbar spine using real fluoroscopy data. Medical Image Anal. 98: 103322 (2024) - Florentin Liebmann, Marco von Atzigen, Dominik Stütz, Julian Wolf, Lukas Zingg, Daniel Suter, Nicola Cavalcanti, Laura Leoty, Hooman Esfandiari, Jess Gerrit Snedeker, Martin R. Oswald, Marc Pollefeys, Mazda Farshad, Philipp Fürnstahl:
Automatic registration with continuous pose updates for marker-less surgical navigation in spine surgery. Medical Image Anal. 91: 103027 (2024) - Davide Brugali, Ana Cavalcanti, Nico Hochgeschwender, Patrizio Pelliccione, Luciana Rebelo:
Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]. IEEE Robotics Autom. Mag. 31(3): 186-204 (2024) - Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis:
Software engineering for robotics. Robotics Auton. Syst. 174: 104648 (2024) - Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu:
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236: 103118 (2024) - Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE 2024: 214:1-214:12 - Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Normative Requirements Operationalization with Large Language Models. RE 2024: 129-141 - Dirk Beyer, Ana Cavalcanti:
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Lecture Notes in Computer Science 14573, Springer 2024, ISBN 978-3-031-57258-6 [contents] - Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR abs/2401.05673 (2024) - Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Normative Requirements Operationalization with Large Language Models. CoRR abs/2404.12335 (2024) - 2023
- Marco Antonio Cavalcanti Garcia, Jordania Lindolfo-Almas, Renan Hiroshi Matsuda, Vitória Labiapari Pinto, Anaelli Aparecida Nogueira-Campos, Victor Hugo Oliveira e Souza:
The surface electrode placement determines the magnitude of motor potential evoked by transcranial magnetic stimulation. Biomed. Signal Process. Control. 84: 104781 (2023) - Lenaïc Cuau, Marie de Boutray, João Cavalcanti Santos, Nabil Zemiti, Philippe Poignet:
Contactless surface registration of featureless anatomy using structured light camera: application to fibula navigation in mandible reconstruction. Int. J. Comput. Assist. Radiol. Surg. 18(11): 2073-2082 (2023) - Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior:
RoboWorld: Verification of Robotic Systems with Environment in the Loop. Formal Aspects Comput. 35(4): 26:1-26:46 (2023) - Yanna Cruz Cavalcanti, Thomas Oberlin, Vinicius Ferraris, Nicolas Dobigeon, Maria Ribeiro, Clovis Tauber:
Compartment model-based nonlinear unmixing for kinetic analysis of dynamic PET images. Medical Image Anal. 84: 102689 (2023) - James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons:
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24(2): 17:1-17:40 (2023) - Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51 - Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis:
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products 2023: 16-33 - Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris:
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE 2023: 1-7 - Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti:
Specification and Validation of Normative Rules for Autonomous Agents. FASE 2023: 241-248 - Ana Cavalcanti, Robert M. Hierons:
Challenges in testing of cyclic systems. ICECCS 2023: 1-6 - Ziggy Attala, Ana Cavalcanti, Jim Woodcock:
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC 2023: 15-35 - Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik:
Towards a Formal Framework for Normative Requirements Elicitation. ASE 2023: 1776-1780 - Luiz Paulo Carvalho, Silas P. Lima Filho, Michele A. Brandão, Mônica Ferreira da Silva, Jonice Oliveira, Gleison Santos, Ana Regina Rocha:
Twenty one years of SBQS (2002 to 2022): A Comprehensive Descriptive and Meta-Scientific Analysis. SBQS 2023: 138-147 - Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend:
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR abs/2307.03697 (2023) - 2022
- James Baxter, Pedro Ribeiro, Ana Cavalcanti:
Sound reasoning in tock-CSP. Acta Informatica 59(1): 125-162 (2022)
skipping 537 more matches
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-09 00:35 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