|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 668 occurrences of 559 keywords
|
|
|
Results
Found 2683 publication records. Showing 2677 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 2677 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|