Search results for "post"

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.	Pattern Anal. Appl.	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.	ICIP (1)	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.	DAC	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.	VEE	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.	Mach. Transl.	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.	IEEE Trans. Vis. Comput. Graph.	1996	DBLP DOI BibTeX RDF
40	Frank J. Post, Theo van Walsum, Frits H. Post, Deborah Silver	Iconic Techniques for Feature Visualization.	IEEE Visualization	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.	Proc. IEEE	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.	DAC	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.	RecSys	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.	ACM Multimedia	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.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Venues, Urban system, Post-development, Olympics
38	T. Y. Chen, Y. Y. Cheung	Structural Properties of Post-Dominator Trees.	Australian Software Engineering Conference	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.	ICIP (1)	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.	Inf. Syst. Frontiers	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.	J. Supercomput.	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.	ISPD	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.	CSSE (5)	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.	J. Sci. Comput.	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.	ICIP	2004	DBLP DOI BibTeX RDF
34	Iain McCowan, Hervé Bourlard	Microphone array post-filter based on noise field coherence.	IEEE Trans. Speech Audio Process.	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.	DAC	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.	J. Sci. Comput.	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.	SIGDOC	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.	DAC	2010	DBLP DOI BibTeX RDF	design, verification, test, validation, emulation
30	Ilya Wagner, Valeria Bertacco	Reversi: Post-silicon validation system for modern microprocessors.	ICCD	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.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
30	Steffen Wittmann, Thomas Wedi	Transmission of Post-Filter Hints for Video Coding Schemes.	ICIP (1)	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.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
30	Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna	Post-reboot Equivalence and Compositional Verification of Hardware.	FMCAD	2006	DBLP DOI BibTeX RDF
30	Grant Pogosyan, Ivo G. Rosenberg	Generation of the Post Lattice by Irreducible Clones.	ISMVL	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.	WPTP@AMTA	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).	New Media Soc.	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.	CHI Extended Abstracts	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.	CHI	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.	SIGIR	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.	DAC	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.	World Wide Web	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.	EC-Web	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.	ECIR	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.	Inf. Syst. Frontiers	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.	FSE	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.	Intelligent Information Processing	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.	Inference Control in Statistical Databases	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.	ISADS	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.	Computers and Games	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.	WMCSA	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.	Queueing Syst. Theory Appl.	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.	ICIP (1)	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.	DHN Post-Proceedings	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.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Ellert Thor Johannsson, Simonetta Battista, Tarrin Wills	Legacy Data in a Digital Age.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Olli Nurmi, Kati Launis, Erkki Sevänen	Co-Loan Analysis of Finnish Public Library Loan Data.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Lizeth Gonzalez-Carabarin, Lisandra S. Costiner	An Unsupervised Learning Approach to Text Line Detection in Complex Illuminated Medieval Manuscripts.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Valts Ernstreits, Gunta Klava	Taking the Livonians into the Digital Space.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Gabriella Di Feola, Erik Einebrant, Fredrik Trella	Museums, Technology and Social Interaction in "Anyone Can Innovate!".	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Emily Öhman	Emotion Annotation: Rethinking Emotion Categorization.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Liubov Nesterenko	Quantitative Analysis of Passives with Agent Phrase Based on Multilingual Parallel Data.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Antonina Martynenko	What is Russian Elegy? Computational Study of a Nineteenth-Century Poetic Genre.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Jani Marjanen, Elaine Zosa, Simon Hengchen, Lidia Pivovarova, Mikko Tolonen	Topic Modelling Discourse Dynamics in Historical Newspapers.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Steven Coats	ZipfExplorer: A Tool for the Comparison of Shared Lexis.	DHN Post-Proceedings	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.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Tarrin Wills, Ellert Thor Johannsson, Simonetta Battista	Integrating TEI/XML Text with Semantic Lexicographic Data.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Maija Kale, Ebenezer Agbozo	Healthy Food Depiction on Social Media: The Case of Kale on Twitter.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Ewa Serafin-Prusator, Maciej Tarkowski	Incomplete Architectural Projects - a Digital Repository Based on the OMEKA System.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Janis Daugavietis	Places of Joy and Worries: Rīga Port Neighbourhoods in Facebook Photo Posts.	DHN Post-Proceedings	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.	DHN Post-Proceedings	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.	DHN Post-Proceedings	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.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Anda Baklane, Sanita Reinsone	Virtualization of the Digital Humanities in the Nordic Countries 5th Conference.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Katrine F. Baunvig, Oliver Jarvis, Kristoffer L. Nielbo	Emotional Imprints: Exclamation Marks in N.F.S. Grundtvig's Writings.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Coppélie Cocq, Lena Granstedt, Eva Lindgren, Urban Lindgren	Digital Maps for Linguistic Diversity.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Ilva Skulte, Normunds Kozlovs	Discourse on Safety/Security in the Parliamentary Corpus of Latvian Saeima.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Eavan O'Dochartaigh	Arctic Visible: Mapping the Visual Representations of Indigenous Peoples in the Nineteenth-Century Western Arctic.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Uldis Bojars, Anita Rasmane, Anita Goldberga	Linked Data for Digital Humanities Scholars and Researchers: "Rainis and Aspazija" (RunA) Collection.	DHN Post-Proceedings	2020	DBLP BibTeX RDF
29	Antti Kanner, Tuuli Tahko, Jani Marjanen	Becoming a State Language: Finnish Public Debate and Modal Grammar 1820-1917.	DHN Post-Proceedings	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.	DHN Post-Proceedings	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	POST	2019	DBLP DOI BibTeX RDF
29	Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks 0001	Achieving Safety Incrementally with Checked C.	POST	2019	DBLP DOI BibTeX RDF
29	Massimo Bartoletti, Roberto Zunino	Verifying Liquidity of Bitcoin Contracts.	POST	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.	POST	2019	DBLP DOI BibTeX RDF
29	Natasha Fernandes, Mark Dras, Annabelle McIver	Generalised Differential Privacy for Text Document Processing.	POST	2019	DBLP DOI BibTeX RDF
29	David Butler 0002, David Aspinall 0001, Adrià Gascón	On the Formalisation of Σ-Protocols and Commitment Schemes.	POST	2019	DBLP DOI BibTeX RDF
29	Alexandre Debant, Stéphanie Delaune	Symbolic Verification of Distance Bounding Protocols.	POST	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.	POST	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.	POST	2019	DBLP DOI BibTeX RDF
29	Tachio Terauchi, Timos Antonopoulos	A Formal Analysis of Timing Channel Security via Bucketing.	POST	2019	DBLP DOI BibTeX RDF
29	Aseem Rastogi, Nikhil Swamy, Michael Hicks 0001	Wys*: A DSL for Verified Secure Multi-party Computations.	POST	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	POST	2018	DBLP DOI BibTeX RDF
29	Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino	SoK: Unraveling Bitcoin Smart Contracts.	POST	2018	DBLP DOI BibTeX RDF
29	Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta	Transcompiling Firewalls.	POST	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.	POST	2018	DBLP DOI BibTeX RDF
29	Barbara Kordy, Wojciech Widel	On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.	POST	2018	DBLP DOI BibTeX RDF
29	Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson	Secure Information Release in Timed Automata.	POST	2018	DBLP DOI BibTeX RDF
29	Anastasia Mavridou, Aron Laszka	Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts.	POST	2018	DBLP DOI BibTeX RDF
29	Ilya Grishchenko, Matteo Maffei, Clara Schneidewind	A Semantic Framework for the Security Analysis of Ethereum Smart Contracts.	POST	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.	POST	2018	DBLP DOI BibTeX RDF
29	Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal	Compositional Non-interference for Concurrent Programs via Separation and Framing.	POST	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.	POST	2018	DBLP DOI BibTeX RDF
29	Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce	The Meaning of Memory Safety.	POST	2018	DBLP DOI BibTeX RDF