|
|
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 |
21 | Catuscia Palamidessi |
Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 28-29, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Foto N. Afrati, Irène Guessarian, Michel de Rougemont |
The Expressiveness of Datalog Circuits (DAC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, pp. 119-128, 1997, Springer, 3-540-63437-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Michele Boreale |
On the Expressiveness of Internal Mobility in Name-Passing Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 163-178, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Paritosh K. Pandya |
Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers, pp. 434-451, 1995, Springer, 3-540-61377-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht |
Expressiveness of Efficient Semi-Deterministic Choice Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 106-117, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Jennifer Widom, David Gries, Fred B. Schneider |
Trace-Based Network Proof Systems: Expressiveness and Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 14(3), pp. 396-416, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
trace logics, temporal logics, safety properties, process networks |
21 | Jennifer Widom, Prakash Panangaden |
Expressiveness Bounds for Completness in Trace-Based Network Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '88, 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988, Proceedings, pp. 200-214, 1988, Springer, 3-540-19021-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Deepak Kapur, Mandayam K. Srivas |
Expressiveness of the Operation Set of a Data Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 139-153, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
20 | Donna Malayeri, Jonathan Aldrich |
CZ: multiple inheritance without diamonds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 21-40, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
diamond problem, modularity, multiple inheritance, multimethods |
20 | Vivek Nigam, Dale Miller 0001 |
Algorithmic specifications in linear logic with subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 129-140, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
subexponentials, linear logic, proof search |
20 | Jorge Pérez 0001, Marcelo Arenas, Claudio Gutierrez 0001 |
nSPARQL: A Navigational Language for RDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 66-81, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jorge Solis, Kei Suefuji, Koichi Taniguchi, Takeshi Ninomiya, Maki Maeda, Atsuo Takanishi |
Implementation of Expressive Performance Rules on the WF-4RIII by modeling a professional flutist performance using NN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2552-2557, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia |
Management of Exceptions on Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: New Approaches for Security, Privacy and Trust in Complex Environments, Proceedings of the IFIP TC-11 22nd International Information Security Conference (SEC 2007), 14-16 May 2007, Sandton, South Africa, pp. 97-108, 2007, Springer, 978-0-387-72366-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Robert W. Ferguson, Giuseppe Lami |
An Empirical Study on the Relationship between Defective Requirements and Test Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA, pp. 7-10, 2006, IEEE Computer Society, 0-7695-2624-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Michael Benedikt, Luc Segoufin |
Towards a Characterization of Order-Invariant Queries over Tame Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 276-291, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Camurri |
Expressive Gesture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAI ![In: Music and Artificial Intelligence, Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings, pp. 4, 2002, Springer, 3-540-44145-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide |
Data Modelling in Complex Application Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 364-377, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Matthias Felleisen |
On the Expressive Power of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 134-151, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Frank Buschmann, Kevlin Henney |
Five Considerations for Software Architecture, Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 27(3), pp. 63-65, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
architecture economy, architecture elegance, architecture expressiveness, modularization, separation of concern |
18 | Stéphane Demri, Ranko Lazic 0001 |
LTL with the freeze quantifier and register automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 16:1-16:30, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computational complexity, expressiveness |
18 | Petra Sundström, Tove Jaensson, Kristina Höök, Alina Pommeranz |
Probing the potential of non-verbal group communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2009 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2009, Sanibel Island, Florida, USA, May 10-13, 2009, pp. 351-360, 2009, ACM, 978-1-60558-500-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
autobiographical design, friends at work, richer expressiveness, technology probe |
18 | Erin A. Carroll, Celine Latulipe |
The creativity support index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 4009-4014, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
creativity evaluation, standardized surveys, creativity, expressiveness, engagement, flow, play |
18 | Patrick Bosc, Vincent Claveau, Olivier Pivert, Laurent Ughetto |
Graded-Inclusion-Based Information Retrieval Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings, pp. 252-263, 2009, Springer, 978-3-642-00957-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
IRS models, graded inclusion, query expressiveness, fuzzy logic, fuzzy implication |
18 | Cong Tian, Zhenhua Duan |
Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings, pp. 47-58, 2008, Springer, 978-3-540-79227-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness |
18 | Patrick G. Kenny, Thomas D. Parsons, Jonathan Gratch, Albert A. Rizzo |
Virtual humans for assisted health care. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2008, Athens, Greece, July 16-18, 2008, pp. 6, 2008, ACM, 978-1-60558-067-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
advanced 3D modeling and animation technology, emotion and social behavior, experience reports and user studies, game characters, models of personality, multi-user/multi-virtual-agent interaction, verbal and non-verbal expressiveness, applications, virtual humans, health care, virtual patients |
18 | Nicolas Szilas |
BEcool: Towards an Author Friendly Behaviour Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Virtual Storytelling ![In: Virtual Storytelling. Using Virtual Reality Technologies for Storytelling, 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings, pp. 102-113, 2007, Springer, 978-3-540-77037-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
behaviour engine, authoring, authorability, expressiveness, Virtual characters, interactive drama |
18 | Andrew David Eisenberg, Gregor Kiczales |
Expressive programs through presentation extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 73-84, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MOP, metadata, annotations, expressiveness, metaobject protocol |
18 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
Comparing the Expressive Power of Well-Structured Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 99-114, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
well-structured systems, language theory, Expressiveness |
18 | Angela Chang, James Gouldstone, Jamie Zigelbaum, Hiroshi Ishii 0001 |
Simplicity in interaction design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 1st International Conference on Tangible and Embedded Interaction 2007, Baton Rouge, Louisiana, USA, February 15-17, 2007, pp. 135-138, 2007, ACM, 978-1-59593-619-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
usability, interface design, expressiveness, simplicity |
18 | Christoph Koch 0001 |
On the complexity of nonrecursive XQuery and functional query languages on complex values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 31(4), pp. 1215-1256, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
monad algebra, nested-relational algebra, XML, complexity, XQuery, expressiveness, conservativity, Complex values |
18 | Hai Zhuge, Erlin Yao |
Completeness of Query Operations on Resource Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 2006 International Conference on Semantics, Knowledge and Grid (SKG 2006), 1-3 November 2006, Guilin, China, pp. 3, 2006, IEEE Computer Society, 0-7695-2673-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Resource Space Model, query, completeness, expressiveness, operation, sufficiency |
18 | Naizhen Qi, Michiharu Kudo, Jussi Myllymaki, Hamid Pirahesh |
A function-based access control model for XML databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 115-122, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
rule functions, access control, expressiveness, XML database, fine-grained access control |
18 | Erica Costantini, Fabio Pianesi, Michela Prete |
Recognising emotions in human and synthetic faces: the role of the upper and lower parts of the face. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 10th International Conference on Intelligent User Interfaces, IUI 2005, San Diego, California, USA, January 10-13, 2005, pp. 20-27, 2005, ACM, 1-58113-894-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
face regions, synthetic faces, user study, expressiveness, emotion recognition |
18 | Alberto Battocchi, Fabio Pianesi, Dina Goren-Bar |
A first evaluation study of a database of kinetic facial expressions (DaFEx). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 7th International Conference on Multimodal Interfaces, ICMI 2005, Trento, Italy, October 4-6, 2005, pp. 214-221, 2005, ACM, 1-59593-028-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
quality of facial displays, databases, user study, expressiveness, emotion recognition |
18 | Per Persson |
Exms: an animated and avatar-based messaging system for expressive peer communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2003 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2003, Sanibel Island, Florida, USA, November 9-12, 2003, pp. 31-39, 2003, ACM, 1-58113-693-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multi-media authoring tools, animation, computer-mediated communication, avatars, expressiveness |
18 | Tom Djajadiningrat, Kees Overbeeke, Stephan Wensveen |
But how, Donald, tell us how?: on the creation of meaning in interaction design through feedforward and inherent feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Designing Interactive Systems ![In: Proceedings of the 4th Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, DIS 2002, London, England, UK, June 25-28, 2002, pp. 285-291, 2002, ACM, 1-58113-515-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
usability, feedback, expressiveness, meaning, feedforward |
18 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
On the expressive power of temporal concurrent constraint programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 156-167, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
constraint programming, expressiveness, timed systems |
18 | Dwifiandika S. Faulus, Raymond T. Ng |
An expressive language and interface for image querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 10(2), pp. 74-85, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Content-based image querying, Expressiveness of query language/interface, Query reformulation |
18 | Elisabeth Freeman, David Gelernter, Suresh Jagannathan |
In Search of a Simple Visual Vocabulary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 302-309, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
reverse engineering, programming environments, visual programming, visual languages, visual languages, program understanding, expressiveness, computer aided software engineering, visual representation, vocabulary, program executions, program structure, visual programming environment, visual vocabulary |
18 | Bernhard Josko |
Verifying the Correctness of AADL Modules Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 386-400, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
model checking, verification, temporal logic, computer architecture, expressiveness, modular specification |
15 | Rob van Glabbeek |
Comparing the Expressiveness of the π-calculus and CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 25(1), pp. 1:1-1:58, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ioannis Mavroudopoulos, Anastasios Gounaris |
A Comprehensive Scalable Framework for Cloud-Native Pattern Detection with Enhanced Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09960, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Gatterbauer, Cody Dunne |
On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.04758, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Qiaochu Huang, Xu He, Boshi Tang, Haolin Zhuang, Liyang Chen, Shuochen Gao, Zhiyong Wu 0001, Haozhi Huang 0004, Helen Meng |
Enhancing Expressiveness in Dance Generation via Integrating Frequency and Music Style Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05834, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Bohang Zhang, Jingchu Gai, Yiheng Du, Qiwei Ye, Di He 0001, Liwei Wang |
Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.08514, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Yuanzhi Liang, Linchao Zhu, Yi Yang 0001 |
AntEval: Quantitatively Evaluating Informativeness and Expressiveness of Agent Social Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.06509, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Shi Yin, Xinyang Pan, Xudong Zhu, Tianyu Gao, Haochong Zhang, Feng Wu 0001, Lixin He |
Harmonizing Covariance and Expressiveness for Deep Hamiltonian Regression in Crystalline Material Research: a Hybrid Cascaded Regression Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.00744, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Bart Bogaerts 0001, Maxime Jakubowski, Jan Van den Bussche |
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 20(1), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani |
Branching pomsets: Design, expressiveness and applications to choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 136, pp. 100919, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Gatterbauer, Cody Dunne |
On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Manag. Data ![In: Proc. ACM Manag. Data 2(1), pp. 61:1-61:27, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Andrei Draghici, Christoph Haase, Andrew Ryzhikov |
Reachability in Fixed VASS: Expressiveness and Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS (2) ![In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 185-205, 2024, Springer, 978-3-031-57230-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Liu Yu 0001, Ludie Guo, Ping Kuang, Fan Zhou 0002 |
Biases Mitigation and Expressiveness Preservation in Language Models: A Comprehensive Pipeline (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 23701-23702, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Jiwan Hur, Jaehyun Choi, Gyojin Han, Dong-Jae Lee, Junmo Kim 0002 |
Expanding Expressiveness of Diffusion Models with Limited Data via Self-Distillation based Fine-Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2024, Waikoloa, HI, USA, January 3-8, 2024, pp. 5016-5025, 2024, IEEE, 979-8-3503-1892-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Yang Zhao, Shuai Xiao, Jiachen Yang, Wen Lu, Xinbo Gao 0001 |
No-reference quality index of tone-mapped images based on authenticity, preservation, and scene expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 203, pp. 108782, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Dvorák, Anna Rapberger, Stefan Woltran |
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 324, pp. 104011, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Masih Haseli, Jorge Cortés 0001 |
Generalizing dynamic mode decomposition: Balancing accuracy and expressiveness in Koopman approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 153, pp. 111001, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gennady Shtakser |
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 17(3), pp. 297-330, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Radu Iosif, Florian Zuleger |
Expressiveness Results for an Inductive Logic of Separated Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.02381, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bohang Zhang, Guhao Feng, Yiheng Du, Di He 0001, Liwei Wang 0001 |
A Complete Expressiveness Hierarchy for Subgraph GNNs via Subgraph Weisfeiler-Lehman Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.07090, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Haiquan Qiu, Yongqi Zhang, Yong Li 0008, Quanming Yao |
Logical Expressiveness of Graph Neural Network for Knowledge Graph Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.12306, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mathias Vogel |
A Study on Altering the Latent Space of Pretrained Text to Speech Models for Improved Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.10804, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yeyuan Chen, Dingmin Wang |
Calibrate and Boost Logical Expressiveness of GNN Over Multi-Relational and Temporal Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01647, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Toluwani Aremu |
Regularized PolyKervNets: Optimizing Expressiveness and Efficiency for Private Inference in Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.15229, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Manel Barkallah, Jean-Marie Jacquet |
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023., pp. 55-72, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Vargas, Teodora Reu, Anna Kerekes |
Expressiveness Remarks for Denoising Diffusion Models and Samplers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09605, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhezheng Luo, Jiayuan Mao, Joshua B. Tenenbaum, Leslie Pack Kaelbling |
On the Expressiveness and Generalization of Hypergraph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.05490, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jiwan Hur, Jaehyun Choi, Gyojin Han, Dong-Jae Lee, Junmo Kim 0002 |
Expanding Expressiveness of Diffusion Models with Limited Data via Self-Distillation based Fine-Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01018, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Claudio Antares Mezzina, Georgiana Caltais (eds.) |
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Franka Bause, Samir Moustafa, Johannes Langguth, Wilfried N. Gansterer, Nils M. Kriege |
Non-Redundant Graph Neural Networks with Improved Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.04190, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jingjing Tang, Geraint A. Wiggins, George Fazekas |
Reconstructing Human Expressiveness in Piano Performances with a Transformer Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.06040, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shaohuan Zhou, Shun Lei, Weiya You, Deyi Tuo, Yuren You, Zhiyong Wu 0001, Shiyin Kang, Helen Meng |
Towards Improving the Expressiveness of Singing Voice Synthesis with BERT Derived Semantic Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.16836, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yanbo Wang, Muhan Zhang |
Towards Better Evaluation of GNN Expressiveness with BREC Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.07702, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andrei Draghici, Christoph Haase, Andrew Ryzhikov |
Reachability in Fixed VASS: Expressiveness and Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.16740, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana |
Expressiveness Results for Timed Modal Mu-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.04100, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran |
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 33(3-4), pp. 298-327, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk |
Dora: Processor Expressiveness is (Nearly) Free in Zero-Knowledge for RAM Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1749, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Toluwani Aremu |
Regularized PolyKervNets: Optimizing Expressiveness and Efficiency for Private Inference in Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1917, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Steffen Lewitzka |
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 32(3), pp. 441-471, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Heiko Klare, Joshua Gleitze |
Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 35(3), pp. 15:1-15:35, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Paul Tarau |
Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prolog: The Next 50 Years ![In: Prolog: The Next 50 Years, pp. 359-371, 2023, Springer, 978-3-031-35253-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yohei Noguchi 0001, Yijie Guo, Fumihide Tanaka |
A Plug-In Weight-Shifting Module That Adds Emotional Expressiveness to Inanimate Objects in Handheld Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pp. 12450-12456, 2023, IEEE, 979-8-3503-2365-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hugo Le Tarnec, Elisabetta Bevacqua, Olivier Augereau, Pierre De Loor |
Effect of Avatar Facial Expressiveness on Team Collaboration in Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Proceedings of the 23rd ACM International Conference on Intelligent Virtual Agents, IVA 2023, Würzburg, Germany, September 19-22, 2023, pp. 10:1-10:8, 2023, ACM, 978-1-4503-9994-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Irene García, Bessem Chouaia, Mercè Llabrés, Pere Palmer-Rodríguez, Marta Simeoni |
Analysing the Expressiveness of Metabolic Networks Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIVACE ![In: Artificial Life and Evolutionary Computation - 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers, pp. 75-87, 2023, Springer, 978-3-031-57429-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tianjun Yao, Yingxu Wang, Kun Zhang 0001, Shangsong Liang |
Improving the Expressiveness of K-hop Message-Passing GNNs by Injecting Contextualized Substructure Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, KDD 2023, Long Beach, CA, USA, August 6-10, 2023, pp. 3070-3081, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Samantha Robertson, Tonya Nguyen, Cathy Hu, Catherine Albiston, Afshin Nikzad, Niloufar Salehi |
Expressiveness, Cost, and Collectivism: How the Design of Preference Languages Shapes Participation in Algorithmic Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, pp. 600:1-600:16, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Arnaud Liefooghe, Gabriela Ochoa, Sébastien Vérel, Bilel Derbel |
Pareto Local Optimal Solutions Networks with Compression, Enhanced Visualization and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, pp. 713-721, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Pieris, Jorge Salas |
Absolute Expressiveness of Subgraph-Based Centrality Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 26th International Conference on Database Theory, ICDT 2023, March 28-31, 2023, Ioannina, Greece., pp. 9:1-9:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-270-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nicolai Schützenmeier, Stefan Jablonski, Martin Käppel, Lars Ackermann |
Comparing the Expressiveness of Imperative and Declarative Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBA ![In: Model-Driven Organizational and Business Agility - Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12-13, 2023, Revised Selected Papers, pp. 16-31, 2023, Springer, 978-3-031-45009-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yeyuan Chen, Dingmin Wang |
Calibrate and Boost Logical Expressiveness of GNN Over Multi-Relational and Temporal Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Radu Iosif, Florian Zuleger |
Expressiveness Results for an Inductive Logic of Separated Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, pp. 20:1-20:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-299-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bixuan Li, Qifu Chen, Jinlin Lin, Sai Li, Jerome Yen |
Assessing GPT-4 Generated Abstracts: Text Relevance and Detectors Based on Faithfulness, Expressiveness, and Elegance Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMBD (1) ![In: Data Mining and Big Data - 8th International Conference, DMBD 2023, Sanya, China, December 9-12, 2023, Proceedings, Part I, pp. 165-180, 2023, Springer, 978-981-97-0836-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Aristeidis Mastoras, Albert-Jan Nicholas Yzelman |
Studying the expressiveness and performance of parallelization abstractions for linear pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PMAM@PPoPP ![In: Proceedings of the 14th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2023, Montreal, QC, Canada, 25 February 2023 - 1 March 2023, pp. 29-38, 2023, ACM, 979-8-4007-0115-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bohang Zhang, Guhao Feng, Yiheng Du, Di He 0001, Liwei Wang 0001 |
A Complete Expressiveness Hierarchy for Subgraph GNNs via Subgraph Weisfeiler-Lehman Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 41019-41077, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Vatche Isahagian, Vinod Muthusamy, Aleksander Slominski |
Publish-subscribe with large language models: Improving expressiveness with natural language and generated custom notifications: Poster Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware Demos/Posters/Doctoral Symposium ![In: Proceedings of the 24th International Middleware Conference Demos, Posters and Doctoral Symposium, Bologna, Italy, December 11-15, 2023, pp. 29-30, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dorothea Baumeister, Linus Boes, Christian Laußmann, Simon Rey |
Bounded Approval Ballots: Balancing Expressiveness and Simplicity for Multiwinner Elections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pp. 1400-1408, 2023, ACM, 978-1-4503-9432-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001 |
The Way We Were: Structural Operational Semantics Research in Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023., pp. 26-40, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Hirschkoff, Enguerrand Prebet |
Using Pi-Calculus Names as Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023., pp. 76-96, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt |
Deriving Abstract Interpreters from Skeletal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023., pp. 97-113, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marjan Sirjani, Ehsan Khamespanah |
Timed Actors and Their Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023., pp. 1-7, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shunya Oguchi, Shoji Yuen |
CRIL: A Concurrent Reversible Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023., pp. 149-167, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 2532 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|