Search results for "formalisation"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Mohammad Abdulaziz, Lawrence C. Paulson	An Isabelle/HOL formalisation of Green's Theorem.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
17	David Fuenmayor, Christoph Benzmüller	Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
17	Wolfram Kahl, Yuhang Zhao	A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs.	WADT	2018	DBLP DOI BibTeX RDF
17	Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert	A Java Bytecode Formalisation.	VSTTE	2018	DBLP DOI BibTeX RDF
17	Milad K. Ghale	Engineering Software for Modular Formalisation and Verification of STV Algorithms.	ICFEM	2018	DBLP DOI BibTeX RDF
17	Tatsuya Nonoyama, Edward Kabaale, Lian Wen, David Tuffley, Zhe Wang 0001	Integrating Culture Awareness and Formalisation in Software Process Assessment and Improvement for Very Small Entities (VSEs).	EuroSPI	2018	DBLP DOI BibTeX RDF
17	Catherine Dubois, Sulyvan Weppe	Towards Coq Formalisation of {log} Set Constraints Resolution.	SETS@ABZ	2018	DBLP BibTeX RDF
17	Vincenzo Daponte, Gilles Falquet	Une ontologie pour la formalisation et la visualisation des connaissances scientifiques.	IC	2018	DBLP BibTeX RDF
17	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel	Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.	IFM	2018	DBLP DOI BibTeX RDF
17	Véronique Benzaken, Evelyne Contejean, Chantal Keller, Eunice Martins	A Coq Formalisation of SQL's Execution Engines.	ITP	2018	DBLP DOI BibTeX RDF
17	Boris Djalal	A constructive formalisation of Semi-algebraic sets and functions.	CPP	2018	DBLP DOI BibTeX RDF
17	Milad K. Ghale, Rajeev Goré, Dirk Pattinson, Mukesh Tiwari	Modular Formalisation and Verification of STV Algorithms.	E-Vote-ID	2018	DBLP DOI BibTeX RDF
17	Bashar Alkhawaldeh	Integration of the process algebra CSP in dependent type theory: formalisation and verification.		2018	RDF
17	Luciano Gervasoni	Contributions to the formalization and implementation of spatial urban indices using open data: application to urban sprawl studies. (Contributions à la formalisation et à la mise en œuvre d'indices spatiaux urbains utilisant des données ouvertes: application aux études de l'étalement urbain).		2018	RDF
17	Mohammed Tadlaoui	Système de recommandation de ressources pédagogiques fondé sur les liens sociaux: formalisation et évaluation. (Educational resource recommendation system based on social links: formalization and evaluation).		2018	RDF
17	Hai Nguyen Van	Formalizing Time and Causality in Polychronous Polytimed Models. (Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés).		2018	RDF
17	Pierre Boutry	On the Formalization of Foundations of Geometry. (Sur la formalisation des fondements de la géométrie).		2018	RDF
17	Bernard Kamsu-Foguem, Pierre F. Tiako	Risk information formalisation with graphs.	Comput. Ind.	2017	DBLP DOI BibTeX RDF
17	Christina Lioma, Birger Larsen, Hinrich Schütze, Peter Ingwersen	A Subjective Logic Formalisation of the Principle of Polyrepresentation for Information Needs.	CoRR	2017	DBLP BibTeX RDF
17	Edilson Rodrigues, Paulo E. Santos, Marcos Lopes	Pinning down polysemy: A formalisation for a Brazilian Portuguese preposition.	Cogn. Syst. Res.	2017	DBLP DOI BibTeX RDF
17	Jesús Aransay, Jose Divasón	A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem.	J. Autom. Reason.	2017	DBLP DOI BibTeX RDF
17	Scott J. H. Buckley, Anthony M. Sloane	A formalisation of parameterised reference attribute grammars.	SLE	2017	DBLP DOI BibTeX RDF
17	Daniele Porello, Giancarlo Guizzardi	Towards a First-Order Modal Formalisation of the Unified Foundational Ontology.	JOWO	2017	DBLP BibTeX RDF
17	Anne-France Viet, Catherine Belloc, Régis Sabbadin	Formalisation et résolution d'un problème en Santé Animale avec le cadre Leader-Follower MDP.	APIA	2017	DBLP BibTeX RDF
17	Rodolfo A. Fiorini	Health Informatics and Wellbeing by Enhanced Knowledge Formalisation.	ICIMTH	2017	DBLP DOI BibTeX RDF
17	Thierry Coquand	Type Theory and Formalisation of Mathematics.	CSR	2017	DBLP DOI BibTeX RDF
17	Mélissa Mary, Lina Fatima Soualmia, Xavier Gansel	Formalisation de la terminologie LOINC et évaluation de ses avantages pour la classification des tests de laboratoire.	IC	2017	DBLP BibTeX RDF
17	Raheel Qader, Gwénolé Lecorvé, Damien Lolive, Pascale Sébillot	Ajout automatique de disfluences pour la synthèse de la parole spontanée : formalisation et preuve de concept (Automatic disfluency insertion towards spontaneous TTS : formalization and proof of concept).	TALN	2017	DBLP BibTeX RDF
17	Myrthe van Delft, Herman Geuvers, Tim A. C. Willemse	A Formalisation of Consistent Consequence for Boolean Equation Systems.	ITP	2017	DBLP DOI BibTeX RDF
17	Joseph R. Harrison	Towards an Isabelle/HOL formalisation of core Erlang.	Erlang Workshop	2017	DBLP DOI BibTeX RDF
17	Edward Kabaale, Lian Wen, Zhe Wang 0001, Terry Rout	An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach.	SPICE	2017	DBLP DOI BibTeX RDF
17	Nelson S. Rosa, Glaucia Melissa Medeiros Campos, David Cavalcanti 0001	Using software architecture principles and lightweight formalisation to build adaptive middleware.	ARM@Middleware	2017	DBLP DOI BibTeX RDF
17	Arnaud Laurent	Proposition et étude d'une extension du RCPSP pour la Mutualisation entre plusieurs sites : définition, formalisation, méthodes exactes et métaheuristiques. (Proposition and study of an extension of the RCPSP with resource pooling between distant sites).		2017	RDF
17	Evmorfia-Iro Bartzia	A formalization of elliptic curves for cryptography. (Une formalisation des courbes elliptiques pour la cryptographie).		2017	RDF
17	Cécile Saint-Marc	Formalisation et géovisualisation d'événements historiques issus de risques naturels pour la compréhension des dynamiques spatiales : Application aux inondations ayant touché le système ferroviaire français. (Formalization and geovisualization of historical natural risk events to understand spatial dynamics : Application to floods impacting the French railway system).		2017	RDF
17	Teresa Alsinet, Ramón Béjar, Lluís Godo, Francesc Guitart	Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming.	J. Exp. Theor. Artif. Intell.	2016	DBLP DOI BibTeX RDF
17	Jean-Baptiste Lamy, Lina Fatima Soualmia, Catherine Duclos, Alain Venot	Formalisation de la sémantique des langages iconiques. Méthode à base d'ontologie et applications.	Rev. d'Intelligence Artif.	2016	DBLP DOI BibTeX RDF
17	Mike Donald Tapi-Nzali, Jérôme Azé, Sandra Bringay, Christian Lavergne, Caroline Mollevi, Thomas Opitz 0001	Formalisation semi-automatique d'un vocabulaire patient/médecin dédié au cancer du sein.	Rev. d'Intelligence Artif.	2016	DBLP BibTeX RDF
17	Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho	A Formalisation of Nominal α-equivalence with A and AC Function Symbols.	LSFA	2016	DBLP DOI BibTeX RDF
17	Jean-Philippe Bernardy, Patrik Jansson	Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Maksym Bortin	A formalisation of the Cocke-Younger-Kasami algorithm.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
17	Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens	Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
17	Jesús Aransay, Jose Divasón	Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
17	Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis	Formalisation-Driven Development of Safety-Critical Systems.	HASE	2016	DBLP DOI BibTeX RDF
17	Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003, Koh Chuen Hoa	An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.	FM	2016	DBLP DOI BibTeX RDF
17	Fatma Abdelhédi, Amal Ait Brahim, Gilles Zurfluh	L'implantation de sources de données dans un système NoSQL : formalisation des règles de passage conceptuel/logique.	EDA	2016	DBLP BibTeX RDF
17	Francesco Sportelli, Enrico Franconi	Formalisation of ORM Derivation Rules and Their Mapping into OWL.	OTM Conferences	2016	DBLP DOI BibTeX RDF
17	Vivian Dos Santos Silva, Manuela Hürlimann, Brian Davis 0001, Siegfried Handschuh, André Freitas	Semantic Relation Classification: Task Formalisation and Refinement.	CogALex@COLING	2016	DBLP BibTeX RDF
17	Yury Chernov	Test-Data Quality as a Success Factor for End-to-End Testing - An Approach to Formalisation and Evaluation.	DATA	2016	DBLP DOI BibTeX RDF
17	Sophia Drossopoulou, James Noble 0001, Mark S. Miller, Toby C. Murray	Permission and Authority Revisited towards a formalisation.	FTfJP@ECOOP	2016	DBLP BibTeX RDF
17	Adam Sandberg Eriksson, Patrik Jansson	An agda formalisation of the transitive closure of block matrices (extended abstract).	TyDe@ICFP	2016	DBLP DOI BibTeX RDF
17	Mohammad Abdulaziz, Lawrence C. Paulson	An Isabelle/HOL Formalisation of Green's Theorem.	ITP	2016	DBLP DOI BibTeX RDF
17	Wenda Li, Lawrence C. Paulson	A modular, efficient formalisation of real algebraic numbers.	CPP	2016	DBLP DOI BibTeX RDF
17	Jean-Yves Blaise, Iwona Dudek	Exercises in Unstyling Texts: Formalisation and Visualisation of a Narrative's [Space, Time, Actors, Motion] Components.	IC3K	2016	DBLP DOI BibTeX RDF
17	Christian Severin Sauer	Knowledge elicitation and formalisation for context and explanation-aware computing with case-based recommender systems.		2016	RDF
17	Cheikh Kacfah Emani	Formalisation automatique et sémantique de règles métiers. (Automatic and semantic formalization of business rules).		2016	RDF
17	Cyril Legrand	Contribution à l'évaluation de la sécurité de systèmes de localisation ferroviaires basés sur les GNSS par la formalisation des concepts d'intégrité étendue. (Contribution to the safety evaluation of railway localisation systems based on GNSS by formalising extended integrity concepts).		2016	RDF
17	Abdallah Arioua	Formalizing and Studying Dialectical Explanations in Inconsistent Knowledge Bases. (Formalisation et Etude des Explications Dialectiques dans les Bases de Connaissances Incohérentes).		2016	RDF
17	Stefania-Gabriela Dumbrava	Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog. (A Coq Formalization of Relational and Deductive Databases -and a Mechanizations of Datalog).		2016	RDF
17	Thongchai Chinkatham	Contribution of the formulation of the links between Invention - Optimization in Inventive conceptual design. (Contribution à la formalisation des liens invention-optimisation en conception inventive).		2016	RDF
17	Gaoussou Camara, Sylvie Desprès, Moussa Lo	Formalisation des processus de la veille épidémiologique des maladies infectieuses.	Rev. d'Intelligence Artif.	2015	DBLP DOI BibTeX RDF
17	Hélène Mathian, Cécile Tannier	Formalisation des interactions spatiales dans les modèles multi-agents. Essai d'analyse comparative.	Rev. Int. Géomatique	2015	DBLP DOI BibTeX RDF
17	Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau	Formalisation de la recontextualisation de modèles par graphe de dépendance.	Tech. Sci. Informatiques	2015	DBLP DOI BibTeX RDF
17	Cheikh Kacfah Emani, Catarina Ferreira Da Silva, Bruno Fiés, Parisa Ghodous	BEAUFORD: A Benchmark for Evaluation of Formalisation of Definitions in OWL.	Open J. Semantic Web	2015	DBLP BibTeX RDF
17	Lawrence C. Paulson	A Formalisation of Finite Automata using Hereditarily Finite Sets.	CoRR	2015	DBLP BibTeX RDF
17	Alexandra Moreira, Alcione de Paiva Oliveira, Maria Margarida Salomão, Fabio Ribeiro Cerqueira	Ontological aspects in the formalisation of the FrameNet inheritance relationship.	Int. J. Metadata Semant. Ontologies	2015	DBLP DOI BibTeX RDF
17	Jesús Aransay, Jose Divasón	Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm.	J. Funct. Program.	2015	DBLP DOI BibTeX RDF
17	Andrew Nelson 0001, Kees Goossens, Benny Akesson	Dataflow formalisation of real-time streaming applications on a Composable and Predictable Multi-Processor SOC.	J. Syst. Archit.	2015	DBLP DOI BibTeX RDF
17	Ingrid Chieh Yu, Henning Berg	A Formalisation of Analysis-based Model Migration.	MODELSWARD	2015	DBLP DOI BibTeX RDF
17	Lavindra de Silva, Raphaël Lallement, Rachid Alami	The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality.	IROS	2015	DBLP DOI BibTeX RDF
17	Mariem Mahfoudh, Laurent Thiry, Germain Forestier, Michel Hassenforder	Une nouvelle formalisation des changements ontologiques composés et complexes.	EGC	2015	DBLP BibTeX RDF
17	Lawrence C. Paulson	A Formalisation of Finite Automata Using Hereditarily Finite Sets.	CADE	2015	DBLP DOI BibTeX RDF
17	Elena Knyazeva, Guillaume Wisniewski, François Yvon	Apprentissage par imitation pour l'étiquetage de séquences : vers une formalisation des méthodes d'étiquetage easy-first.	TALN (long papers)	2015	DBLP BibTeX RDF
17	Declan Thompson	Formalisation vs. Understanding - A Case Study in Isabelle.	UCNC	2015	DBLP DOI BibTeX RDF
17	Sebastian Ahrndt, Johannes Fähndrich, Marco Lützenberger, Sahin Albayrak	Modelling of Personality in Agents: From Psychology to Logical Formalisation and Implementation.	AAMAS	2015	DBLP BibTeX RDF
17	Catherine Lelay	Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée. (Reinventing Coq's Reals library : toward a more suitable formalization of classical analysis).		2015	RDF
17	Fabrice Gayraud	Problème de tournées de véhicules avec contraintes de synchronisation dans le cadre de structures de maintien à domicile. Formalisation mathématique et hybridation à base de métaheuristique. (Vehicle routing problem with synchronization constraints in home care support services - Mathematical formulation and hybridization based on metaheuristics).		2015	RDF
17	Aymen Louati	Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri. (Contribution of Formalization and Verification of UML2 Dynamic Diagrams Based on Petri Nets).		2015	RDF
17	Alen Jakupovic, Mile Pavlic, Zdravko Dovedan Han	Formalisation method for the text expressed knowledge.	Expert Syst. Appl.	2014	DBLP DOI BibTeX RDF
17	Alvaro Tasistro, Ernesto Copello, Nora Szasz	Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.	LSFA	2014	DBLP DOI BibTeX RDF
17	Gérard Lopez	Heuristique De Symétrisation En Reconstruction Et Dans La Formalisation En Sciences Humaines.	J. Multiple Valued Log. Soft Comput.	2014	DBLP BibTeX RDF
17	Christian Severin Sauer, Lotta Rintala, Thomas Roth-Berghofer	Two-Phased Knowledge Formalisation for Hydrometallurgical Gold Ore Process Recommendation and Validation.	Künstliche Intell.	2014	DBLP DOI BibTeX RDF
17	Maria Spichkova	Stream processing components: Isabelle/HOL formalisation and case studies.	CoRR	2014	DBLP BibTeX RDF
17	Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine	Verifying the correct composition of distributed components: Formalisation and Tool.	FOCLASA	2014	DBLP DOI BibTeX RDF
17	Maria Spichkova	Formalisation and Analysis of Component Dependencies.	CoRR	2014	DBLP BibTeX RDF
17	Jónathan Heras, Ekaterina Komendantskaya	HoTT formalisation in Coq: Dependency Graphs \& ML4PG.	CoRR	2014	DBLP BibTeX RDF
17	Maria Spichkova	Formalisation and Analysis of Component Dependencies.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
17	Chunhan Wu, Xingyuan Zhang, Christian Urban	A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions.	J. Autom. Reason.	2014	DBLP DOI BibTeX RDF
17	Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen	Formalisation and analysis of Dalvik bytecode.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
17	Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter	A formalisation of deep metamodelling.	Formal Aspects Comput.	2014	DBLP DOI BibTeX RDF
17	Filip Biljecki, Hugo Ledoux, Jantien E. Stoter, Junqiao Zhao	Formalisation of the level of detail in 3D city modelling.	Comput. Environ. Urban Syst.	2014	DBLP DOI BibTeX RDF
17	Wolfram Kahl	A Mechanised Abstract Formalisation of Concept Lattices.	RAMiCS	2014	DBLP DOI BibTeX RDF
17	Philippe Mathieu, Sébastien Picault, Yann Secq	Les environnements : en avoir ou pas ? Formalisation du concept et patterns d'implémentation.	JFSMA	2014	DBLP BibTeX RDF
17	Freddy Priyatna, Óscar Corcho, Juan F. Sequeda	Formalisation and experiences of R2RML-based SPARQL to SQL query translation using morph.	WWW	2014	DBLP DOI BibTeX RDF
17	Richard Mayne, Andrew Adamatzky	The Physarum polycephalum actin network: formalisation, topology and morphological correlates with computational ability.	BICT	2014	DBLP DOI BibTeX RDF
17	Cheikh Kacfah Emani	Automatic Detection and Semantic Formalisation of Business Rules.	ESWC	2014	DBLP DOI BibTeX RDF
17	Kushal Ahmed, M. A. Hakim Newton, Lian Wen, Abdul Sattar 0001	Formalisation of the integration of behavior trees.	ASE	2014	DBLP DOI BibTeX RDF
17	Mauri J. Klein, Sandro Sawicki, Fabricia Roos-Frantz, Rafael Z. Frantz	On the Formalisation of an Application Integration Language Using Z Notation.	ICEIS (1)	2014	DBLP DOI BibTeX RDF
17	Martin Riedl 0001	A Specification Language for Reconfigurable Dependable Systems, its Formalisation and Analysis Environment.		2014	RDF
17	Guillaume Cano	Interaction entre algèbre linéaire et analyse en formalisation des mathématiques. (Interaction between linear algebra and analysis in formal mathematics).		2014	RDF