|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5437 occurrences of 3296 keywords
|
|
|
Results
Found 19075 publication records. Showing 18912 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
65 | Yuanxiang Li, Chew Lim Tan, Xiaoqing Ding |
A hybrid post-processing system for offline handwritten Chinese script recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 8(3), pp. 272-286, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Contextual post-processing, Candidate confidence, Candidate set size, Statistical language model, Chinese character recognition, Perplexity |
46 | N. E. Doren, Charles V. Jakowatz Jr., Daniel E. Wahl, Paul A. Thompson |
General Formulation for Wavefront Curvature Correction in Polar-Formatted Spotlight-Mode SAR Images Using Space-Variant Post-Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 861-864, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
wavefront curvature correction, polar-formatted spotlight-mode SAR images, space-variant post-filtering, polar-formatting algorithm, image domain space-variant filter, SAR collection modes, close range imaging, low center frequency, squinted collection mode, broadside modes, squint-mode images, range migration technique, seismic migration, frequency domain replication, computer simulation results, space-variant restoration, algorithms, synthetic aperture radar, post-processing |
42 | Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici |
Post-silicon validation opportunities, challenges and recent advances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 12-17, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
post-silicon validation |
42 | Michael R. Hines, Kartik Gopalan |
Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009, pp. 51-60, 2009, ACM, 978-1-60558-375-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
post-copy, virtual machines, operating systems, xen, process migration |
42 | Sharon O'Brien |
Methodologies for Measuring the Correlations between Post-Editing Effort and Machine Translatability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 19(1), pp. 37-58, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
post-editing, Translog, choice network analysis, machine translatability, controlled language, think-aloud protocol |
40 | Theo van Walsum, Frits H. Post, Deborah Silver, Frank J. Post |
Feature Extraction and Iconic Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 2(2), pp. 111-119, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
40 | Frank J. Post, Theo van Walsum, Frits H. Post, Deborah Silver |
Iconic Techniques for Feature Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 288-295, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
iconic visualization, attribute calculation, feature extraction, scientific visualization |
40 | Richard F. Post, T. Kenneth Fowler, Stephen F. Post |
A high-efficiency electromechanical battery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 81(3), pp. 462-474, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Lin Xie, Azadeh Davoodi, Kewal K. Saluja |
Post-silicon diagnosis of segments of failing speedpaths due to manufacturing variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 274-279, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
post-silicon diagnosis, process variations |
38 | Umberto Panniello, Alexander Tuzhilin, Michele Gorgoglione, Cosimo Palmisano, Anto Pedone |
Experimental comparison of pre- vs. post-filtering approaches in context-aware recommender systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: Proceedings of the 2009 ACM Conference on Recommender Systems, RecSys 2009, New York, NY, USA, October 23-25, 2009, pp. 265-268, 2009, ACM, 978-1-60558-435-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
post-filtering, recommender systems, collaborative filtering, pre-filtering |
38 | Shinichi Kawamoto, Tatsuo Yotsukura, Shigeo Morishima, Satoshi Nakamura 0001 |
Post-recording tool for instant casting movie system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 893-896, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
instant casting movie system, voice post-recording |
38 | Changzheng Liu, Qian Ding, Yao Sun |
Research on the Factors of the Urban System Influenced Post-development of the Olympics' Venues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II, pp. 607-614, 2008, Springer, 978-3-540-87733-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Venues, Urban system, Post-development, Olympics |
38 | T. Y. Chen, Y. Y. Cheung |
Structural Properties of Post-Dominator Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1997 Australian Software Engineering Conference (ASWEC '97), 28 September - 2 October 1997, Sydney, Australia, pp. 158-165, 1997, IEEE Computer Society, 0-8186-8081-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
post dominator trees, program slicing, trees (mathematics), test suite reduction, structural properties, construction algorithm, code optimisation |
38 | Anil M. Murching, John W. Woods |
Linear Pre/Post Filters for Transform and Subband/Wavelet Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 33-36, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
linear post-filters, linear pre-filters, linear gain-plus-additive noise model, pdf-optimized quantizers, frequency domain behavior, 1-D Gauss-Markov source, DCT-based coders, subband coders, a posteriori method, JPEG coder, point distribution function, transform coding, transform coding, receiver, power spectral density, mean square error, transmitter, reconstruction error, wavelet coding, psd |
38 | Maria Alaranta, Stefan Henningsson |
An approach to analyzing and planning post-merger IS integration: Insights from two field studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 10(3), pp. 307-319, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Post-acquisition integration, Post-merger integration, M? Integration, IS Strategy, IS integration, IS planning |
35 | Shahriar Pourazin, Ahmad Abdollahzadeh Barforoush |
Concurrent Metareasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 35(1), pp. 51-64, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
metareasoning, pre-metareasoning, para-metareasoning, post-metareasoning, concurrent metareasoning |
34 | Val Pevzner, Andrew A. Kennings, Andy Fox |
Physical optimization for FPGAs using post-placement topology rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2009 International Symposium on Physical Design, ISPD 2009, San Diego, California, USA, March 29 - April 1, 2009, pp. 91-98, 2009, ACM, 978-1-60558-449-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fpga, timing optimization, physical synthesis |
34 | Hongyan Xu, Jian Liu, Yong Feng |
Research on the Construction of E-learning System Meeting Post Knowledge Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (5) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 5: E-learning and Knowledge Management / Socially Informed and Instructinal Design / Learning Systems Platforms and Architectures / Modeling and Representation / Other Applications , December 12-14, 2008, Wuhan, China, pp. 214-217, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Rick Archibald, Anne Gelb, Sigal Gottlieb, Jennifer K. Ryan |
One-sided Post-processing for the Discontinuous Galerkin Method Using ENO Type Stencil Choosing and the Local Edge Detection Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 28(2-3), pp. 167-190, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS(MOS) subject classification 65M60 |
34 | Chengjie Tu, Trac D. Tran, Jie Liang 0001 |
Over-sampled and under-sampled Pre/post-filters for block DCT coders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the 2004 International Conference on Image Processing, ICIP 2004, Singapore, October 24-27, 2004, pp. 1277-1280, 2004, IEEE, 0-7803-8554-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Iain McCowan, Hervé Bourlard |
Microphone array post-filter based on noise field coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 11(6), pp. 709-716, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Sung-Boem Park, Anne Bracy, Hong Wang 0003, Subhasish Mitra |
BLoG: post-silicon bug localization in processors using bug localization graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 368-373, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
IFRA, BLoG, silicon debug, post-silicon validation |
34 | Fatih Celiker, Bernardo Cockburn |
Element-by-Element Post-Processing of Discontinuous Galerkin Methods for Timoshenko Beams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 27(1-3), pp. 177-187, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Timoshenko beams, Post-processing, discontinuous Galerkin method, superconvergence |
34 | Sam Snoddy Jr., David G. Novick |
Post-training support for learning technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 22nd Annual International Conference on Design of Communication: The Engineering of Quality Documentation, SIGDOC 2004, Memphis, Tennessee, USA, October 10-13, 2004, pp. 90-96, 2004, ACM, 1-58113-809-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
post-training support, training, documentation |
30 | Jagannath Keshava, Nagib Hakim, Chinna Prudvi |
Post-silicon validation challenges: how EDA and academia can help. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 3-7, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
design, verification, test, validation, emulation |
30 | Ilya Wagner, Valeria Bertacco |
Reversi: Post-silicon validation system for modern microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings, pp. 307-314, 2008, IEEE Computer Society, 978-1-4244-2657-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Tsu-Ming Liu, Wen-Ping Lee, Chen-Yi Lee |
An In/Post-Loop Deblocking Filter With Hybrid Filtering Schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 17(7), pp. 937-943, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Steffen Wittmann, Thomas Wedi |
Transmission of Post-Filter Hints for Video Coding Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 81-84, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Chengjie Tu, Trac D. Tran, Jie Liang 0001 |
Error resilient pre/post-filtering for DCT-based block coding systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 15(1), pp. 30-39, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |
Post-reboot Equivalence and Compositional Verification of Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 11-18, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Grant Pogosyan, Ivo G. Rosenberg |
Generation of the Post Lattice by Irreducible Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 16-19 May 2003, Tokyo, Japan, pp. 309-314, 2003, IEEE Computer Society, 0-7695-1918-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Alexandros Poulis, David Kolovratník |
To post-edit or not to post-edit? Estimating the benefits of MT post-editing for a European organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTP@AMTA ![In: Workshop on Post-Editing Technology and Practice, WPTP@AMTA 2012, San Diego, California, USA, October 28- November 1, 2012, 2012, Association for Machine Translation in the Americas. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
29 | Mary Debrett |
Review article: Post network, post broadcast: Television's third age: Graeme Turner and Jinna Tay (eds) Television Studies After TV: Understanding Television in the Post-broadcast Era, Abingdon; Oxon: Routledge, 2009; x + 214 pp 9780415477697, £65 (hbk), 9780415477703, £19.99 (pbk) Amanda Lotz (ed.), Beyond Prime Time: Television Programming in the Post-network Era, New York: Routledge, 2009; xiii + 209 pp 9780415996686, £80 (hbk), 9780415996693, £20.99 (pbk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 13(1), pp. 169-175, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Batya Friedman, Lisa P. Nathan, Milli Lake, Nell Carden Grey, Trond T. Nilsen, Robert F. Utter, Elizabeth J. Utter, Mark Ring 0001, Zoe Kahn |
Multi-lifespan information system design in post-conflict societies: an evolving project in Rwanda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 2833-2842, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multi-lifespan information system design, post-conflict society, value tensions, adaptation, access, reuse, value sensitive design, appropriation |
29 | Thomas N. Smyth, John Etherton, Michael L. Best |
MOSES: exploring new ground in media and post-conflict reconciliation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Atlanta, Georgia, USA, April 10-15, 2010, pp. 1059-1068, 2010, ACM, 978-1-60558-929-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
liberia, post-conflict reconciliation, user generated content, conversational agent, new media |
29 | Feimin Zhong, Dong Wang 0022, Gang Wang 0010, Weizhu Chen, Yuchen Zhang, Zheng Chen 0001, Haixun Wang |
Incorporating post-click behaviors into a click model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2010, Geneva, Switzerland, July 19-23, 2010, pp. 355-362, 2010, ACM, 978-1-4503-0153-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
post-click behavior, bayesian model, click log analysis |
29 | Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor |
Bridging pre-silicon verification and post-silicon validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 94-95, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
post-silicon, pre-silicon, verification, validation |
29 | Seung-Kyun Han, Dongmin Shin, Jae-Yoon Jung 0001, Jonghun Park |
Exploring the Relationship between Keywords and Feed Elements in Blog Post Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 12(4), pp. 381-398, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
blog post search, neural network, web 2.0, ranking, learning to rank, RSS feed |
29 | Umberto Panniello, Michele Gorgoglione, Cosimo Palmisano |
Comparing Pre-filtering and Post-filtering Approach in a Collaborative Contextual Recommender System: An Application to E-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009. Proceedings, pp. 348-359, 2009, Springer, 978-3-642-03963-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
post-filtering, recommender system, e-commerce, context, collaborative filtering, pre-filtering |
29 | Shima Gerani, Mark James Carman, Fabio Crestani |
Investigating Learning Approaches for Blog Post Opinion Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings, pp. 313-324, 2009, Springer, 978-3-642-00957-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Blog Post, Opinion Retrieval, Learning Methods |
29 | Yanjun Zuo, Timothy O'Keefe |
Post-release information privacy protection: A framework and next-generation privacy-enhanced operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 9(5), pp. 451-467, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Information privacy protection, Privacy violation detection, Privacy-enhanced operating system, Information post-release control |
29 | Markus Dichtl |
Bad and Good Ways of Post-processing Biased Physical Random Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers, pp. 137-152, 2007, Springer, 978-3-540-74617-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
quasigroup, physical random numbers, bias, post-processing |
29 | Jing Lu 0001, Osei Adjei, Weiru Chen, Jun Liu |
Post Sequential Patterns Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 239-250, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Post Sequential Patterns Mining, Sequential Patterns Graph, Concurrent Branch Patterns, Structural Pattern |
29 | Francesc Sebé, Josep Domingo-Ferrer, Josep Maria Mateo-Sanz, Vicenç Torra |
Post-Masking Optimization of the Tradeoff between Information Loss and Disclosure Risk in Masked Microdata Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inference Control in Statistical Databases ![In: Inference Control in Statistical Databases, From Theory to Practice, pp. 163-171, 2002, Springer, 3-540-43614-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Microdata masking, Post-masking optimization, Synthetic microdata generation, Information loss, Disclosure risk |
29 | Liyin Xue, Kang Zhang, Chengzheng Sun |
An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 57-64, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
post-locking, CSCW, Operational transformation, consistency maintenance, multi-versioning, collaborative editors |
29 | Richard J. Lorentz |
Creating Difficult Instances of the Post Correspondence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers, pp. 214-228, 2000, Springer, 3-540-43080-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
transposition table, hash table, PCP, Post Correspondence Problem, single-agent search |
29 | Steven J. Ross, Jason L. Hill, Michael Y. Chen, Anthony D. Joseph, David E. Culler, Eric A. Brewer |
A Composable Framework for Secure Multi-Modal Access to Internet Services from Post-PC Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMCSA ![In: 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2000), 7-8 December 2000, Monterey, CA, USA, pp. 171-182, 2000, IEEE Computer Society, 0-7695-0816-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
secure multi-modal access, post-PC devices, public kiosks, cellular telephones, voice based vehicle telematics, infrastructure-based secure proxy architecture, security transformation functions, generic content, service-specific rules, untrusted public Internet access points, proxy transformations, unoptimized Java implementation, Internet, mobile computing, mobile devices, PDAs, latency, security of data, information access, information resources, telecommunication security, Internet services, reusable components |
29 | Jewgeni H. Dshalalow |
Queues with hysteretic control by vacation and post-vacation periods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 29(2-4), pp. 231-268, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
queueing process, post-vacation periods, (v,N)-policy, first excess level theory, semi-regenerative techniques, queueing, hysteresis, vacations, embedded Markov chain, first passage time, fluctuations, N-policy |
29 | Nuno Vasconcelos, Frédéric Dufaux |
Pre and Post-Filtering for Low Bit-Rate Video Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 291-294, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
post-filtering, coding artifacts, video coding, video sequence, available bandwidth, scalable architectures, H.263, computational resources, video content, prefiltering, low bit-rate video coding |
29 | Sanita Reinsone, Inguna Skadina, Janis Daugavietis, Anda Baklane (eds.) |
Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
29 | Yongho Kim, Thomas Mandl 0001, Chanjong Im, Sebastian Schmideler, Wiebke Helm |
Applying Computer Vision Systems to Historical Book Illustrations: Challenges and First Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 255-260, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Ellert Thor Johannsson, Simonetta Battista, Tarrin Wills |
Legacy Data in a Digital Age. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 248-254, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Olli Nurmi, Kati Launis, Erkki Sevänen |
Co-Loan Analysis of Finnish Public Library Loan Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 195-202, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Lizeth Gonzalez-Carabarin, Lisandra S. Costiner |
An Unsupervised Learning Approach to Text Line Detection in Complex Illuminated Medieval Manuscripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 87-97, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Valts Ernstreits, Gunta Klava |
Taking the Livonians into the Digital Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 26-37, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Gabriella Di Feola, Erik Einebrant, Fredrik Trella |
Museums, Technology and Social Interaction in "Anyone Can Innovate!". ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 170-178, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Emily Öhman |
Emotion Annotation: Rethinking Emotion Categorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 134-144, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Liubov Nesterenko |
Quantitative Analysis of Passives with Agent Phrase Based on Multilingual Parallel Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 5-15, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Antonina Martynenko |
What is Russian Elegy? Computational Study of a Nineteenth-Century Poetic Genre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 98-107, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Jani Marjanen, Elaine Zosa, Simon Hengchen, Lidia Pivovarova, Mikko Tolonen |
Topic Modelling Discourse Dynamics in Historical Newspapers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 63-77, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Steven Coats |
ZipfExplorer: A Tool for the Comparison of Shared Lexis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 145-155, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Maria Skeppstedt, Rickard Domeij, Fredrik Skott |
Snippets of Folk Legends: Adapting a Text Mining Tool to a Collection of Folk Legends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 242-247, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Tarrin Wills, Ellert Thor Johannsson, Simonetta Battista |
Integrating TEI/XML Text with Semantic Lexicographic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 16-25, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Maija Kale, Ebenezer Agbozo |
Healthy Food Depiction on Social Media: The Case of Kale on Twitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 51-62, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Ewa Serafin-Prusator, Maciej Tarkowski |
Incomplete Architectural Projects - a Digital Repository Based on the OMEKA System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 203-211, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Janis Daugavietis |
Places of Joy and Worries: Rīga Port Neighbourhoods in Facebook Photo Posts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 121-133, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Thomas Schmidt 0011, Isabella Engl, David Halbhuber, Christian Wolff 0001 |
Comparing Live Sentiment Annotation of Movies via Arduino and a Slider with Textual Annotation of Subtitles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 212-223, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Maciej Janicki, Eetu Mäkelä, Anu Koivunen, Antti Kanner, Auli Harju, Julius Hokkanen, Olli Seuri |
A Workflow for Integrating Close Reading and Automated Text Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 230-235, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Andrew Wareham, Theresa Dellinger, Jakob Sonnberger, Aaron Columbus, Georg Vogeler |
The 'Confronting the Digital' Debate and an Assertive Digital Edition: British History and Hearth Tax Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 38-50, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Anda Baklane, Sanita Reinsone |
Virtualization of the Digital Humanities in the Nordic Countries 5th Conference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 1-4, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Katrine F. Baunvig, Oliver Jarvis, Kristoffer L. Nielbo |
Emotional Imprints: Exclamation Marks in N.F.S. Grundtvig's Writings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 156-169, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Coppélie Cocq, Lena Granstedt, Eva Lindgren, Urban Lindgren |
Digital Maps for Linguistic Diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 224-229, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Ilva Skulte, Normunds Kozlovs |
Discourse on Safety/Security in the Parliamentary Corpus of Latvian Saeima. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 108-120, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Eavan O'Dochartaigh |
Arctic Visible: Mapping the Visual Representations of Indigenous Peoples in the Nineteenth-Century Western Arctic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 179-184, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Uldis Bojars, Anita Rasmane, Anita Goldberga |
Linked Data for Digital Humanities Scholars and Researchers: "Rainis and Aspazija" (RunA) Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 185-194, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Antti Kanner, Tuuli Tahko, Jani Marjanen |
Becoming a State Language: Finnish Public Debate and Modal Grammar 1820-1917. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 236-241, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Martín Camps |
"Memes" as a Cultural Software in the Context of the (Fake) Wall between the US and Mexico. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DHN Post-Proceedings ![In: Post-Proceedings of the 5th Conference Digital Humanities in the Nordic Countries (DHN 2020), Riga, Latvia, October 21-23, 2020., pp. 78-86, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Flemming Nielson, David Sands 0001 (eds.) |
Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![Springer, 978-3-030-17137-7 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks 0001 |
Achieving Safety Incrementally with Checked C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 76-98, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Massimo Bartoletti, Roberto Zunino |
Verifying Liquidity of Bitcoin Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 222-247, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | John D. Ramsdell, Paul D. Rowe, Perry Alexander, Sarah Helble, Peter A. Loscocco, J. Aaron Pendergrass, Adam Petz |
Orchestrating Layered Attestations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 197-221, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Natasha Fernandes, Mark Dras, Annabelle McIver |
Generalised Differential Privacy for Text Document Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 123-148, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | David Butler 0002, David Aspinall 0001, Adrià Gascón |
On the Formalisation of Σ-Protocols and Commitment Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 175-196, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Alexandre Debant, Stéphanie Delaune |
Symbolic Verification of Distance Bounding Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 149-174, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Simon Oddershede Gregersen, Søren Eller Thomsen, Aslan Askarov |
A Dependently Typed Library for Static Information-Flow Control in Idris. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 51-75, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, Deian Stefan |
Foundations for Parallel Information Flow Control Runtime Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 1-28, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Tachio Terauchi, Timos Antonopoulos |
A Formal Analysis of Timing Channel Security via Bucketing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 29-50, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Aseem Rastogi, Nikhil Swamy, Michael Hicks 0001 |
Wys*: A DSL for Verified Secure Multi-party Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 99-122, 2019, Springer, 978-3-030-17137-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Lujo Bauer, Ralf Küsters (eds.) |
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![Springer, 978-3-319-89721-9 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino |
SoK: Unraveling Bitcoin Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 217-242, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta |
Transcompiling Firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 303-324, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi |
Leakage and Protocol Composition in a Game-Theoretic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 134-159, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Barbara Kordy, Wojciech Widel |
On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 325-346, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson |
Secure Information Release in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 28-52, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Anastasia Mavridou, Aron Laszka |
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 270-277, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Ilya Grishchenko, Matteo Maffei, Clara Schneidewind |
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 243-269, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Ian Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks 0001, Stephen Magill |
What's the Over/Under? Probabilistic Bounds on Information Leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 3-27, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal |
Compositional Non-interference for Concurrent Programs via Separation and Framing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 53-78, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Giada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò 0001 |
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 188-213, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce |
The Meaning of Memory Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 79-105, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 18912 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|