|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18708 occurrences of 5441 keywords
|
|
|
Results
Found 36096 publication records. Showing 36096 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Silvio Peroni, Aldo Gangemi, Fabio Vitali |
Dealing with markup semantics. |
I-SEMANTICS |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Manolis Wallace, Ioannis Anagnostopoulos, Phivos Mylonas, Mária Bieliková |
Semantics in Adaptive and Personalized Services: Methods, Tools and Applications. |
Semantics in Adaptive and Personalized Services |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Alena Kovárová, Lucia Szalayová |
Semantics in the Field of Widgets: A Case Study in Public Transportation Departure Notifications. |
Semantics in Adaptive and Personalized Services |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Keye Martin, Michael W. Mislove |
10232 Report - The Semantics of Information. |
The Semantics of Information |
2010 |
DBLP BibTeX RDF |
|
27 | Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz |
10252 Executive Summary - Game Semantics and Program Verification. |
Game Semantics and Program Verification |
2010 |
DBLP BibTeX RDF |
|
27 | Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz |
10252 Abstracts Collection - Game Semantics and Program Verification. |
Game Semantics and Program Verification |
2010 |
DBLP BibTeX RDF |
|
27 | Irene Celino, Francesco Corcoglioniti |
Towards the formalization of interaction semantics. |
I-SEMANTICS |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Stamatia Dasiopoulou, Ioannis Kompatsiaris, Michael G. Strintzis |
Applying Fuzzy DLs in the Extraction of Image Semantics. |
J. Data Semantics |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Olga De Troyer, Wesley Bille, Frederic Kleinermann |
Defining the Semantics of Conceptual Modeling Concepts for 3D Complex Objects in Virtual Reality. |
J. Data Semantics |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Sandipto Banerjee, Karen C. Davis |
Modeling Data Warehouse Schema Evolution over Extended Hierarchy Semantics. |
J. Data Semantics |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Chen Wu 0001, Vidyasagar M. Potdar, Elizabeth Chang 0001 |
Latent Semantic Analysis - The Dynamics of Semantics Web Services Discovery. |
Advances in Web Semantics I |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Maja Hadzic, Elizabeth Chang 0001 |
Web Semantics for Intelligent and Dynamic Information Retrieval Illustrated within the Mental Health Domain. |
Advances in Web Semantics I |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Ana Karla Alves de Medeiros, Wil M. P. van der Aalst |
Process Mining towards Semantics. |
Advances in Web Semantics I |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kevin Lano |
The Role of Semantics. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Hong Zhu 0002, Lijun Shan, Ian Bayley, Richard Amphlett |
Formal Descriptive Semantics of UML and Its Applications. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kevin Lano, David Clark 0001 |
Axiomatic Semantics of State Machines. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kevin Lano |
Axiomatic Semantics of UML Class Diagrams. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Anneke Kleppe |
Object Constraint Language: Metamodeling Semantics. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kevin Lano |
Semantics of Activity Diagrams. |
UML 2 Semantics and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Bartek Klin |
Structural Operational Semantics for Weighted Transition Systems. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Amal Ahmed 0001, Nick Benton, Martin Hofmann 0001, Greg Morrisett |
08061 Abstracts Collection -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
27 | Amal Ahmed 0001, Nick Benton, Martin Hofmann 0001, Greg Morrisett |
08061 Executive Summary -- Types, Logics and Semantics for State. |
Types, Logics and Semantics for State |
2008 |
DBLP BibTeX RDF |
|
27 | Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (eds.) |
Journal on Data Semantics VI: Special Issue on Emergent Semantics |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Anna Queralt, Ernest Teniente |
Specifying the Semantics of Operation Contracts in Conceptual Modeling. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Taehee Lee 0001, Junho Shim, Hyunja Lee, Sang-goo Lee |
A Pragmatic Approach to Model and Exploit the Semantics of Product Information. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks 0001 |
f-SWRL: A Fuzzy Extension of SWRL. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Yosi Ben-Asher, Shlomo Berkovsky |
Semantic Data Management in Peer-to-Peer E-Commerce Applications. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
Ontology, E-Commerce, Data Management, Peer-to-Peer Systems |
27 | Avigdor Gal |
Managing Uncertainty in Schema Matching with Top-K Schema Mappings. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Naren Kodali, Csilla Farkas, Duminda Wijesekera |
Enforcing Semantics-Aware Security in Multimedia Surveillance. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
27 | David J. Pym |
Notes Towards a Semantics for Proof-search. |
Workshop on Type-Theoretic Languages: Proof Search and Semantics |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
A Programmer's Reduction Semantics for Classes and Mixins. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Peter Buneman, Susan B. Davidson, Anthony Kosky |
Semantics of Database Transformations. |
Semantics in Databases |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Leonid Libkin |
A Semantics-based Approach to Design of Query Languages for Partial Information. |
Semantics in Databases |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Georg Gottlob, Gerti Kappel, Michael Schrefl |
The Evolving Algebra Semantics of Class and Role Hierarchies. |
Semantics in Databases |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Bart Kuijpers, Jan Paredaens, Luc Vandeurzen |
Semantics in Spatial Databases. |
Semantics in Databases |
1995 |
DBLP DOI BibTeX RDF |
|
27 | D. J. Andrews, Jan Friso Groote, Cornelis A. Middelburg (eds.) |
Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 |
Semantics of Specification Languages |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Peter Gorm Larsen |
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | T. B. Dinesh |
Type-Checking Revisited: Modular Error-Handling. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Michael Schenke |
A Timed Specification Language for Concurrent Reactive Systems. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Gerard R. Renardel de Lavalette |
From Implicit via Inductive to Explicit Definitions. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Stephan Kleuker |
Case Study: Stepwise Development of a Communication Processor Using Trace Logic. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Loe M. G. Feijs |
An Overview of the Development of COLD. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | John S. Fitzgerald, R. Moore |
Experiences in Developing a Proof Theory for VDM Specifications. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Hans Toetenel |
Loose Real-Time Communicating Agents. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Gerard R. Renardel de Lavalette |
The Static Part of the Design Language COLD-K. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Egidio Astesiano, Maura Cerioli |
Multiparadigm Specification Languages: A First Attempt at Foundations. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Stephen Brien |
The Development of Z. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Jan Friso Groote, Alban Ponse |
Proof Theory for µCRL: A Language for Processes with Data. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Bart Botma |
Rendez-vous with Bundle Event Structures. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Rix Groenboom, Gerard R. Renardel de Lavalette |
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | M. P. A. Sellink |
Verifying Process Algebra Proofs in Type Theory. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Flemming M. Damm, Bo Stig Hansen |
Generation of Proof Obligations for Type Consistency. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Robert Milne |
The Formal Basis for the RAISE Specification Language. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Djamel-Eddine Saïdouni, Jean-Pierre Courtiat |
Syntactic Action Refinement in Presence of Multiway Synchronization. |
Semantics of Specification Languages |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Gérard Boudol, Ilaria Castellani |
Three Equivalent Semantics for CCS. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
Processes as Data Types: Observational Semantics and Logic. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Jifeng He 0001, C. A. R. Hoare |
Categorical Semantics for Programming Languages. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Maria Zamfir, David L. Martin 0001 |
On the Syntax and Semantics of Concurrent Computing. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Naphtali Rishe |
Postconditional Semantics of Data Base Queries. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Luca Cardelli |
A Semantics of Multiple Inheritance. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
27 | Mariangiola Dezani-Ciancaglini, Ines Margaria |
F-Semantics for Intersection Type Discipline. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
27 | Kim B. Bruce, Albert R. Meyer |
The Semantics of Second Order Polymorphic Lambda Calculus. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
27 | Thierry Despeyroux |
Executable Specification of Static Semantics. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
27 | Harald Ganzinger |
Transforming denotational semantics into practical attribute grammars. |
Semantics-Directed Compiler Generation |
1980 |
DBLP DOI BibTeX RDF |
|
27 | Neil D. Jones, David A. Schmidt |
Compiler generation from denotational semantics. |
Semantics-Directed Compiler Generation |
1980 |
DBLP DOI BibTeX RDF |
|
27 | Ole Lehrmann Madsen |
On defining semantics by means of extended attribute grammars. |
Semantics-Directed Compiler Generation |
1980 |
DBLP DOI BibTeX RDF |
|
27 | Amir Pnueli |
The Temporal Semantics of Concurrent Programs. |
Semantics of Concurrent Computation |
1979 |
DBLP DOI BibTeX RDF |
|
27 | Jerald S. Schwartz |
Denotational Semantics of Parallelism. |
Semantics of Concurrent Computation |
1979 |
DBLP DOI BibTeX RDF |
|
27 | Donald E. Knuth |
Examples of formal semantics. |
Symposium on Semantics of Algorithmic Languages |
1971 |
DBLP DOI BibTeX RDF |
|
27 | Shigeru Igarashi |
Semantics of algol-like statements. |
Symposium on Semantics of Algorithmic Languages |
1971 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic |
2nd UML 2 Semantics Symposium: Formal Semantics for UML. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
UML, Formal Semantics |
26 | Guy De Tré, Rita M. M. De Caluwe, Henri Prade |
Null Values Revisited in Prospect of Data Integration. |
ICSNW |
2004 |
DBLP DOI BibTeX RDF |
data integration, many-valued logic, data semantics, database modelling, Null values |
26 | Huibiao Zhu, Jifeng He 0001, Jing Li 0062 |
Unifying Denotational Semantics with Operational Semantics for Web Services. |
ICDCIT |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001 |
Deriving Operational Semantics from Denotational Semantics for Verilog. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Walid Taha |
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract). |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
26 | John Hannan |
Searching For Semantics. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Joylyn Reed |
Semantics-Based Tools for a Specification-Support Environment. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Koen V. Hindriks, John-Jules Ch. Meyer |
Toward a programming theory for rational agents. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Verification logic, State-based semantics, Programming theory, Denotational semantics, Rational agents |
26 | Lars Birkedal, Kristian Støvring, Jacob Thamsborg |
Relational parametricity for references and recursive types. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics |
26 | Ying Liu, Naixiao Zhang |
On Concept-Based Definition of Domain-Specific Languages. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Evolving Algebra, Language Concept, Reuse, Domain-Specific Languages, Attribute Grammar, Dynamic Semantics, Static Semantics |
26 | Frits W. Vaandrager |
Expressive Results for Process Algebras. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence |
26 | Gérard Boudol, Gustavo Petri |
Relaxed memory models: an operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, memory models |
26 | Asuman Dogac, Yildiray Kabak, Gokce Laleci, Carl Mattocks, Farrukh Najmi, Jeff Pollock |
Enhancing ebXML Registries to Make them OWL Aware. |
Distributed Parallel Databases |
2005 |
DBLP DOI BibTeX RDF |
ebXML registry, semantic web service discovery, semantics, Web Ontology Language (OWL) |
26 | Michael W. Mislove, Frank J. Oles |
Full Abstraction and Unnested Recursion. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy |
26 | Pietro Baroni, Massimiliano Giacomin |
Solving Semantic Problems with Odd-Length Cycles in Argumentation. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos |
The Computational Description of Analogue System Behaviour. |
Prospects for Hardware Foundations |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Chris Hankin, Hanne Riis Nielson, Jens Palsberg |
Position Statements on Strategic Directions for Research on Programming Languages. |
ACM SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Zoran Majkic |
Intensional First-Order Logic for P2P Database Systems. |
J. Data Semantics |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Fatiha Saïs, Nathalie Pernelle, Marie-Christine Rousset |
Combining a Logical and a Numerical Method for Data Reconciliation. |
J. Data Semantics |
2009 |
DBLP DOI BibTeX RDF |
Reference reconciliation, Equation system, Iterative resolution, Ontologies, Semantic Data Integration, Automatic reasoning |
26 | José Meseguer 0001 |
Order-Sorted Parameterization and Induction. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Shenghui Wang 0001, Jeff Z. Pan |
Semantically Processing Parallel Colour Descriptions. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Stefanie Rinderle, Manfred Reichert |
A Formal Framework for Adaptive Access Control Models. |
J. Data Semantics |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jordi Cabot, Ruth Raventós |
Conceptual Modelling Patterns for Roles. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Hans-Joachim Klein 0001 |
Null Values in Relational Databases and Sure Information Answers. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Ursula Goltz |
CCS and Petri Nets. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari |
Transition Systems with Algebraic Structure as Models of Computations. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Luc Bougé, Patrick Garda |
Towards a Semantic Approach to SIMD Architectures and their Languages. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Luca Aceto, Matthew Hennessy |
Termination, Deadlock and Divergence. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
26 | A. W. Roscoe 0001, Geoff Barrett |
Unbounded Nondeterminism in CSP. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
25 | David DeHaan |
Equivalence of nested queries with mixed semantics. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
bag-set semantics, normalized bags, set semantics, aggregation, conjunctive queries, query equivalence |
Displaying result #401 - #500 of 36096 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|