Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 560, pp. 269-291, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti |
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 538, pp. 84-102, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Giovanni De Poli, Sergio Canazza, Antonio Rodà, Emery Schubert |
The Role of Individual Difference in Judging Expressiveness of Computer-Assisted Music Performances by Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Appl. Percept. ![In: ACM Trans. Appl. Percept. 11(4), pp. 22:1-22:20, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Hannes Strass |
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.0805, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Henning Schnoor |
The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily Complex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.5993, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Johannes Borgström, Silvia Crafa (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Heng Zhang 0006, Yan Zhang 0003 |
Expressiveness of Logic Programs under General Stable Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.0773, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
Weak MSO: Automata and Expressiveness Modulo Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.4374, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Thomas Given-Wilson |
Expressiveness via Intensionality and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.0956, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | François Laroussinie, Nicolas Markey |
Quantified CTL: Expressiveness and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 10(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Heng Zhang 0006, Yan Zhang 0003, Jia-Huai You |
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.5220, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Sébastien Ferré |
SQUALL: The expressiveness of SPARQL 1.1 made available as a controlled natural language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 94, pp. 163-188, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yde Venema |
Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Johan van Benthem on Logic and Information Dynamics ![In: Johan van Benthem on Logic and Information Dynamics, pp. 33-65, 2014, Springer, 978-3-319-06024-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
Decidability and Expressiveness of Recursive Weighted Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, pp. 216-231, 2014, Springer, 978-3-662-46822-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nicole Mirnig, Yeow Kee Tan, Tai Wen Chang, Yuanwei Chua, Tran Anh Dung, Haizhou Li 0001, Manfred Tscheligi |
Screen feedback in human-robot interaction: How to enhance robot expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: The 23rd IEEE International Symposium on Robot and Human Interactive Communication, IEEE RO-MAN 2014, Edinburgh, UK, August 25-29, 2014, pp. 224-230, 2014, IEEE, 978-1-4799-6763-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Given-Wilson |
Expressiveness via Intensionality and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 206-223, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sara H. Hsieh, Timmy H. Tseng, Crystal T. Lee |
The Self-Expressiveness of Footprints: Understanding the Drivers of Check-in. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIS ![In: 18th Pacific Asia Conference on Information Systems, PACIS 2014, Chengdu, China, June 24-28, 2014, pp. 71, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Langzhou Chen, Norbert Braunschweiler, Mark J. F. Gales |
Speaker dependent expression predictor from text: Expressiveness and transplantation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2014, Florence, Italy, May 4-9, 2014, pp. 2574-2578, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
On the Expressiveness of some Runtime Validation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOWARD-60 ![In: HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, pp. 112-123, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | María Martos-Salgado, Fernando Rosa-Velardo |
Expressiveness of Dynamic Networks of Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, pp. 516-527, 2014, Springer, 978-3-319-04920-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Dag Sonntag |
On Expressiveness of the AMP Chain Graph Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Graphical Models ![In: Probabilistic Graphical Models - 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings, pp. 458-470, 2014, Springer, 978-3-319-11432-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Emery Schubert, Giovanni De Poli, Antonio Rodà, Sergio Canazza |
Music Systemisers and Music Empathisers - Do they rate expressiveness of computer generated performances the same? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014, 2014, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Georg Gottlob, Sebastian Rudolph, Mantas Simkus |
Expressiveness of guarded existential rule languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014, pp. 27-38, 2014, ACM, 978-1-4503-2375-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sergi Jordà, Sebastián Mealla C. |
A Methodological Framework for Teaching, Evaluating and Informing NIME Design with a Focus on Mapping and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 14th International Conference on New Interfaces for Musical Expression, NIME 2014, London, United Kingdom, June 30 - July 4, 2014, pp. 233-238, 2014, nime.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mike Sheinin, Carl Gutwin |
Exertion in the small: improving differentiation and expressiveness in sports games with physical controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: CHI Conference on Human Factors in Computing Systems, CHI'14, Toronto, ON, Canada - April 26 - May 01, 2014, pp. 1845-1854, 2014, ACM, 978-1-4503-2473-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Paul Dütting, Felix A. Fischer, David C. Parkes |
Expressiveness and robustness of first-price position auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: ACM Conference on Economics and Computation, EC '14, Stanford , CA, USA, June 8-12, 2014, pp. 57-74, 2014, ACM, 978-1-4503-2565-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco |
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 267-281, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Hsi-Ming Ho |
On the Expressiveness of Metric Temporal Logic over Bounded Timed Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings, pp. 138-150, 2014, Springer, 978-3-319-11438-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006 |
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014, AAAI Press, 978-1-57735-657-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi |
Weak MSO: automata and expressiveness modulo bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 27:1-27:27, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ali Rezaei Divroodi |
Comparing the Expressiveness of Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pp. 500-512, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Dade Nurjanah |
Authoring learning designs: The expressiveness of IMS LD and collaboration supports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: 2014 IEEE Global Engineering Education Conference, EDUCON 2014, Istanbul, Turkey, April 3-5, 2014, pp. 598-604, 2014, IEEE, 978-1-4799-3191-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo Arenas, Gabriel Diéguez, Jorge Pérez 0001 |
Expressiveness and Complexity of Bidirectional Constraints for Data Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Martin Stigge |
Real-Time Workload Models : Expressiveness vs. Analysis Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
15 | Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann |
Matching in the Pi-Calculus. ![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. 16-29, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Åman Pohjola, Joachim Parrow |
Priorities Without Priorities: Representing Preemption in Psi-Calculi. ![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. 2-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Bartek Klin, Beata Nachyla |
Distributive Laws and Decidable Properties of SOS Specifications. ![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. 79-93, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Wagner, Uwe Nestmann |
States in Process Calculi. ![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. 48-62, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Gebler, Simone Tini |
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. ![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. 63-78, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Simon J. Gay, Nils Gesbert, António Ravara |
Session Types as Generic Process Types. ![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. 94-110, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor |
Verification of Linear Optical Quantum Computing using Quantum Process Calculus. ![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. 111-129, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini |
Expressiveness and complexity of regular pure two-dimensional context-free languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 90(8), pp. 1708-1733, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Marko Tkalcic, Ante Odic, Andrej Kosir |
The impact of weak ground truth and facial expressiveness on affect detection accuracy from time-continuous videos of facial expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 249, pp. 13-23, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Heron de Carvalho Junior, Cenez Araújo Rezende |
A case study on expressiveness and performance of component-oriented parallel programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 73(5), pp. 557-569, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Dominik D. Freydenberger, Nicole Schweikardt |
Expressiveness and static analysis of extended conjunctive regular path queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 79(6), pp. 892-909, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Antoniu Pop, Albert Cohen 0001 |
OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 9(4), pp. 53:1-53:25, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Zugal, Pnina Soffer, Cornelia Haisjackl, Jakob Pinggera, Manfred Reichert, Barbara Weber |
Investigating Expressiveness and Understandability of Hierarchy in Declarative Business Process Models (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA Forum ![In: EMISA Forum 33(2), pp. 39, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Tom S. Verma, Judea Pearl |
Causal Networks: Semantics and Expressiveness ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.2379, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Johannes Borgström, Bas Luttik (eds.) |
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot |
Expressiveness of Visibly Pushdown Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TTATT ![In: Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2013, Hanoi, Vietnam, 19/10/2013., pp. 17-26, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Paul Dütting, Felix A. Fischer, David C. Parkes |
Expressiveness and Robustness of First-Price Position Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.5216, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Paul Snow |
Ignorance and the Expressiveness of Single- and Set-Valued Probability Models of Belief ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.6845, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Jaroslaw Szlichta, Parke Godfrey, Jarek Gryz, Calisto Zuzarte |
Expressiveness and Complexity of Order Dependencies. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 6(14), pp. 1858-1869, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Aidan J. Delaney, Gem Stapleton, John Taylor 0001, Simon J. Thompson |
On the expressiveness of spider diagrams and commutative star-free regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 24(4), pp. 273-288, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Peter Chapman, Gem Stapleton, Aidan J. Delaney |
On the expressiveness of second-order spider diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 24(5), pp. 327-349, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Houguang Yue |
From Computing to Interaction: on the Expressiveness of Asynchronous pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 24(3), pp. 349-374, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock |
Expressiveness of communication in answer set programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 13(3), pp. 361-394, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Maher |
Relative expressiveness of defeasible logics II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 13(4-5), pp. 579-592, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo |
Ordinal theory for expressiveness of well-structured transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 224, pp. 1-22, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante |
Formal semantics and expressiveness of a web service composition language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pp. 1667-1673, 2013, ACM, 978-1-4503-1656-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck |
Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013, pp. 145-160, 2013, IEEE Computer Society, 978-0-7695-5031-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Angelo Montanari, Pietro Sala |
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pp. 193-202, 2013, IEEE Computer Society, 978-1-4799-0413-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Stefano-Niko Orzen |
Mathematical expressiveness for computational network interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: IEEE 8th International Symposium on Applied Computational Intelligence and Informatics, SACI 2013, Timisoara, Romania, May 23-25, 2013, pp. 85-88, 2013, IEEE, 978-1-4673-6397-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Theresa Jean Tanenbaum, Amanda M. Williams, Audrey Desjardins, Karen Tanenbaum |
Democratizing technology: pleasure, utility and expressiveness in DIY and maker practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, CHI '13, Paris, France, April 27 - May 2, 2013, pp. 2603-2612, 2013, ACM, 978-1-4503-1899-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Holger Eichelberger, Christian Kröher, Klaus Schmid |
An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Safe and Secure Software Reuse - 13th International Conference on Software Reuse, ICSR 2013, Pisa, Italy, June 18-20. Proceedings, pp. 32-48, 2013, Springer, 978-3-642-38976-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco |
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013, pp. 65-72, 2013, IEEE Computer Society, 978-1-4799-2240-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Andrei Dorman, Damiano Mazza |
A Hierarchy of Expressiveness in Concurrent Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, pp. 197-211, 2013, Springer, 978-3-642-40183-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Viviana Mascardi, Daniela Briola, Davide Ancona |
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings, pp. 300-311, 2013, Springer, 978-3-319-03523-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Thangasamy Kamaraj, D. Lalitha, D. Gnanaraj Thomas |
A Study on Expressiveness of a Class of Array Token Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Proceedings of the Third International Conference on Soft Computing for Problem Solving - SocProS 2013, Volume 2, Greater Noida Extension Centre, IIT Roorkee, India, December 26-28, 2013., pp. 457-469, 2013, Springer, 978-81-322-1767-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Cliff B. Jones |
Expressiveness of Notations for Reasoning about Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pp. 1, 2013, IEEE Computer Society, 978-0-7695-5007-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Sangjin Han, Sylvia Ratnasamy |
Large-Scale Computation Not at the Cost of Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: 14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa Ana Pueblo, New Mexico, USA, May 13-15, 2013, 2013, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Michael J. Maher |
Relative Expressiveness of Well-Founded Defeasible Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, pp. 338-349, 2013, Springer, 978-3-319-03679-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Xian Xu 0001, Qiang Yin 0002, Huan Long |
On the Expressiveness of Parameterization in Process-Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers, pp. 147-167, 2013, Springer, 978-3-319-08259-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Melanie Feinberg |
Responding to the frame: classification, material boundaries, and expressiveness in personal digital bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: 8th Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2013, Lincoln, NE, USA, July 16-19, 2013, Conference Abstracts, pp. 179-181, 2013, Alliance of Digital Humanities Organizations (ADHO), 978-1-60962-036-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Maximilian Heinrich Gerhard Möllers |
Capturing the expressiveness of touch: detect, improve, and extend. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
15 | Elena Demidova |
Usability and expressiveness in database keyword search: bridging the gap. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
15 | Rémi Brochenin |
Separation logic : expressiveness, complexity, temporal extension. (Logique de séparation : expressivité, complexité, extension temporelle). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
15 | Iliano Cervesato, Jorge Luis Sacchini |
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 2-16, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar 0004 |
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 47-62, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Youssef Arbach, Kirstin Peters, Uwe Nestmann |
Adding Priority to Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 17-31, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Pieter J. L. Cuijpers |
The categorical limit of a sequence of dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 78-92, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi 0001 |
Algebraic Meta-Theory of Processes with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 63-77, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
Meta SOS - A Maude Based SOS Meta-Theory Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 93-107, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Gebler, Simone Tini |
Compositionality of Approximate Bisimulation for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013., pp. 32-46, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Xian Xu 0001 |
Distinguishing and relating higher-order and first-order processes by expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 49(7-8), pp. 445-484, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Interrupt Timed Automata: verification and expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 40(1), pp. 41-87, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Inge Bethke |
On the Contribution of Backward Jumps to Instruction Sequence Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 50(4), pp. 706-720, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Cornelis A. Middelburg |
On the Expressiveness of Single-Pass Instruction Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 50(2), pp. 313-328, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
Interrupt Timed Automata: verification and expressiveness ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.6453, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Bas Luttik, Michel A. Reniers (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Paul Hunter |
The expressiveness of MTL with counting ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1209.0518, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Michael J. Maher |
Relative Expressiveness of Defeasible Logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.1785, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | José M. Alcaraz Calero, Andrés Muñoz 0001, Gregorio Martínez Pérez, Juan A. Botía, Antonio Fernandez Gómez-Skarmeta |
A Non-monotonic Expressiveness Extension on the Semantic Web Rule Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Eng. ![In: J. Web Eng. 11(2), pp. 93-118, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Suleman Shahid, Emiel Krahmer, Marc Swerts |
Video-mediated and co-present gameplay: Effects of mutual gaze on game experience, expressiveness and perceived social presence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Comput. ![In: Interact. Comput. 24(4), pp. 292-305, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Maher |
Relative expressiveness of defeasible logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 12(4-5), pp. 793-810, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Mark Burgin, Eugene Eberbach |
Evolutionary Automata: Expressiveness and Convergence of Evolutionary Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 55(9), pp. 1023-1029, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Chiu-yu Tseng, Chao-yu Su |
Information allocation and prosodic expressiveness in continuous speech: A Mandarin cross-genre analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSLP ![In: 8th International Symposium on Chinese Spoken Language Processing, ISCSLP 2012, Kowloon Tong, China, December 5-8, 2012, pp. 243-246, 2012, IEEE, 978-1-4673-2506-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Fabian Gerlinghaus, Brennand Pierce, Torsten Metzler, Iestyn Jowers, Kristina Shea, Gordon Cheng |
Design and emotional expressiveness of Gertie (An open hardware robotic desk lamp). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: The 21st IEEE International Symposium on Robot and Human Interactive Communication, IEEE RO-MAN 2012, Paris, France, September 9-13, 2012, pp. 1129-1134, 2012, IEEE, 978-1-4673-4604-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Johan Eker, Jörn W. Janneck |
Dataflow programming in CAL - balancing expressiveness, analyzability, and implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSCC ![In: Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers, ACSCC 2012, Pacific Grove, CA, USA, November 4-7, 2012, pp. 1120-1124, 2012, IEEE, 978-1-4673-5050-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Nähring, Carsten Maus, Roland Ewald, Adelinde M. Uhrmacher |
Automated transformation between modeling languages with different expressiveness: challenges and results from a use case with SBML and ML-Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC '12, Berlin, Germany, December 9-12, 2012, pp. 371:1-371:2, 2012, WSC, 978-1-4673-4779-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|