Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Bertrand Léger |
Recueil et Formalisation de procédés experts pour conduire une protection intégrée du vignoble. (Elicitation and Formalization of an Expert decision workflow to manage an integrated crop protection of the vineyard). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
17 | Vladimir Popescu |
Formalisation des contraintes pragmatiques pour la génération des énoncés en dialogue homme-machine multi-locuteurs. (Formalizing pragmatic constraints for utterance generation in multi-party human-computer dialogue). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
17 | Zhen Yu Chen 0001, Shengji Yao, Jian Qiang Lin, Yong Zeng 0004, Armin Eberlein |
Formalisation of product requirements: from natural language descriptions to formal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Manuf. Res. ![In: Int. J. Manuf. Res. 2(3), pp. 362-387, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Catholijn M. Jonker, Martijn C. Schut, Jan Treur, Pinar Yolum |
Analysis of meeting protocols by formalisation, simulation, and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Organ. Theory ![In: Comput. Math. Organ. Theory 13(3), pp. 283-314, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Akram Idani, Yves Ledru, Didier Bert |
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 26(7), pp. 819-851, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Xavier Boucher, Eric Bonjour, Bernard Grabot |
Formalisation and use of competencies for industrial performance optimisation: A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 58(2), pp. 98-117, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Zhenbang Chen, Ji Wang 0001, Wei Dong 0006, Zhichang Qi |
Interface theory-based formalisation and verification of orchestration in BPEL4WS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bus. Process. Integr. Manag. ![In: Int. J. Bus. Process. Integr. Manag. 2(4), pp. 262-281, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Vytautas Cyras |
On formalisation of the goal concept in law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 20(5), pp. 601-608, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Eddy W. Boot, Jon Nelson, Jeroen J. G. van Merriënboer, Andrew S. Gibbons |
Stratification, elaboration and formalisation of design documents: Effects on the production of instructional materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Br. J. Educ. Technol. ![In: Br. J. Educ. Technol. 38(5), pp. 917-933, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | François Lareau |
Vers une formalisation des décompositions sémantiques dans la Grammaire d'Unification Sens-Texte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALN (Posters) ![In: Actes de la 14ème conférence sur le Traitement Automatique des Langues Naturelles. Posters, TALN 2007, Toulouse, France, June 2007, pp. 163-172, 2007, ATALA. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Jiong Zhou |
Formalisation of component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
17 | Samuel Rochet |
Formalisation des Processus de l'Ingénierie Système : Proposition d'une méthode d'adaptation des processus génériques à différents contextes d'application. (Formalization of System Engineering Processes : Proposal of a method to adapt generic processes to different application contexts). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
17 | Jérémy Briffaut |
Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions. (Formalization and guaranty of system security properties : application to the detection of intrusions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
17 | Kamel Boukhalfa, Ladjel Bellatreche |
Sélection de schéma de fragmentation horizontale dans les entrepôts de données. Formalisation et algorithmes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ingénierie des Systèmes d Inf. ![In: Ingénierie des Systèmes d Inf. 11(6), pp. 55-82, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Estella Annoni, Franck Ravat, Olivier Teste |
Traitements à l'origine des systèmes d'information décisionnels. Catégorisation et formalisation des traitements à l'origine des SID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ingénierie des Systèmes d Inf. ![In: Ingénierie des Systèmes d Inf. 11(6), pp. 115-143, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss 0001, Bogdan Korel |
A formalisation of the relationship between forms of program slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 62(3), pp. 228-252, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Pourraz, Hervé Verjus, Flávio Oquendo |
p-Diapason : un langage pour la formalisation des architectures orientées services Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAL ![In: 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 4-6 September 2006, Nantes, France, pp. 119-127, 2006, Hermes Science. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Yves Ledru |
A Formalisation of the Soccer Substitution Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReMo2V ![In: Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Vanda Luengo, Lucile Vadcard, Michel Dubois, Dima Mufti-Alchawafa |
TELEOS : de l'analyse de l'activité professionnelle à la formalisation des connaissances pour un environnement d'apprentissage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Actes d'IC ![In: IC 2006: Ingénierie des connaissances 2006 (Proceedings of the 17th French Knowledge Engineering Conference), Nantes, France, June 26-30, 2006, pp. 101-110, 2006, Université de Nantes. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Nicolas Daclin, David Chen 0001, Bruno Vallespir |
Decisional Interoperability: Concepts And Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRO-VE ![In: Network-Centric Collaboration and Supporting Frameworks - IFIP TC5 WG 5.5 Seventh IFIP Working Conference on Virtual Enterprises, PRO-VE 2006, 25-27 September 2006, Helsinki, Finland, pp. 297-304, 2006, Springer, 978-0-387-38266-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Teller |
Formalisation des normes comptables : vers une ontologie des notions de comptabilité. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai - 4 juin, 2006, pp. 643-655, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela |
Formalisation of a Functional Risk Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006, pp. 516-519, 2006, 972-8865-41-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Salem Chakhar |
Cartographie déCisionnelle MulticritèRe : Formalisation et IMPLémentation informatique. (Multicriteria Decisional Cartography: Formaliztion and Implementation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
17 | Clémentine Nebut, Franck Fleurey |
Une méthode de formalisation progressive des exigences basée sur un modèle simulable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Obj. Logiciel Base données Réseaux ![In: Obj. Logiciel Base données Réseaux 11(1-2), pp. 145-158, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Paul Donnay |
Formalisation des informations géographiques en mode maillé. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Int. Géomatique ![In: Rev. Int. Géomatique 15(4), pp. 415-438, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Frédérique Guilhot |
Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 24(9), pp. 1113-1138, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Philippe Babau |
Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
17 | Tibor Bosse, Catholijn M. Jonker, Jan Treur |
Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I, pp. 427-436, 2005, Springer, 3-540-26298-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Robert Demolombe, Vincent Louis |
Normes, Pouvoirs et Rôles: vers une formalisation en logique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFSMA ![In: Systèmes Multi-Agents, vers la conception de systèmes artificiels socio-mimétiques, JFSMA 05, treizièmes journées francophones sur les systèmes multi-agents, Calais, France, November 23-25, 2005, pp. 51-63, 2005, Hermes Lavoisier Editions, 2-7462-1329-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Rim Djedidi Hannachi, Sarra Ben Lagha, Mohamed Ben Ahmed |
Utilisation des technologies XML pour la formalisation de l'ontologie de modèles e-business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGC ![In: Extraction et gestion des connaissances (EGC'2005), Actes des cinquièmes journées Extraction et Gestion des Connaissances, Paris, France, 18-21 janvier 2005, 2 Volumes, pp. 419, 2005, Cépaduès-Éditions, 2-85428-677-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Andreas Hamfelt, Jenny Eriksson Lundström, Jørgen Fischer Nilsson |
A metalogical formalisation of legal argumentation as game trees with defeasible reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy, pp. 250-251, 2005, ACM, 1-59593-081-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Manuele Kirsch-Pinheiro, Marlène Villanova-Oliver, Jérôme Gensel, Hervé Martin |
Une formalisation du contexte dans les environnements coopératifs nomades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiMob ![In: Actes des 2èmes journées francophones Mobilité et Ubiquité 2005, UBIMOB'05, 31 mai - 3 juin 2005, Grenoble, France, pp. 1-8, 2005, ACM, 1-59593-172-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Huiqing Li, Simon J. Thompson |
Formalisation of Haskell refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Functional Programming ![In: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005., pp. 95-110, 2005, Intellect, 978-1-84150-176-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur |
Formalisation and Analysis of the Temporal Dynamics of Conditioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers, pp. 54-68, 2005, Springer, 3-540-34097-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Wojciech Mostowski |
Formalisation and Verification of Java Card Security Properties in Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 357-371, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Jacques Dahan |
La démarche de découverte expérimentalement médiée par Cabri-Géomètre en mathématiques: un essai de formalisation à partir de l'analyse de démarches de résolutions de problèmes de boîtes noires. (The process of experimental discovery in mathematics mediated by Cabri-Geometry. A theoretical essay based on the analysis of various approaches to the solution of "black box" problems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
17 | Mhamed Saidane |
Formalisation de Familles d'Architectures Logicielles Coopératives : Démarches, Modèles et Outils. (Formalizing Families of Cooperative Software Architectures: Approaches, Models and Tools). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
17 | Greg O'Keefe |
Towards a Readable Formalisation of Category Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Proceedings of Computing: The Australasian Theory Symposium, CATS 2004, Dunedin, New Zealand, January 19-20, 2004, pp. 212-228, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alessio Lomuscio, Marek J. Sergot |
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 2(1), pp. 93-116, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cosmin Carabelea, Cristiano Castelfranchi, Olivier Boissier |
Autonomie et pouvoir social. Vers une formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFSMA ![In: Systèmes Multi-Agents Défis scientifiques et nouveaux usages - JFSMA 04 - Douxièmes journées francophones sur les systèmes multi-agents, Paris, France, November 24-26, 2004, pp. 195-208, 2004, Lavoisier, 2-7462-1021-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Evariste Valéry Bévo Wandji, Ghislain Lévesque, Jean Guy Meunier |
Toward an ontological formalisation for a software functional size measurement method's application process: The FPA case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RIVF ![In: Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, Hanoï Vietnam, 2-5 Février 2004, pp. 113-118, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Nils Gesbert |
Formalisation of Geographical Database Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS (Local Proceedings) ![In: Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Local Proceeding., 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Nils Gesbert |
Formalisation des spécifications de bases de données géographiques pour une meilleure compréhension des données. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004, pp. 267-281, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Jérôme Antoni |
The spectral kurtosis of nonstationary signals: Formalisation, some properties, and application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 2004 12th European Signal Processing Conference, Vienna, Austria, September 6-10, 2004, pp. 1167-1170, 2004, IEEE, 978-320-0001-65-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Fabien Leymonerie, Lionel Blanc Dit Jolicoeur, Sorana Cîmpan, Christian Braesch, Flávio Oquendo |
Towards a Business Process Formalisation Based on an Architecture Centred Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, Porto, Portugal, April 14-17, 2004, pp. 513-518, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Ben Mankin |
The formalisation of authorisation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Raphaël Troncy |
Formalisation des connaissances documentaires et des connaissances conceptuelles à l'aide d'ontologies : application à la description de documents audiovisuels. (Formalization of documentary knowledge and conceptual knowledge with ontologies: applying to the description of audio-visual documents). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Frédéric Boyer |
Reconstruction ab initio de voies métaboliques - Formalisation et approches combinatoires. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Victor Bos, J. J. T. Kleijn |
Redesign of a Systems Engineering Language: Formalisation of X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 15(4), pp. 370-389, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Verification, System analysis, Systems engineering, Operational semantics, Formal semantics, Industrial systems |
17 | Johan Bos, Ewan Klein, Oliver Lemon, Tetsushi Oka |
DIPPER: Description and Formalisation of an Information-State Update Dialogue System Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL Workshop ![In: Proceedings of the SIGDIAL 2003 Workshop, The 4th Annual Meeting of the Special Interest Group on Discourse and Dialogue, July 5-6, 2003, Sapporo, Japan, pp. 115-124, 2003, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Raquel Fernández |
A Dynamic Logic Formalisation of the Dialogue Gameboard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: EACL 2003, 10th Conference of the European Chapter of the Association for Computational Linguistics, April 12-17, 2003, Agro Hotel, Budapest, Hungary, pp. 17-24, 2003, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Christophe Benzitoun |
Un "langage pivot" pour articuler description et formalisation : l'exemple des verbes introducteurs de "que-phrases". ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECITAL (Posters) ![In: Actes de la 10ème conférence sur le Traitement Automatique des Langues Naturelles. REncontres jeunes Chercheurs en Informatique pour le Traitement Automatique des Langues (Posters), RECITAL 2003, Batz-sur-Mer, France, June 2003, pp. 501-506, 2003, ATALA. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Agnes Boskovitz, Rajeev Goré, Markus Hegland |
A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis V, 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings, pp. 554-565, 2003, Springer, 3-540-40813-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Virginie Goepp |
Towards the Formalisation of a Contingent and Modular Management of Information System Design Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS Doctoral Consortium ![In: Doctoral Consortium, Proceedings of the 1st ICEIS Doctoral Consortium (DCEIS-2003), In conjunction with ICEIS 2003, Angers, France, April 2003, pp. 19-21, 2003, ICEIS Press, 972-98816-7-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Andrew A. Adams |
Digitisation, Representation, and Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings, pp. 1-16, 2003, Springer, 3-540-00568-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | André Windisch |
A framework for the formalisation of the simulation semantics of multi-lingual specified heterogeneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Frédéric Landragin |
Modélisation de la communication multimodale : vers une formalisation de la pertinence. (Multimodal Communication Modelling: Towards a Formalization of Relevance). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Alan L. Rector |
Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002, 2002, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Barry A. T. Brown |
Unpacking a Timesheet: Formalisation and Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 10(3-4), pp. 293-315, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Chicli |
Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFLA ![In: Journées francophones des langages applicatifs (JFLA'01), Pontarlier, France, Janvier, 2001, pp. 17-32, 2001, INRIA, 2-7261-1154-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
17 | Lina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca |
Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers, pp. 270-284, 2001, Springer, 3-540-42959-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Victor Bos, J. J. T. Kleijn |
Formalisation of a Production System Modelling Language The operational semantics of c Core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 41(4), pp. 367-392, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Andrew A. Adams |
A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 3, pp. 1-26, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Michael Winter 0001 |
An Algebraic Formalisation of L-Fuzzy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada, pp. 233-242, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
17 | Vojtech Svátek, Tomás Kroupa, Marek Ruzicka |
Guide-X - a Step-by-Step, Markup-Based Approach to Guideline Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWGLP ![In: Computer-Based Support for Clinical Guidelines and Protocols - Proceedings of EWGLP 2000, Leipzig, Germany, pp. 97-114, 2000, IOS Press, 978-1-58603-193-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Tomaz Klobucar, Borka Jerman-Blazic |
A formalisation and evaluation of certificate policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 22(12), pp. 1104-1110, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Peter Veelaert, Herbert Peremans |
Flexibility maps: A formalisation of navigation behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 27(3), pp. 151-169, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rafaél Hernández Marín, Giovanni Sartor |
Time and norms: a formalisation in the event-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ICAIL '99, Oslo, Norway, June 14-17, 1999, pp. 90-99, 1999, ACM, 1-58113-165-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Yahia Rabih |
Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS (Short Papers) ![In: Advances in Databases and Information Systems, Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings of Short Papers, pp. 163-170, 1999, Institute of Informatics, Faculty of Electrical Engineering and Computer Science, Smetanova 17, IS-2000 Maribor, Slovenia, 86-435-0285-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Robert Demolombe |
Database Validity and Completeness: Another Approach and its Formalisation in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KRDB ![In: Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999, pp. 11-13, 1999, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Jean-Philippe Kotowicz, Xavier Briffault |
Linguistic Engineering for Conception of Multi-Agents Systems-Application to the Formalisation of Enterprise Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Proceedings of the 1st International Conference on Enterprise Information Systems, Setubal, Portugal, 27-30 March 1999, pp. 248-255, 1999, ICEIS Secretariat, Escola Superior de Tecnologia de Setúbal, Portugal. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Greg Reeve |
Improving Software using Requirements Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Zealand Computer Science Research Students' Conference ![In: Third New Zealand Computer Science Research Students' Conference, Te Kohinga Marama Marae, Hamilton, New Zealand, April 6-9, 1999, pp. 70-77, 1999, University of Waikato. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Renaud Lecoeuche |
Formalisation and evaluation of focus theories for requirements elicitation dialogues in natural language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
17 | Amokrane Saïbi |
Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories. (Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
17 | Jane Hesketh, David Stuart Robertson 0001, Norbert E. Fuchs, Alan Bundy |
Lightweight Formalisation in Support of Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 5(2), pp. 183-210, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Peter McBrien, Alexandra Poulovassilis |
A Formalisation of Semantic Schema Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 23(5), pp. 307-334, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Beata Konikowska, Charles G. Morgan, Ewa Orlowska |
A Relational Formalisation of Arbitrary Finite Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 6(5), pp. 755-774, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Peter Lucas |
Symbolic diagnosis and its formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Eng. Rev. ![In: Knowl. Eng. Rev. 12(2), pp. 109-146, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus |
Formalisation for decision support in anaesthesiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Medicine ![In: Artif. Intell. Medicine 11(3), pp. 189-214, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jeffery R. Wickens, R. Miller |
A formalisation of the neural assembly concept 1. Constraints on neural assembly size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 77(5), pp. 351-358, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Alvaro A. A. Fernandes, Maria L. Barja, Norman W. Paton, M. Howard Williams |
The formalisation of ROCK & ROLL: A deductive object-oriented database system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 39(6), pp. 379-389, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Ewa Orlowska |
Relational Formalisation of Nonclassical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Relational Methods in Computer Science ![In: Relational Methods in Computer Science., pp. 90-105, 1997, Springer, 978-3-211-82971-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Rebecca E. Grinter |
Doing Software Development: Occasions for Automation and Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSCW ![In: Fifth European Conference on Computer Supported Cooperative Work, ECSCW'97, Lancaster, UK, September 7-11, 1997, Proceedings, pp. 173-, 1997, Kluwer Academic Publishers. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Jaelson F. B. Castro, Marco A. Toranzo, Christian J. Gautreau, Marcio A. S. Bueno |
Multiview: Requirements Modeling and Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 11th Brazilian Symposium on Software Engineering, SBES 1997, Recife, PE, Brazil, October 15-17, 1997., pp. 481-485, 1997, SBC. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Mathieu Jaume |
Formalisation de la SLD-résolution dans le calcul des constructions inductives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPLC ![In: JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France, pp. 277-, 1997, Hermes, 2-86601-614-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Johan Blom |
Formalisation of Requirements with Emphasis on Feature Interaction Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIW ![In: Feature Interactions in Telecommunications Networks IV, June 17-19, 1997, Montréal, Canada, pp. 61-77, 1997, IOS Press, 90-5199-347-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Jeffery R. Wickens, R. Miller |
Requirements for Neural Assembly Formation, Ignition and Maintenance: Formalisation of Traditional Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Progress in Connectionist-Based Information Systems: Proceedings of the 1997 International Conference on Neural Information Processing and Intelligent Information Systems, ICONIP 1997, Volume I, Dunedin, New Zealand, 24-28 November, 1997, pp. 117-120, 1997, Springer, 0-444-88545-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Nathalie Denos |
Modélisation de la pertinence en recherche d'information : modèle conceptuel, formalisation et application. (Modelling relevance for information retrieval: conceptual model, formalization and application). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
17 | Peter Nickolas, Peter J. Robinson 0001 |
The Qu-Prolog Unification Algorithm: Formalisation and Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 169(1), pp. 81-112, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Denis Fouks, Jean-Claude Spehner |
Meta-Resolution: An Algorithmic Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 166(1&2), pp. 147-172, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Henry Prakken |
Two Approaches to the Formalisation of Defeasible Deontic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 57(1), pp. 73-90, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Ralph Rönnquist, Chi Keen Low |
Formalisation of Interaction Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 318-, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
concurrent object oriented system, multi-agent system, fragmentation, Interaction diagram |
17 | Jaelson Freire Brelaz de Castro, Christian J. Gautreau, Marco Antonio Toranzo Céspedes |
Towards an Environment to Support Requirements Formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 10th Brazilian Symposium on Software Engineering, SBES 1996, São Carlos, SP, Brazil, October 14-18, 1996., pp. 189-205, 1996, SBC. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jaelson F. B. Castro, Christian J. Gautreau, Marco A. Toranzo |
Tool support for requirements formalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAW/Viewpoints@FSE ![In: Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, ISAW '96, San Francisco, California, USA, pp. 202-206, 1996, ACM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Cuppens, Alban Gabillon |
Formalisation de la Confidentialité dans une Base de Données à Objets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDA ![In: 12èmes Journées Bases de Données Avancées, 27-30 Août 1996, Cassis, France (Informal Proceedings)., pp. 417-, 1996, INRIA. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Philippe Owezarski |
Conception et formalisation d'une application de visioconférence coopérative. Application et extension pour la téléformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
17 | Mark Pfeiffer, John Leaney |
The Simple Reliable Monitor: A Formalisation of the Concept of a Safe Software Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aust. Comput. J. ![In: Aust. Comput. J. 27(1), pp. 9-15, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Marc Pauwels, Gert Goossens, Francky Catthoor, Hugo De Man |
Formalisation of multi-precision arithmetic for high-level synthesis of DSP architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 11(1-2), pp. 97-112, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Stephen Murrell, Robert Plant |
Decision Tables: Formalisation, Validation and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 5(2), pp. 107-132, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Stranieri, John Zeleznikow |
Levels of Reasoning as the Basis for a Formalisation of Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA, pp. 333-339, 1995, ACM, 0-89791-812-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|