Search results for "expressiveness"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Stefan Zugal, Pnina Soffer, Jakob Pinggera, Barbara Weber	Expressiveness and Understandability Considerations of Hierarchy in Declarative Business Process Models.	BMMDS/EMMSAD	2012	DBLP DOI BibTeX RDF
15	Carlos Monsalve, Alain April, Alain Abran	On the expressiveness of business process modeling notations for software requirements elicitation.	IECON	2012	DBLP DOI BibTeX RDF
15	Wolfgang Dvorák, Christof Spanring	Comparing the Expressiveness of Argumentation Semantics.	COMMA	2012	DBLP DOI BibTeX RDF
15	Krzysztof Kapulkin, Alexander Kurz 0001, Jirí Velebil	Expressiveness of Positive Coalgebraic Logic.	Advances in Modal Logic	2012	DBLP BibTeX RDF
15	Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey	Quantified CTL: Expressiveness and Model Checking - (Extended Abstract).	CONCUR	2012	DBLP DOI BibTeX RDF
15	Daniel Tetteroo, Azadeh Shirzad, Mariana Serras Pereira, Matthijs Jan Zwinderman, Duy Le, Emilia I. Barakova	Mimicking Expressiveness of Movements by Autistic Children in Game Play.	SocialCom/PASSAT	2012	DBLP DOI BibTeX RDF
15	Jose Mora, José Ángel Ramos Gargantilla, Guadalupe Aguado de Cea	Enhancing the expressiveness of linguistic structures.	E-LKR	2012	DBLP BibTeX RDF
15	Vinicius Nunes, Paula Fernandes, Vander Alves, Genaína Nunes Rodrigues	Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis.	SBCARS	2012	DBLP DOI BibTeX RDF
15	Michael Zeising, Stefan Schönig, Stefan Jablonski	Improving collaborative business process execution by traceability and expressiveness.	CollaborateCom	2012	DBLP DOI BibTeX RDF
15	George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu	The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs.	FoIKS	2012	DBLP DOI BibTeX RDF
15	Kaiwen Zhang 0001	Language expressiveness and quality of service for publish/subscribe systems.	Middleware Doctoral Symposium	2012	DBLP DOI BibTeX RDF
15	Pablo Barceló, Jorge Pérez 0001, Juan L. Reutter	Relative Expressiveness of Nested Regular Expressions.	AMW	2012	DBLP BibTeX RDF
15	Alice Bodanzky	Exploring the expressiveness of shape-changing surfaces.	TEI	2012	DBLP DOI BibTeX RDF
15	Kirstin Peters	Translational Expressiveness. Comparing Process Calculi using Encodings.		2012	RDF
15	Claudio Antares Mezzina	Réversibilité dans le pi calcul d'ordre supérieur. (concurrency theory,process calculi,reversibility,reversible computing,expressiveness of reversibility).		2012	RDF
15	Alessandro Margara	Combining expressiveness and efficiency in a complex event processing middleware.		2012	RDF
15	Gérard Boudol, Gustavo Petri, Bernard P. Serpette	Relaxed Operational Semantics of Concurrent Programming Languages	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Wojciech Czerwinski, Slawomir Lasota 0001	Partially-commutative context-free languages	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot	On the specification of operations on the rational behaviour of systems	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Stephan Mennicke	An Operational Petri Net Semantics for the Join-Calculus	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Matias David Lee, Daniel Gebler, Pedro R. D'Argenio	Tree rules in probabilistic transition system specifications with negative and quantitative premises	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Maxim Strygin, Hayo Thielecke	Operational semantics for signal handling	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Marco Giunti, Catuscia Palamidessi, Frank D. Valencia	Hide and New in the Pi-Calculus	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Piotr Hofman, Patrick Totzke	Approximating Weak Bisimilarity of Basic Parallel Processes	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	I. Guerberoff, Diego Queiroz, Jaime Simão Sichman	Studies on the effect of the expressiveness of two strategy representation languages for the iterated n-player prisoner s dilemma.	Rev. d'Intelligence Artif.	2011	DBLP DOI BibTeX RDF
15	Ahmet Kara 0002, Thomas Schwentick	Expressiveness of Hybrid Temporal Logic on Data Words.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
15	Joseph Y. Halpern, Riccardo Pucella	Dealing with logical omniscience: Expressiveness and pragmatics.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
15	Cong Tian, Zhenhua Duan	Expressiveness of propositional projection temporal logic with star.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
15	H. J. Sander Bruggink, Mathias Hülsbusch	Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
15	David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Combining Spatial and Temporal Logics: Expressiveness vs. Complexity	CoRR	2011	DBLP BibTeX RDF
15	Chengpu Wang	Type Expressiveness and Its Application in Separation of Behavior Programming and Data Management Programming	CoRR	2011	DBLP BibTeX RDF
15	Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock	Expressiveness of Communication in Answer Set Programming	CoRR	2011	DBLP BibTeX RDF
15	Bas Luttik, Frank Valencia (eds.)	Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011.	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Paul Dütting, Felix A. Fischer, David C. Parkes	Simplicity-Expressiveness Tradeoffs in Mechanism Design	CoRR	2011	DBLP BibTeX RDF
15	Benjamin W. Caldwell, Chiradeep Sen, Gregory M. Mocko, Joshua D. Summers	An empirical study of the expressiveness of the functional basis.	Artif. Intell. Eng. Des. Anal. Manuf.	2011	DBLP DOI BibTeX RDF
15	Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt	On the expressiveness and decidability of higher-order process calculi.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
15	Ou Wei, Arie Gurfinkel, Marsha Chechik	On the consistency, expressiveness, and precision of partial modeling formalisms.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
15	Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens	A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form and Minimization.	Comput. J.	2011	DBLP DOI BibTeX RDF
15	Christos Tsarouchis, Declan O'Sullivan, David Lewis 0001	A study in the expressiveness of semantically different policy modelling schemes.	Integrated Network Management	2011	DBLP DOI BibTeX RDF
15	Tru Hoang Cao	Fusing Conceptual Graphs and Fuzzy Logic: Towards the Structure and Expressiveness of Natural Language.	IUKM	2011	DBLP DOI BibTeX RDF
15	Theresa Wilson, Gregor Hofer	Using linguistic and vocal expressiveness in social role recognition.	IUI	2011	DBLP DOI BibTeX RDF
15	Vincenzo De Florio, Chris Blondia	Trading Off Complexity for Expressiveness in Programming Languages for Embedded Devices: Visions and Experiences.	ACN	2011	DBLP DOI BibTeX RDF
15	Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo	Ordinal Theory for Expressiveness of Well Structured Transition Systems.	FoSSaCS	2011	DBLP DOI BibTeX RDF
15	Meiko Jensen, Christopher Meyer	Expressiveness Considerations of XML Signatures.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
15	Craig Chambers	Expressiveness, Simplicity, and Users.	ECOOP	2011	DBLP DOI BibTeX RDF
15	Axel Tidemann	An Artificial Intelligence Architecture for Musical Expressiveness that Learns by Imitation.	NIME	2011	DBLP DOI BibTeX RDF
15	Michaël Cadilhac, Alain Finkel, Pierre McKenzie	On the Expressiveness of Parikh Automata and Related Models.	NCMA	2011	DBLP BibTeX RDF
15	Alexandru Caracas, Thorsten Kramp	On the Expressiveness of BPMN for Modeling Wireless Sensor Networks Applications.	BPMN	2011	DBLP DOI BibTeX RDF
15	Minh Tran, Mark Etheridge, Tyler K. Bletsch, Xuxian Jiang, Vincent W. Freeh, Peng Ning	On the Expressiveness of Return-into-libc Attacks.	RAID	2011	DBLP DOI BibTeX RDF
15	Paul Dütting, Felix A. Fischer, David C. Parkes	Simplicity-expressiveness tradeoffs in mechanism design.	EC	2011	DBLP DOI BibTeX RDF
15	Cinzia Di Giusto, Jean-Bernard Stefani	Revisiting Glue Expressiveness in Component-Based Systems.	COORDINATION	2011	DBLP DOI BibTeX RDF
15	Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.	IJCAI	2011	DBLP DOI BibTeX RDF
15	Karen M. Wickett	Expressiveness requirements for reasoning about collection/item metadata relationships.	iConference	2011	DBLP DOI BibTeX RDF
15	Dominik D. Freydenberger, Nicole Schweikardt	Expressiveness and Static Analysis of Extended Conjunctive Regular Path Queries.	AMW	2011	DBLP BibTeX RDF
15	Dario Della Monica	Expressiveness, decidability, and undecidability of interval temporal logic.		2011	RDF
15	Ugo Dal Lago, Paolo Di Giamberardino	Soft Session Types	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann	Synchrony vs Causality in the Asynchronous Pi-Calculus	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Damian Nadales Agut, Michel A. Reniers	Linearization of CIF Through SOS	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Iain Phillips 0001, Irek Ulidowski	A Logic with Reverse Modalities for History-preserving Bisimulations	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino	Graphical representation of covariant-contravariant modal formulae	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz	Synchrony vs. Causality in Asynchronous Petri Nets	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Ioana Cristescu, Daniel Hirschkoff	Termination in a Pi-calculus with Subtyping	EXPRESS	2011	DBLP DOI BibTeX RDF
15	Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini	Information Flow Safety in Multiparty Sessions	EXPRESS	2011	DBLP DOI BibTeX RDF
15	James Bailey 0001, Guozhu Dong, Anthony Widjaja To	Logical queries over views: Decidability and expressiveness.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
15	Thomas T. Hildebrandt, Daniele Gorla	Preface to special issue: Expressiveness in Concurrency 2008.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
15	Chiradeep Sen, Joshua D. Summers, Gregory M. Mocko	Topological Information Content and Expressiveness of Function Models in Mechanical Design.	J. Comput. Inf. Sci. Eng.	2010	DBLP DOI BibTeX RDF
15	Manuel Caeiro Rodríguez, Luis E. Anido-Rifón, Martín Llamas Nistal	Challenges in Educational Modelling: Expressiveness of IMS Learning Design.	J. Educ. Technol. Soc.	2010	DBLP BibTeX RDF
15	Yuxi Fu, Hao Lu	On the expressiveness of interaction.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
15	Annegret Habel, Hendrik Radke	Expressiveness of graph conditions with variables.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
15	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	Expressiveness and Closure Properties for Quantitative Languages	Log. Methods Comput. Sci.	2010	DBLP BibTeX RDF
15	Carlos Areces, Santiago Figueira, Daniel Gorín	The Question of Expressiveness in the Generation of Referring Expressions	CoRR	2010	DBLP BibTeX RDF
15	Sibylle B. Fröschle, Frank D. Valencia (eds.)	Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010.	EXPRESS	2010	DBLP DOI BibTeX RDF
15	Stephan Schroevers	Expressiveness and Extensions of an Instruction Sequence Semigroup	CoRR	2010	DBLP BibTeX RDF
15	Jan Jakubuv, J. B. Wells	Expressiveness of Generic Process Shape Types	CoRR	2010	DBLP BibTeX RDF
15	Marco Bernardo 0001	On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions	GANDALF	2010	DBLP DOI BibTeX RDF
15	Christian Herrmann 0003, Martin Ziegler 0001	Expressiveness and Computational Complexity of Geometric Quantum Logic	CoRR	2010	DBLP BibTeX RDF
15	Jan A. Bergstra, Inge Bethke	On the contribution of backward jumps to instruction sequence expressiveness	CoRR	2010	DBLP BibTeX RDF
15	Jinwei Hu	Expressiveness of a Provenance-Enabled Authorization Logic	CoRR	2010	DBLP BibTeX RDF
15	Jorge A. Pérez 0001	Higher-Order Concurrency: Expressiveness and Decidability.	Bull. EATCS	2010	DBLP BibTeX RDF
15	Patricia Bouyer, Fabrice Chevalier, Nicolas Markey	On the expressiveness of TPTL and MTL.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
15	Marcel Heerink, Ben J. A. Kröse, Vanessa Evers, Bob J. Wielinga	Relating conversational expressiveness to social presence and acceptance of an assistive social robot.	Virtual Real.	2010	DBLP DOI BibTeX RDF
15	Jan Jakubuv, J. B. Wells	Expressiveness of Generic Process Shape Types.	TGC	2010	DBLP DOI BibTeX RDF
15	Aidan J. Delaney, Gem Stapleton, John Taylor 0001, Simon J. Thompson	Fragments of Spider Diagrams of Order and Their Relative Expressiveness.	Diagrams	2010	DBLP DOI BibTeX RDF
15	Bettina Fazzinga, Sergio Flesca, Filippo Furfaro	On the expressiveness of generalization rules for XPath query relaxation.	IDEAS	2010	DBLP DOI BibTeX RDF
15	Linda Brodo	On the Expressiveness of the pi-Calculus and the Mobile Ambients.	AMAST	2010	DBLP DOI BibTeX RDF
15	Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt	On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.	ICALP (2)	2010	DBLP DOI BibTeX RDF
15	Sameh Al-Natour, Izak Benbasat, Ron Centefelli	Trustworthy Virtual Advisors and Enjoyable Interactions: Designing for Expressiveness and Transparency.	ECIS	2010	DBLP BibTeX RDF
15	Ricardo Vilaça, Francisco Cruz 0001, Rui Oliveira 0001	On the Expressiveness and Trade-Offs of Large Scale Tuple Stores.	OTM Conferences (2)	2010	DBLP DOI BibTeX RDF
15	Peter Chapman, Gem Stapleton	On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions.	DMS	2010	DBLP BibTeX RDF
15	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.	ECAI	2010	DBLP DOI BibTeX RDF
15	Jörg Becker 0001, Philipp Bergener, Dominic Breuker, Michael Räckers	Evaluating the Expressiveness of Domain Specific Modeling Languages Using the Bunge-Wand-Weber Ontology.	HICSS	2010	DBLP DOI BibTeX RDF
15	Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey	ATL with Strategy Contexts: Expressiveness and Model Checking.	FSTTCS	2010	DBLP DOI BibTeX RDF
15	Rajeev Alur, Pavol Cerný	Expressiveness of streaming string transducers.	FSTTCS	2010	DBLP DOI BibTeX RDF
15	Dietrich Kammer, Frank Lamack, Rainer Groh 0001	Enhancing the Expressiveness of Fingers: Multi-touch Ring Menus for Everyday Applications.	AmI	2010	DBLP DOI BibTeX RDF
15	Hendrik Buschmeier, Kirsten Bergmann, Stefan Kopp	Adaptive expressiveness: virtual conversational agents that can align to their interaction partner.	AAMAS	2010	DBLP BibTeX RDF
15	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini	Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.	Int. Conf. on Membrane Computing	2010	DBLP DOI BibTeX RDF
15	François Poyer	Modélisation à l'aide du formalisme CORDIS-ANIMA de structures à oscillations entretenues pour la synthèse de sons et de gestes. Etude sur le timbre, l'expressivité et l'évolution temporelle des sons synthétisés. (Modelling using the CORDIS-ANIMA formalism of structures with maintained oscillations for the synthesis of sounds and gestures. Study on timbre, expressiveness and temporal evolution of synthesized sounds).		2010	RDF
15	Jorge Andres Perez-Parra	Higher-Order Concurrency: Expressiveness and Decidability Results.		2010	RDF
15	Antonio Vitale	Expressiveness in biologically inspired languages.		2010	RDF
15	Lasse Nielsen, Nobuko Yoshida, Kohei Honda 0001	Multiparty Symmetric Sum Types	EXPRESS	2010	DBLP DOI BibTeX RDF