|
|
Venues (Conferences, Journals, ...)
|
|
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 |
122 | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari 0001 |
SAL 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 496-500, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
116 | Graeme Smith 0001, Luke Wildman |
Model Checking Z Specifications Using SAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 85-103, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, tool support, Z, SAL |
91 | Sujit Kumar Chakrabarti, Srihari Sukumaran |
Using spreadsheets for finite state modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 27-36, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
finite state machines, spreadsheets, sal |
91 | John Derrick, Siobhán North, Tony Simons 0001 |
Issues in Implementing a Model Checker for Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 678-696, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
74 | J. Christian Attiogbé |
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 120-131, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Ambar 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](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 204-208, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL - Building a Model Checker for Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 280-293, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
59 | Lars 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](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 129-149, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees |
57 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 937-943, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Jacek 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](Pics/bibsonomy.png) |
SAL@SIGIR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Rohail Syed, Kevyn Collins-Thompson |
Optimizing Search Results for Educational Goals: Incorporating Keyword Density as a Retrieval Objective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Giovanni Fulantelli, Ivana Marenzi, Qazi Asim Ijaz Ahmad, Davide Taibi 0002 |
SaR-Web - A Tool to Support Search as Learning Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Nino Weingart, Carsten Eickhoff |
Retrieval Techniques for Contextual Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Max L. Wilson 0001, Chaoyu Ye, Michael B. Twidale, Hannah Grasse |
Search Literacy: Learning to Search to Learn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Anita Komlodi, Nadia Caidi |
Learning in Second-Language Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Mengdie Zhuang, Elaine G. Toms, Gianluca Demartini |
Search Behaviour Before and After Search Success. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Dirk Ahlers, Mahsa Mehrpoor |
Training on the Job: Learning While Searching in an Engineering Workplace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Piyush Arora, Gareth J. F. Jones |
Position Paper: Promoting User Engagement and Learning in Search Tasks By Effective Document Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Yu Chi 0001, Shuguang Han, Daqing He, Rui Meng |
Exploring Knowledge Learning in Collaborative Information Seeking Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Anita Crescenzi |
Metacognitive Knowledge and Metacognitive Regulation in Time-Constrained in Information Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Saraschandra Karanam, Herre van Oostendorp |
Integrating Domain Knowledge Differences into Modeling User Clicks on Search Result Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Jiaxin Mao, Yiqun Liu 0001, Min Zhang 0006, Shaoping Ma |
How does Domain Expertise Affect Users' Search Processes in Exploratory Searches? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Laura Koesten, Emilia Kacprzak, Jeni Tennison |
Learning When Searching for Web Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Luanne Freund, Samuel Dodson, Rick Kopak |
On Measuring Learning in Search: A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Jacek Gwizdka, Xueshu Chen |
Towards Observable Indicators of Learning on Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
56 | Ion Madrazo Azpiazu, Nevena Dragovic, Maria Soledad Pera |
Finding, Understanding and Learning: Making Information Discovery Tasks Useful for Children and Teachers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAL@SIGIR ![In: 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., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
49 | Wolfgang Müller 0003, Arne Meyer, Henning Zabel |
A Language for the Rapid Prototyping of Mobile Evolving Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Synchronous Languages, Agent-based Systems, System Prototyping |
49 | Natarajan Shankar |
Symbolic Analysis of Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings, pp. 287-302, 2000, Springer, 3-540-67959-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Patricia P. Griffiths, Charles J. Prenner |
Verifying Formal Specifications of Synchronous Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976, pp. 192-208, 1976, ACM Press. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
43 | Chris George, Anne E. Haxthausen |
Specification, proof, and model checking of the Mondex electronic purse using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 101-116, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, PVS, SAL, RAISE, Mondex |
43 | Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford |
Formal Modelling of Cognitive Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers, pp. 123-136, 2006, Springer, 978-3-540-69553-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, human error, cognitive architecture, SAL |
41 | Sebastian Voss, Maria Sorea, Klaus Echtle |
SAL-Based Symbolic Scheduling in Time-Triggered Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 200-214, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Rachelle 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](Pics/bibsonomy.png) |
Workshop on Universal Accessibility of Ubiquitous Computing ![In: EC/NSF Workshop on Universal Accessibility of Ubiquitous Computing: Providing for the Elderly, 22-25 May 2001, Alcácer do Sal, Portugal, pp. 1-10, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
user interfaces for the elderly, ubiquitous computing, interface design, universal accessibility |
41 | Per Svensson 0001, Zhexue Huang |
Geo-SAL: A Query Language for Spatial Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, Second International Symposium, SSD'91, Zürich, Switzerland, August 28-30, 1991, Proceedings, pp. 119-140, 1991, Springer, 3-540-54414-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Kohei 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](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 261-270, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Radu Siminiceanu, Ricky W. Butler, César A. Muñoz |
Experimental Evaluation of a Planning Language Suitable for Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt ![In: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers, pp. 132-146, 2008, Springer, 978-3-642-00430-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Indranil Saha, Suman Roy 0001, Kuntal Chakraborty |
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 69-79, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001 |
Visual specification and analysis of use cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2005 Symposium on Software Visualization, St. Louis, Missouri, USA, May 14-15, 2005, pp. 77-85, 2005, ACM, 1-59593-073-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
visual notation, model checking, UML, requirements |
32 | Anushiya A. Kannan, Guoqiang Mao, Branka Vucetic |
Simulated Annealing based Localization in Wireless Sensor Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 15-17 November 2005, Sydney, Australia, Proceedings, pp. 513-514, 2005, IEEE Computer Society, 0-7695-2421-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Héctor Sanvicente Sánchez, Juan Frausto Solís |
A Method to Establish the Cooling Scheme in Simulated Annealing Like Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III, pp. 755-763, 2004, Springer, 3-540-22057-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Combinatorial Optimization and Heuristic Optimization, Simulated Annealing Like Algorithms, Simulated Annealing, Threshold Accepting |
32 | Bruno Dutertre, Maria Sorea |
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 199-214, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Min Wang 0001, Yuan-Chi Chang, Sriram Padmanabhan |
Supporting Efficient Parametric Search of E-Commerce Data: A Loosely-Coupled Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2002, 8th International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Proceedings, pp. 409-426, 2002, Springer, 3-540-43324-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill |
Java Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 253-256, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Eva-Martin Mueckstein |
Controlled natural language interfaces (extended abstract): the best of three worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 176-178, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Sal Hagen |
'Who is /ourguy/?': Tracing panoramic memes to study the collectivity of 4chan/pol/. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 26(4), pp. 1735-1755, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
27 | Shiva Pedram, Grace Kennedy, Sal Sanzone |
Assessing the validity of VR as a training tool for medical students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Real. ![In: Virtual Real. 28(1), pp. 15, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
27 | Samantha Phillips, Sal Aurigemma, Bradley Brummel, Tyler Moore 0001 |
Leveraging Situational Judgment Tests to Measure Behavioral Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 4714-4723, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
27 | Sal Hagen, Daniël de Zeeuw |
Based and confused: Tracing the political connotations of a memetic phrase across the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data Soc. ![In: Big Data Soc. 10(1), pp. 205395172311631, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Mattson, Sal Aurigemma, Jie Ren 0009 |
Positively Fearful: Activating the Individual's HERO Within to Explain Volitional Security Technology Adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Syst. ![In: J. Assoc. Inf. Syst. 24(3), pp. 8, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Shiva Pedram, Grace Kennedy, Sal Sanzone |
Toward the validation of VR-HMDs for medical education: a systematic literature review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Real. ![In: Virtual Real. 27(3), pp. 2255-2280, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Brian 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](Pics/bibsonomy.png) |
REW ![In: 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, pp. 302-306, 2023, IEEE, 979-8-3503-2691-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Tiffany 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](Pics/bibsonomy.png) |
PEARC ![In: Practice and Experience in Advanced Research Computing, PEARC 2023, Portland, OR, USA, July 23-27, 2023, pp. 196-199, 2023, ACM, 978-1-4503-9985-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Tom 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](Pics/bibsonomy.png) |
HICSS ![In: 56th Hawaii International Conference on System Sciences, HICSS 2023, Maui, Hawaii, USA, January 3-6, 2023, pp. 4121-4130, 2023, ScholarSpace, 978-0-9981331-6-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
27 | Sal 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](Pics/bibsonomy.png) |
ISDFS ![In: 11th International Symposium on Digital Forensics and Security, ISDFS 2023, Chattanooga, TN, USA, May 11-12, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3698-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Shaked 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](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 23(1), pp. 253, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Igor 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](Pics/bibsonomy.png) |
KDD ![In: KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14 - 18, 2022, pp. 3513-3523, 2022, ACM, 978-1-4503-9385-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Mélisande Teng, Sal Elkafrawy |
Convolution Neural Network Fine-tuning for Plant and Animal Species Distribution Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to - 8th, 2022., pp. 2212-2218, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Benjamín Tapia Sal Paz, Gorka Sorrosal, Aitziber Mancisidor |
Intelligent Adaptative Robotic System for Physical Interaction Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRC ![In: Sixth IEEE International Conference on Robotic Computing, IRC 2022, Naples, Italy, December 5-7, 2022, pp. 429-430, 2022, IEEE, 978-1-6654-7260-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Hua 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](Pics/bibsonomy.png) |
INFORMS J. Appl. Anal. ![In: INFORMS J. Appl. Anal. 51(4), pp. 262-279, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Igor 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.07554, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Brian Sal, Diego García-Saiz, Pablo Sánchez 0002 |
Automated Generation of Datasets from Fishbone Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings, pp. 249-263, 2021, Springer, 978-3-030-78427-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Manzar E. Hassin, Adnan Al Neon, Sal Sabila, Rashedur M. Rahman |
Smart Fire Detection and Security System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 12th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2021, New York, NY, USA, December 1-4, 2021, pp. 460-465, 2021, IEEE, 978-1-6654-0690-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Daniël de Zeeuw, Sal Hagen, Stijn Peeters, Emilija Jokubauskaite |
Tracing normiefication A cross-platform analysis of the QAnon conspiracy theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
First Monday ![In: First Monday 25(11), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Marc Tuters, Sal Hagen |
(((They))) rule: Memetic antagonism and nebulous othering on 4chan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 22(12), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Angelos-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](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 13(12), pp. 3085-3098, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Juan 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](Pics/bibsonomy.png) |
EMBC ![In: 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2020, Montreal, QC, Canada, July 20-24, 2020, pp. 4038-4041, 2020, IEEE, 978-1-7281-1990-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Sal 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](Pics/bibsonomy.png) |
ISSCC ![In: 2020 IEEE International Solid- State Circuits Conference, ISSCC 2020, San Francisco, CA, USA, February 16-20, 2020, pp. 150-152, 2020, IEEE, 978-1-7281-3205-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Sal Humphreys |
On Being a Feminist in Games Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Cult. ![In: Games Cult. 14(7-8), pp. 825-842, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Kim-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](Pics/bibsonomy.png) |
J. Adv. Eng. Comput. ![In: J. Adv. Eng. Comput. 3(1), pp. 293-303, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Eran Barash, Neta Sal-Man, Sivan Sabato, Michal Ziv-Ukelson |
BacPaCS - Bacterial Pathogenicity Classification via Sparse-SVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 35(12), pp. 2001-2008, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Sal Aurigemma, Thomas Mattson |
Generally Speaking, Context Matters: Making the Case for a Change from Universal to Particular ISP Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Syst. ![In: J. Assoc. Inf. Syst. 20(12), pp. 7, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Ali Dadkhah, Mohammad Sal Moslehian, Kenjiro Yanagi |
Noncommutative versions of inequalities in quantum information theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.02014, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Jimmy Caroli, Giovanni Sorrentino, Mattia Forcato, Giannino Del Sal, Silvio Bicciato |
GDA, a web-based tool for Genomics and Drugs integrated analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 46(Webserver-Issue), pp. W148-W156, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Raeid Saqur, Sal Vivona |
CapsGAN: Using Dynamic Routing for Generative Adversarial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.03968, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Jamal Rooin, S. Habibzadeh, Mohammad Sal Moslehian |
Jensen inequalities for P-class functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 77(2), pp. 261-273, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Aaron Fishman, Sal Catsis, Martin E. Homer, Jonathan Rossiter |
Touch and see: Physical interactions stimulating patterns in artificial cephalopod skin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboSoft ![In: IEEE International Conference on Soft Robotics, RoboSoft 2018, Livorno, Italy, April 24-28, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-4516-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Rachid Sal, Rachid Nait Said, Mouloud Bourareche |
Dealing with uncertainty in effect analysis of test strategies on safety instrumented system performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 8(2s), pp. 1945-1958, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Vaidas 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](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 10(12), pp. 1682-1693, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Frank 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](Pics/bibsonomy.png) |
CCE ![In: 14th International Conference on Electrical Engineering, Computing Science and Automatic Control, CCE 2017, Mexico City, Mexico, October 20-22, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-3406-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Ruhaifi 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](Pics/bibsonomy.png) |
ISOCC ![In: International SoC Design Conference, ISOCC 2017, Seoul, South Korea, November 5-8, 2017, pp. 117-118, 2017, IEEE, 978-1-5386-2285-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Tom 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](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 87, pp. 105-106, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | William 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](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 51(1), pp. 92-104, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Arnau 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](Pics/bibsonomy.png) |
ACM Trans. Knowl. Discov. Data ![In: ACM Trans. Knowl. Discov. Data 10(3), pp. 22:1-22:42, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Ali Dadkhah, Mohammad Sal Moslehian |
Quantum information inequalities via tracial positive linear maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.03929, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Jimmy 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](Pics/bibsonomy.png) |
CBMS ![In: 29th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2016, Belfast, UK and Dublin, Ireland, June 20-24, 2016, pp. 24-29, 2016, IEEE Computer Society, 978-1-4673-9036-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Salman "Sal" Khan |
Closing Keynote: Education Reimagined. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, San Jose, CA, USA, May 7-12, 2016, Extended Abstracts, pp. 3906, 2016, ACM, 978-1-4503-4082-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Liang 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](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 31(16), pp. 2660-2667, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Fred Niederman, Sal March |
Reflections on Replications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS Trans. Replication Res. ![In: AIS Trans. Replication Res. 1, pp. 7, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
27 | Matthew Saltz, Arnau Prat-Pérez, David Dominguez-Sal |
Distributed Community Detection with the WCC Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Proceedings of the 24th International Conference on World Wide Web Companion, WWW 2015, Florence, Italy, May 18-22, 2015 - Companion Volume, pp. 1095-1100, 2015, ACM, 978-1-4503-3473-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | William 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](Pics/bibsonomy.png) |
ISSCC ![In: 2015 IEEE International Solid-State Circuits Conference, ISSCC 2015, Digest of Technical Papers, San Francisco, CA, USA, February 22-26, 2015, pp. 1-3, 2015, IEEE, 978-1-4799-6223-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Tom Narock, Victoria Y. Yoon, Sal March |
A provenance-based approach to semantic web service description and discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 64, pp. 90-99, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Alexey 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](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 42(Database-Issue), pp. 1133-1139, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Matthew Saltz, Arnau Prat-Pérez, David Dominguez-Sal |
Distributed Community Detection with the WCC Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.0557, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
27 | Arnau 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](Pics/bibsonomy.png) |
WWW ![In: 23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014, pp. 225-236, 2014, ACM, 978-1-4503-2744-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Norbert Martínez-Bazan, David Domínguez-Sal |
Using semijoin programs to solve traversal queries in graph databases. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRADES ![In: Second International Workshop on Graph Data Management Experiences and Systems, GRADES 2014, co-loated with SIGMOD/PODS 2014, Snowbird, Utah, USA, June 22, 2014, pp. 6:1-6:6, 2014, CWI/ACM, 978-1-4503-2982-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Arnau Prat-Pérez, David Domínguez-Sal |
How community-like is the structure of synthetically generated graphs? (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRADES ![In: Second International Workshop on Graph Data Management Experiences and Systems, GRADES 2014, co-loated with SIGMOD/PODS 2014, Snowbird, Utah, USA, June 22, 2014, pp. 7:1-7:9, 2014, CWI/ACM, 978-1-4503-2982-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Joan 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](Pics/bibsonomy.png) |
ICMR ![In: International Conference on Multimedia Retrieval, ICMR '14, Glasgow, United Kingdom - April 01 - 04, 2014, pp. 33, 2014, ACM, 978-1-4503-2782-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Mathieu 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](Pics/bibsonomy.png) |
RecSys ![In: Eighth ACM Conference on Recommender Systems, RecSys '14, Foster City, Silicon Valley, CA, USA - October 06 - 10, 2014, pp. 1-8, 2014, ACM, 978-1-4503-2668-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Tom Mattson, Sal Aurigemma |
Re-tweeting and the Theory of Middle-Status Conformity in the Post-adoption Use of Twitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 47th Hawaii International Conference on System Sciences, HICSS 2014, Waikoloa, HI, USA, January 6-9, 2014, pp. 1666-1675, 2014, IEEE Computer Society, 978-1-4799-2504-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Liang 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](Pics/bibsonomy.png) |
CMSR@ECCB ![In: Proceedings of the 1st Workshop on Computational Methods for Structural RNAs (CMSR 2014), Strasbourg, France, September 7, 2014., pp. 25-42, 2014, McGill University. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 286 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|