|
|
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 |
23 | Pablo Barceló, Leopoldo E. Bertossi, Loreto Bravo |
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics in Databases ![In: Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers, pp. 7-33, 2001, Springer, 3-540-00957-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jim Alves-Foss, Deborah A. Frincke |
Formal Grammar for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 1-40, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Paul Gastin |
Infinite Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 277-308, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Rob J. van Glabbeek, Ursula Goltz |
Equivalences and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 309-333, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Karoline Malmkjær |
On Some Semantic Issues in the Reflective Tower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 229-246, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Elsa L. Gunter |
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 351-363, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Carl A. Gunter |
Comparing Categories of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 101-121, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
22 | Stamatia Dasiopoulou, Vassilis Tzouvaras, Ioannis Kompatsiaris, Michael G. Strintzis |
Capturing MPEG-7 Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantics, Post-proceedings of the 2nd International Conference on Metadata and Semantics Research, MTSR 2007, Corfu Island in Greece, 1-2 October 2007, pp. 113-122, 2007, Springer, 978-0-387-77744-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Nenad Stojanovic, Dimitris Apostolou, Spyridon Ntioudis, Gregoris Mentzas |
A semantics-based software framework for ensuring consistent access to up-to-date knowledge resources in Public Administrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantics, Post-proceedings of the 2nd International Conference on Metadata and Semantics Research, MTSR 2007, Corfu Island in Greece, 1-2 October 2007, pp. 319-328, 2007, Springer, 978-0-387-77744-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Karl Aberer, Tiziana Catarci, Philippe Cudré-Mauroux, Tharam S. Dillon, Stephan Grimm, Mohand-Said Hacid, Arantza Illarramendi, Mustafa Jarrar, Vipul Kashyap, Massimo Mecella, Eduardo Mena, Erich J. Neuhold, Aris M. Ouksel, Thomas Risse 0001, Monica Scannapieco, Fèlix Saltor, Luca De Santis, Stefano Spaccapietra, Steffen Staab, Rudi Studer, Olga De Troyer |
Emergent Semantics Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNW ![In: Semantics for Grid Databases, First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers, pp. 14-43, 2004, Springer, 3-540-23609-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Bill Howe, Kuldeep Tanna, Paul J. Turner, David Maier 0001 |
Emergent Semantics: Towards Self-Organizing Scientific Metadata.. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNW ![In: Semantics for Grid Databases, First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers, pp. 177-198, 2004, Springer, 3-540-23609-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Rahul Singh, Ryohei Nakata, Joseph Downs |
Characterization and Analysis of Emergent Image Semantics Using Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), Palo Alto, CA, USA, September 18-21, 2011, pp. 411-418, 2011, IEEE Computer Society, 978-1-4577-1648-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
image and media semantics, human-computer interaction, network analysis, multimedia retrieval, information modeling, emergent semantics |
22 | Gyoung Soon Choi, Rüdiger Oehlmann, Hilary Dalke, David Cottington |
Discovering Color Semantics as a Chance for Developing Cross-Cultural Design Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 926-933, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Discovering Color Semantics as a Chance, Cross-Cultural Design Framework, Semantics and Context of Color |
22 | Qian Wang 0024, Gopal Gupta 0001 |
Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1419-1426, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
horn logical semantics, semantics, domain specific languages, interpreter |
22 | Marino Miculan, Ivan Scagnetto |
A framework for typed HOAS and semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 184-194, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
categorical metamodels, metalanguages for syntax and semantics of languages, presheaf categories, typed abstract syntax with variable binding, initial algebra semantics |
22 | Edward P. F. Chan |
A Possible World Semantics for Disjunctive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(2), pp. 282-292, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
ground atom, disjunctive database, generalized closed world assumption, GCWA, disjunctive database rule, DDR, PWS, propositional databases, negative ground literal, co-NP-hard, knowledge based systems, database theory, deductive databases, database semantics, possible world semantics, negative information |
22 | Winfield S. Bennett, Tanya Herlick, Katherine Hoyt, Joseph Liro, Ana Santisteban |
Toward a computational model of aspect and verb semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 4(4), pp. 247-280, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
aspectual features, verb semantics, natural language processing, aspect, computational linguistics, lexical semantics, semantic features |
22 | Raymond T. Boute |
Representational and Denotational Semantics of Digital Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(7), pp. 986-999, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
representational semantics, input/output transformation, abstract mathematical functions, function definitions, functional recast, mappings, digital arithmetic, denotational semantics, number theory, digital systems, digital systems |
22 | Ethan K. Jackson, Janos Sztipanovits |
Formalizing the structural semantics of domain-specific modeling languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(4), pp. 451-478, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic |
22 | Zhiping Shi 0002, Qing He 0003, Zhongzhi Shi |
An index and retrieval framework integrating perceptive features and semantics for multimedia databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 42(2), pp. 207-231, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CBMR, Semantics, Relevance feedback, High-dimensional index |
22 | Dov M. Gabbay |
Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 93(2-3), pp. 357-381, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
extended argumentations frames, semantics for attacks on attacks, joint attacks |
22 | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
The semantics of x86-CC multiprocessor machine code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 379-391, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
22 | Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli |
The semantics of power and ARM multiprocessor machine code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, DAMP 2009, Savannah, GA, USA, January 20, 2009, pp. 13-24, 2009, ACM, 978-1-60558-417-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantics, powerpc, arm, relaxed memory models |
22 | Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
Logic Programs under Three-Valued Lukasiewicz Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 464-478, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Three Valued Logic Programs, ?ukasiewicz Semantics |
22 | Nicholas Paul Sheppard, Reihaneh Safavi-Naini |
On the operational semantics of rights expression languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management Workshop ![In: Proceedings of the 9th ACM Workshop on Digital Rights Management, Chicago, Illinois, USA, November 9, 2009, pp. 17-28, 2009, ACM, 978-1-60558-779-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, digital rights management, rights expression languages |
22 | David Harel, Shahar Maoz |
Assert and negate revisited: Modal semantics for UML sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(2), pp. 237-252, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts |
22 | Sharon Shoham, Nissim Francez |
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 90(2), pp. 161-188, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Game semantics, Lambek calculus |
22 | Yahui Lu, Li Zhang 0065, Jiaguang Sun 0001 |
Towards trace semantics for WS-CDL with alignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 95-99, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semantics, trace, alignment, WS-CDL |
22 | Carlos Olarte, Frank D. Valencia |
Universal concurrent constraint programing: symbolic semantics and applications to security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 145-150, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
symbolic semantics, security, mobility, concurrent constraint programming |
22 | Chunbo Chu, Monica Brockmeyer |
Predicate Detection Modality and Semantics in Three Partially Synchronous Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 444-450, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Semantics, Observability, Modality, Partial synchrony, Predicate detection |
22 | Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard |
Semantics of transactional memory and automatic mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 63-74, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
STM, transactional memory, operational semantics |
22 | Christian Y. A. Brenninkmeijer, Ixent Galpin, Alvaro A. A. Fernandes, Norman W. Paton |
A Semantics for a Query Language over Sensors, Streams and Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Sharing Data, Information and Knowledge, 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings, pp. 87-99, 2008, Springer, 978-3-540-70503-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Stream/Sensor Network Data, Query Language Semantics |
22 | Xiang Sean Zhou, Sonja Zillner, Manuel Möller, Michael Sintek, Yiqiang Zhan, Arun Krishnan, Alok Gupta |
Semantics and CBIR: a medical imaging perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 7th ACM International Conference on Image and Video Retrieval, CIVR 2008, Niagara Falls, Canada, July 7-9, 2008, pp. 571-580, 2008, ACM, 978-1-60558-070-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ontology, semantics, image retrieval, medical image analysis |
22 | Zhifeng Bao, Huayu Wu 0001, Bo Chen, Tok Wang Ling |
Using semantics in XML query processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2008, Suwon, Korea, January 31 - February 01, 2008, pp. 157-162, 2008, ACM, 978-1-59593-993-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ORA-SS, semantic optimization, XML, semantics, keyword search, twig query |
22 | Guoray Cai |
Contextualization of Geospatial Database Semantics for Human-GIS Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 11(2), pp. 217-237, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ontology, human-computer interaction, GIS, semantics, context |
22 | Thomas Cleenewerck, Ivan Kurtev |
Separation of concerns in translational semantics for DSLs in model engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 985-992, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model-based DSLs, modular translational semantics, model transformations, separation of concerns, model engineering |
22 | Jie Wang, Chunnian Liu |
Fuzzy Constraint Logic Programming with Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 52-60, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Logic Program, Fuzzy Constraint, Answer Set Semantics |
22 | Pietro Baroni, Massimiliano Giacomin |
Comparing Argumentation Semantics with Respect to Skepticism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 210-221, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Argumentation semantics, Skepticism |
22 | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings, pp. 178-190, 2007, Springer, 978-3-540-73813-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement |
22 | Sam Bakhtiar Sanjabi, C.-H. Luke Ong |
Fully abstract semantics of additive aspects by translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 135-148, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, translation, aspects, game semantics, full abstraction |
22 | Haitao Dan, Robert M. Hierons, Steve Counsell |
A Thread-tag Based Semantics for Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 173-182, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram |
22 | Jozef Hooman, Mark van der Zwaag |
A semantics of communicating reactive objects with timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(2), pp. 97-112, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, Real-time, Formal methods, Theorem proving, Formal semantics |
22 | Heidi Gregersen |
The formal semantics of the timeER model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCM ![In: Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2005), Hobart, Tasmania, Australia, January 16-19 2006, pp. 35-44, 2006, Australian Computer Society, 1-920-68235-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
conceptual modeling, temporal databases, database design, entity-relationship models, temporal data models, temporal semantics |
22 | Zhiping Shi 0002, Qingyong Li, Zhiwei Shi, Zhongzhi Shi |
Semantics Supervised Cluster-Based Index for Video Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Image and Video Retrieval, 5th International Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings, pp. 453-462, 2006, Springer, 3-540-36018-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
video semantics, cluster, video database, High-dimensional index |
22 | David Harel, Shahar Maoz |
Assert and negate revisited: modal semantics for UML sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCESM ![In: SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, pp. 13-20, 2006, ACM, 1-59593-394-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms |
22 | Hugo Liu, Henry Lieberman |
Programmatic semantics for natural language interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1597-1600, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
programmatic semantics, storytelling, natural language interfaces, brainstorming, case tools |
22 | Grégoire Hamon |
A denotational semantics for stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 164-172, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compilation, continuations, denotational semantics, Stateflow |
22 | Steve Barker, Paul Douglas |
An Intelligent Tutoring System for Program Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (1) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 1, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 482-487, 2005, IEEE Computer Society, 0-7695-2315-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
E-Learning, Educational Software, Program Semantics |
22 | Adrian Giurca, Gerd Wagner 0001 |
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings, pp. 45-55, 2005, Springer, 3-540-29922-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
rule markup languages, RuleML, partial logic, semantics, abstract syntax |
22 | Koen Claessen, Hans Svensson |
A semantics for distributed Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005, pp. 78-87, 2005, ACM, 1-59593-066-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, verification, semantics, Erlang |
22 | Parag C. Prasad, Subramani Arunkumar |
From short-term memory to semantics-a computational model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 13(2), pp. 157-167, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Classification, Learning, Semantics, Memory, Language |
22 | Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(3), pp. 181-193, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions |
22 | María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001 |
A generalized semantics of PROMELA for abstract model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 166-193, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, spin, Structured operational semantics, promela |
22 | Peter F. Patel-Schneider, Jérôme Siméon |
The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(4), pp. 797-812, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
XML, Semantic Web, semantics, data model, RDF, XQuery, XML schema, syntax, RDF schema |
22 | Maria Halkidi, Benjamin Nguyen, Iraklis Varlamis, Michalis Vazirgiannis |
THESUS: Organizing Web document collections based on link semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 12(4), pp. 320-332, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Link management, World Wide Web, Semantics, Similarity measure, Link analysis, Document clustering |
22 | Rik Eshuis, David N. Jansen, Roel J. Wieringa |
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 7(4), pp. 243-263, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Execution semantics, Model checking, Statecharts |
22 | Bryon K. Ehlmann, Gregory A. Riccardi, Naphtali Rishe, Jinyu Shi |
Specifying and Enforcing Association Semantics via ORN in the Presence of Association Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(6), pp. 1249-1257, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ORN, relationship semantics, association cycle, data modeling, complex objects, object databases |
22 | Wolfgang Schuetzelhofer, Karl M. Göschka |
A Set Theory Based Approach on Applying Domain Semantics to XML Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 120, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
business domain semantics, directed typed graph, XML, set theory, constraint modeling |
22 | H. C. M. Kleijn, Maciej Koutny |
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 531-546, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences |
22 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Semantics of Input-Consuming Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 194-208, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
semantics, logic programming, dynamic scheduling |
22 | Hans Fleischhack, Bernd Grahlmann |
A Compositional Petri Net Semantics for SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 144-164, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes |
22 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 168-183, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality |
22 | Alessandra Di Pierro, Herbert Wiklicky |
An Operational Semantics for Probabilistic Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 174-183, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism |
22 | Mikael Pettersson |
A Compiler for Natural Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996, Proceedings, pp. 177-191, 1996, Springer, 3-540-61053-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
tailcalls, continuations, natural semantics, determinacy |
22 | Björn Lisper |
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 165-179, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
reduction systems, recursive program schemes, program transformations, formal semantics, nondeterminism |
22 | Luc Moreau 0001 |
An operational semantics for a parallel functional language with continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 415-430, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency |
22 | Cornelis Huizing, Rob Gerth |
Semantics of Reactive Systems in Abstract Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 291-314, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Real-time, semantics, specification, Statecharts, reactive systems |
22 | Mauricio Osorio 0001, Juan Carlos Nieves |
Possibilistic Well-Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings, pp. 15-26, 2009, Springer, 978-3-642-05257-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Yi-Dong Shen, Jia-Huai You |
A Default Approach to Semantics of Logic Programs with Constraint Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 277-289, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc |
Towards transactional memory semantics for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 49-58, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
synchronization, c++, transactional memory, atomicity, serializability |
22 | Aasia Riasat, Syed Sajjad Rizvi, Faraz Arain, Rizwan M. Qureshi |
Dynamic Semantics of the Web: Useful Tool for the New Generation Agent-Based Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education ![In: Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education, Proceedings of the 2007 International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 2007), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), Bridgeport, CT, USA, December 3-12, 2007, pp. 542-547, 2008, Springer, 978-1-4020-8738-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 171-185, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Li Pan, Weidong Zhao, Zhicheng Wang, Xinmin Zhou |
A State Class Approach to Time Petri Nets with Weak Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 772-775, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Kelsen, Qin Ma 0002 |
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 690-704, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Martin Caminada |
An Algorithm for Computing Semi-stable Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 222-234, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Mass Soldal Lund, Ketil Stølen |
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 380-395, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Interchange Format for Hybrid Systems: Abstract Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 491-506, 2006, Springer, 3-540-33170-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Abbas Edalat, Dirk Pattinson |
Denotational Semantics of Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 231-245, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Maarten H. van Emden |
Compositional Semantics for the Procedural Interpretation of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 315-329, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Stamate |
Assumption based multi-valued semantics for extended logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, Singapore, pp. 10, 2006, IEEE Computer Society, 0-7695-2532-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Mourad Debbabi, Mohamed Mostafa Saleh |
Game Semantics Model for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 125-140, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg |
Main Concepts of Networks of Transformation Units with Interlinking Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 325-342, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Hendrik Decker |
Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 813-817, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
A compositional semantics for CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 209-217, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Federico Banti, José Júlio Alferes, Antonio Brogi |
Operational Semantics for DyLPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, pp. 43-54, 2005, Springer, 3-540-30737-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Xiuli Sun, Jinzhao Wu |
Operational Semantics for Real-Time Processes with Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 54-63, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Michal Misiak |
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, pp. 144-161, 2004, Springer, 3-540-25327-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin |
Almost ASAP Semantics: From Timed Models to Timed Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings, pp. 296-310, 2004, Springer, 3-540-21259-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Maxim Roy, Richard A. Frost |
Extending Montague Semantics for Use in Natural-Language Database-Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings, pp. 567-568, 2004, Springer, 3-540-22004-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite |
Semantics for Dynamic Logic Programming: A Principle-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, pp. 8-20, 2004, Springer, 3-540-20721-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Koen Claessen, Johan Mårtensson |
An Operational Semantics for Weak PSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 337-351, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | David Harel, Hillel Kugler |
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 325-354, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola |
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 343-352, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini |
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, pp. 135-154, 2003, Springer, 3-540-22124-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | D. V. Sreenath, William I. Grosky, Farshad Fotouhi |
Emergent Semantics from Users' Browsing Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: Intelligence and Security Informatics, First NSF/NIJ Symposium, ISI 2003, Tucson, AZ, USA, June 2-3, 2003, Proceedings, pp. 355-357, 2003, Springer, 3-540-40189-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | In-Su Kang, Jae-Hak J. Bae, Jong-Hyeok Lee |
Database Semantics Representation for Natural Language Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 1st International Symposium on Cyber Worlds (CW 2002), 6-8 November 2002, Tokyo, Japan, pp. 127-136, 2002, IEEE Computer Society, 0-7695-1862-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Gianna Reggio, Maura Cerioli, Egidio Astesiano |
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 171-186, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Dietmar Seipel |
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings, pp. 241-259, 2000, Springer, 3-540-67100-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Stuart Kent 0001, Andy Evans, Bernhard Rumpe |
UML Semantics FAQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 33-56, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Dietmar Seipel |
An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings, pp. 341-353, 1998, Springer, 3-540-65082-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 36096 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|