|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1787 occurrences of 1141 keywords
|
|
|
Results
Found 3158 publication records. Showing 3158 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 3158 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|