Luis Cruz-Filipe |  Lovro Lugovic... -  《Formal techniques for distributed objects, components, and systems: 43rd IFIP WG 6.1 international conference on formal techniques for distributed objects, components, and systems (FORTE 2023), held as part of the 18th international federated conference on distributed computing techniques (DisCoTec 2023), June 19-23 2023, Lisbon, Portugal》 -  International conference on formal techniques for distributed objects, components, and systems - 2023, - 29～36 - 共8页

摘要：Programming communicating processes is challenging, because it requires writing separate programs that perform compatible send and receive actions at the right time during execution. Leaving this task...

关键词： Choreographic programming |  Certified compilation |  Jolie |  Formal verification

Luis Cruz-Filipe |  Sofia Kostopoulou... -  《Service-Oriented and Cloud Computing: 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings》 -  IFIP WG 6.12 European Conference on Service-Oriented and Cloud Computing - 2023, - 3～18 - 共16页

摘要：Lead generation refers to the identification of potential topics (the 'leads') of importance for journalists to report on. In this paper we present a new lead generation tool based on a microservice a...

关键词： Lead generation |  Microservices |  Explainable AI

Bjorn Angel Kjaer |  Luis Cruz-Filipe... -  《Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings》 -  International Symposium on Logic-Based Program Synthesis and Transformation - 2022, - 103～120 - 共18页

摘要：Choreographies are formal descriptions of distributed systems, which focus on the way in which participants communicate. While they are useful for analysing protocols, in practice systems are written ...

关键词： Choreography |  Extraction |  Concurrency |  Message passing

Luis Cruz-Filipe |  Eva Graversen... -  《Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings》 -  International Colloquium on Theoretical Aspects of Computing - 2022, - 212～237 - 共26页

摘要：Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, where developers write the communications that should be enacted and a compiler then automatically...

关键词： Choreographies |  Concurrency |  Lambda calculus |  Type systems

James Davenport |  Bjorn Poonen... -  《Proceedings of the International Congress of Mathematicians : Volume 1, Plenary lectures》 -  International Congress of Mathematicians - 2018, - 1085～1110 - 共26页

摘要：The panel took place on the 7th August 2018. After the moderator had introduced the topic, the panelists presented their experiences and points of view, and then took questions from the floor.

关键词： Machine proof

Michael Codish |  Luis Cruz-Filipe... -  《Language and automata theory and applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings》 -  International Conference on Language and Automata Theory and Applications - 2015, - 664～675 - 共12页

摘要：This paper studies properties of the back end of a sorting network and illustrates the utility of these in the search for networks of optimal size or depth. All previous works focus on properties of t...

关键词： Sorting networks |  SAT solving |  Symmetry breaking

NSTL主题词： grade |  Game animals |  Game theory |  Hunting |  sorting programs |  Network

Luis Cruz-Filipe |  Isabel Nunes... -  《Proceedings of the international conference on knowledge engineering and ontology development: KEOD 2013, Vilamoura, Algarve, Portugal, 19-22 September 2013》 -  International Conference on Knowledge Engineering and Ontology Development - 2013, - 58～69 - 共12页

摘要：Originally proposed in the mid-90s, design patterns for software development played a key role in object-oriented programming not only in increasing software quality, but also by giving a better under...

关键词： Design Patterns |  Hybrid Semantic Web Languages |  D1-programs

NSTL主题词： Logic programming |  Ontology

LUIS CRUZ-FILIPE |  JOAO RASGA... -  《Journal of logic and computation》 - 2008,18(6) - 885～911 - 共27页

摘要：Following recent developments in the topic of generalized quantifiers, and also having in mind applications in the areas of security and artificial intelligence, a conservative enrichment of (two-sort...

关键词： generalized quantification |  almost-everywhere logic |  probabilistic logic |  measure-theoretic semantics |  complete axiomatization

Luis Cruz-Filipe |  Bas Spitters... -  《16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003)》 -  16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) - 2003, - 205～220 - 共16页

摘要：It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time and effort to implement these al...

关键词： program extraction |  constructive mathematics |  formalized mathematics |  type theory

Luis Cruz-Filipe |  Eva Graversen... -  《Coordination models and languages: 25th IFIP WG 6.1 international conference on coordination models and languages (COORDINATION 2023), held as part of the 18th international federated conference on distributed computing techniques (DisCoTec 2023), June 19-23 2023, Lisbon, Portugal》 -  International federated conference on distributed computing techniques - 2023, - 144～162 - 共19页

摘要：Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interactions between processes,...