Search results for "Zen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
117	Radu Prodan, Thomas Fahringer	ZEN: A Directive-Based Language for Automatic Experiment Management of Distributed and Parallel Programs.	ICPP	2002	DBLP DOI BibTeX RDF
76	Nikhil Bansal 0001, Ranjita Bhagwan, Navendu Jain, Yoonho Park, Deepak S. Turaga, Chitra Venkatramani	Towards Optimal Resource Allocation in Partial-Fault Tolerant Applications.	INFOCOM	2008	DBLP DOI BibTeX RDF
60	Naoko Tosa, Ryohei Nakatsu	Interactive Art for Zen: "Unconscious Flow".	IV	2000	DBLP DOI BibTeX RDF	Character Behavior, Mixed Reality, Interactive Art, Real-time Animation, HCI (Human-Computer Interface)
57	Arvind S. Krishna, Raymond Klefstad, Douglas C. Schmidt, Angelo Corsaro	Towards Predictable Real-time Java Object Request Brokers.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
57	Raymond Klefstad, Douglas C. Schmidt, Carlos O'Ryan	Towards Highly Configurable Real-Time Object Request Brokers.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Real-time Java, Real-time CORBA, Distributed Real-time and Embedded Systems
53	Ben Salem	Kansei Games: Entertaining Emotions.	ICEC	2007	DBLP DOI BibTeX RDF	Kansei mediation, Ox Herding, Zen, Games, entertainment
52	Chigusa Kita, Dag Spicer, Anne Fitzpatrick, Akihiko Yamada	Events and Sightings.	IEEE Ann. Hist. Comput.	2007	DBLP DOI BibTeX RDF	Soviet computing, Computer History Museum, Hiroshi Wada, Zen-iti Kiyasu, Information Processing Society of Japan, semiconductor industry history, programming languages
41	Gérard P. Huet	Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.	PADL	2003	DBLP DOI BibTeX RDF
39	Yuh-Chung Hu, Zen-Yu Chen, Pei-Zen Chang	Fluid-Structure Coupling Effects in a Dual U-Tube Coriolis Mass Flow Meter.	Sensors	2021	DBLP DOI BibTeX RDF
39	Muhammad Javed, Kartinah bt Hj Zen, Halikul Lenando, Hushairi Zen	Fast association process (FAP) of beacon enabled for IEEE 802.15.4 in strong mobility.	CITA	2013	DBLP DOI BibTeX RDF
39	Muhammad Javed, Kartinah bt Hj Zen, Halikul Bin Lenando, Hushairi Zen	Performance evaluation of beacon enabled IEEE 802.15.4 MAC for Mobile Wireless Sensor Networks under NS-2.	CITA	2013	DBLP DOI BibTeX RDF
39	I-Shyan Hwang, Zen-Der Shyu, Cheng-Zen Yang, Kang-Peng Chen	QoS-constraint multicast restoration with 2-tuple domination core nodes selection in DWDM mesh networks.	Telecommun. Syst.	2012	DBLP DOI BibTeX RDF
39	Chung-Kuan Cheng, Xiaotie Deng, Yuh-Zen Liao, So-Zen Yao	Symbolic layout compaction under conditional design rules.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
38	Shruti Gorappa, Juan A. Colmenares, Hojjat Jafarpour, Raymond Klefstad	Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems.	ISORC	2005	DBLP DOI BibTeX RDF
38	Shruti Gorappa, Raymond Klefstad	Empirical evaluation of OpenCCM for Java-based distributed, real-time, and embedded systems.	SAC	2005	DBLP DOI BibTeX RDF	Java-based middleware, benchmarking, CORBA, CCM
38	Naoko Tosa, Seigo Matsuoka, Brad Ellis, Hirotada Ueda, Ryohei Nakatsu	Cultural Computing with Context-Aware Application: ZENetic Computer.	ICEC	2005	DBLP DOI BibTeX RDF
38	Raymond Klefstad, Arvind S. Krishna, Douglas C. Schmidt	Design and Performance of a Modular Portable Object Adapter for Distributed, Real-Time, and Embedded CORBA Applications.	OTM	2002	DBLP DOI BibTeX RDF	Portable Object Adapter, Real-time Java, Real-time CORBA, Distributed Real-time and Embedded Systems
38	Radu Prodan, Thomas Fahringer	ZENTURIO: An Experiment Management System for Cluster and Grid Computing.	CLUSTER	2002	DBLP DOI BibTeX RDF	parameter study, user portal, clusters, performance analysis, Grid, Jini, experiment management
22	Shengbin Liang, Fuqi Sun, Haoran Sun, Tingting Chen, Wencai Du	A medical text classification approach with ZEN and capsule network.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
22	Fabian Ritter 0002, Sebastian Hack	Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures.	CoRR	2024	DBLP DOI BibTeX RDF
22	Thomas Burd, Srividhya Venkataraman, Wilson Li, Timothy Johnson, Jerry Lee, Srikirti Velaga, Mark Wasio, Thomas Yiu, Franklin Bodine, Michael McCabe, Udin Salim, Santosh Kumar Thouta, Michael Golden, Sowmya Ramachandran, Gokul Subramani Lakshmi Devi, John Wu, Yarek Kuszczak, Gaurav Singla, Carson Henrion, Andy Robison, Sabeesh Balagangadharan, Umesh Nair, Naveen Srivastava, Hari Prasad, Mohini Polimetla, Phaneendra Chennupati, Eshwar Gupta, Mahesh Vykuntam, Sumantra Sarkar, Praveen Kumar Duvvuru, Theja Mardi, G. Swetha	2.2 "Zen 4c": The AMD 5nm Area-Optimized ×86-64 Microprocessor Core.	ISSCC	2024	DBLP DOI BibTeX RDF
22	Fabian Ritter 0002, Sebastian Hack	Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures.	ASPLOS (3)	2024	DBLP DOI BibTeX RDF
22	Z. Fu, C. Grant, D. M. Krawiec, A. Li, L. Winslow	Generative Models for Simulation of KamLAND-Zen.	CoRR	2023	DBLP DOI BibTeX RDF
22	Zhuang Wang, Zhaozhuo Xu, Anshumali Shrivastava, T. S. Eugene Ng	Zen: Near-Optimal Sparse Tensor Synchronization for Distributed DNN Training.	CoRR	2023	DBLP DOI BibTeX RDF
22	Ke Zhang, Xiahai Zhuang	ZScribbleSeg: Zen and the Art of Scribble Supervised Medical Image Segmentation.	CoRR	2023	DBLP DOI BibTeX RDF
22	Anne Josiane Kouam, Aline Carneiro Viana, Alain Tchana	Zen: LSTM-based generation of individual spatiotemporal cellular traffic with interactions.	CoRR	2023	DBLP DOI BibTeX RDF
22	Richard Connor 0001, Lucia Vadicamo	nSimplex Zen: A Novel Dimensionality Reduction for Euclidean and Hilbert Spaces.	CoRR	2023	DBLP DOI BibTeX RDF
22	Gang Liu, Leying Chen, Shimin Chen	Zen+: a robust NUMA-aware OLTP engine optimized for non-volatile main memory.	VLDB J.	2023	DBLP DOI BibTeX RDF
22	Kai Troester, Ravi Bhargava	AMD Next Generation "Zen 4" Core and 4th Gen AMD EPYC™ 9004 Server CPU.	HCS	2023	DBLP DOI BibTeX RDF
22	Aysegül Erdemir, Yu-Yu Liu, María José Campos	Emotion Explorers & Zen: AI System and Voice Assistant for Exploring Emotions and Cultivating Compassion.	IDC	2023	DBLP DOI BibTeX RDF
22	Egon W. Stemle, Martina Tebaldini, Francesca Bonanni, Filippo Pellegrino, Paolo Brasolin, Greta H. Franzini, Jennifer-Carmen Frey, Olga Lopopolo, Stefania Spina	bot.zen at LangLearn: regressing towards interpretability (short paper).	EVALITA	2023	DBLP BibTeX RDF
22	Benjamin Munger, Kathy Wilcox, Jeshuah Sniderman, Chuck Tung, Brett Johnson, Russell Schreiber, Carson Henrion, Kevin Gillespie, Tom Burd, Harry R. Fair III, Dave Johnson 0002, Jonathan White, Scott McLelland, Steven Bakke, Javin Olson, Ryan McCracken, Matthew Pickett, Aaron Horiuchi, Hien Nguyen, Tim Jackson	"Zen 4": The AMD 5nm 5.7GHz x86-64 Microprocessor Core.	ISSCC	2023	DBLP DOI BibTeX RDF
22	Mark Evers, Leslie Barnes, Mike Clark	The AMD Next-Generation "Zen 3" Core.	IEEE Micro	2022	DBLP DOI BibTeX RDF
22	Dmitrii Usynin, Daniel Rueckert, Jonathan Passerat-Palmbach, Georgios Kaissis	Zen and the art of model adaptation: Low-utility-cost attack mitigations in collaborative machine learning.	Proc. Priv. Enhancing Technol.	2022	DBLP DOI BibTeX RDF
22	Aobo Li, Zhenghao Fu, Lindley A. Winslow, Christopher P. Grant, Hasung Song, Hideyoshi Ozaki, Itaru Shimizu, Atsuto Takeuchi	KamNet: An Integrated Spatiotemporal Deep Neural Network for Rare Event Search in KamLAND-Zen.	CoRR	2022	DBLP DOI BibTeX RDF
22	Pattara Leelaprute, Bodin Chinthanet, Supatsara Wattanakriengkrai, Raula Gaikovina Kula, Pongchai Jaisri, Takashi Ishio	Does Coding in Pythonic Zen Peak Performance? Preliminary Experiments of Nine Pythonic Idioms at Scale.	CoRR	2022	DBLP DOI BibTeX RDF
22	Tze-Fei Huang, Chun-Liang Chen	A Study of Relationship Between Dharma Drum Mountain Website Design and Zen.	HCI (13)	2022	DBLP DOI BibTeX RDF
22	Pattara Leelaprute, Bodin Chinthanet, Supatsara Wattanakriengkrai, Raula Gaikovina Kula, Pongchai Jaisri, Takashi Ishio	Does coding in Pythonic zen peak performance?: preliminary experiments of nine Pythonic idioms at scale.	ICPC	2022	DBLP DOI BibTeX RDF
22	Yizhe Gu, Yingxu Lai, Yipeng Wang 0001	Zen-tor: A Zero Knowledge Known-Unknown Traffic Classification Method.	GLOBECOM	2022	DBLP DOI BibTeX RDF
22	Matthias Jobst, Johannes Partzsch, Chen Liu, Liyuan Guo, Dennis Walter, Saif-Ur Rehman, Stefan Scholze, Sebastian Höppner, Christian Mayr 0001	ZEN: A flexible energy-efficient hardware classifier exploiting temporal sparsity in ECG data.	AICAS	2022	DBLP DOI BibTeX RDF
22	Nicolás Jofré, Graciela Rodríguez, Yoselie Alvarado, Jacqueline Fernández, Roberto Guerrero	A Digital Zen Garden for Mental Health Conditions Treatment.	CACIC	2022	DBLP DOI BibTeX RDF
22	Sean Sanders, Lukasz Ziarek	Developing a Zen Click Fraud Detection Framework Using Smart Contracts.	HICSS	2022	DBLP BibTeX RDF
22	Oleksandra G. Keehl, Dominic Kao, Edward Franklin Melcer	Zen Hanzi: A Game for Raising Hanzi Component Awareness.	FDG	2022	DBLP DOI BibTeX RDF
22	Edward Elliott	Betting against the Zen Monk: on preferences and partial belief.	Synth.	2021	DBLP DOI BibTeX RDF
22	Yan Song 0003, Tong Zhang 0001, Yonggang Wang, Kai-Fu Lee	ZEN 2.0: Continue Training and Adaption for N-gram Enhanced Text Encoders.	CoRR	2021	DBLP BibTeX RDF
22	Ming Lin, Pichao Wang, Zhenhong Sun, Hesen Chen, Xiuyu Sun, Qi Qian 0001, Hao Li 0030, Rong Jin 0001	Zen-NAS: A Zero-Shot NAS for High-Performance Deep Image Recognition.	CoRR	2021	DBLP BibTeX RDF
22	Robert Schöne, Thomas Ilsche, Mario Bielert, Markus Velten, Markus Schmidl, Daniel Hackenberg	Energy Efficiency Aspects of the AMD Zen 2 Architecture.	CoRR	2021	DBLP BibTeX RDF
22	Gang Liu, Leying Chen, Shimin Chen	Zen: a High-Throughput Log-Free OLTP Engine for Non-Volatile Main Memory. (PDF / PS)	Proc. VLDB Endow.	2021	DBLP DOI BibTeX RDF
22	Boyuan Feng, Lianke Qin, Zhenfei Zhang, Yufei Ding, Shumo Chu	ZEN: Efficient Zero-Knowledge Proofs for Neural Networks.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
22	Ming Lin, Pichao Wang, Zhenhong Sun, Hesen Chen, Xiuyu Sun, Qi Qian 0001, Hao Li 0030, Rong Jin 0001	Zen-NAS: A Zero-Shot NAS for High-Performance Image Recognition.	ICCV	2021	DBLP DOI BibTeX RDF
22	Mark Evers, Leslie Barnes, Mike Clark	Next Generation "Zen 3" Core.	HCS	2021	DBLP DOI BibTeX RDF
22	Tze-Fei Huang, Po-Hsien Lin	On the Zen Connotation in Product Design.	HCI (10)	2021	DBLP DOI BibTeX RDF
22	Aamir Farooq, Vadim Zaytsev	There is more than one way to zen your Python.	SLE	2021	DBLP DOI BibTeX RDF
22	Xiaojie Min	Creativity of Zen Tao Graphic Design Based on Artificial Intelligence Technology.	AIAM (ACM)	2021	DBLP DOI BibTeX RDF
22	Dominique Dredd, Nadia N. Kellam, Suren Jayasuriya	Zen and the Art of STEAM: Student Knowledge and Experiences in Interdisciplinary and Traditional Engineering Capstone Experiences.	FIE	2021	DBLP DOI BibTeX RDF
22	Christian von Elm, Thomas Ilsche, Robert Schöne, Mario Bielert, Markus Schmidl	Investigating the Cause and Effect of an AMD Zen Energy Management Anomaly.	ICPE (Companion)	2021	DBLP DOI BibTeX RDF
22	Robert Schöne, Thomas Ilsche, Mario Bielert, Markus Velten, Markus Schmidl, Daniel Hackenberg	Energy Efficiency Aspects of the AMD Zen 2 Architecture.	CLUSTER	2021	DBLP DOI BibTeX RDF
22	Patrick Lin 0001	Equilibrium graphs on the flat torus or finding zen amidst the bull		2021	RDF
22	Antonio Fernando Almansa, Emilio Cuevas, África Barreto, Benjamín Torres, Omaira Elena García, Rosa Delia García, Cristian Velasco-Merino, Victoria Eugenia Cachorro, Alberto Berjón, Manuel Mallorquín, César López, Ramón Ramos, Carmen Guirado-Fuentes, Ramón Negrillo, Ángel Máximo de Frutos	Column Integrated Water Vapor and Aerosol Load Characterization with the New ZEN-R52 Radiometer.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
22	David Suggs, Mahesh Subramony, Dan Bouvier	The AMD "Zen 2" Processor.	IEEE Micro	2020	DBLP DOI BibTeX RDF
22	Gary Singh	Zen Mind, Machine Mind.	IEEE Computer Graphics and Applications	2020	DBLP DOI BibTeX RDF
22	Chen Ji	Sakura: A VR musical exploration game with MIDI keyboard in Japanese Zen environment.	CoG	2020	DBLP DOI BibTeX RDF
22	Teja Singh, Sundar Rangarajan, Deepesh John, Russell Schreiber, Spence Oliver, Rajit Seahra, Alex Schaefer	2.1 Zen 2: The AMD 7nm Energy-Efficient High-Performance x86-64 Microprocessor Core.	ISSCC	2020	DBLP DOI BibTeX RDF
22	Shizhe Diao, Jiaxin Bai, Yan Song 0003, Tong Zhang 0001, Yonggang Wang	ZEN: Pre-training Chinese Text Encoder Enhanced by N-gram Representations.	EMNLP (Findings)	2020	DBLP DOI BibTeX RDF
22	Garima Dahiya, Yasuo Asakura, Wataru Nakanishi	A study of speed-density functional relations for varying spatiotemporal resolution using Zen Traffic Data.	ITSC	2020	DBLP DOI BibTeX RDF
22	Shizhe Diao, Jiaxin Bai, Yan Song 0003, Tong Zhang 0001, Yonggang Wang	ZEN: Pre-training Chinese Text Encoder Enhanced by N-gram Representations.	CoRR	2019	DBLP BibTeX RDF
22	David Suggs, Dan Bouvier, Michael Clark, Kevin Lepak, Mahesh Subramony	AMD "ZEN 2".	Hot Chips Symposium	2019	DBLP DOI BibTeX RDF
22	Pei-Chen Lo, Yi-Zhe Wu	Cross-Bifrequency Analysis of Cardiorespiratory Interactions at Rest and Zen Meditation.	ICSAI	2019	DBLP DOI BibTeX RDF
22	Andrés Rainiero Hernández Coronado, Wonjun Lee 0003	Are We Referring to the Same x86 64?: Detection of Cache Events in AMD's Zen Micro-architecture.	ICDCS	2019	DBLP DOI BibTeX RDF
22		Zen.	Encyclopedia of Social Network Analysis and Mining. 2nd Ed.	2018	DBLP DOI BibTeX RDF
22	Teja Singh, Alex Schaefer, Sundar Rangarajan, Deepesh John, Carson Henrion, Russell Schreiber, Miguel Rodriguez, Stephen Kosonocky, Samuel Naffziger, Amy Novak	Zen: An Energy-Efficient High-Performance × 86 Core.	IEEE J. Solid State Circuits	2018	DBLP DOI BibTeX RDF
22	Gabriel Alves Mendes Vasiljevic, Leonardo Cunha de Miranda, Bruna Camila de Menezes	Zen Cat: A Meditation-Based Brain-Computer Interface Game.	ICCSA (1)	2018	DBLP DOI BibTeX RDF
22	Yan Li 0077, Tao Yue 0002, Shaukat Ali 0001, Li Zhang 0029	Zen-ReqOptimizer: a search-based approach for requirements assignment optimization.	Empir. Softw. Eng.	2017	DBLP DOI BibTeX RDF
22	Lihui Lin, Kaizhi Chen, Shangping Zhong	Enhancing the Session Security of Zen Cart based on HMAC-SHA256.	KSII Trans. Internet Inf. Syst.	2017	DBLP DOI BibTeX RDF
22	Jiajun Yang, Thomas Hermann 0001	SoZen - Improving Productivity with a Soundscape Generating Zen Garden.	ICMC	2017	DBLP BibTeX RDF
22	Teja Singh, Sundar Rangarajan, Deepesh John, Carson Henrion, Shane Southard, Hugh McIntyre, Amy Novak, Stephen Kosonocky, Ravi Jotwani, Alex Schaefer, Edward Chang, Joshua Bell, Michael Co	3.2 Zen: A next-generation high-performance ×86 core.	ISSCC	2017	DBLP DOI BibTeX RDF
22	Mostafa H. Ammar, Ellen W. Zegura, Yimeng Zhao	A Vision for Zero-Hop Networking (ZeN).	ICDCS	2017	DBLP DOI BibTeX RDF
22	Jorge Sanchez-Garrido, Antonio Miguel Lopez-Antequera, Miguel Jimenez-Lopez, Javier Díaz 0001	Sub-nanosecond Synchronization over 1G ethernet data links using white rabbit technologies on the WR-ZEN board.	TSP	2017	DBLP DOI BibTeX RDF
22	Renke Kuhlmann, Sören Geffken, Christof Büskens	WORHP Zen: Parametric Sensitivity Analysis for the Nonlinear Programming Solver WORHP.	OR	2017	DBLP DOI BibTeX RDF
22	Paul Haimes	Zen and the art of website maintenance.	Interactions	2016	DBLP DOI BibTeX RDF
22	Lotfi Ben Othmane, Azmat Ali	Towards Effective Security Assurance for Incremental Software Development the Case of Zen Cart Application.	ARES	2016	DBLP DOI BibTeX RDF
22	Simon Harper	The User Experience in Zen and the Art of Motorcycle Maintenance.	CHI Extended Abstracts	2016	DBLP DOI BibTeX RDF
22	Egon W. Stemle	bot.zen @ EVALITA 2016 - A minimally-deep learning PoS-tagger (trained for Italian Tweets).	CLiC-it/EVALITA	2016	DBLP BibTeX RDF
22	Egon Stemle	bot.zen $@$ EmpiriST 2015 - A minimally-deep learning PoS-tagger (trained for German CMC and Web data).	WAC@ACL	2016	DBLP DOI BibTeX RDF
22	Anne Hauswald, Teresa Übelacker, Sabine Leske, Nathan Weisz	What it means to be Zen: Marked modulations of local and interareal synchronization during open monitoring meditation.	NeuroImage	2015	DBLP DOI BibTeX RDF
22	Jiajun Yang, Thomas Hermann 0001	A Zen Garden interface for the interactive control of sonic ambiences in smart environment.	CogInfoCom	2015	DBLP DOI BibTeX RDF
22	Ruofei Du, Kent R. Wills, Max Potasznik, Jon E. Froehlich	AtmoSPHERE: Representing Space and Movement Using Sand Traces in an Interactive Zen Garden.	CHI Extended Abstracts	2015	DBLP DOI BibTeX RDF
22	Masaki Hoshiyama, Asagi Hoshiyama	Heart Rate Variability Associated with Walking Zen Meditation Kinhin: towards 'Contemplatio Actione'. (PDF / PS)	CinC	2015	DBLP DOI BibTeX RDF
22	François Espinet, Diana Joumblatt, Dario Rossi 0001	Zen and the Art of Network Troubleshooting: A Hands on Experimental Study.	TMA	2015	DBLP DOI BibTeX RDF
22	Anwitaman Datta, Jackson Tan Teck Yong, Stefano Braghin	The zen of multidisciplinary team recommendation.	J. Assoc. Inf. Sci. Technol.	2014	DBLP DOI BibTeX RDF
22	Zubair Nabi	The Zen of Graduate-level Programming.	CoRR	2014	DBLP BibTeX RDF
22	Hong Lu 0005, Tao Yue 0002, Shaukat Ali 0001, Kunming Nie, Li Zhang 0029	Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration.	ISSRE	2014	DBLP DOI BibTeX RDF
22	Masaki Hoshiyama, Asagi Hoshiyama	Heart Rate Variability Associated with Different Modes of Lower Abdominal Muscle Tension during Zen Meditation. (PDF / PS)	CinC	2014	DBLP BibTeX RDF
22	Anwitaman Datta, Stefano Braghin, Jackson Tan Teck Yong	The Zen of Multidisciplinary Team Recommendation	CoRR	2013	DBLP BibTeX RDF
22	Larry Peterson	Zen and the art of network architecture.	SIGCOMM	2013	DBLP DOI BibTeX RDF
22	Masaki Hoshiyama, Asagi Hoshiyama	Heart Rate Variability Associated with Different Modes of Respiration during Zen Meditation. (PDF / PS)	CinC	2013	DBLP BibTeX RDF
22	Gong Zhang, Tao Yue 0002, Ji Wu 0003, Shaukat Ali 0001	Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework.	MoDELS (Demos/Posters/StudentResearch)	2013	DBLP BibTeX RDF
22	Robin Houston 0001, Joseph White, Martyn Amos	Zen Puzzle Garden is NP-complete.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
22	Martyn Amos, Jack Coldridge	A genetic algorithm for the Zen Puzzle Garden game.	Nat. Comput.	2012	DBLP DOI BibTeX RDF
22	Andrea Asperti, Jeremy Avigad	Zen and the art of formalisation.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF