|
|
Venues (Conferences, Journals, ...)
|
|
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 |
70 | Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen |
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantitative Models: Expressiveness and Analysis ![In: Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
70 | Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen |
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantitative Models: Expressiveness and Analysis ![In: Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
55 | Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen (eds.) |
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantitative Models: Expressiveness and Analysis ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
53 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 84-99, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
neighbourhood interval logics, decidability, expressiveness |
46 | Mohammad Shami, Werner Verhelst |
Automatic Classification of Expressiveness in Speech: A Multi-corpus Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speaker Classification (2) ![In: Speaker Classification II, Selected Projects, pp. 43-56, 2007, Springer, 978-3-540-74121-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
emotion, Affective computing, expressiveness, intent |
46 | James Joshi, Elisa Bertino, Arif Ghafoor |
An Analysis of Expressiveness and Design Issues for the Generalized Temporal Role-Based Access Control Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(2), pp. 157-175, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Role-based access control, minimality, temporal constraint, expressiveness analysis |
46 | Bé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](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings, pp. 211-225, 2005, Springer, 3-540-30946-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets |
42 | Elena Navarro 0001, Patricio Letelier 0001, Isidro Ramos |
Integrating Expressiveness of Modern Requirements Modeling Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA, pp. 94-103, 2005, IEEE Computer Society, 0-7695-2297-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Susanne Patig |
Measuring Expressiveness in Conceptual Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings, pp. 127-141, 2004, Springer, 3-540-22151-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Henriette 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](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1471-1474, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
social expressiveness, trust, autonomy, mobile interaction |
40 | Kirsten Bergmann, Stefan Kopp |
Increasing the expressiveness of virtual agents: autonomous generation of speech and gesture for spatial description tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 361-368, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
gesture, language, expressiveness, embodied conversational agents, multimodal output |
40 | Wenfei Fan, Floris Geerts, Frank Neven |
Expressiveness and complexity of XML publishing transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 33(4), pp. 25:1-25:49, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complexity, expressiveness, data exchange, transducer, XML publishing |
40 | Marion G. Ceruti |
States of matter, information organization and dimensions of expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004, pp. 120-124, 2004, ACM, 1-58113-741-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
infodynamics, states of matter, database, knowledge base, expressiveness, model base |
40 | Alain Colmerauer, Thi-Bich-Hanh Dao |
Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 8(3), pp. 283-302, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
complexity, constraints, trees, first order logic, expressiveness |
35 | Yuqing 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](Pics/bibsonomy.png) |
BNCOD ![In: Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings, pp. 133-145, 2009, Springer, 978-3-642-02842-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Carlo A. Furia, Matteo Rossi |
On the Expressiveness of MTL Variants over Dense Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 163-178, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Stephen Boyd 0001, Didar Zowghi, Alia Farroukh |
Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France, pp. 339-352, 2005, IEEE Computer Society, 0-7695-2425-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Stephen D. Brookes, Denis Dancanet |
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 13-24, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart |
On the expressiveness of probabilistic XML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 18(5), pp. 1041-1064, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic XML, XML, Updates, Expressiveness, Probabilistic databases |
33 | Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness and Decidability of Higher-Order Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 145-155, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages |
33 | Wenfei Fan, Floris Geerts, Frank Neven |
Expressiveness and complexity of xml publishing transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 83-92, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
complexity, expressiveness, XML publishing |
33 | Zhiguo Zhang, Yunfei Jiang |
Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings, pp. 600-607, 2007, Springer, 978-3-540-76836-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Parallel actions, First-order logic, Expressiveness, Dynamic logic, Axiomatization |
33 | Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad |
Improving Musical Expressiveness by Time-Varying Brightness Shaping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval. Sense of Sounds, 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers, pp. 313-336, 2007, Springer, 978-3-540-85034-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
analysis-synthesis, clarinet, Musical expressiveness, timbre |
33 | Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick |
Expressiveness of XSDs: from practice to theory, there and back again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005, pp. 712-721, 2005, ACM, 1-59593-046-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal model, XML schema, expressiveness |
33 | Martín Abadi, Joseph Y. Halpern |
Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 148-153, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
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 |
32 | Rossana Baptista Queiroz, Leandro Motta Barros, Soraia Raupp Musse |
Providing expressive gaze to virtual animated characters in interactive applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Entertain. ![In: Comput. Entertain. 6(3), pp. 41:1-41:23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Eye animation, gaze behavior, facial animation, expressiveness, behavioral animation |
32 | Hubie Chen |
The expressive rate of constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 44(4), pp. 341-352, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dichotomy theorem, constraints, logic, expressiveness |
32 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of Different Semantics for Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 293-307, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Timed Bisimilarity, Expressiveness, Time Petri Nets |
32 | Georg Gottlob, Christoph Koch 0001 |
Monadic datalog and the expressive power of languages for Web information extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(1), pp. 74-113, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MSO, monadic datalog, web wrapping, Complexity, information extraction, HTML, expressiveness, regular tree languages |
32 | Joseph Y. Halpern, Riccardo Pucella |
On the relationship between strand spaces and multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 6(1), pp. 43-70, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multi-agent systems, Agents, security protocols, expressiveness, strand spaces |
32 | Annalisa Di Deo, Dmitri Boulanger |
A Formal Background to Build Constraint Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 7-15, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
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 |
32 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 123-172, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Kirstin Peters, Nobuko Yoshida |
On the Expressiveness of Mixed Choice Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 113-130, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Eduard Baranov, Simon Bliudze |
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 57(6), pp. 829, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Eduard Baranov, Simon Bliudze |
Expressiveness of component-based frameworks: a study of the expressiveness of BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 57(6), pp. 761-800, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Eduard Baranov, Simon Bliudze |
A Note on the Expressiveness of BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Given-Wilson |
On the Expressiveness of Intensional Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014., pp. 30-46, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Maciej Gazda, Tim A. C. Willemse |
Expressiveness and Completeness in Abstraction ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012., pp. 49-64, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Rob J. van Glabbeek |
Musings on Encodings and Expressiveness ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012., pp. 81-98, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Read Operators and their Expressiveness in Process Algebras ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 31-43, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg |
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010., pp. 1-15, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Rob J. van Glabbeek |
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004, pp. 5-34, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Flavio Corradini, Uwe Nestmann |
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003, pp. 1-3, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Pascal Zimmer |
On the Expressiveness of Pure Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000, pp. 94-117, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Simone Tini |
On The Expressiveness of Timed Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999, pp. 3-17, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Antonio Brogi, Jean-Marie Jacquet |
On the Expressiveness of Linda-like Concurrent Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998, pp. 75-96, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Massimo Merro |
On the Expressiveness of Chi, Update, and Fusion calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998, pp. 133-144, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Yueh-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](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings, pp. 514-515, 2008, Springer, 978-3-540-85482-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Marí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](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 348-360, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Clinical process modelling, care pathways, petri nets, workflow patterns |
28 | Simon Bliudze, Joseph Sifakis |
A Notion of Glue Expressiveness for Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, pp. 508-522, 2008, Springer, 978-3-540-85360-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Norbert Braun, Thomas Rieger |
Evaluation of a Virtual Narrator's Expressiveness in Terms of Suspense Signaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIDSE ![In: Technologies for Interactive Digital Storytelling and Entertainment, Second International Conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004, Proceedings, pp. 89-94, 2004, Springer, 3-540-22283-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun |
Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 180-194, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Kritsachai Somsaman |
Emotional expressiveness in visual-sonic integration: a framework for multimedia design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 1024-1025, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multimedia, emotion, perception, information design |
28 | Lucian Ilie, Arto Salomaa |
On the Expressiveness of Subset-Sum Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(8), pp. 665-672, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Nadia Busi, Gianluigi Zavattaro |
On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 41-55, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf |
Achieving scalability and expressiveness in an Internet-scale event notification service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 219-227, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Assaf 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](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 90-101, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Philippe Picouet, Victor Vianu |
Expressiveness and Complexity of Active Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '97, 6th International Conference, Delphi, Greece, January 8-10, 1997, Proceedings, pp. 155-172, 1997, Springer, 3-540-62222-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Kris Gybels, Charlotte Herzeel, Theo D'Hondt |
Symbiosis in logic-based pointcuts over a history of join points. ![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. 253-260, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
history-based pointcuts, linguistic symbiosis, logic-based pointcuts, aspect-oriented programming, multi-paradigm programming |
25 | Amal Dar Aziz, Chris Warren, Hayden Bursk, Sean Follmer |
The flote: an instrument for people with limited mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASSETS ![In: Proceedings of the 10th International ACM SIGACCESS Conference on Computers and Accessibility, ASSETS 2008, Halifax, Nova Scotia, Canada, October 13-15, 2008, pp. 295-296, 2008, ACM, 978-1-59593-976-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
limited mobility, expressiveness, musical instrument |
25 | Dan Olteanu |
Forward node-selecting queries over trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 32(1), pp. 3, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML, streams, XPath, Expressiveness, rewriting |
25 | Georg Gottlob, Christoph Koch 0001, Klaus U. Schulz |
Conjunctive queries over trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(2), pp. 238-272, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML, Complexity, trees, expressiveness, conjunctive queries, succinctness |
25 | Argimiro Arratia, Carlos E. Ortiz |
Counting Proportions of Sets: Expressive Power with Almost Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings, pp. 105-117, 2006, Springer, 3-540-32755-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL |
25 | Frank Neven, Thomas Schwentick, Victor Vianu |
Finite state machines for strings over infinite alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(3), pp. 403-435, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers |
25 | Antonio Camurri, Barbara Mazzarino, Gualtiero Volpe |
Expressive interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 6(1), pp. 15-22, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Interactive multimedia systems, Expressiveness in performing arts, Human-computer interaction, Expressive gesture |
25 | Simone Tini |
Timed CCP compositionally embeds Argos and Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 292-312, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages |
25 | Wilfred Ng |
An extension of the relational data model to incorporate ordered domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 26(3), pp. 344-383, 2001. The full citation details ...](Pics/full.jpeg) |
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 |
25 | Frits W. Vaandrager |
Expressive Results for Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 609-638, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
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 |
25 | R. K. Shyamasundar, James W. Thatcher |
Language Constructs for Specifying Concurrency in CDL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 977-993, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
25 | Jeannette M. Wing, Mark R. Nixon |
Extending Ina Jo with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(2), pp. 181-197, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions |
21 | Prabhath Dushyantha Jayatilake, Keisuke Takahashi, Kenji Suzuki 0002 |
An assistive mask with biorobotic control to enhance facial expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 3568-3573, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Cinzia Di Giusto, Jorge A. Pérez 0001, Gianluigi Zavattaro |
On the Expressiveness of Forwarding in Higher-Order Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 155-169, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 199-208, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Johan Redström |
Tangled interaction: On the expressiveness of tangible user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 15(4), pp. 16:1-16:17, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interaction design, tangible user interfaces, Aesthetics, design theory |
21 | Peter Buneman, James Cheney, Stijn Vansummeren |
On the expressiveness of implicit provenance in query and update languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 33(4), pp. 28:1-28:47, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
nested relational calculus, nested update language, Provenance, conservativity |
21 | Luca Roversi, Luca Vercelli |
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers, pp. 306-322, 2008, Springer, 978-3-642-02443-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Structural Proof-theory, Polynomial Time Computations, Linear Logic, Implicit Computational Complexity |
21 | João Sequeira 0001 |
Measuring Motion Expressiveness in Wheeled Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROS ![In: Second European Robotics Symposium 2008, EUROS 2008, Prague, Czech Republic, pp. 145-154, 2008, Springer, 978-3-540-78315-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Marc Boyer, Olivier H. Roux |
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 63-82, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt |
Performance Trees: Expressiveness and Quantitative Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 41-50, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Haoqiang Jin |
Towards Enhancing OpenMP Expressiveness and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings, pp. 2, 2007, Springer, 978-3-540-75443-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex |
Expressiveness and complexity of XML Schema. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 31(3), pp. 770-813, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML, validation, XML Schema |
21 | Catuscia 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](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 59-68, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Pascal 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](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 167-181, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Francisco Antunes, João Paulo Costa, Paulo Maçãs |
Managing Divergent Information: Enhancing Document Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Pavithra Prabhakar, Deepak D'Souza |
On the Expressiveness of MTL with Past Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings, pp. 322-336, 2006, Springer, 3-540-45026-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram |
Expressiveness and Performance of Full-Text Search Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2006, 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006, Proceedings, pp. 349-367, 2006, Springer, 3-540-32960-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Giuliana Franceschinis |
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 1-14, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Magali 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](Pics/bibsonomy.png) |
DEXA Workshops ![In: 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, pp. 502-506, 2005, IEEE Computer Society, 0-7695-2424-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 388-407, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia |
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 226-240, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jingtao Wang, John F. Canny |
FingerSense: augmenting expressiveness to physical pushing button by fingertip identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 1267-1270, 2004, ACM, 1-58113-703-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mobile computing, performance modeling, input device, text input, fingerprint recognition |
21 | Diletta Cacciagrano, Flavio Corradini |
Expressiveness of Timed Events and Timed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures, pp. 98-131, 2004, Springer, 3-540-23068-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Isabelle Linden, Jean-Marie Jacquet |
On the Expressiveness of Absolute-Time Coordination Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, pp. 232-247, 2004, Springer, 3-540-21044-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Moritz Y. Becker, Peter Sewell |
Cassandra: Distributed Access Control Policies with Tunable Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 7-9 June 2004, Yorktown Heights, NY, USA, pp. 159-168, 2004, IEEE Computer Society, 0-7695-2141-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Patrice Godefroid, Radha Jagadeesan |
On the Expressiveness of 3-Valued Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 206-222, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | James Bowen |
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Workshop on Constraint Solving and Constraint Logic Programming ![In: Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers, pp. 93-108, 2002, Springer, 3-540-00986-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | John Howse, Fernando Molina, John Taylor 0001 |
On the Completeness and Expressiveness of Spider Diagram Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings, pp. 26-41, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Diagrammatic reasoning, visual formalisms |
21 | Alain Colmerauer, Thi-Bich-Hanh Dao |
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 172-186, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Canazza, Giovanni De Poli, Antonio Rodà, Alvise Vidolin |
Adding Expressiveness to Musical Messages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 2 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pp. 518-523, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Matthias Nicola, Matthias Jarke |
Increasing the Expressiveness of Analytical Performance Models for Replicated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings., pp. 131-149, 1999, Springer, 3-540-65452-6. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|