The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1956-1961 (15) 1962-1968 (17) 1969-1972 (20) 1973-1975 (16) 1976-1977 (21) 1978-1979 (21) 1980-1981 (22) 1982 (16) 1983 (15) 1984 (25) 1985 (31) 1986 (28) 1987 (55) 1988 (63) 1989 (76) 1990 (224) 1991 (86) 1992 (91) 1993 (119) 1994 (243) 1995 (181) 1996 (373) 1997 (305) 1998 (430) 1999 (498) 2000 (659) 2001 (992) 2002 (738) 2003 (912) 2004 (1394) 2005 (1656) 2006 (1951) 2007 (2313) 2008 (2117) 2009 (1552) 2010 (800) 2011 (856) 2012 (695) 2013 (659) 2014 (675) 2015 (777) 2016 (718) 2017 (736) 2018 (662) 2019 (862) 2020 (796) 2021 (919) 2022 (1335) 2023 (894) 2024 (231)
Publication types (Num. hits)
article(7707) book(41) incollection(403) inproceedings(20318) phdthesis(291) proceedings(130)
Venues (Conferences, Journals, ...)
CoRR(837) NEW2AN(815) IROS(486) ICIS(347) NGMAST(310) Networking(240) IEEE Commun. Mag.(230) INFOCOM(218) Int. J. Next Gener. Comput.(198) NGITS(187) APNOMS(176) EUROMICRO(173) ITC(169) HICSS(161) ICC(156) ICIN(156) More (+10 of total 4362)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14780 occurrences of 6756 keywords

Results
Found 28890 publication records. Showing 28890 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
59Eugene E. McDonnell Life: Nasty, Brutish, and Short. Search on Bibsonomy APL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF APL
46Imen Grida Ben Yahia, Emmanuel Bertin, Noël Crespi Ontology-based Management Systems for the Next Generation Services: State-of-the-Art. Search on Bibsonomy ICNS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Next Generation Services (NGS), ontology, Next Generation Networks, Enterprise Information System, service delivery
46Jung-Sook Bae, Jae Yong Lee 0001, Byung-Chul Kim, Seungwan Ryu Next Generation Mobile Service Environment and Evolution of Context Aware Services. Search on Bibsonomy EUC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Next Generation Mobile Service, Next Generation Mobile Service platform, Context Aware Service
42Seyyed Mohsen Hashemi, Mohammad Teshnehlab, Mohammadreza Razzazi Unbundling Business Processes to Fine-Grained E-Services through the Next Generation EIS Frameworks. Search on Bibsonomy CONFENIS (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SOSA, EIS Framework, ISRUP E-Service Framework, E(1S)2, Data and Service-Integration, Next Generation EIS Frameworks, SOA, Grid, E-Service
40Bing Zheng, Mohammed Atiquzzaman DSRED: An Active Queue Management Scheme for Next Generation Networks. Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF DSRED, Internet Engineering Task Force, TCP/IP based networks, next generation routers, network instability, double slope random early detection, performance, delay, throughput, transport protocols, queueing theory, jitter, jitter, next generation networks, telecommunication network routing, active queue management, random early detection, IETF, telecommunication network management
36Bogdan Ionescu, Marcel Ionescu, Stejarel Veres, Dan Ionescu, Fernando Cuervo, Maike Luiken-Miller A Testbed and Research Network for Next Generation Services over Next Generation Networks. Search on Bibsonomy TRIDENTCOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF testbed for live network testing, testing VPLS services, control platform for network and services, next generation networks
35Fredrik Davik, Amund Kvalbein, Stein Gjessing Performance Evaluation and Improvement of Non-stable Resilient Packet Ring Behavior. Search on Bibsonomy ICN (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Resilient Packet Ring, Next generation protocol design and evaluation, Next Generation Networks Principles, Simulations, Performance evaluation, Fairness, High-speed Networks, Communications modeling
34Jianping Wu, Ke Xu 0002 Research on Next-Generation Internet Architecture. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF multi-dimension scalability, authentic IPv6 addressing, 4over6, IPv6, next-generation Internet
32Natalia Kryvinska, Christine Strauss, Peter Zinterhof Next Generation Service Delivery Network as Enabler of Applicable Intelligence in Decision and Management Support Systems. Search on Bibsonomy Next Generation Data Technologies for Collective Computational Intelligence The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Nik Bessis, Eleana Asimakopoulou, Mehmet Emin Aydin, Fatos Xhafa Utilizing Next Generation Emerging Technologies for Enabling Collective Computational Intelligence in Disaster Management. Search on Bibsonomy Next Generation Data Technologies for Collective Computational Intelligence The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
32Harish Viswanathan, Sivarama Venkatesan Spectrum and Interference Management in Next-Generation Wireless Networks. Search on Bibsonomy Algorithms for Next Generation Networks The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Debora Donato, Aristides Gionis Next Generation Search. Search on Bibsonomy Algorithms for Next Generation Networks The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32David Amzallag, Danny Raz Resource Allocation Algorithms for the Next Generation Cellular Networks. Search on Bibsonomy Algorithms for Next Generation Networks The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Enrique Hernandez-Valencia Ethernet-Based Services for Next Generation Networks. Search on Bibsonomy Algorithms for Next Generation Networks The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Bernd Becker 0001, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita 09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers. Search on Bibsonomy Algorithms and Applications for Next Generation SAT Solvers The full citation details ... 2009 DBLP  BibTeX  RDF
32Hillol Kargupta Thoughts on Human Emotions, Breakthroughs in Communication, and the Next Generation of Data Mining. Search on Bibsonomy Next Generation of Data Mining The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Bengt Ahlgren, Lars Eggert, Anja Feldmann, Andrei V. Gurtov, Thomas R. Henderson 06441 Abstracts Collection -- Naming and Addressing for Next Generation Internetworks. Search on Bibsonomy Naming and Addressing for Next-Generation Internetworks The full citation details ... 2006 DBLP  BibTeX  RDF
32Thomas R. Henderson, Andrei V. Gurtov, Lars Eggert, Christian Dannewitz 06441 Summary -- Naming and Addressing for Next Generation Internetworks. Search on Bibsonomy Naming and Addressing for Next-Generation Internetworks The full citation details ... 2006 DBLP  BibTeX  RDF
32Raghu Ramakrishnan 0001, Rakesh Agrawal 0001, Johann-Christoph Freytag, Toni Bollinger, Christopher W. Clifton, Saso Dzeroski, Jochen Hipp, Daniel A. Keim, Stefan Kramer 0001, Hans-Peter Kriegel, Ulf Leser, Bing Liu 0001, Heikki Mannila, Rosa Meo, Shinichi Morishita, Raymond T. Ng, Jian Pei, Prabhakar Raghavan, Myra Spiliopoulou, Jaideep Srivastava, Vicenç Torra Data Mining: The Next Generation. Search on Bibsonomy Perspectives Workshop: Data Mining: The Next Generation The full citation details ... 2004 DBLP  BibTeX  RDF
32Mike P. Papazoglou, John Zeleznikow The Next Generation of Information Systems - From Intelligence to Distribution and Cooperation. Search on Bibsonomy The Next Generation of Information Systems The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31Orit Shaer, Robert J. K. Jacob, Mark Green 0001, Kris Luyten User interface description languages for next generation user interfaces. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF next generation user interfaces, user interface description language (uid), user interface management system (uims)
31Chunyang Ye, Feng Xiong, Qi Luo Research on Next Generation Grids Using a Fuzzy Assessment Method. Search on Bibsonomy MDAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Next-generation Grids, fuzzy assessment, knowledge management, knowledge discovery
31Imen Grida Ben Yahia, Emmanuel Bertin, Noël Crespi Towards autonomic management for Next Generation Services. Search on Bibsonomy ICNS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Next Generation Services (NGS), Autonomic computing, service management
31Yun-Yong Zhang, Zhi-Jiang Zhang, Fan Zhang, Yun-Jie Liu Mobile Computing Architecture in Next Generation Network. Search on Bibsonomy GCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Agent Request Broker, CARBA, MABCA, Mobile Agent, Intelligent Agent, Next Generation Network (NGN)
30Martin R. Ehmsen, Lene M. Favrholdt, Jens S. Kohrt, Rodica Mihai Comparing First-Fit and Next-Fit for Online Edge Coloring. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Sanchit Misra, Ramanathan Narayanan, Simon Lin, Alok N. Choudhary FANGS: high speed sequence mapping for next generation sequencers. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF 454 sequencers, next generation sequencers, sequence mapping
28Edward Tse, Johannes Schöning, Yvonne Rogers, Chia Shen, Gerald Morrison Next generation of HCI and education: workshop on UI technologies and educational pedagogy. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2010 DBLP  DOI  BibTeX  RDF next generation hci, education, gestures, pedagogy, large displays, multi-touch
28Kimihiko Hirao The next-generation supercomputer project and a plan for the advanced institute for computational science. Search on Bibsonomy ICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF next-generation supercomputer, computational science, computer simulation, petascale computing
28Yen-Liang Chen, Ming-Feng Hsu, Jyh-Ting Lai, An-Yeu Wu Cost-Effective Joint Echo-NEXT Canceller Designs for 10GBase-T Ethernet Systems Based on a Shortened Impulse Response Filter (SIRF) Scheme. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF echo canceller, NEXT canceller, channel shortening, 10GBase-T Ethernet system, MIMO
28Fisseha Mekuria, Idris A. Rai Issues in next generation wireless networks and services for developing regions. Search on Bibsonomy Wireless Networks and Systems for Developing Regions The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mobile innovative services, next generation wireless networks, usability lab, localization, policy
28Michael J. Ackerman Next generation networking: distributed multimedia information for healthcare. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Scalable information infrastructure, Internet2, Abilene, Quality of Service, Healthcare, Next generation networking, Distributed multimedia
28Lianqing Xue, Zhenchun Hao, Dan Li, Xiaoqun Liu Dongting Lake Floodwater Diversion and Storage Modeling and Control Architecture Based on the Next Generation Network. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF the Next-Generation Network, Parallel Computation Algorithm, Hydraulic Model, Network Application
28Zhen Liu Grid-Based Service Creation for Next-Generation Networks. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Open Grid Services Architecture(OGSA), Parlay, Next-Generation Networks(NGN), Service Creation
28Rajiv Kishore, Ephraim R. McLean The Next Generation Enterprise: A CIO Perspective on the Vision, its Impacts, and Implementation Challenges. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF next generation enterprise, pervasive and mobile information technology, organizational impacts of information technology, social impacts of information technology, implementation of techno-organizational innovations, virtual organization
28Jasna Maver, Ruzena Bajcsy Occlusions as a Guide for Planning the Next View. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF 3D data acquisition, next view planning, light stripe range finder, laser light, scanning plane, computer vision, computer vision, planning (artificial intelligence), image recognition, image recognition, occlusions, range images
26Jasna Maver Which Slightly Different View is the Right One? Search on Bibsonomy CAIP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF the next view planning, view synthesis methods, stereo vision
25He Jiang 0001, Jifeng Xuan, Zhilei Ren Approximate backbone based multilevel algorithm for next release problem. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF approximate backbone, multilevel algorithm, next release problem (nrp), requirement engineering
25Emmanuel Lavinal, Noëmie Simoni, Meng Song, Bertrand Mathieu A next-generation service overlay architecture. Search on Bibsonomy Ann. des Télécommunications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Next-generation services, QoS-based service discovery, SIP-based service paths
25Jörg Stöcklein, Christian Geiger 0001, Volker Paelke, Patrick Pogscheba A Design Method for Next Generation User Interfaces Inspired by the Mixed Reality Continuum. Search on Bibsonomy HCI (13) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Next Generation User Interface Development, Mixed Reality
25Matteo Bandinelli, Federica Paganelli, Gianluca Vannuccini, Dino Giuli A Context-Aware Security Framework for Next Generation Mobile Networks. Search on Bibsonomy MobiSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF context-aware security, multi-layer security policy, security context, next generation communication networks, contextual graph
25Aurobi Das, V. Balakrishnan A next generation smart energy technology. Search on Bibsonomy ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Kyoto protocol, NASA surface meteorology and solar energy data on solar energy resources, SAP-SOA energy optimization model, acceptance index, energy service companies, enterprise SAP-SOA net weaver architecture, green house gas, market potential mappings, next generation smart-grid through pervasive computing, systems applications products in data processing, service-oriented-architecture, enterprise resource planning
25Hiroshi Kuriyama, Kyung-Hyu Lee, G. S. Kuo, Shingo Ata, Choong Seon Hong Managing Next Generation Networks and Services: A Report on APNOMS 2007. Search on Bibsonomy J. Netw. Syst. Manag. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Network operations and management, Next generation networks and services, NGN management
25Walter Brown, Irwin Brown Next generation ICT policy in South Africa: Towards a human development-based ICT policy. Search on Bibsonomy HCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Human development, ICT policy, Next Generation Networks
25Maurizio Guida, Maurizio Longo, Fabio Postiglione Reliability and survivability methodologies for next generation networks. Search on Bibsonomy MoMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF availability, next generation networks, IP multimedia subsystem, network survivability
25Joo-Young Baek, Woo-Jae Kim, Dong-Wook Kim, Young-Joo Suh, Sookyang Kang, KyungChul Shin An efficient multi-dimensional handover scheme for next-generation networks. Search on Bibsonomy PM2HW2N The full citation details ... 2008 DBLP  DOI  BibTeX  RDF handover architecture, handover triggering factors, next-generation networks, vertical handover
25Walter Wong, Rodolfo da Silva Villaça, Luciano Bernardes de Paula, Rafael Pasquini, Fábio Luciano Verdi, Maurício F. Magalhães An Architecture for Mobility Support in a Next-Generation Internet. Search on Bibsonomy AINA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, mobility, multi-homing, next-generation Internet
25Mehmet C. Vuran, Ian F. Akyildiz A-MAC: adaptive medium access control for next generation wireless terminals. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF adaptive medium access control, heterogeneous QoS requirements, next generation wireless networks, virtual cube concept, heterogeneous networks
25Yuanyuan Zhang 0003, Mark Harman, S. Afshin Mansouri The multi-objective next release problem. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF next release problem, pareto optimality, multi-objective genetic algorithms
25Jörn Altmann, Costas Courcoubetis, John Darlington, Jeremy Cohen 0002 GridEcon - The Economic-Enhanced Next-Generation Internet. Search on Bibsonomy GECON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Architecture and Next-Generation Internet, Grid Computing, Business Model, Service-Oriented Computing, Markets, Economic Modeling, Grid Economics
25Niklas Blum, Thomas Magedanz, Horst Stein Service creation & delivery for SME based on SOA / IMS. Search on Bibsonomy MNCNA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SOA, service oriented architecture, Web 2.0, IMS, NGN, next generation network, IP multimedia subsystem, SDP, service delivery platform, SCE, service creation environment
25Shantidev Mohanty, Ian F. Akyildiz A Cross-Layer (Layer 2 + 3) Handoff Management Protocol for Next-Generation Wireless Systems. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Next-generation wireless systems, cross-layer protocol design, ubiquitous communications, handoff management
25Racha Ben Ali, Samuel Pierre An efficient predictive admission control policy for heterogenous wireless bandwidth allocation in next generation mobile networks. Search on Bibsonomy IWCMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF connection blocking probability, handoff dropping probability, next generation mobile networks (NGMN), bandwidth allocation, heterogenous wireless networks, connection admission control (CAC)
25Frederica Darema The Next Generation Software Program. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Next Generation Software Program, TPES, CADSS
25Amjad Umar IT Infrastructure to Enable Next Generation Enterprises. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2005 DBLP  DOI  BibTeX  RDF NGE, real-time enterprises, mobile services, enterprise application integration, IT infrastructure, Next Generation Internet, self services
25Thomas Magedanz, Dorota Witaszek, Karsten Knuettel The IMS Playground @ Fokus - An Open Testebed for Next Generation Network Multimedia Services. Search on Bibsonomy TRIDENTCOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF OSA/Parlay, SIP, Testbed, Multimedia Applications, Next Generation Networks, Diameter, IP Multimedia Subsystem, Application Server, Service Delivery Platform
25Kevin M. McNeill Radiology: "Killer App" for Next Generation Networks? Search on Bibsonomy J. Digit. Imaging The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Digital radiology, PACS, next generation networks
25Hideki Tai, Gaku Yamamoto An Agent Server for the Next Generation of Web Applications. Search on Bibsonomy DEXA Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF agent server, next generation Web applications, individual users, e-mail notification services, running environment, Caribbean framework, multi-agent systems, information resources, application developers
25Richard Pito A Solution to the Next Best View Problem for Automated Surface Acquisition. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF automated surface acquisition, reverse engineering, Active vision, range imaging, model acquisition, sensor planning, next best view
25Yu-Chang Chen, Chien-Chih Chang, Wen-Shyong Hsieh, Chu-Sing Yang Address Resolution Model and Traffic Control for Multimedia Data Transmission with QoS Guarantees between ATM and Ethernet. Search on Bibsonomy EUROMICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Classical IP over ATM, LAN Emulation, Peer Model, Next Hop Resolution Protocol, ECAC, QoS, ATM
25Quinn Jacobson, Eric Rotenberg, James E. Smith 0001 Path-Based Next Trace Prediction. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Next Trace Prediction, Multiple Branch Prediction, Return History Stack, Path-Based Prediction, Trace Cache
25Chan Park, Hee Sook Choi, Jin-Oh Kim, Jong Hyup Lee Next hop resolution using classical IP over ATM. Search on Bibsonomy LCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF classical IP, IP subnets, logical IP subnet, direct virtual channel connection, next hop resolution protocol, multi-protocol over ATM, inter-LIS communication, RFC1577, test-bed network, protocols, ATM, prototype systems
25Azzedine Boukerche, Carl Tropper Hierarchical schedulings of time-next-event heuristic on distributed memory machines. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF semi-global time-next-event heuristic, logical process unblocking, interprocessor deadlocks, processor cluster, queuing network simulation, one-level scheduling, parallel algorithms, concurrency control, distributed memory systems, processor scheduling, torus, heuristic programming, run time, distributed memory machines, hierarchical scheduling, shortest path algorithm, lookahead, two-level scheduling, simulation parallelism
25Roger Segelken A Case History of a Computer Media Event - Introducing a Supercomputer Center. Search on Bibsonomy SIGDOC The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
25Verónica Dahl, Laura Andrea Cecchi Introducing Prolog in Language-Informed Ways. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Gopal Gupta 0001, Huaduo Wang, Kinjal Basu 0002, Farhad Shakerin, Elmer Salazar, Sarat Chandra Varanasi, Parth Padalkar, Sopam Dasgupta Logic-Based Explainable and Incremental Machine Learning. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Nick Bassiliades, Ilias Sakellariou, Petros Kefalas Demonstrating Multiple Prolog Programming Techniques Through a Single Operation. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Michael R. Genesereth Dynamic Logic Programming. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Jean-Christophe Rohner, Håkan Kjellerstrand Prolog for Scientific Explanation. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001, Manuel Carro Types, Modes and so Much More - The Prolog Way. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Ken Satoh PROLEG: Practical Legal Reasoning System. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25David Scott Warren Introduction to Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Peter A. Flach, Kacper Sokol, Jan Wielemaker Simply Logical - The First Three Decades. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Gopal Gupta 0001, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu 0002, Huaduo Wang, Fang Li 0010, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro Prolog: Past, Present, and Future. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield Ergo: A Quest for Declarativity in Logic Programming. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Pierre Dissaux Logic Model Processing. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Michael Leuschel ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Manuel V. Hermenegildo, José F. Morales 0001, Pedro López-García 0001 Some Thoughts on How to Teach Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Vesna Marinkovic Prolog in Automated Reasoning in Geometry. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Paul Tarau Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Laurent Cervoni, Julien Brasseur, Jean Rohmer Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Veneta Tabakova-Komsalova, Stanimir Stoyanov, Asya Stoyanova-Doycheva, Lyubka Doukovska Prolog Education in Selected Secondary Schools in Bulgaria. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25José F. Morales 0001, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo Teaching Prolog with Active Logic Documents. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25David Scott Warren, Marc Denecker A Better Logical Semantics for Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25David Scott Warren Writing Correct Prolog Programs. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Robert A. Kowalski, Fariba Sadri, Miguel Calejo, Jacinto A. Dávila Combining Logic Programming and Imperative Programming in LPS. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Michael R. Genesereth Prolog as a Knowledge Representation Language the Nature and Importance of Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Carl Andersen 0001, Theresa Swift The Janus System: A Bridge to New Prolog Applications. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli Prolog Meets Biology. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Laura Andrea Cecchi, Jorge Pablo Rodríguez, Verónica Dahl Logic Programming at Elementary School: Why, What and How Should We Teach Logic Programming to Children? Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Miguel Calejo, Charles Hoffman Pacioli: A PROLOG System for Financial Report Processing. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Tristan Krueger, Abhijeet Mohapatra, Michael R. Genesereth Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally Machines as Thought Partners: Reflections on 50 Years of Prolog. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Robert A. Kowalski, Jacinto A. Dávila, Galileo Sartor, Miguel Calejo Logical English for Law and Education. Search on Bibsonomy Prolog: The Next 50 Years The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Marco Aiello 0001, Athman Bouguettaya, Damian Andrew Tamburri, Willem-Jan van den Heuvel (eds.) Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement Search on Bibsonomy Next-Gen Digital Services The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Barbara Pernici, Francesca Ratti, Gabriele Scalia About the Quality of Data and Services in Natural Sciences. Search on Bibsonomy Next-Gen Digital Services The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Amal Elgammal, Bernd J. Krämer A Reference Architecture for Smart Digital Platform for Personalized Prevention and Patient Management. Search on Bibsonomy Next-Gen Digital Services The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Khalid Belhajjame, Daniela Grigori On Reuse in Service-Based Workflows. Search on Bibsonomy Next-Gen Digital Services The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Ali Yavari, Dimitrios Georgakopoulos 0001 IoTSec: A Lightweight and Holistic IoT Security Based on IoT Data Contextualisation and Homomorphic Encryption. Search on Bibsonomy Next-Gen Digital Services The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Andreas S. Andreou, Andreas Christoforou On the Migration to and Synthesis of (Micro-)services: The Use of Intelligent Techniques. Search on Bibsonomy Next-Gen Digital Services The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 28890 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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