The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1963-1994 (16) 1995-2000 (15) 2001 (28) 2002-2005 (27) 2006-2007 (24) 2008 (17) 2009-2010 (22) 2011-2012 (15) 2013-2014 (24) 2015-2016 (33) 2017-2019 (20) 2020-2021 (18) 2022-2023 (22) 2024 (5)
Publication types (Num. hits)
article(91) book(4) incollection(2) inproceedings(186) phdthesis(1) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 178 occurrences of 125 keywords

Results
Found 331 publication records. Showing 286 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
122Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari 0001 SAL 2. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
116Graeme Smith 0001, Luke Wildman Model Checking Z Specifications Using SAL. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, tool support, Z, SAL
91Sujit Kumar Chakrabarti, Srihari Sukumaran Using spreadsheets for finite state modelling. Search on Bibsonomy ISEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF finite state machines, spreadsheets, sal
91John Derrick, Siobhán North, Tony Simons 0001 Issues in Implementing a Model Checker for Z. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model-checking, Z, SAL
74J. Christian Attiogbé Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
65Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh 0002, Swarup Mohalik, K. C. Shashidhar AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59John Derrick, Siobhán North, Anthony J. H. Simons Z2SAL - Building a Model Checker for Z. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, Z, SAL
59Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
57Kazuhiro Ogata 0001, Kokichi Futatsugi Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Jacek Gwizdka, Preben Hansen, Claudia Hauff, Jiyin He, Noriko Kando (eds.) Proceedings of the Second International Workshop on Search as Learning, SAL 2016, co-located with the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2016, Pisa, Italy, July 21st, 2016. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Rohail Syed, Kevyn Collins-Thompson Optimizing Search Results for Educational Goals: Incorporating Keyword Density as a Retrieval Objective. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Giovanni Fulantelli, Ivana Marenzi, Qazi Asim Ijaz Ahmad, Davide Taibi 0002 SaR-Web - A Tool to Support Search as Learning Processes. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Nino Weingart, Carsten Eickhoff Retrieval Techniques for Contextual Learning. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Max L. Wilson 0001, Chaoyu Ye, Michael B. Twidale, Hannah Grasse Search Literacy: Learning to Search to Learn. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Anita Komlodi, Nadia Caidi Learning in Second-Language Searching. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Mengdie Zhuang, Elaine G. Toms, Gianluca Demartini Search Behaviour Before and After Search Success. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Dirk Ahlers, Mahsa Mehrpoor Training on the Job: Learning While Searching in an Engineering Workplace. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Piyush Arora, Gareth J. F. Jones Position Paper: Promoting User Engagement and Learning in Search Tasks By Effective Document Representation. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Yu Chi 0001, Shuguang Han, Daqing He, Rui Meng Exploring Knowledge Learning in Collaborative Information Seeking Process. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Anita Crescenzi Metacognitive Knowledge and Metacognitive Regulation in Time-Constrained in Information Search. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Saraschandra Karanam, Herre van Oostendorp Integrating Domain Knowledge Differences into Modeling User Clicks on Search Result Pages. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Jiaxin Mao, Yiqun Liu 0001, Min Zhang 0006, Shaoping Ma How does Domain Expertise Affect Users' Search Processes in Exploratory Searches? Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Laura Koesten, Emilia Kacprzak, Jeni Tennison Learning When Searching for Web Data. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Luanne Freund, Samuel Dodson, Rick Kopak On Measuring Learning in Search: A Position Paper. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Jacek Gwizdka, Xueshu Chen Towards Observable Indicators of Learning on Search. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
56Ion Madrazo Azpiazu, Nevena Dragovic, Maria Soledad Pera Finding, Understanding and Learning: Making Information Discovery Tasks Useful for Children and Teachers. Search on Bibsonomy SAL@SIGIR The full citation details ... 2016 DBLP  BibTeX  RDF
49Wolfgang Müller 0003, Arne Meyer, Henning Zabel A Language for the Rapid Prototyping of Mobile Evolving Agents. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Synchronous Languages, Agent-based Systems, System Prototyping
49Natarajan Shankar Symbolic Analysis of Transition Systems. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49Patricia P. Griffiths, Charles J. Prenner Verifying Formal Specifications of Synchronous Processes. Search on Bibsonomy POPL The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
43Chris George, Anne E. Haxthausen Specification, proof, and model checking of the Mondex electronic purse using RAISE. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification, Formal methods, PVS, SAL, RAISE, Mondex
43Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford Formal Modelling of Cognitive Interpretation. Search on Bibsonomy DSV-IS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model checking, human error, cognitive architecture, SAL
41Sebastian Voss, Maria Sorea, Klaus Echtle SAL-Based Symbolic Scheduling in Time-Triggered Networks. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Rachelle S. Heller, Joaquim A. Jorge, Richard A. Guedj EC/NSF workshop on universal accessibility of ubiquitous computing: providing for the elderly event report. Search on Bibsonomy Workshop on Universal Accessibility of Ubiquitous Computing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF user interfaces for the elderly, ubiquitous computing, interface design, universal accessibility
41Per Svensson 0001, Zhexue Huang Geo-SAL: A Query Language for Spatial Data Analysis. Search on Bibsonomy SSD The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
32Kohei Sakurai, Péter Bokor, Neeraj Suri Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Radu Siminiceanu, Ricky W. Butler, César A. Muñoz Experimental Evaluation of a Planning Language Suitable for Formal Verification. Search on Bibsonomy MoChArt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Indranil Saha, Suman Roy 0001, Kuntal Chakraborty Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001 Visual specification and analysis of use cases. Search on Bibsonomy SOFTVIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF visual notation, model checking, UML, requirements
32Anushiya A. Kannan, Guoqiang Mao, Branka Vucetic Simulated Annealing based Localization in Wireless Sensor Network. Search on Bibsonomy LCN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Héctor Sanvicente Sánchez, Juan Frausto Solís A Method to Establish the Cooling Scheme in Simulated Annealing Like Algorithms. Search on Bibsonomy ICCSA (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Combinatorial Optimization and Heuristic Optimization, Simulated Annealing Like Algorithms, Simulated Annealing, Threshold Accepting
32Bruno Dutertre, Maria Sorea Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Min Wang 0001, Yuan-Chi Chang, Sriram Padmanabhan Supporting Efficient Parametric Search of E-Commerce Data: A Loosely-Coupled Solution. Search on Bibsonomy EDBT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill Java Model Checking. Search on Bibsonomy ASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
32Eva-Martin Mueckstein Controlled natural language interfaces (extended abstract): the best of three worlds. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
27Sal Hagen 'Who is /ourguy/?': Tracing panoramic memes to study the collectivity of 4chan/pol/. Search on Bibsonomy New Media Soc. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Shiva Pedram, Grace Kennedy, Sal Sanzone Assessing the validity of VR as a training tool for medical students. Search on Bibsonomy Virtual Real. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Samantha Phillips, Sal Aurigemma, Bradley Brummel, Tyler Moore 0001 Leveraging Situational Judgment Tests to Measure Behavioral Information Security. Search on Bibsonomy HICSS The full citation details ... 2024 DBLP  BibTeX  RDF
27Sal Hagen, Daniël de Zeeuw Based and confused: Tracing the political connotations of a memetic phrase across the web. Search on Bibsonomy Big Data Soc. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Thomas Mattson, Sal Aurigemma, Jie Ren 0009 Positively Fearful: Activating the Individual's HERO Within to Explain Volitional Security Technology Adoption. Search on Bibsonomy J. Assoc. Inf. Syst. The full citation details ... 2023 DBLP  BibTeX  RDF
27Shiva Pedram, Grace Kennedy, Sal Sanzone Toward the validation of VR-HMDs for medical education: a systematic literature review. Search on Bibsonomy Virtual Real. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Brian Sal, Alfonso de la Vega, Patricia López Martínez, Diego García-Saiz, Alicia Grande, David López, Pablo Sánchez 0002 Towards the Specification and Generation of Time Series Datasets from Data Lakes. Search on Bibsonomy REW The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Tiffany Huff, Austin Darrow, Joshua Medina, Erik S. Ferlanti, James D. Carson, John M. Fonner, Sal Tijerina, Stanley J. Watowich, William J. Allen Scalable and Reproducible Virtual Screening through an API-Integrated Workflow. Search on Bibsonomy PEARC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Tom Mattson, Sal Aurigemma, Jie Ren 0009 Close the Intention-Behavior Gap via Attitudes: Case Study of the Volitional Adoption of a Two-Factor Authentication Service. Search on Bibsonomy HICSS The full citation details ... 2023 DBLP  BibTeX  RDF
27Sal Aguinaga, Daniel Lasaga, Shivashankar Danthuri, John Helms, Edward Bowen, Sanmitra Bhattacharya Identification of Providers with Similar Risk Profiles in Healthcare Claims Using Graphs. Search on Bibsonomy ISDFS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Shaked Naor-Hoffmann, Dina Svetlitsky, Neta Sal-Man, Yaron Orenstein, Michal Ziv-Ukelson Predicting the pathogenicity of bacterial genomes using widely spread protein families. Search on Bibsonomy BMC Bioinform. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Igor L. Markov, Hanson Wang, Nitya S. Kasturi, Shaun Singh, Mia R. Garrard, Yin Huang, Sze Wai Celeste Yuen, Sarah Tran, Zehui Wang, Igor Glotov, Tanvi Gupta, Peng Chen, Boshuang Huang, Xiaowen Xie, Michael Belkin, Sal Uryasev, Sam Howie, Eytan Bakshy, Norm Zhou Looper: An End-to-End ML Platform for Product Decisions. Search on Bibsonomy KDD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Mélisande Teng, Sal Elkafrawy Convolution Neural Network Fine-tuning for Plant and Animal Species Distribution Modelling. Search on Bibsonomy CLEF (Working Notes) The full citation details ... 2022 DBLP  BibTeX  RDF
27Benjamín Tapia Sal Paz, Gorka Sorrosal, Aitziber Mancisidor Intelligent Adaptative Robotic System for Physical Interaction Tasks. Search on Bibsonomy IRC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Hua Wang, Jon Dieringer, Steve Guntz, Shankarraman Vaidyaraman, Shekhar Viswanath, Nikolaos H. Lappas, Sal Garcia-Munoz, Chrysanthos E. Gounaris Portfolio-Wide Optimization of Pharmaceutical R&D Activities Using Mathematical Programming. Search on Bibsonomy INFORMS J. Appl. Anal. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Igor L. Markov, Hanson Wang, Nitya Kasturi, Shaun Singh, Sze Wai Yuen, Mia Garrard, Sarah Tran, Yin Huang, Zehui Wang, Igor Glotov, Tanvi Gupta, Boshuang Huang, Peng Chen, Xiaowen Xie, Michael Belkin, Sal Uryasev, Sam Howie, Eytan Bakshy, Norm Zhou Looper: An end-to-end ML platform for product decisions. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
27Brian Sal, Diego García-Saiz, Pablo Sánchez 0002 Automated Generation of Datasets from Fishbone Diagrams. Search on Bibsonomy MEDI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Manzar E. Hassin, Adnan Al Neon, Sal Sabila, Rashedur M. Rahman Smart Fire Detection and Security System. Search on Bibsonomy UEMCON The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
27Daniël de Zeeuw, Sal Hagen, Stijn Peeters, Emilija Jokubauskaite Tracing normiefication A cross-platform analysis of the QAnon conspiracy theory. Search on Bibsonomy First Monday The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Marc Tuters, Sal Hagen (((They))) rule: Memetic antagonism and nebulous othering on 4chan. Search on Bibsonomy New Media Soc. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Angelos-Christos G. Anadiotis, Raja Appuswamy, Anastasia Ailamaki, Ilan Bronshtein, Hillel Avni, David Dominguez-Sal, Shay Goikhman, Eliezer Levy A system design for elastically scaling transaction processing engines in virtualized servers. (PDF / PS) Search on Bibsonomy Proc. VLDB Endow. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Juan Luna, Damian E. Sal y Rosas, Dante A. Elías A low-cost portable measurement system for a clinical test of balance. Search on Bibsonomy EMBC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Sal Dasgupta, Teja Singh, Ashish Jain, Samuel Naffziger, Deepesh John, Chetan Bisht, Pradeep Jayaraman 8.4 Radeon RX 5700 Series: The AMD 7nm Energy-Efficient High-Performance GPUs. Search on Bibsonomy ISSCC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Sal Humphreys On Being a Feminist in Games Studies. Search on Bibsonomy Games Cult. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Kim-Hung Pho, Sel Ly, Sal Ly, T. Martin Lukusa Comparison among Akaike Information Criterion, Bayesian Information Criterion and Vuong's test in Model Selection: A Case Study of Violated Speed Regulation in Taiwan. Search on Bibsonomy J. Adv. Eng. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Eran Barash, Neta Sal-Man, Sivan Sabato, Michal Ziv-Ukelson BacPaCS - Bacterial Pathogenicity Classification via Sparse-SVM. Search on Bibsonomy Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Sal Aurigemma, Thomas Mattson Generally Speaking, Context Matters: Making the Case for a Change from Universal to Particular ISP Research. Search on Bibsonomy J. Assoc. Inf. Syst. The full citation details ... 2019 DBLP  BibTeX  RDF
27Ali Dadkhah, Mohammad Sal Moslehian, Kenjiro Yanagi Noncommutative versions of inequalities in quantum information theory. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Jimmy Caroli, Giovanni Sorrentino, Mattia Forcato, Giannino Del Sal, Silvio Bicciato GDA, a web-based tool for Genomics and Drugs integrated analysis. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Raeid Saqur, Sal Vivona CapsGAN: Using Dynamic Routing for Generative Adversarial Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
27Jamal Rooin, S. Habibzadeh, Mohammad Sal Moslehian Jensen inequalities for P-class functions. Search on Bibsonomy Period. Math. Hung. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Aaron Fishman, Sal Catsis, Martin E. Homer, Jonathan Rossiter Touch and see: Physical interactions stimulating patterns in artificial cephalopod skin. Search on Bibsonomy RoboSoft The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Rachid Sal, Rachid Nait Said, Mouloud Bourareche Dealing with uncertainty in effect analysis of test strategies on safety instrumented system performance. Search on Bibsonomy Int. J. Syst. Assur. Eng. Manag. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Vaidas Gasiunas, David Dominguez-Sal, Ralph Acker, Aharon Avitzur, Ilan Bronshtein, Rushan Chen, Eli Ginot, Norbert Martínez-Bazan, Michael Müller, Alexander Nozdrin, Weijie Ou, Nir Pachter, Dima Sivov, Eliezer Levy Fiber-based architecture for NFV cloud databases. (PDF / PS) Search on Bibsonomy Proc. VLDB Endow. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Frank A. Moreno, Jhonatan D. Paucara, C. Gustavo Prez, Javier J. Sotomayor, Damian E. Sal y Rosas A grid-tied power factor corrector microinverter without electrolytic capacitor by the control of voltage in a DC-link for a non-linear load. Search on Bibsonomy CCE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Ruhaifi Abdullah Zawawi, Nuha A. Rhaffor, Shukri Korakkottil Kunhi Mohd, Sofiyah Sal Hamid, Asrulnizam Bin Abd Manaf, Kazuaki Sawada A CMOS bandgap voltage reference with current-control circuits for the extended operating temperature range. Search on Bibsonomy ISOCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Tom Narock, Victoria Y. Yoon, Sal March Corrigendum to "A provenance-based approach to semantic web service description and discovery" [Decis. Support. Syst. (64C) (2014) 90-99]. Search on Bibsonomy Decis. Support Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27William J. Bowhill, Blaine A. Stackhouse, Nevine Nassif, Zibing Yang, Arvind Raghavan, Oscar Mendoza, Charles Morganti, Chris Houghton, Dan Krueger, Olivier Franza, Jayen Desai, Jason Crop, Brian Brock, Dave Bradley, Chris Bostak, Sal Bhimji, Matt Becker The Xeon® Processor E5-2600 v3: a 22 nm 18-Core Product Family. Search on Bibsonomy IEEE J. Solid State Circuits The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Arnau Prat-Pérez, David Dominguez-Sal, Josep M. Brunat, Josep Lluís Larriba-Pey Put Three and Three Together: Triangle-Driven Community Detection. Search on Bibsonomy ACM Trans. Knowl. Discov. Data The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Ali Dadkhah, Mohammad Sal Moslehian Quantum information inequalities via tracial positive linear maps. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
27Jimmy Caroli, Cristian Taccioli, Giovanni Sorrentino, Giannino Del Sal, Silvio Bicciato Mutations and Drugs Portal (MDP): A Database Linking Drug Response Data and Genomic Information. Search on Bibsonomy CBMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Salman "Sal" Khan Closing Keynote: Education Reimagined. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
27Liang Ding 0007, Xingran Xue, Sal LaMarca, Mohammad Mohebbi, Abdul Samad, Russell L. Malmberg, Liming Cai Accurate prediction of RNA nucleotide interactions with backbone k-tree model. Search on Bibsonomy Bioinform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Fred Niederman, Sal March Reflections on Replications. Search on Bibsonomy AIS Trans. Replication Res. The full citation details ... 2015 DBLP  BibTeX  RDF
27Matthew Saltz, Arnau Prat-Pérez, David Dominguez-Sal Distributed Community Detection with the WCC Metric. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27William J. Bowhill, Blaine A. Stackhouse, Nevine Nassif, Zibing Yang, Arvind Raghavan, Charles Morganti, Chris Houghton, Dan Krueger, Olivier Franza, Jayen Desai, Jason Crop, Dave Bradley, Chris Bostak, Sal Bhimji, Matt Becker 4.5 The Xeon® processor E5-2600 v3: A 22nm 18-core product family. Search on Bibsonomy ISSCC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Tom Narock, Victoria Y. Yoon, Sal March A provenance-based approach to semantic web service description and discovery. Search on Bibsonomy Decis. Support Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Alexey M. Eroshkin, Andrew LeBlanc, Dana Weekes, Kai W. Post, Zhanwen Li, Akhil Rajput, Sal T. Butera, Dennis R. Burton, Adam Godzik bNAber: database of broadly neutralizing HIV antibodies. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Matthew Saltz, Arnau Prat-Pérez, David Dominguez-Sal Distributed Community Detection with the WCC Metric. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
27Arnau Prat-Pérez, David Dominguez-Sal, Josep Lluís Larriba-Pey High quality, scalable and parallel community detection for large real graphs. Search on Bibsonomy WWW The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Norbert Martínez-Bazan, David Domínguez-Sal Using semijoin programs to solve traversal queries in graph databases. (PDF / PS) Search on Bibsonomy GRADES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Arnau Prat-Pérez, David Domínguez-Sal How community-like is the structure of synthetically generated graphs? (PDF / PS) Search on Bibsonomy GRADES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Joan Guisado-Gámez, David Dominguez-Sal, Josep Lluís Larriba-Pey Massive Query Expansion by Exploiting Graph Knowledge Bases for Image Retrieval. Search on Bibsonomy ICMR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Mathieu Bastian, Matthew Hayes, William Vaughan, Sam Shah, Peter Skomoroch, Hyung Jin Kim, Sal Uryasev, Christopher Lloyd LinkedIn skills: large-scale topic extraction and inference. Search on Bibsonomy RecSys The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Tom Mattson, Sal Aurigemma Re-tweeting and the Theory of Middle-Status Conformity in the Post-adoption Use of Twitter. Search on Bibsonomy HICSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Liang Ding 0007, Xingran Xue, Sal LaMarca, Mohammad Mohebbi, Abdul Samad, Russell L. Malmberg, Liming Cai Ab initio Prediction of RNA Nucleotide Interactions with Backbone k-Tree Model. Search on Bibsonomy CMSR@ECCB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 286 (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