The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Expressiveness with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1984 (15) 1985-1987 (15) 1988-1989 (22) 1990 (22) 1991-1992 (28) 1993 (20) 1994 (20) 1995 (25) 1996 (21) 1997 (51) 1998 (57) 1999 (63) 2000 (64) 2001 (81) 2002 (106) 2003 (115) 2004 (154) 2005 (175) 2006 (187) 2007 (202) 2008 (210) 2009 (170) 2010 (74) 2011 (44) 2012 (42) 2013 (43) 2014 (47) 2015 (45) 2016 (55) 2017 (43) 2018 (41) 2019 (55) 2020 (54) 2021 (46) 2022 (55) 2023 (52) 2024 (13)
Publication types (Num. hits)
article(573) book(1) incollection(13) inproceedings(1879) phdthesis(38) proceedings(28)
Venues (Conferences, Journals, ...)
EXPRESS(158) CoRR(133) EXPRESS/SOS(98) CONCUR(32) PODS(24) LICS(22) POPL(20) Theor. Comput. Sci.(20) ICDT(17) SAC(17) FoSSaCS(15) ICALP(15) CHI(14) FSTTCS(14) ICFP(14) Inf. Comput.(14) More (+10 of total 951)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1752 occurrences of 1127 keywords

Results
Found 2532 publication records. Showing 2532 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
70Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen 10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. Search on Bibsonomy Quantitative Models: Expressiveness and Analysis The full citation details ... 2010 DBLP  BibTeX  RDF
70Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen 10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. Search on Bibsonomy Quantitative Models: Expressiveness and Analysis The full citation details ... 2010 DBLP  BibTeX  RDF
55Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen (eds.) Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010 Search on Bibsonomy Quantitative Models: Expressiveness and Analysis The full citation details ... 2010 DBLP  BibTeX  RDF
53Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF neighbourhood interval logics, decidability, expressiveness
46Mohammad Shami, Werner Verhelst Automatic Classification of Expressiveness in Speech: A Multi-corpus Study. Search on Bibsonomy Speaker Classification (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF emotion, Affective computing, expressiveness, intent
46James Joshi, Elisa Bertino, Arif Ghafoor An Analysis of Expressiveness and Design Issues for the Generalized Temporal Role-Based Access Control Model. Search on Bibsonomy IEEE Trans. Dependable Secur. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Role-based access control, minimality, temporal constraint, expressiveness analysis
46Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
42Elena Navarro 0001, Patricio Letelier 0001, Isidro Ramos Integrating Expressiveness of Modern Requirements Modeling Approaches. Search on Bibsonomy SERA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Susanne Patig Measuring Expressiveness in Conceptual Modeling. Search on Bibsonomy CAiSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Henriette S. M. Cramer, Vanessa Evers, Tim van Slooten, Mattijs Ghijsen, Bob J. Wielinga Trying too hard: effects of mobile agents' (Inappropriate) social expressiveness on trust, affect and compliance. Search on Bibsonomy CHI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF social expressiveness, trust, autonomy, mobile interaction
40Kirsten Bergmann, Stefan Kopp Increasing the expressiveness of virtual agents: autonomous generation of speech and gesture for spatial description tasks. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF gesture, language, expressiveness, embodied conversational agents, multimodal output
40Wenfei Fan, Floris Geerts, Frank Neven Expressiveness and complexity of XML publishing transducers. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complexity, expressiveness, data exchange, transducer, XML publishing
40Marion G. Ceruti States of matter, information organization and dimensions of expressiveness. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF infodynamics, states of matter, database, knowledge base, expressiveness, model base
40Alain Colmerauer, Thi-Bich-Hanh Dao Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF complexity, constraints, trees, first order logic, expressiveness
35Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization. Search on Bibsonomy BNCOD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Carlo A. Furia, Matteo Rossi On the Expressiveness of MTL Variants over Dense Time. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Stephen Boyd 0001, Didar Zowghi, Alia Farroukh Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study. Search on Bibsonomy RE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Stephen D. Brookes, Denis Dancanet Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart On the expressiveness of probabilistic XML models. Search on Bibsonomy VLDB J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probabilistic XML, XML, Updates, Expressiveness, Probabilistic databases
33Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt On the Expressiveness and Decidability of Higher-Order Process Calculi. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
33Wenfei Fan, Floris Geerts, Frank Neven Expressiveness and complexity of xml publishing transducers. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF complexity, expressiveness, XML publishing
33Zhiguo Zhang, Yunfei Jiang Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization. Search on Bibsonomy APPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Parallel actions, First-order logic, Expressiveness, Dynamic logic, Axiomatization
33Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad Improving Musical Expressiveness by Time-Varying Brightness Shaping. Search on Bibsonomy CMMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF analysis-synthesis, clarinet, Musical expressiveness, timbre
33Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick Expressiveness of XSDs: from practice to theory, there and back again. Search on Bibsonomy WWW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF formal model, XML schema, expressiveness
33Martín Abadi, Joseph Y. Halpern Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF unary predicates, validity problem, binary predicate, elementary analysis, function symbols, probability, language, reasoning, first-order logics, decidable, expressiveness, domain, possible worlds
32Rossana Baptista Queiroz, Leandro Motta Barros, Soraia Raupp Musse Providing expressive gaze to virtual animated characters in interactive applications. Search on Bibsonomy Comput. Entertain. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Eye animation, gaze behavior, facial animation, expressiveness, behavioral animation
32Hubie Chen The expressive rate of constraints. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dichotomy theorem, constraints, logic, expressiveness
32Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of Different Semantics for Time Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Bisimilarity, Expressiveness, Time Petri Nets
32Georg Gottlob, Christoph Koch 0001 Monadic datalog and the expressive power of languages for Web information extraction. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSO, monadic datalog, web wrapping, Complexity, information extraction, HTML, expressiveness, regular tree languages
32Joseph Y. Halpern, Riccardo Pucella On the relationship between strand spaces and multi-agent systems. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multi-agent systems, Agents, security protocols, expressiveness, strand spaces
32Annalisa Di Deo, Dmitri Boulanger A Formal Background to Build Constraint Objects. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF constraint objects, first-order formula, database tuples, database objects, basic data types, constraint data model, spatial tools, Oracle 8, constraint programming, first-order logic, expressiveness, duality, constraint handling, spatial relations, data representation, linear constraints, relational data model, declarativeness, object-relational DBMS, constraint databases, cylindrical algebras, relational tables, free variables
32E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
29Kirstin Peters, Nobuko Yoshida On the Expressiveness of Mixed Choice Sessions. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Eduard Baranov, Simon Bliudze Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Search on Bibsonomy Acta Informatica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Eduard Baranov, Simon Bliudze Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Search on Bibsonomy Acta Informatica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
29Eduard Baranov, Simon Bliudze A Note on the Expressiveness of BIP. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Thomas Given-Wilson On the Expressiveness of Intensional Communication. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
29Maciej Gazda, Tim A. C. Willemse Expressiveness and Completeness in Abstraction Search on Bibsonomy EXPRESS/SOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Rob J. van Glabbeek Musings on Encodings and Expressiveness Search on Bibsonomy EXPRESS/SOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
29Flavio Corradini, Maria Rita Di Berardini, Walter Vogler Read Operators and their Expressiveness in Process Algebras Search on Bibsonomy EXPRESS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
29Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) Search on Bibsonomy EXPRESS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Rob J. van Glabbeek On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). Search on Bibsonomy EXPRESS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Flavio Corradini, Uwe Nestmann Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Search on Bibsonomy EXPRESS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Pascal Zimmer On the Expressiveness of Pure Mobile Ambients. Search on Bibsonomy EXPRESS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Simone Tini On The Expressiveness of Timed Concurrent Constraint Programming. Search on Bibsonomy EXPRESS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Antonio Brogi, Jean-Marie Jacquet On the Expressiveness of Linda-like Concurrent Languages. Search on Bibsonomy EXPRESS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Massimo Merro On the Expressiveness of Chi, Update, and Fusion calculi. Search on Bibsonomy EXPRESS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Yueh-Hung Lin, Chia-Yang Liu, Hung-Wei Lee, Shwu-Lih Huang, Tsai-Yen Li Verification of Expressiveness of Procedural Parameters for Generating Emotional Motions. Search on Bibsonomy IVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28María Adela Grando, David Glasspool, John Fox 0001 Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clinical process modelling, care pathways, petri nets, workflow patterns
28Simon Bliudze, Joseph Sifakis A Notion of Glue Expressiveness for Component-Based Systems. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Norbert Braun, Thomas Rieger Evaluation of a Virtual Narrator's Expressiveness in Terms of Suspense Signaling. Search on Bibsonomy TIDSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine. Search on Bibsonomy ISWC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Kritsachai Somsaman Emotional expressiveness in visual-sonic integration: a framework for multimedia design. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multimedia, emotion, perception, information design
28Lucian Ilie, Arto Salomaa On the Expressiveness of Subset-Sum Representations. Search on Bibsonomy Acta Informatica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Nadia Busi, Gianluigi Zavattaro On the Expressiveness of Event Notification in Data-Driven Coordination Languages. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf Achieving scalability and expressiveness in an Internet-scale event notification service. Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Philippe Picouet, Victor Vianu Expressiveness and Complexity of Active Databases. Search on Bibsonomy ICDT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Kris Gybels, Charlotte Herzeel, Theo D'Hondt Symbiosis in logic-based pointcuts over a history of join points. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF history-based pointcuts, linguistic symbiosis, logic-based pointcuts, aspect-oriented programming, multi-paradigm programming
25Amal Dar Aziz, Chris Warren, Hayden Bursk, Sean Follmer The flote: an instrument for people with limited mobility. Search on Bibsonomy ASSETS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF limited mobility, expressiveness, musical instrument
25Dan Olteanu Forward node-selecting queries over trees. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XML, streams, XPath, Expressiveness, rewriting
25Georg Gottlob, Christoph Koch 0001, Klaus U. Schulz Conjunctive queries over trees. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML, Complexity, trees, expressiveness, conjunctive queries, succinctness
25Argimiro Arratia, Carlos E. Ortiz Counting Proportions of Sets: Expressive Power with Almost Order. Search on Bibsonomy LATIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL
25Frank Neven, Thomas Schwentick, Victor Vianu Finite state machines for strings over infinite alphabets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers
25Antonio Camurri, Barbara Mazzarino, Gualtiero Volpe Expressive interfaces. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Interactive multimedia systems, Expressiveness in performing arts, Human-computer interaction, Expressive gesture
25Simone Tini Timed CCP compositionally embeds Argos and Lustre. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages
25Wilfred Ng An extension of the relational data model to incorporate ordered domains. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem
25Frits W. Vaandrager Expressive Results for Process Algebras. Search on Bibsonomy REX Workshop The full citation details ... 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
25R. K. Shyamasundar, James W. Thatcher Language Constructs for Specifying Concurrency in CDL*. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
25Jeannette M. Wing, Mark R. Nixon Extending Ina Jo with Temporal Logic. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions
21Prabhath Dushyantha Jayatilake, Keisuke Takahashi, Kenji Suzuki 0002 An assistive mask with biorobotic control to enhance facial expressiveness. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Cinzia Di Giusto, Jorge A. Pérez 0001, Gianluigi Zavattaro On the Expressiveness of Forwarding in Higher-Order Communication. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger Expressiveness and Closure Properties for Quantitative Languages. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Johan Redström Tangled interaction: On the expressiveness of tangible user interfaces. Search on Bibsonomy ACM Trans. Comput. Hum. Interact. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interaction design, tangible user interfaces, Aesthetics, design theory
21Peter Buneman, James Cheney, Stijn Vansummeren On the expressiveness of implicit provenance in query and update languages. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nested relational calculus, nested update language, Provenance, conservativity
21Luca Roversi, Luca Vercelli Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Structural Proof-theory, Polynomial Time Computations, Linear Logic, Implicit Computational Complexity
21João Sequeira 0001 Measuring Motion Expressiveness in Wheeled Mobile Robots. Search on Bibsonomy EUROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Marc Boyer, Olivier H. Roux Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt Performance Trees: Expressiveness and Quantitative Semantics. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Haoqiang Jin Towards Enhancing OpenMP Expressiveness and Performance. Search on Bibsonomy HPCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex Expressiveness and complexity of XML Schema. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML, validation, XML Schema
21Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Francisco Antunes, João Paulo Costa, Paulo Maçãs Managing Divergent Information: Enhancing Document Expressiveness. Search on Bibsonomy HICSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Pavithra Prabhakar, Deepak D'Souza On the Expressiveness of MTL with Past Operators. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram Expressiveness and Performance of Full-Text Search Languages. Search on Bibsonomy EDBT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Giuliana Franceschinis Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation. Search on Bibsonomy DEXA Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. Search on Bibsonomy FMCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Jingtao Wang, John F. Canny FingerSense: augmenting expressiveness to physical pushing button by fingertip identification. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mobile computing, performance modeling, input device, text input, fingerprint recognition
21Diletta Cacciagrano, Flavio Corradini Expressiveness of Timed Events and Timed Languages. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Isabelle Linden, Jean-Marie Jacquet On the Expressiveness of Absolute-Time Coordination Languages. Search on Bibsonomy COORDINATION The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Moritz Y. Becker, Peter Sewell Cassandra: Distributed Access Control Policies with Tunable Expressiveness. Search on Bibsonomy POLICY The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Patrice Godefroid, Radha Jagadeesan On the Expressiveness of 3-Valued Models. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21James Bowen Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21John Howse, Fernando Molina, John Taylor 0001 On the Completeness and Expressiveness of Spider Diagram Systems. Search on Bibsonomy Diagrams The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Diagrammatic reasoning, visual formalisms
21Alain Colmerauer, Thi-Bich-Hanh Dao Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. Search on Bibsonomy CP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Sergio Canazza, Giovanni De Poli, Antonio Rodà, Alvise Vidolin Adding Expressiveness to Musical Messages. Search on Bibsonomy ICMCS, Vol. 2 The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Matthias Nicola, Matthias Jarke Increasing the Expressiveness of Analytical Performance Models for Replicated Databases. Search on Bibsonomy ICDT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2532 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license