|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29071 occurrences of 10331 keywords
|
|
|
Results
Found 35342 publication records. Showing 35342 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Monique Snoeck, Guido Dedene |
Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(4), pp. 233-251, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking |
15 | Sergei G. Vorobyov |
Subtyping Functional+Nonempty Record Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 283-297, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Fritz Henglein, Jakob Rehof |
The Complexity of Subtype Entailment for Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 352-361, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm |
15 | Jean-Pierre Talpin |
Reactive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 595-606, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Magnus Kempe |
Abstract Data Types are Under Full Control with Ada 9X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA., pp. 141-152, 1994, ACM, 0-89791-666-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Ada |
15 | Giuseppe Longo |
Types as Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 658-670, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Kohei Honda 0001 |
Types for Dyadic Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 509-523, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | M. Stella Atkins, M. Y. Coady |
Adaptable Concurrency Control for Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 10(3), pp. 190-225, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
concurrent access to shared data, hybrid locking, optimistic locking, pessimistic locking, transactions serializability |
15 | Stefan Kaes |
Type Inference in the Presence of Overloading, Subtyping and Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 193-204, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Patrick O'Keefe, Mitchell Wand |
Type Inference for Partial Types is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 408-417, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Michael Hanus |
Parametric Order-Sorted Types in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 181-200, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | William E. Weihl |
Linguistic Support for Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(2), pp. 178-202, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Näher, Kurt Mehlhorn |
LEDA: A Library of Efficient Data Types and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 1-5, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | William R. Cook |
Object-Oriented Programming Versus Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 151-178, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming |
15 | Mikael Rittri |
Retrieving Library Identifiers via Equational Matching of Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 603-617, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Lux, Hermann Härtig, Winfried E. Kühnhauser |
On the Implementation of Abstract Data Types in BirliX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Process in Distributed Operating Systems and Distributed Systems Management ![In: Process in Distributed Operating Systems and Distributed Systems Management, European Workshop, Berlin, Germany, April 18-19, 1889, pp. 87-109, 1989, Springer, 3-540-52609-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Frank Pfenning, Christine Paulin-Mohring |
Inductively Defined Types in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 209-228, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Atsushi Ohori |
Semantics of Types for Database Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings, pp. 239-251, 1988, Springer, 3-540-50171-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Daniel C. Halbert, Patrick D. O'Brien |
Using Types and Inheritance in Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings, pp. 20-31, 1987, Springer, 3-540-18353-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Jieh Hsiang, Mandayam K. Srivas |
A PROLOG Environment for Developing and Reasoning about Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE), pp. 276-293, 1985, Springer, 3-540-15199-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Egidio Astesiano, Gerardo Costa |
Languages with Reducing Reflective Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings, pp. 38-50, 1980, Springer, 3-540-10003-2. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Alex Hubers, J. Garrett Morris |
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 356-384, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xiaomin Wu, Yong Wu, Qingying Li, Tao Dai 0006 |
How to react to hacker types and asset types in security decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 231, pp. 120654, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jiaxin Liu, Jue Ning, Xu Chen |
Evolution of Different Types of Eddies Originating from Different Baroclinic Instability Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(24), pp. 5730, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Trung Thanh Nguyen 0004, Jörg Rothe |
Fair and efficient allocation with few agent types, few item types, or small value levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 314, pp. 103820, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alex Hubers, J. Garrett Morris |
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.08759, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Cas van der Rest, Casper Bach Poulsen |
Types and Semantics for Extensible Data Types (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.14985, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Cas van der Rest, Casper Bach Poulsen |
Types and Semantics for Extensible Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings, pp. 46-66, 2023, Springer, 978-981-99-8310-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Farzad Jafarrahmani |
Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
15 | Santiago Bautista |
Static Analysis of Algebraic Data Types and Arrays. (Analyse Statique de Types Algébriques et de Tableaux). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
15 | Daniel Marshall 0001, Dominic Orchard |
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLACES@ETAPS ![In: Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022., pp. 1-11, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp |
Quotients, inductive types, and quotient inductive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(2), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Claudenir M. Fonseca, Giancarlo Guizzardi, João Paulo A. Almeida, Tiago Prince Sales, Daniele Porello |
Incorporating Types of Types in Ontology-Driven Conceptual Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - 41st International Conference, ER 2022, Hyderabad, India, October 17-20, 2022, Proceedings, pp. 18-34, 2022, Springer, 978-3-031-17994-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jafar Abdollahi, Laya Mahmoudi |
An Artificial Intelligence System for Detecting the Types of the Epidemic from X-rays : Artificial Intelligence System for Detecting the Types of the Epidemic from X-rays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSICC ![In: 27th International Computer Conference, Computer Society of Iran, CSICC 2022, Tehran, Iran, Islamic Republic of, February 23-24, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8027-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Félicien Bourdin |
Modélisation macroscopique de mouvements de foule à deux types, modèles SIR condensés. (Macroscopic modeling of the motion of a crowd with two types, condensed SIR models). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
15 | William Babonnaud |
Sémantique lexicale, compositionnalité et coercions. Fondements théoriques des types sémantiques. (Lexical Semantics, compositionality and coercions. Theoretical foundations of semantic types). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
15 | Matthieu Nicolas |
Ré-identification sans coordination dans les types de données répliquées sans conflits (CRDTs). (Coordination-free re-identification in Conflict-free Replicated Data Types (CRDTs)). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
15 | Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp |
Quotients, inductive types, and quotient inductive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.02994, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Ladislav Lhotka, Petr Spacek |
YANG Types for DNS Classes and Resource Record Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9108, pp. 1-14, September 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Jeanine Krath, Harald F. O. von Korflesch |
Player Types and Game Element Preferences: Investigating the Relationship with the Gamification User Types HEXAD Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (28) ![In: HCI in Games: Experience Design and Game Mechanics - Third International Conference, HCI-Games 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I, pp. 219-238, 2021, Springer, 978-3-030-77276-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Alexis Ghyselen |
Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus. (Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
15 | Lucas Franceschino |
Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. (Verified Programming at the Intersection of Dependent Types and Static Analysis). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
15 | Dang Truong Mac |
On certain types of code-based signatures. (Sur certains types de signatures basée sur les codes correcteurs d'erreur). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
15 | Joe Phua, Seunga Venus Jin, Jihoon (Jay) Kim |
Pro-veganism on Instagram: Effects of user-generated content (UGC) types and content generator types in Instagram-based health marketing communication about veganism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Online Inf. Rev. ![In: Online Inf. Rev. 44(3), pp. 685-704, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Simona Bonvicini, Margherita Maria Ferrari |
On the minimum number of bond-edge types and tile types: An approach by edge-colorings of graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 277, pp. 1-13, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dave Thaler, Dan Romascanu |
Guidelines and Registration Procedures for Interface Types and Tunnel Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8892, pp. 1-13, August 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Trung Thanh Nguyen 0004, Jörg Rothe |
Approximate Pareto Set for Fair and Efficient Allocation: Few Agent Types or Few Resource Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 290-296, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Vitaly Romanov |
Evaluating importance of edge types when using graph neural network for predicting return types of Python functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLASH (Companion) ![In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume., pp. 25-27, 2020, ACM, 978-1-4503-8179-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jakob von Raumer |
Higher inductive types, inductive families, and inductive-inductive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
15 | Federico Olimpieri |
Intersection Types and Resource Calculi in the Denotational Semantics of λ-Calculus. (Types intersection et calculs avec ressources dans la sémantique dénotationnelle du λ-calcul). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
15 | Guillaume Genestier |
Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting. (Terminaison en présence de types dépendants et encodage par réécriture d'une théorie des types extensionelle avec polymorphisme d'univers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
15 | Francisco M. Couto, Martin Krallinger |
Report of the First International Workshop on Semantic Indexing and Information Retrieval for Health from heterogeneous content types and languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIIRH@ECIR ![In: Proceedings of the Workshop on Semantic Indexing and Information Retrieval for Health from heterogeneous content types and languages co-located with 42nd European Conference on Information Retrieval, SIIRH@ECIR 2020, Lisbon, Portugal, April 14, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Simon Fowler 0001, Sam Lindley, J. Garrett Morris, Sára Decova |
Exceptional asynchronous session types: session types without tiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 28:1-28:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Cheng-Li Liu, Kuo-Wei Su, Shiaw-Tsyr Uang |
The effects of layout types and spatial information display types on presence and spatial identification for the elderly in the 3D virtual art gallery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 10(9), pp. 3439-3451, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Moon Kyeong Kim, Hee Youn Kim, Youn Ah Kang |
Influence of Gift-Giving in Social Network Games on Social Capital: Relationship Types, Gift-Giving Types, and the Big Five Factors of Personality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Interact. ![In: Int. J. Hum. Comput. Interact. 35(1), pp. 38-52, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Iris Eshkol-Taravella, Mariame Maarouf, Marie Skrovec, Flora Badin |
Chunker différents types de discours oraux : défis pour l'apprentissage automatique (Chunking different spoken speech types : challenges for machine learning). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PFIA (Articles courts) ![In: Actes de la Conférence sur le Traitement Automatique des Langues Naturelles (TALN) PFIA 2019. Volume II : Articles courts, Toulouse, France, 2019, pp. 195-204, 2019, ATALA. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Claude Stolze |
Combining union, intersection and dependent types in an explicitly typed lambda-calculus. (Types union, intersection, et dépendants dans le lambda-calcul explicitement typé). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
15 | Tommaso Petrucciani |
Polymorphic set-theoretic types for functional languages. (Types ensemblistes polymorphes pour les langages fonctionnels). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
15 | Jonathan Harth, Alexandra Hofmann, Mike Karst, David Kempf, Annelie Ostertag, Isabell Przemus, Bernhard Schaefermeyer |
Different Types of Users, Different Types of Immersion: A User Study of Interaction Design and Immersion in Consumer Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Consumer Electron. Mag. ![In: IEEE Consumer Electron. Mag. 7(4), pp. 36-43, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Aghilas Sini, Elisabeth Delais-Roussarie, Damien Lolive |
Annotation automatique des types de discours dans des livres audio en vue d'une oralisation par un système de synthèse (Automatic annotation of discourse types in audio-books). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORIA-TALN-RJC (TALN 2) ![In: Actes de la Conférence TALN. CORIA-TALN-RJC 2018 - Volume 1 - Articles longs, articles courts de TALN, Rennes, France, May 14-18, 2018, pp. 375-382, 2018, ATALA. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Marie Nicholson |
The Complexity of Tukey Types and Cofinal Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, pp. 307-317, 2018, Springer, 978-3-319-94417-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Pierre Cagne |
Vers une algèbre homotopique des types dépendants. (Towards a homotopical algebra of dependent types). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
15 | Jim E. Newton |
Representing and computing with types in dynamically typed languages. (Représentation et calcul avec des types dans des langages à typage dynamique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
15 | Pawel Parys |
Intersection Types for Unboundedness Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 7-27, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gerhard Fink, Maurice Yolles |
Affect and cognition, part 2: affect types and mindset types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 47(1), pp. 99-117, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Philip Wadler |
Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 23(1), pp. 5-20, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Sumedha Chauhan, Mahadeo Jaiswal |
A meta-analysis of e-health applications acceptance: Moderating impact of user types and e-health application types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Enterp. Inf. Manag. ![In: J. Enterp. Inf. Manag. 30(2), pp. 295-319, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Dahyun Kang, Sonya S. Kwak |
Feel Me If You Can: The Effect of Robot Types and Robot's Tactility Types on Users' Perception toward a Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI (Companion) ![In: Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2017, Vienna, Austria, March 6-9, 2017, pp. 155-156, 2017, ACM, 978-1-4503-4885-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vincenzo Mastandrea |
Analysis of synchronisation patterns in active object based on behavioural types. (Analyse de synchronisation dans les objets actifs basée sur les types comportementaux). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | Daniel Wand |
Superposition: Types and Induction. (Superposition : types et induction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | Alice Pavaux |
Inductive, Functional and Non-Linear Types in Ludics. (Types inductifs, fonctionnels et non-linéaires en ludique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | P. Radha Krishna 0001, Anushree Khandekar, Kamalakar Karlapalem |
Modeling dynamic relationship types for subsets of entity type instances and across entity types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 60, pp. 114-126, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Eun Go, Kyung Han You, Eunhwa Jung, Hongjin Shim |
Why do we use different types of websites and assign them different levels of credibility? Structural relations among users' motives, types of websites, information credibility, and trust in the press. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 54, pp. 231-239, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hyun Ji Jeong, Kim Taeyeon, Myoung-Ho Kim |
Link Prediction by Utilizing Correlations Between Link Types and Path Types in Heterogeneous Information Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMBD ![In: Data Mining and Big Data, First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings, pp. 156-164, 2016, Springer, 978-3-319-40972-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pawel Parys |
Intersection Types and Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 48-63, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Steffen van Bakel |
Characterisation of Approximation and (Head) Normalisation for λμ using Strict Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 20-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Cosku Acay, Frank Pfenning |
Intersections and Unions of Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 4-19, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi |
Retractions in Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016., pp. 31-47, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Simone Martini 0001 |
Several types of types in programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.03726, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Simone Martini 0001 |
Several Types of Types in Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HaPoC ![In: History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers, pp. 216-227, 2015, 978-3-319-47285-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jung-Ju Choi, Sonya S. Kwak |
The Effect of Robot Appearance Types and Task Types on Service Evaluation of a Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI (Extended Abstracts) ![In: Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2015 Extended Abstracts, Portland, OR, USA, March 02 - 05, 2015, pp. 121-122, 2015, ACM, 978-1-4503-3318-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jung-Ju Choi, Sonya S. Kwak |
The Effect of Robot Appearance Types and Task Types on Service Evaluation of a Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI (Extended Abstracts) ![In: Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2015 Extended Abstracts, Portland, OR, USA, March 02 - 05, 2015, pp. 223-224, 2015, ACM, 978-1-4503-3318-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Marek Zawirski |
Dependable eventual consistency with replicated data types. (Cohérence à terme fiable avec des types de données répliquées). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
15 | Mehdi Ahmed-Nacer |
Méthodologie d'évaluation pour les types de données répliqués. (Evaluation methodology for replicated data types). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
15 | Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian A. Wahl |
Type Inference for Session Types in the π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers, pp. 103-121, 2015, Springer, 978-3-319-33611-4. The full citation details ...](Pics/full.jpeg) |
2015 |
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 | Nader Hanna, Deborah Richards 0001, Michael J. Jacobson |
Academic Performance in a 3D Virtual Learning Environment: Different Learning Types vs. Different Class Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKAW ![In: Knowledge Management and Acquisition for Smart Systems and Services - 13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost, Qld, Australia, December 1-2, 2014. Proceedings, pp. 1-15, 2014, Springer, 978-3-319-13331-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Naoki Kobayashi 0001 |
From Linear Types to Behavioural Types and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Objects and Beyond ![In: Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, pp. 128-143, 2014, Springer, 978-3-662-44470-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Bahr |
Composing and decomposing data types: a closed type families implementation of data types à la carte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WGP@ICFP ![In: Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014, pp. 71-82, 2014, ACM, 978-1-4503-3042-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Hyewon Lee, Jung-Ju Choi, Sonya S. Kwak |
Will you follow the robot's advice?: the impact of robot types and task types on people's perception of a robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAI ![In: Proceedings of the second international conference on Human-agent interaction, HAI '14, Tsukuba, Japan, October 29-31, 2014, pp. 137-140, 2014, ACM, 978-1-4503-3035-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alexis Bernadet |
Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives. (Non idempotent-intersection types to refine strong normalisation with quantitative information). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
15 | Mário Pereira, Sandra Alves, Mário Florido |
Liquid Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 24-42, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
On Isomorphism of "Functional" Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 53-64, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Kentaro Kikuchi |
Uniform Proofs of Normalisation and Approximation for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 10-23, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ornela Dardha |
Recursive Session Types Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BEAT ![In: Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014., pp. 27-34, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Rick Statman |
A Finite Model Property for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 1-9, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro |
Typing Classes and Mixins with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRS ![In: Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014., pp. 79-93, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jeongbong Seo, Sungwoo Park |
Judgmental subtyping systems with intersection types and modal types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 50(7-8), pp. 359-380, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Michael Hoppe, Stefan Hanenberg |
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013, pp. 457-474, 2013, ACM, 978-1-4503-2374-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Hyeonseung Im, Keiko Nakata 0001, Sungwoo Park |
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II, pp. 299-311, 2013, Springer, 978-3-642-39211-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
|
|