Search results for "beta"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
244	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard	Abstraction Mechanisms in the Beta Programming Language.	POPL	1983	DBLP DOI BibTeX RDF
146	R. Ward	On Robustness Properties of Beta Encoders and Golden Ratio Encoders.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
137	Frédérique Bassino	Beta-Expansions for Cubic Pisot Numbers.	LATIN	2002	DBLP DOI BibTeX RDF
119	Prosenjit Bose, Luc Devroye, William S. Evans, David G. Kirkpatrick	On the Spanning Ratio of Gabriel Graphs and beta-skeletons.	LATIN	2002	DBLP DOI BibTeX RDF
98	Daniel Stefankovic, Santosh S. Vempala, Eric Vigoda	Adaptive Simulated Annealing: A Near-optimal Connection between Sampling and Counting.	FOCS	2007	DBLP DOI BibTeX RDF
80	Hans-Joachim Böckenhauer, Dirk Bongartz, Juraj Hromkovic, Ralf Klasing, Guido Proietti, Sebastian Seibert, Walter Unger	On the Hardness of Constructing Minimal 2-Connected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality.	FSTTCS	2002	DBLP DOI BibTeX RDF	minimum-cost biconnected spanning subgraph, Approximation algorithm, inapproximability, augmentation
75	Hisamoto Hiyoshi	Greedy Beta-Skeleton in Three Dimensions.	ISVD	2007	DBLP DOI BibTeX RDF
69	Matthew Menke, Eben Scanlon, Jonathan King, Bonnie Berger, Lenore Cowen	Wrap-and-pack: a new paradigm for beta structural motif recognition with application to recognizing beta trefoils.	RECOMB	2004	DBLP DOI BibTeX RDF	beta structures, beta trefoils, motif recognition, rotamer libraries, threading, protein structure prediction
66	Barry Joe	Knot insertion for Beta-spline curves and surfaces.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
66	Barry Joe	Quartic Beta-splines.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
66	Barry Joe	Multiple-knot and rational cubic beta-splines.	ACM Trans. Graph.	1989	DBLP DOI BibTeX RDF
66	Barry Joe	Discrete Beta-splines.	SIGGRAPH	1987	DBLP DOI BibTeX RDF
57	Pierre L'Ecuyer, Richard J. Simard	Inverting the symmetrical beta distribution.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	symmetrical beta distribution, quantiles, inversion method, Random variate generation
57	María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez	Complexity of Alpha-Beta Bidirectional Associative Memories.	MICAI	2006	DBLP DOI BibTeX RDF	Alpha-Beta associative memories, perfect recall, complexity, Bidirectional associative memories
57	Jean-Vincent Loddo, Roberto Di Cosmo	Playing Logic Programs with the Alpha-Beta Algorithm.	LPAR	2000	DBLP DOI BibTeX RDF
54	José García Pérez, Salvador Cruz Rambaud, Lina B. García García	The two-sided power distribution for the treatment of the uncertainty in PERT.	Stat. Methods Appl.	2005	DBLP DOI BibTeX RDF	TSP distribution, mesokurtic, constant variance, PERT, Beta
54	Ole Lehrmann Madsen	Semantic Analysis of Virtual Classes and Tested Classes.	OOPSLA	1999	DBLP DOI BibTeX RDF	generic class, parameterized class, semantic analysis, virtual class, BETA
53	Alberto Carraro, Antonino Salibra	Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.	LICS	2009	DBLP DOI BibTeX RDF
53	Yun Long, Asaf Nachmias, Yuval Peres	Mixing Time Power Laws at Criticality.	FOCS	2007	DBLP DOI BibTeX RDF
53	Per Hokstad, Alexandre Maria, Pierre Tomis	Estimation of common cause factors from systems with different numbers of channels.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
53	Dmitry Gavinsky	Optimally-Smooth Adaptive Boosting and Application to Agnostic Learning.	ALT	2002	DBLP DOI BibTeX RDF
49	Abhilash Kumar Das, Nirmalya Kar	g-EoN: A Non-salient Approach Towards Encryption Using Gamma Function $\varGamma \Big (-\frac{\alpha }{\beta }\Big ) = -\frac{\beta }{\alpha }\, \varGamma \Big (\frac{\beta -\alpha }{\beta }\Big )$.	ACeS	2021	DBLP DOI BibTeX RDF
48	Deok-Soo Kim	A Single Beta-Complex Solves All Geometry Problems in a Molecule.	ISVD	2009	DBLP DOI BibTeX RDF	molecular geometry, molecular structure, quasi-triangulation, beta-complex, beta-shape, Voronoi diagram
48	María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez	Alpha-Beta bidirectional associative memories: theory and applications.	Neural Process. Lett.	2007	DBLP DOI BibTeX RDF	Alpha-Beta associative memories, Perfect recall, Fingerprint identifier, Bidirectional associative memories
48	Nizar Bouguila, Djemel Ziou, Ernest Monga	Practical Bayesian estimation of a finite beta mixture through gibbs sampling and its applications.	Stat. Comput.	2006	DBLP DOI BibTeX RDF	Mixture modeling, Maximum likelihood, EM, SAR images, Gibbs sampling, Bayesian analysis, SEM, Beta distribution, Metropolis-Hastings
48	María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez	A New Model of BAM: Alpha-Beta Bidirectional Associative Memories.	ISCIS	2006	DBLP DOI BibTeX RDF	Alpha-Beta associative memories, perfect recall, Bidirectional associative memories
48	Søren Brandt, Jørgen Lindskov Knudsen	Generalising the BETA Type System.	ECOOP	1996	DBLP DOI BibTeX RDF	constraints, type systems, object-oriented modelling, language design, BETA
48	Shoujue Wang, Xunwei Wu, Hongjuan Feng	The High-Speed Ternary Logic Gates Based on the Multiple beta Transistors.	ISMVL	1995	DBLP DOI BibTeX RDF	high speed ternary logic gates, multiple /spl beta/ transistors, multiple emitter transistor, current gain, linear AND/OR gates, multi valued literal circuits, high speed multi valued logic circuits, multivalued logic circuits, logic gates, ternary logic, transistors
48	Jonathan Schaeffer	The History Heuristic and Alpha-Beta Search Enhancements in Practice.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	history heuristic, alpha-beta search enhancements, minimax trees, interior nodes, transposition tables, trees (mathematics), search problems, minimax techniques, game trees
48	Monroe M. Newborn	Unsynchronized Iteratively Deepening Parallel Alpha-Beta Search.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	unsynchronized iterative deepening search, parallel alpha-beta search algorithm, principal variation splitting algorithm, parallel algorithms, tree, iterative methods, trees (mathematics), search problems
48	Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami	A Bounded-Optimistic, Parallel Beta-Binders Simulator.	DS-RT	2008	DBLP DOI BibTeX RDF
48	Shrabonti Ghosh, S. S. Alam	(alpha, beta) Reduction of Decision Table: A Rough Approach.	AFSS	2002	DBLP DOI BibTeX RDF
48	Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren	Beta Reduction Constraints.	RTA	2001	DBLP DOI BibTeX RDF
48	Jørgen Lindskov Knudsen	Fault Tolerance and Exception Handling in BETA.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
45	Cornelio Yáñez, Edgardo Manuel Felipe Riverón, Itzamá López-Yáñez, Rolando Flores-Carapia	A Novel Approach to Automatic Color Matching.	CIARP	2006	DBLP DOI BibTeX RDF	Autoassociative memory, Alpha-Beta associative memories, Color matching
45	David J. Pinto, Stephanie R. Jones, Tasso J. Kaper, Nancy Kopell	Analysis of State-Dependent Transitions in Frequency and Long-Distance Coordination in a Model Oscillatory Cortical Circuit.	J. Comput. Neurosci.	2003	DBLP DOI BibTeX RDF	gamma, synchrony, rhythms, alpha, neuromodulation, arousal, beta, neocortex
45	Noga Alon, Eyal Lubetzky, Uri Stav, Amit Weinstein, Avinatan Hassidim	Broadcasting with Side Information.	FOCS	2008	DBLP DOI BibTeX RDF
45	Walter Vanzella, Felice Andrea Pellegrino, Vincent Torre	Self-Adaptive Regularization.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF
45	Paula Severi, Fer-Jan de Vries	An Extensional Böhm Model.	RTA	2002	DBLP DOI BibTeX RDF
45	John M. Borton	The changing face of software support: the impact of the Internet on customer support and support personnel.	SIGCPR	2001	DBLP DOI BibTeX RDF	Internet support, support personnel, technical support
45	Hans-Joachim Böckenhauer, Juraj Hromkovic, Ralf Klasing, Sebastian Seibert, Walter Unger	An Improved Lower Bound on the Approximability of Metric TSP and Approximation Algorithms for the TSP with Sharpened Triangle Inequality.	STACS	2000	DBLP DOI BibTeX RDF
45	Yang Richard Yang, Simon S. Lam	General AIMD Congestion Control.	ICNP	2000	DBLP DOI BibTeX RDF	general AIMD congestion control, congestion window adjustment, increase value, decrease ratio, congestion avoidance state, packets acknowledgement, congestion indication, general additive increase multiplicative decrease, GAIMD, mean sending rate, mean round-trip time, mean timeout value, sending rate formula, TCP-friendly flow, sending rate, TCP Reno flows, TCP SACK flows, DropTail link, RED link, simulations, transport protocols, packet switching, bandwidth, telecommunication congestion control, loss rate, path conditions, window size
45	Xin He, Ming-Yang Kao, Hsueh-I Lu	A Fast General Methodology for Information - Theoretically Optimal Encodings of Graphs.	ESA	1999	DBLP DOI BibTeX RDF
45	Cao An Wang, Bo-Ting Yang	A Tight Bound for ß-SKeleton of Minimum Weight Triangulations.	WADS	1999	DBLP DOI BibTeX RDF
45	Youxin Gao, D. F. Wong 0001	Optimal shape function for a bi-directional wire under Elmore delay model.	ICCAD	1997	DBLP DOI BibTeX RDF	Bi-directional wire, Optimal shape, Elmore Delay
42	Christopher N. Chapman, Michal Lahav, Edwin Love, James L. Alford	Product interest and engagement scale, beta (pies-beta): initial development.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	product interest, product involvement, evaluation, scale development, psychometrics
39	Ilhem Kallel, Adel M. Alimi	MAGAD-BFS: A learning method for Beta fuzzy systems based on a multi-agent genetic algorithm.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Beta fuzzy systems, Genetic algorithms, Multi-agent systems, Learning, Distributed genetic algorithms
39	John W. Paisley, Lawrence Carin	Nonparametric factor analysis with beta process priors.	ICML	2009	DBLP DOI BibTeX RDF
39	Paola Quaglia	On Beta-Binders Communications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
39	Feng-xiao Wang, Lu Chen	On (Alpha, Beta) Fuzzy Subalgebras of BCH-Algebras.	FSKD (3)	2008	DBLP DOI BibTeX RDF
39	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen	The when, why and why not of the BETA programming language.	HOPL	2007	DBLP DOI BibTeX RDF	history of programming, object-oriented programming, programming languages, object-oriented design, object-oriented modeling, object-oriented analysis
39	Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher	Developing An Hierarchical Simulator for Beta-binders.	PADS	2006	DBLP DOI BibTeX RDF
39	Luoqing Li, Chenggao Wan	Support Vector Machines with Beta-Mixing Input Sequences.	ISNN (1)	2006	DBLP DOI BibTeX RDF
39	Todd W. Neller	Information-Based Alpha-Beta Search and the Homicidal Chauffeur.	HSCC	2002	DBLP DOI BibTeX RDF
39	Robert Krull	Is more beta better?.	SIGDOC	2000	DBLP BibTeX RDF
39	Do-Hoon Lee, Hwan-Gue Cho	The Beta-Velocity Model for Simulating Handwritten Korean Scripts.	EP	1998	DBLP DOI BibTeX RDF
39	Jens Bæk Jørgensen, Kjeld Høyer Mortensen	Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets
39	Hassan A. Farhat, Steven G. From	A beta model for estimating the testability and coverage distributions of a VLSI circuit.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
36	Xiao Zhu 0002, Peter H. Koenig, Michael Hoffmann 0006, Arun Yethiraj, Qiang Cui	Establishing effective simulation protocols for beta- and alpha/beta-peptides. III. Molecular mechanical model for acyclic beta-amino acids.	J. Comput. Chem.	2010	DBLP DOI BibTeX RDF
36	Deok-Soo Kim, Jae-Kwan Kim 0001, Chong-Min Kim	Searching Simplexes in Quasi-triangulation.	ISVD	2010	DBLP DOI BibTeX RDF	Voronoi diagram of spheres, beta-shape, beta-complex, quasi-triangulation, simplex search
36	Pawel Winter, Henrik Sterner, Peter Sterner	Alpha Shapes and Proteins.	ISVD	2009	DBLP DOI BibTeX RDF	beta shape, delaunay complex, alpha complex, beta complex, voronoi diagram, protein, filtration, power diagram
36	Amany Al-Saleh, Ali El-Zaart, AbdulMalik S. Al-Salman	Dot Detection of Optical Braille Images for Braille Cells Recognition.	ICCHP	2008	DBLP DOI BibTeX RDF	Optical Braille Images, Dot Detection, OBR, Thresholding, Beta Distribution
36	Mehrdad Fatourechi, Gary E. Birch, Rabab K. Ward	A self-paced brain interface system that uses movement related potentials and changes in the power of brain rhythms.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Self-paced brain interface systems, Multiple neurological phenomena, Movement-related potentials, Mu rhythms, Beta rhythms
36	Maria L. Stavrinou, Liviu Moraru, Polyxeni Pelekouda, Vasileios Kokkinos, Anastasios Bezerianos	A Wavelet Tool to Discriminate Imagery Versus Actual Finger Movements Towards a Brain-Computer Interface.	ISBMDA	2006	DBLP DOI BibTeX RDF	finger-tapping, beta rhythm, Event Related Synchronization (ERS) -Desynchronization (ERD), wavelet, EEG, Brain-Computer Interface, imagery
36	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
36	Victor F. Nicola, Ambuj Goyal	Modeling of Correlated Failures and Community Error Recovery in Multiversion Software.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	correlated failures, community error recovery, multiversion software, beta-binomial distribution, failure distributions, selected distribution, recovery methods, failure behaviors, lightly correlated, checkpoint failure, destructive failure, fault tolerant computing, software reliability, checkpointing, system recovery, software configuration, omission failure, combinatorial model
36	Anpeng Huang, Biswanath Mukherjee	Inbuilt-Burstification Urgency-Driven Scheduling (iBUS) Algorithm for Packet Transport in IP-over-WDM Networks.	ICC	2008	DBLP DOI BibTeX RDF
36	Shaunak Dattaprasad Bopardikar, Francesco Bullo, João Pedro Hespanha	A pursuit game with range-only measurements.	CDC	2008	DBLP DOI BibTeX RDF
36	Shi-Zhong Bai, Lei Fan, Wan-Liang Wang	LaTeX Strong-I Nß-Compactness in L-Topological Spaces.	FSKD (1)	2008	DBLP DOI BibTeX RDF
36	Ingrid Daubechies, Özgür Yilmaz	Robust and Practical Analog-to-Digital Conversion With Exponential Precision.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
36	Michael Elkin	Computing almost shortest paths.	ACM Trans. Algorithms	2005	DBLP DOI BibTeX RDF	almost shortest paths, Graph algorithms, spanners
36	Manvendu Bhardwaj, Satyayant Misra, Guoliang Xue	Using β-skeletons for localized topology control in wireless ad hoc networks.	IPCCC	2005	DBLP DOI BibTeX RDF
36	Jiali Feng, Qihuang Mao, Guanglin Xu, Jingjuan Feng	Qualitative Mapping, Inner Product Transformation of Qualitative Criterion, Artificial Neuron and Pattern Recognition.	ISM	2005	DBLP DOI BibTeX RDF
36	Sumeet Dua, Naveen Kandiraju	A Novel Computational Framework for Structural Classification of Proteins Using Local Geometric Parameter Matching.	CSB	2004	DBLP DOI BibTeX RDF
36	Amos Korman, David Peleg	Labeling Schemes for Weighted Dynamic Trees.	ICALP	2003	DBLP DOI BibTeX RDF
36	Keqin Li 0001	Improved Methods for Divisible Load Distribution on ?-dimensional Meshes Using Pipelined Communications.	IPDPS	2003	DBLP DOI BibTeX RDF
36	Eric Martin 0002, Arun Sharma 0001, Frank Stephan 0001	Learning, Logic, and Topology in a Common Framework.	ALT	2002	DBLP DOI BibTeX RDF
36	Christiane Frougny	On-Line Odometers for Two-Sided Symbolic Dynamical Systems.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF	symbolic dynamical systems, numeration systems, odometer, Finite automata
36	Hsiang-Chun Huang, Chung-Neng Wang, Tihao Chiang	A robust fine granularity scalability using trellis based predictive leak.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
36	Shriram Sarvotham, Rudolf H. Riedi, Richard G. Baraniuk	Connection-level analysis and modeling of network traffic.	Internet Measurement Workshop	2001	DBLP DOI BibTeX RDF	animal kingdom, network traffic modeling
36	Zdzislaw Splawski, Pawel Urzyczyn	Type Fixpoints: Iteration vs. Recursion.	ICFP	1999	DBLP DOI BibTeX RDF
36	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
36	Gilbert Deléage, Christophe Geourjon	Intensive sequence comparisons to predict protein secondary structures. Integration into a software package: ANTHEPROT.	HICSS (5)	1995	DBLP DOI BibTeX RDF	intensive sequence comparisons, ANTHEPROT, structural class assignment, self-optimised prediction method, SOPM, protein chains, 3-states description, secondary structure content, database, database management systems, biology computing, proteins, software packages, software package, correlation coefficients, secondary structure, chemistry computing, protein secondary structure prediction, amino acids
35	Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani	Redex -> Coq: towards a theory of decidability of Redex's reduction semantics.	CoRR	2024	DBLP DOI BibTeX RDF
35	Muhammad Naufal Pratama, Beta Noranita, Khadijah	The Effects of Extract Function Refactoring On High Cyclomatic Complexity Code Smell and Maintainability Index.	ICEEI	2023	DBLP DOI BibTeX RDF
35	Felix P. Kemeth, Sergio Alonso, Blas Echebarria, Ted Moldenhawer, Carsten Beta, Ioannis G. Kevrekidis	Black and Gray Box Learning of Amplitude Equations: Application to Phase Field Systems.	CoRR	2022	DBLP DOI BibTeX RDF
35	Mallku Soldevila, Beta Ziliani, Bruno Silvestre	From Specification to Testing: Semantics Engineering for Lua 5.2.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
35	Gregor Pasemann, Sven Flemming, Sergio Alonso, Carsten Beta, Wilhelm Stannat	Diffusivity Estimation for Activator-Inhibitor Models: Theory and Application to Intracellular Dynamics of the Actin Cytoskeleton.	J. Nonlinear Sci.	2021	DBLP DOI BibTeX RDF
35	Daniel Schindler, Ted Moldenhawer, Maike Stange, Valentino Lepro, Carsten Beta, Matthias Holschneider, Wilhelm Huisinga	Analysis of protrusion dynamics in amoeboid cell motility by means of regularized contour flows.	PLoS Comput. Biol.	2021	DBLP DOI BibTeX RDF
35	Raul Fervari, Francisco Trucco, Beta Ziliani	Verification of dynamic bisimulation theorems in Coq.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
35	Gregor Pasemann, Sven Flemming, Sergio Alonso, Carsten Beta, Wilhelm Stannat	Diffusivity Estimation for Activator-Inhibitor Models: Theory and Application to Intracellular Dynamics of the Actin Cytoskeleton.	CoRR	2020	DBLP BibTeX RDF
35	Mallku Soldevila, Beta Ziliani, Daniel Fridlender	Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer.	CoRR	2020	DBLP BibTeX RDF
35	Mallku Soldevila, Beta Ziliani, Daniel Fridlender	Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer.	PPDP	2020	DBLP DOI BibTeX RDF
35	Annisa R. Beta	Commerce, piety and politics: Indonesian young Muslim women's groups as religious influencers.	New Media Soc.	2019	DBLP DOI BibTeX RDF
35	Raul Fervari, Francisco Trucco, Beta Ziliani	Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq.	DaLí	2019	DBLP DOI BibTeX RDF
35	Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer	Mtac2: typed tactics for backward reasoning in Coq.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
35	Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas	Decoding Lua: Formal Semantics for the Developer and the Semanticist.	CoRR	2017	DBLP BibTeX RDF
35	Oliver Pohl, Marius Hintsche, Zahra Alirezaeizanjani, Maximilian Seyrich, Carsten Beta, Holger Stark	Inferring the Chemotactic Strategy of P. putida and E. coli Using Modified Kramers-Moyal Coefficients.	PLoS Comput. Biol.	2017	DBLP DOI BibTeX RDF
35	Beta Ziliani, Matthieu Sozeau	A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading.	J. Funct. Program.	2017	DBLP DOI BibTeX RDF
35	Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas	Decoding Lua: formal semantics for the developer and the semanticist.	DLS	2017	DBLP DOI BibTeX RDF