Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Jan Mendling, Wil M. P. van der Aalst	Formalization and Verification of EPCs with OR-Joins Based on State and Context.	CAiSE	2007	DBLP DOI BibTeX RDF
19	Junghwa Chae	Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.	FORTE	2007	DBLP DOI BibTeX RDF	object class hierarchy, tableaux method, Role-based access control, modal logic, object classes
19	Christian Webel, Reinhard Gotzhein	Formalization of Network Quality-of-Service Requirements.	FORTE	2007	DBLP DOI BibTeX RDF
19	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose	Formalization and assessment of regulatory requirements for safety-critical software.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Regulatory requirements, Formal methods, Certification, Z notation
19	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC
19	Carsten Schürmann, Mark-Oliver Stehr	An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.	LPAR	2006	DBLP DOI BibTeX RDF
19	Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin	OCC's Emotions: A Formalization in a BDI Logic.	AIMSA	2006	DBLP DOI BibTeX RDF
19	Xuan Zhou, Qing Li 0010, Lars Ludwig, Yuliu Chen	Subject-Oriented Knowledge Formalization: Method and Prototype.	Web Intelligence	2006	DBLP DOI BibTeX RDF
19	Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler	An Ontology-based Approach to the Formalization of Information Security Policies.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
19	Silvio Valentini	The problem of the formalization of constructive topology.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
19	Federico Chesani	Formalization and Verification of Interaction Protocols.	ICLP	2005	DBLP DOI BibTeX RDF
19	Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán	Formalization of UML state machines using temporal logic.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	UML, specification, formal semantics, interval temporal logic, Statechart diagrams
19	Paul Hankes Drielsma, Sebastian Mödersheim, Luca Viganò 0001	A Formalization of Off-Line Guessing for Security Protocol Analysis.	LPAR	2004	DBLP DOI BibTeX RDF
19	Jim Blythe, Yolanda Gil	Incremental formalization of document annotations through ontology-based paraphrasing.	WWW	2004	DBLP DOI BibTeX RDF	knowledge acquisition, semantic markup, document annotation
19	Masaki Nakagawa, Bilan Zhu, Motoki Onuma	A Formalization of On-line Handwritten Japanese Text Recognition free from Line Direction Constraint.	ICPR (2)	2004	DBLP DOI BibTeX RDF
19	Thouraya Bouabana-Tebibel, Mounira Belmesk	Formalization of UML object dynamics and behavior.	SMC (5)	2004	DBLP DOI BibTeX RDF
19	Sjouke Mauw, Jan Verschuren, Erik P. de Vink	A Formalization of Anonymity and Onion Routing.	ESORICS	2004	DBLP DOI BibTeX RDF
19	Franck Barbier, Brian Henderson-Sellers, Annig Le Parc, Jean-Michel Bruel	Formalization of the Whole-Part Relationship in the Unified Modeling Language.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Whole-Part relationship, UML, composition, aggregation, Object-oriented modeling
19	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
19	Zhanmin Yang, Chundi Mu	The Formalization of Argumentation and Its Application in Network Computing.	Web Intelligence	2003	DBLP DOI BibTeX RDF
19	Reynald Affeldt, Naoki Kobayashi 0001	Formalization and Verification of a Mail Server in Coq.	ISSS	2002	DBLP DOI BibTeX RDF
19	Girish Kumar Patnaik, M. M. Gore	Design of Compiler for Mobile Environment and Its Formalization Using Evolving Algebra.	Mobile Data Management	2002	DBLP DOI BibTeX RDF	Evolving Algebra, Mobile Computing, Compiler Design
19	Sergiy A. Vilkomir, Jonathan P. Bowen	Formalization of Software Testing Criteria using the Z Notation.	COMPSAC	2001	DBLP DOI BibTeX RDF	coverage, Z notation, testing criteria, MC/DC
19	Joseph Gil, John Howse, Stuart Kent 0001	Towards a Formalization of Constraint Diagrams.	HCC	2001	DBLP DOI BibTeX RDF	formal methods, software specification, Visual formalisms
19	Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck	Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.	Automated Deduction in Geometry	2000	DBLP DOI BibTeX RDF
19	Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang	Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams.	DSN	2000	DBLP DOI BibTeX RDF	simulation and model checking, formal specifications, Object-oriented modeling
19	Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet	Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System.	FAABS	2000	DBLP DOI BibTeX RDF
19	Josefina Sierra-Santibáñez	Declarative Formalization of Strategies for Action Selection: Applications to Planning.	JELIA	2000	DBLP DOI BibTeX RDF
19	David Mentré, Daniel Le Métayer, Thierry Priol	Formalization and Verification of Coherence Protocols with the Gamma Framework.	PDSE	2000	DBLP DOI BibTeX RDF
19	Silvia Teresita Acuña, R. Giandini, Cecilia María Lasserre, Viviana Elizabet Quincoces	Capacities-Centered Integral Software Process Formalization.	SCCC	2000	DBLP DOI BibTeX RDF	CCISPM, Capacities Centered Integral Software Process Model, software engineering, object-oriented programming, knowledge based systems, knowledge-based systems, project management, dynamic modeling, project planning, object oriented approach
19	Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai	Formalization of Graph Search Algorithms and Its Applications.	TPHOLs	1998	DBLP DOI BibTeX RDF
19	Rainer Koppler	Parallelization of Unstructured Mesh Computations Using Data Structure Formalization.	Euro-Par	1998	DBLP DOI BibTeX RDF
19	Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan	Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.	FMCAD	1998	DBLP DOI BibTeX RDF
19	I. S. W. B. Prasetya	Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.	HUG	1993	DBLP DOI BibTeX RDF
19	Anthony McIsaac	A Formalization of Abstraction in LAMBDA.	HUG	1993	DBLP DOI BibTeX RDF
19	Roel J. Wieringa	A Formalization of Objects Using Equational Dynamic Logic.	DOOD	1991	DBLP DOI BibTeX RDF
19	François Bry	Negation in Logic Programming: A Formalization in Constructive Logic.	IS/KI	1990	DBLP DOI BibTeX RDF
19	François Bry	Logic Programming as Constructivism: A Formalization and its Application to Databases.	PODS	1989	DBLP DOI BibTeX RDF
19	Timo Niemi, Kalervo Järvelin	A Straightforward Formalization of the Relational Model.	SIGMOD Rec.	1984	DBLP DOI BibTeX RDF
19	Jean-Marie Nicolas 0001	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.	SIGMOD Conference	1978	DBLP DOI BibTeX RDF	logic and data bases, mutual dependencies, functional dependencies, multivalued dependencies, relational data base
18	Daniel Sinnig, Homa Javahery	Mastering use cases: capturing functional requirements for interactive applications.	EICS	2010	DBLP DOI BibTeX RDF	heuristics, refactoring, use cases, guidelines, formalization, user interface models
18	Yucong Duan, Christophe Cruz, Christophe Nicolle	Managing Semantics Knowledge for 3D Architectural Reconstruction of Building Objects.	SERA	2010	DBLP DOI BibTeX RDF	knowledge management, semantics, cognition, formalization, epistemology, BIM
18	Hamed Khiabani, Zailani Mohamed Sidek, Jamalul-lail Ab Manan	Towards a Unified Trust Model in Pervasive Systems.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Trust, Pervasive Computing, Formalization, Trustworthiness, TPM
18	Gabriel A. Weaver, Scott A. Rea, Sean W. Smith	Computational techniques for increasing PKI policy comprehension by human analysts.	IDtrust	2010	DBLP DOI BibTeX RDF	certificate policy formalization, XML, PKI
18	François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau	Packaging Mathematical Structures.	TPHOLs	2009	DBLP DOI BibTeX RDF	Formalization of Algebra, Coercive subtyping, SSReflect, Type inference, Coq
18	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Desargues' theorem in Coq using ranks.	SAC	2009	DBLP DOI BibTeX RDF	Desargues, rank, formalization, projective geometry, Coq
18	Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou	A Formal Theory of Cooperative TU-Games.	MDAI	2009	DBLP DOI BibTeX RDF	automated proof checker, formalization, cooperative games
18	Manolis Tzagarakis, Nikos Karousos, Nikos I. Karacapilidis	On the Development of Web-Based Argumentative Collaboration Support Systems.	WSKS (1)	2009	DBLP DOI BibTeX RDF	argumentative collaboration, CoPe_it!, Web-based systems, incremental formalization
18	Christian Kruschitz	XPLML: a HCI pattern formalizing and unifying approach.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	human computer interaction, semantics, design patterns, standardization, formalization, pattern language
18	Jürgen Dingel, Zinovy Diskin, Alanna Zito	Understanding and improving UML package merge.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Semantics formalization, Metamodeling techniques, UML, Model composition
18	Leon Horsten, Igor Douven	Formal Methods in the Philosophy of Science.	Stud Logica	2008	DBLP DOI BibTeX RDF	applied logic, formal method, formalization
18	Yongyi Peng, Ning Huang	Formalizing Semantics of OWL-S Process Model.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	formalization, OWL-S, rewrite logic, Maude, dynamic semantics
18	Dong-Seok Kang, Hun Yeong Kwon, Yoon-Seok Ko	Case Study on the Effects of Administrative Informatization on the Organizational Structure for the Central Government in Korea.	EGOV	2008	DBLP DOI BibTeX RDF	Administrative Informatization, manpower system, Complexity, e-government, Formalization, Centralization, differentiation, organizational structure
18	David Nowak	On Formal Verification of Arithmetic-Based Cryptographic Primitives.	ICISC	2008	DBLP DOI BibTeX RDF	machine formalization, CSPRBG, semantic security, cryptographic primitives
18	Sergey V. Zelenov, Sophia A. Zelenova	Model-Based Testing of Optimizing Compilers.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	compiler testing, formalization of requirements, formal data model, model based testing, test data generation
18	Xinwu Cheng, Lei Li, Jun Wei 0001	Automatic enactment of message exchange pattern for web services.	SAC	2007	DBLP DOI BibTeX RDF	message exchange pattern, formalization, automatic, enactment
18	Kevin Kyung Nam, Mark S. Ackerman	Arkose: reusing informal information from online discussions.	GROUP	2007	DBLP DOI BibTeX RDF	collaborative distillation, community knowledge, CSCW, online communities, design rationale, information organization, information reuse, incremental formalization, knowledge communities
18	Hong Zhang, Bo Zhang 0003	Generalized Association Rule Mining Algorithms Based on Multidimensional Data.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Multi-dimension, Date mining, Formalization, Multidimensional data, Generalized association rule
18	Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen	A verifiable SSA program representation for aggressive compiler optimization.	POPL	2006	DBLP DOI BibTeX RDF	SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
18	Jingwei Huang 0002, Mark S. Fox	An ontology of trust: formal semantics and transitivity.	ICEC	2006	DBLP DOI BibTeX RDF	transitivity of trust, trust formalization, web of trust, trust ontology
18	LiGuo Huang, Barry W. Boehm, Hao Hu 0001, JiDong Ge, Jian Lü 0001, Cheng Qian	Applying the Value/Petri process to ERP software development in China.	ICSE	2006	DBLP DOI BibTeX RDF	object petri nets (OPN), software process formalization, software quality, cost, ROI, value, software process simulation
18	Ebrahim Bagheri, Ali A. Ghorbani 0001	Behavior analysis through reputation propagation in a multi-context environment.	PST	2006	DBLP DOI BibTeX RDF	multi-context reputation, reputation formalization, reputation propagation
18	Aline Lúcia Baroni	Quantitative assessment of UML dynamic models.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	UML meta-model, UML models (use cases, activity, sequence, collaboration, communication), estimation, statecharts, OCL, behavioral models, formalization, dynamic models, object-oriented design metrics
18	Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee 0001, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou	Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification
18	Moreno Andreatta, D. T. Vuza, Carlos Agón	On some theoretical and computational aspects of Anatol Vieru's periodic sequences.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Algebraic formalization, Finite difference calculus on groups, Decomposition, Periodic sequences
18	Frank M. Shipman III, Hao-wei Hsieh, J. Michael Moore, Anna Zacchi	Supporting personal collections across digital libraries in spatial hypertext.	JCDL	2004	DBLP DOI BibTeX RDF	collection organization, information visualization, metadata, spatial hypertext, incremental formalization, information triage
18	Béchir el Ayeb	Fault Identification in System-Level Diagnosis: a Logic-Based Framework and an O(n2sqrt(tau/log n) Algorithm.	Algorithmica	2002	DBLP DOI BibTeX RDF	Fault identification algorithms, Logic-based deduction, Complexity, Graph, Diagnosis, Formalization, System-level diagnosis
18	Philipp Obreiter, Guntram Gräf	Towards scalability in tuple spaces.	SAC	2002	DBLP DOI BibTeX RDF	scalability, distribution, formalization, tuple spaces
18	Frank M. Shipman III, J. Michael Moore, Preetam Maloor, Hao-wei Hsieh, Raghu Akkapeddi	Semantics happen: knowledge building in spatial hypertext.	Hypertext	2002	DBLP DOI BibTeX RDF	mixed-initiative dialogs, spatial parser, suggestion-based interfaces, visual language, spatial hypertext, incremental formalization
18	Mark S. Ackerman, David W. McDonald	Collaborative Support for Informal Information in Collective Memory Systems.	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF	community memory, informal information, information refining, collaborative help, information retrieval, computer-supported cooperative work, CSCW, information systems, CMC, computer-mediated communications, information access, organizational memory, help, group memory, corporate memory, incremental formalization
18	Cecilia Mascolo	Specification, Analysis, and Prototyping of Mobile Systems.	ICSE	1999	DBLP DOI BibTeX RDF	verification, prototyping, formalization, mobile code
18	Christine Neuwirth, James H. Morris, Susan Harkness Regli, Ravinder Chandhok, Geoffrey C. Wenger	Envisioning Communication: Task-Tailorable Representations of Communication in Asynchronous Work.	CSCW	1998	DBLP DOI BibTeX RDF	visualization, interfaces, awareness, collaborative work, asynchronous communication, electronic mail, incremental formalization, external representations
18	Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede	An Algebraic Semantics for Object-Oriented Behaviour Modeling.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	Objectory, OOSE, Communication, Object-Orientation, Process Algebra, Formalization, Behaviour
18	Richard J. Mayer, Madhav Erraguntla, Christopher Menzel, Jyh Chen Hwang	Formal model of single agent planning situations.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	Single agent planning, ontology, knowledge representation, formalization
18	Gerhard Fischer, Raymond McCall, Jonathan L. Ostwald, Brent Reeves, Frank M. Shipman III	Seeding, evolutionary growth and reseeding: supporting the incremental development of design environments.	CHI	1994	DBLP DOI BibTeX RDF	domain-orientation, end-user modifiability, evolution of information spaces, annotation, collaborative design, tacit knowledge, design environments, situated cognition, seeds, reseeding, incremental formalization
18	Michel Wermelinger, José Gabriel Lopes	Basic Conceptual Structures Theory.	ICCS	1994	DBLP DOI BibTeX RDF	Key phrases formalization of CS theory, higher-order concept and relation types, type and marker hierarchies, metalevel and instance level
18	Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark R. Heckman, William R. Shockley	The SeaView Security Model.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	policy formalization, new data, SeaView security model, clearances, mandatory security, standard relational model, multilevel relations, discretionary security, application-independent properties, entity integrity, polyinstantiation integrity, classifications, software engineering, relational databases, security of data, users, labeling, data consistency, reference monitor, formal security model, referential integrity, derived data, multilevel database
14	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
14	Angelina Espinoza, Goetz Botterweck, Juan Garbajosa	A formal approach to reuse successful traceability practices in SPL projects.	SAC	2010	DBLP DOI BibTeX RDF	feature configuration, traceability metamodeling, traceability methodology, software product lines, knowledge reuse, product derivation
14	Nicholas J. Hopper, Luis von Ahn, John Langford 0001	Provably Secure Steganography.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
14	Hendrik Tews, Marcus Völp, Tjark Weber	Formal Memory Models for the Verification of Low-Level Operating-System Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Micro-hypervisor, Memory-mapped devices, Formal verification, Virtual memory, Operating-system kernel
14	Dong Xu, Huaikou Miao, Nduwimfura Philbert	Model Checking UML Activity Diagrams in FDR.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
14	Leonid Kof	Translation of Textual Specifications to Automata by Means of Discourse Context Modeling.	REFSQ	2009	DBLP DOI BibTeX RDF	behavior extraction, natural language processing, requirements analysis, behavior modeling
14	Alessandro Lanza, Luigi Di Stefano, Luca Soffritti	Bayesian Order-Consistency Testing with Class Priors Derivation for Robust Change Detection.	AVSS	2009	DBLP DOI BibTeX RDF
14	Martin Tröschel, Hans-Jürgen Appelrath	Towards Reactive Scheduling for Large-Scale Virtual Power Plants.	MATES	2009	DBLP DOI BibTeX RDF
14	Marco Brambilla 0001, Christina Tziviskou	An Online Platform for Semantic Validation of UML Models.	ICWE	2009	DBLP DOI BibTeX RDF	ontology, Semantic Web, UML, component, validation, conceptual modeling, pattern, reasoner, class diagram, WebML
14	Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer	A Formal Model of Emotion-Based Action Tendency for Intelligent Agents.	EPIA	2009	DBLP DOI BibTeX RDF
14	Eduard Hoenkamp	On the Notion of "An Information Need".	ICTIR	2009	DBLP DOI BibTeX RDF
14	Sidi Ould Biha	Finite Groups Representation Theory with Coq.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	Maschke’s theorem, SSReflect, linear algebra, Coq, Representation theory
14	Marcus Alanen, Ivan Porres	A metamodeling language supporting subset and union properties.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Redefinitions, Package merges, Extension mechanisms, Software modeling languages, UML, Graph theory, Graphs, Metamodeling, MOF, Subsets, Unions
14	Ariel Cohen 0004, Michael Kaminski, Johann A. Makowsky	Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Herbrand models, Sorites, Rough Set Theory, Equality, Default Logic, Vagueness, Indistinguishability, Anaphora
14	Osman Hasan, Sofiène Tahar	Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover
14	Florian Kammüller	Formalizing non-interference for a simple bytecode language in Coq.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification
14	Daniel Leivant	Reasoning in Dynamic Logic about Program Termination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
14	Anton Bogdanovych, Simeon J. Simoff, Marc Esteva	Virtual Institutions: Normative Environments Facilitating Imitation Learning in Virtual Agents.	IVA	2008	DBLP DOI BibTeX RDF
14	Artem Chebotko, Seunghan Chang, Shiyong Lu, Farshad Fotouhi, Ping Yang 0002	Scientific Workflow Provenance Querying with Security Views.	WAIM	2008	DBLP DOI BibTeX RDF
14	Kirsten Schlüter, Torsten Brinda	Characteristics and dimensions of a competence model of theoretical computer science in secondary education.	ITiCSE	2008	DBLP DOI BibTeX RDF	characteristics of task difficulty, competence profiles, secondary computer science education, educational standards, competence model, didactics of informatics, theoretical computer science
14	Pau Fonseca	SDL distributed simulator.	WSC	2008	DBLP DOI BibTeX RDF
14	Elena Cardillo, Claudio Eccher, Luciano Serafini, Andrei Tamilin	Logical Analysis of Mappings between Medical Classification Systems.	AIMSA	2008	DBLP DOI BibTeX RDF	Medical Classification Systems, ICPC-ICD, Mapping, Reasoning, Medical Informatics
14	Christoph Wernhard	Literal Projection for First-Order Logic.	JELIA	2008	DBLP DOI BibTeX RDF