The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for TIC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-1993 (16) 1995-1998 (22) 1999-2002 (15) 2003-2006 (19) 2007 (28) 2008-2009 (20) 2010-2012 (25) 2013-2014 (15) 2015-2016 (20) 2017-2018 (17) 2019-2021 (24) 2022 (17) 2023-2024 (16)
Publication types (Num. hits)
article(83) book(1) data(1) incollection(1) inproceedings(150) phdthesis(16) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 79 occurrences of 75 keywords

Results
Found 254 publication records. Showing 254 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
21Oriana Robles Club de tecnología en la escuela, una estrategia para el desarrollo de procesos creativos en educación básica, apoyada en TIC como tecnologías disruptivas. Search on Bibsonomy Rev. Colomb. de Computación The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Johan S. Rueda, Dewar Rico Inseguridad en las redes sociales e internet: formando en la apropiación segura de las TIC. Search on Bibsonomy Rev. Colomb. de Computación The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Ravindra Metta, Martin Becker 0001, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh 0001 TIC: a scalable model checking based approach to WCET estimation. Search on Bibsonomy LCTES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Sneha Garg, Dalpat Songara The winner decision model of tic tac toe game by using multi-tape turing machine. Search on Bibsonomy ICACCI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Raphael Albino, Cesar Alexandre de Souza Analisando fatores que influenciam o uso das TIC em escolas brasileiras. Search on Bibsonomy CONF-IRM The full citation details ... 2016 DBLP  BibTeX  RDF
21Diptarama, Ryo Yoshinaka, Ayumi Shinohara QBF Encoding of Generalized Tic-Tac-Toe. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
21Reinhold Scherer, Andreas Schwarz, Gernot R. Müller-Putz, Viktoria Pammer-Schindler, Mariano Lloria Garcia Lets play Tic-Tac-Toe: A Brain-Computer Interface case study in cerebral palsy. Search on Bibsonomy SMC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Mohamed Ben Aouicha, Mohamed Ali Hadj Taieb, Hania Ibn Marai WSD-TIC: Word Sense Disambiguation Using Taxonomic Information Content. Search on Bibsonomy ICCCI (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21César Villacís, Walter Fuertes, Mónica Santillán, Hernán Aules, Ana Tacuri, Margarita Zambrano, Edgar Salguero On the Development of Strategic Games based on a Semiotic Analysis: A Case Study of an Optimized Tic-Tac-Toe. Search on Bibsonomy ICEIS (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Ariane Fernandes da Conceição Internet pra quê?: a construção de capacidades e as TIC no processo de desenvolvimento rural. Search on Bibsonomy 2016   RDF
21Jean Cardinal, Sébastien Collette, Hiro Ito, Matias Korman, Stefan Langerman, Hikaru Sakaidani, Perouz Taslakian Cannibal Animal Games: a new variant of Tic-Tac-Toe. Search on Bibsonomy J. Inf. Process. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Ana Morales, Alberto Ramírez, Cora Excelente Apropiación de las TIC en la educación superior: una mirada desde la disciplina del profesorado. Search on Bibsonomy Res. Comput. Sci. The full citation details ... 2015 DBLP  BibTeX  RDF
21M. Elstner, A. Schiller Playing Tic-Tac-Toe with a Sugar-Based Molecular Computer. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Luis Calvo-Varela, Carlos Vázquez Regueiro, David S. Canzobre, Roberto Iglesias Development of a Nao Humanoid Robot Able to Play Tic-Tac-Toe Game on a Tactile Tablet. Search on Bibsonomy ROBOT (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Edison Ishikawa, Célia Ghedini Ralha Ensino de Sistemas de Informação em Cursos de Computação: relato de experiência com uso de abordagem prática em TIC [Teaching Information Systems for Computer Graduation Courses: a report experience using a practical ICT approach]. Search on Bibsonomy SBSI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Humberto Rocha de Almeida, Edviges Mariza Campos de Magalhães, Hermano Perrelli de Moura, José Gilson de Almeida Teixeira Filho, Claudia Cappelli, Luiz Mauricio Fraga Martins Avaliação de um Modelo de Maturidade para Governança Ágil em TIC usando Focus Group [Evaluation of a Maturity Model for Agile Governance in ICT using Focus Group]. Search on Bibsonomy SBSI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Michiel Van De Steeg, Madalina M. Drugan, Marco A. Wiering Temporal Difference Learning for the Game Tic-Tac-Toe 3D: Applying Structure to Neural Networks. Search on Bibsonomy SSCI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Clara Vianna Prado Digital natives versus digital immigrants: interpretive analysis of differences in the use of ICT in their daily lives and their perception of education in the present (Nativos digitais versus imigrantes digitais: análise interpretativista das diferenças no uso das TIC em seu cotidiano e sua percepção do ensino na atualidade). Search on Bibsonomy 2015   RDF
21Lalitha Saroja Thota, Manal Elsayeed, Naseema Shaik, Tayf Abdullah Ghawa, Ahlam Rashed, Mona Refdan, Wejdan Mohammed, Rawan Ali, Suresh Babu Changalasetty Implementation of Tic-Tac-Toe Game in LabVIEW. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
21Taiane R. Coelho, José Roberto Frega ICT4D: a relação entre estrutura, nos aspectos de TIC, e o empoderamento de estudantes do sul do Brasil. Search on Bibsonomy AMCIS The full citation details ... 2014 DBLP  BibTeX  RDF
21Yoann Gauthier, Joran Marcy, David Duprat, Alexis Paoleschi, Catherine Letondal, Rémi Lesbordes, Jean-Luc Vinot, Christophe Hurter Gesture-based interaction for Strip'TIC, a tangible space for air traffic controllers. Search on Bibsonomy IHM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Dean Collins, Ramesh Karri Hot topic session 12A: Split manufacturing - IARPA's TIC program. Search on Bibsonomy VTS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Serge Djossa Adoun, Marie-Pierre Gagnon Les technologies de l'information et de la communication (TIC) et la promotion de la santé sexuelle auprès des adolescents et jeunes adultes : au-delà de l'efficacité. Search on Bibsonomy JFIM The full citation details ... 2014 DBLP  BibTeX  RDF
21Bryce Sandlund, Kerrick Staley, Michael Dixon, Steve Butler Numerical Tic-Tac-Toe on the 4×4 Board. Search on Bibsonomy COCOON The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Thiciane Mary Carvalho Teixeira Inteligência competitiva organizacional: um modelo apoiado nos comportamentos de busca, compartilhamento e uso de informação e de TIC. Search on Bibsonomy 2014   RDF
21Maria Margarete do Rosário Farias Introdução a noções de cálculo diferencial e integral no ensino médio no contexto das TIC: implicações para prática do professor que ensina matemática. Search on Bibsonomy 2014   RDF
21Tamoghna Ojha, Manas Khatua, Sudip Misra Tic-Tac-Toe-Arch: a self-organising virtual architecture for Underwater Sensor Networks. Search on Bibsonomy IET Wirel. Sens. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Jean Cardinal, Sébastien Collette, Hiro Ito, Matias Korman, Stefan Langerman, Hikaru Sakaidani, Perouz Taslakian Cannibal Animal Games: a new variant of Tic-Tac-Toe. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
21Probir Saha, Debashis Tarafdar, Surjya K. Pal, Partha Saha, Ashok K. Srivastava, Karabi Das Multi-objective optimization in wire-electro-discharge machining of TiC reinforced composite through Neuro-Genetic technique. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Abhishek Das, Neelesh Kumar Jain 0001 Investigations on tool wear and material deposition aspects of TiC coating on aluminium by electro discharge coating process. Search on Bibsonomy Int. J. Manuf. Technol. Manag. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Érica Souza Siqueira, Cesar Alexandre de Souza, Adriana Backx Noronha Viana Uso da Tecnologia de Informação em Empresas de Pequeno e Médio Porte: uma análise a partir dos dados da pesquisa "TIC Empresas" de 2011. Search on Bibsonomy CONF-IRM The full citation details ... 2013 DBLP  BibTeX  RDF
21Catherine Letondal, Christophe Hurter, Rémi Lesbordes, Jean-Luc Vinot, Stéphane Conversy Flights in my hands: coherence concerns in designing strip'tic, a tangible space for air traffic controllers. Search on Bibsonomy CHI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Josep Maria Marco-Simó L'Acord marc d'homologació de serveis TIC de la Generalitat de Catalunya: un cas d'aprovisionament de SSTI a l'administració pública. Search on Bibsonomy 2013   RDF
21Xabiel G. Pañeda, David Melendi, Sergio Cabrero, Raquel Blanco, Roberto García 0002, Abel Rionda Tres Técnicas de Prácticas Competitivas Basadas en el Paradigma Project-OrientedLearning para las Ingenierías TIC. Search on Bibsonomy Rev. Iberoam. de Tecnol. del Aprendiz. The full citation details ... 2012 DBLP  BibTeX  RDF
21William I. Gasarch Review of combinatorial games: tic-tac-toe theory, by Jozsef Beck. Search on Bibsonomy SIGACT News The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Belal Al-Khateeb An evolutionary tic-tac-toe player. Search on Bibsonomy Int. J. Reason. based Intell. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Mokhtar Ben Henda Interopérabilité normative globalisée des systèmes d'information et de communication: Vol1 : Les galaxies de la médiation : Vision historique, technique et prospective des systèmes d'information et de communication. Vol. 2 : Normalisation et interopérabilité des TIC : Cas des systèmes pour l'enseignement et l'e-Learning. Vol 3: Annexes. Search on Bibsonomy 2012   RDF
21Lorena Chaparro-Diaz, Beatriz Sánchez-Herrera, Gloria Mabel Carrillo, Natividad Pinto-Afanador, Lucy Barrera-Ortiz TIC'S como Mecanismo de Soporte Social para Cuidadores Familiares de Personas con Enfermedad Cr - nica: Estudio de Casos. Search on Bibsonomy Nursing Informatics The full citation details ... 2012 DBLP  BibTeX  RDF
21Niurka Vialart Vidal, Maricela Torres-Esperón, Xaily Gavilondo-Mariño Experiencia cubana en el uso de las TIC para el trabajo en Redes de Enfermer'a. Search on Bibsonomy Nursing Informatics The full citation details ... 2012 DBLP  BibTeX  RDF
21Christophe Hurter, Rémi Lesbordes, Catherine Letondal, Jean-Luc Vinot, Stéphane Conversy Strip'TIC: exploring augmented paper strips for air traffic controllers. Search on Bibsonomy AVI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Gabriel Ulian Briganó, Jacques Duílio Brancher, Rodolfo Miranda de Barros Proposta de um Repositório de Conhecimentos em Governança de TIC. Search on Bibsonomy SBSI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Xiaojian Song Experience Generation in Tic-Tac-Toe for General Game Learning. Search on Bibsonomy CISIS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Jaqueline Abreu Vianna O trabalho mediado por TIC - Tecnologias de Informação e Comunicação e seus efeitos sobre o trabalhador. Search on Bibsonomy 2012   RDF
21Sai-Ho Ling, Hak-Keung Lam Playing Tic-Tac-Toe Using Genetic Neural Network with Double Transfer Functions. Search on Bibsonomy J. Intell. Learn. Syst. Appl. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Padmini Mukkamala Obstacles, Slopes, and Tic-Tac-Toe: An excursion in discrete geometry and combinatorial game theory Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
21Dieudonné Tchuente, C. Marie-Françoise Canut, Nadine Baptiste-Jessel, Alexandre Coutant, Thomas Stenger, Olivier Rampnoux Pour une approche interdisciplinaire des TIC. Le cas des réseaux socionumériques. Search on Bibsonomy Document Numérique The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Wei Xiong, Zhongren Wang Study on grinding deformation of Al2O3-TiC slender bar. Search on Bibsonomy EMEIT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Andreas Floros, Nicolas-Alexander Tatlas, Stylianos Potirakis Sonic perceptual crossings: a tic-tac-toe audio game. Search on Bibsonomy Audio Mostly Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Doriedson Alves de Almeida Relações entre o estado, sociedade e TIC: uma análise das tensões a partir do modelo proposto pelos Pontos de Cultura. Search on Bibsonomy 2011   RDF
21Klay Kruczek, Eric Sundberg 0001 Potential-Based Strategies for Tic-Tac-Toe on the Integer Lattice with Numerous Directions. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Padmini Mukkamala, Dömötör Pálvölgyi Asymptotically Optimal Pairing Strategy for Tic-Tac-Toe with Numerous Directions. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Lúcia Maria Barbosa Lira, Rogério Patrício Chagas do Nascimento, José Javier Samper Zapater Planejamento estratégico de TIC em um centro de processamento de dados de uma Universidade Brasileira. Search on Bibsonomy Rev. Colomb. de Computación The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21J. N. Leaw, Siew Ann Cheong Strategic Insights From Playing the Quantum Tic-Tac-Toe Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
21Pierre Humbert Usages et conception des TIC : Proposition d'un modèle d'aide à la représentation de problème de conception Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
21Jean-François Baget, Jérôme Fortin Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe. Search on Bibsonomy ICCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Rodrigo Sandoval-Almazán Uso de TIC en la Empresa Mexicana: El correo electronico, la Intranet y el Telefono Celular. Search on Bibsonomy AMCIS The full citation details ... 2009 DBLP  BibTeX  RDF
21Matthijs Pontier, Ghazanfar Farooq Siddiqui An Affective Agent Playing Tic-Tac-Toe as Part of a Healing Environment. Search on Bibsonomy PRIMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Jennifer S. Kay From Mad Libs to Tic Tac Toe: Using Robots and Game Programming as a Theme in an Introduction to Programming Course for Non-Majors. Search on Bibsonomy FLAIRS The full citation details ... 2009 DBLP  BibTeX  RDF
21Vladislav Daniel Veksler Examining the goal-proximity decision mechanism : maze-navigation, incidental learning, Tic-Tac-Toe, and exploration of Second Life virtual worlds. Search on Bibsonomy 2009   RDF
21Klay Kruczek, Eric Sundberg 0001 A Pairing Strategy for Tic-Tac-Toe on the Integer Lattice with Numerous Directions. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2008 DBLP  BibTeX  RDF
21Jorge Burgos, Pedro G. Campos Modelo Para Seguridad de la Información en TIC. Search on Bibsonomy EIG The full citation details ... 2008 DBLP  BibTeX  RDF
21Pilar Ficapal TIC, canvi organitzatiu i qualificació del treball. Una aproximació empírica a les fonts de la productivitat del treball de l'empresa catalana. Search on Bibsonomy 2008   RDF
21Luis Caceres El rol de las TIC en la educacion: Experencia del programa escolar de monitoreo ambiemental de la subcuenca del Cotahuasi, Perú. Search on Bibsonomy J. Community Informatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Sofía Irene Medellin Urquiaga, Erick Huerta Velázquez La Promoción de las TIC para el Desarrollo en Pueblos Indígenas: Extensión o Comunicación. Search on Bibsonomy J. Community Informatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Eduardo Villanueva, Christoph Roessner Introducción: TIC y América Latina: una revision desde las bases hasta la torre de marfil. Search on Bibsonomy J. Community Informatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Casey Bartman, Jamal R. Alsabbagh TIC: Term Intersection Clustering Algorithm. Search on Bibsonomy DMIN The full citation details ... 2007 DBLP  BibTeX  RDF
21Yi Jack Yau, Jason Teo, Patricia Anthony Pareto Evolution and Co-Evolution in Cognitive Neural Agents Synthesis for Tic-Tac-Toe. Search on Bibsonomy CIG The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21A. Aoufi, G. Damamme An implicit finite volume discretization for the multidimensional numerical simulation of TiC combustion synthesis. Search on Bibsonomy Appl. Math. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Jirí Grim, Petr Somol, Pavel Pudil Probabilistic neural network playing and learning Tic-Tac-Toe. Search on Bibsonomy Pattern Recognit. Lett. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Gianluca Zuccaro, Giovanni Lapenta, G. Maizza Particle in cell simulation of combustion synthesis of TiC nanoparticles. Search on Bibsonomy Comput. Phys. Commun. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Tang-Kai Yin, Nan-Tsing Chiu A computer-aided diagnosis for distinguishing Tourette's syndrome from chronic tic disorder in children by a fuzzy system with a two-step minimization approach. Search on Bibsonomy IEEE Trans. Biomed. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Julien Blanchard 0001, Fabrice Guillet, Régis Gras, Henri Briand Mesurer la qualité des règles et de leurs contraposées avec le taux informationnel TIC. Search on Bibsonomy EGC The full citation details ... 2004 DBLP  BibTeX  RDF
21Dara Curran, Colm O'Riordan Cultural Evolution for Sequential Decision Tasks: Evolving Tic-Tac-Toe Players in Multi-agent Systems. Search on Bibsonomy GECCO (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Volker Dötsch, Klaus P. Jantke TIC - A Toolkit for Valication in Formal Language Learning. Search on Bibsonomy FLAIRS The full citation details ... 2000 DBLP  BibTeX  RDF
21Dan Grossman, J. Gregory Morrisett Scalable Certification for Typed Assembly Language. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Dominic Duggan Sharing in Typed Module Assembly Language. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Karl Crary Sound and Complete Elimination of Singleton Kinds. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine Program Representation Size in an Intermediate Language with Intersection and Union Types. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21David Walker 0001, J. Gregory Morrisett Alias Types for Recursive Data Structures. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Michael W. Hicks, Stephanie Weirich, Karl Crary Safe and Flexible Dynamic Linking of Native Code. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Sophia Drossopoulou An Abstract Model of Java Dynamic Linking and Loading. Search on Bibsonomy Types in Compilation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Barbara Nessim Tic tac toe from American favorite series 1996. Search on Bibsonomy SIGGRAPH Electronic Art and Animation Catalog The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Andrew Bernard, Robert Harper 0001, Peter Lee 0001 How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Andrew P. Tolmach Optimizing ML Using a Hierarchy of Monadic Types. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Zhong Shao, Valery Trifonov Type-Directed Continuation Allocation. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Daniela Genius, Martin Trapp 0002, Wolf Zimmermann An Approach to Improve Locality Using Sandwich Types. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Peter Thiemann 0001 Formalizing Resourve Allocation in a Compiler. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su 0001 A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Vincent Balat, Olivier Danvy Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Haruo Hosoya, Akinori Yonezawa Garbage Collection via Dynamic Type Inference - A Fomal Treatment. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Dominic Duggan A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Xavier Leroy Introduction. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Bratin Saha, Zhong Shao Optimal Type Lifting. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Naoki Kobayashi 0001 Type-Based Analysis of Concurrent Programs. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 Stack-Based Typed Assembly Language. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann Compiling Java to a Typed Lambda-Calculus: A Preliminary Report. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Nobuhisa Fujinami Determination of Dynamic Method Dispatches Using Run-Time Code Generation. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Martin Elsman Polymorphic Equality - No Tags Required. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Kevin Crowley, Robert S. Siegler Flexible Strategy Use in Young Children's Tic-Tac-Toe. Search on Bibsonomy Cogn. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Juan Quemada, David de Frutos-Escrig, Arturo Azcorra TIC: A TImed Calculus. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 254 (100 per page; Change: )
Pages: [<<][1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license