Search results for "LFP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Dan Marius Regep, Fabrice Kordon	LfP : A Specification Language for Rapid Prototyping of Concurrent Systems.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF	Modelling of embedded distributed systems, Automatic distributed program generation, Formal verification, UML extensions, ODP
77	Anuj Dawar, Stephan Kreutzer	On Datalog vs. LFP.	ICALP (2)	2008	DBLP DOI BibTeX RDF
77	Aicha Choutri, Faiza Belala, Kamel Barkaoui	Towards a tile based LfP semantics.	RCIS	2008	DBLP DOI BibTeX RDF
73	Klas H. Pettersen, Espen Hagen, Gaute T. Einevoll	Estimation of population firing rates and current source densities from laminar electrode recordings.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Local field potential, LFP, Multi-unit activity, MUA, Current source density, Population firing rate
72	Albert Atserias, Phokion G. Kolaitis	First-Order Logic vs. Fixed-Point Logic in Finite Set Theory.	LICS	1999	DBLP DOI BibTeX RDF
54	Wenfei Fan, Jeffrey Xu Yu, Jianzhong Li, Bolin Ding, Lu Qin 0001	Query translation from XPath to SQL in the presence of recursive DTDs.	VLDB J.	2009	DBLP DOI BibTeX RDF	Recursive DTD, SQL, XPath, XML database, Query translation
54	Xubing Zhang, Yong Zhu, Jianhong Fu	An Improved SPECK Algorithm with Bit Plane Lifting and the Optimal Single Value Prediction.	CSE (2)	2009	DBLP DOI BibTeX RDF
54	George L. Tsirogiannis, George A. Tagaris, Damianos Sakas, Konstantina S. Nikita	Fitting local field potentials generating model of the basal ganglia to actual recorded signals.	BIBE	2008	DBLP DOI BibTeX RDF
54	Changcheng Huang, Minzhe Li, Anand Srinivasan	A Scalable Path Protection Mechanism for Guaranteed Network Reliability Under Multiple Failures.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
54	Dietmar Berwanger, Erich Grädel	Fixed-Point Logics and Solitaire Games.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
54	Frédéric Gilliers, Jean-Pierre Velu, Fabrice Kordon	Generation of Distributed Programs in Their Target Execution Environment.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
36	Uri T. Eden, Emery N. Brown	Mixed observation filtering for neural data.	ICASSP	2008	DBLP DOI BibTeX RDF
36	Zhisong Wang, Alexander Maier, Nikos K. Logothetis, Hualou Liang	Single-trial bistable perception classification based on sparse nonnegative tensor decomposition.	IJCNN	2008	DBLP DOI BibTeX RDF
36	Anuj Dawar, Erich Grädel	The Descriptive Complexity of Parity Games.	CSL	2008	DBLP DOI BibTeX RDF
36	Kun-Ming Yu, Jiayi Zhou, Wei Chen Hsiao	Load Balancing Approach Parallel Algorithm for Frequent Pattern Mining.	PaCT	2007	DBLP DOI BibTeX RDF	data mining, load-balancing, association rules, parallel and distributed computing, FP-tree
36	Steven Lindell, Scott Weinstein	The Role of Decidability in First Order Separations over Classes of Finite Structures.	LICS	2000	DBLP DOI BibTeX RDF	Finite Model Theory, Descriptive Complexity Theory
36	Henrik Imhof	Computational Aspects of Arity Hierarchies.	CSL	1996	DBLP DOI BibTeX RDF
24	Xiaolong Li, Senlin Ren, Xiaowei Li, Tianyu Zhao, Xiaoqiao Deng, Wei Zheng	A LFP/AP Mode Reconfigurable Analog Front-End Combining an Electrical EEEG-iEEG Model for the Closed-Loop VNS.	IEEE Trans. Biomed. Circuits Syst.	2024	DBLP DOI BibTeX RDF
24	Chinan Wang, Ming Yin, Shanshan Yu, Xiao Wang	Multi-channel LFP recording data compression scheme using Cooperative PCA and Kalman Filter.	Biomed. Signal Process. Control.	2024	DBLP DOI BibTeX RDF
24	Sungjin Oh, Hyunsoo Song, Nathan Slager, Jose Roberto Lopez Ruiz, Sung-Yun Park, Euisik Yoon	Power-Efficient LFP-Adaptive Dynamic Zoom-and-Track Incremental ΔΣ Front-End for Dual-Band Subcortical Recordings.	IEEE Trans. Biomed. Circuits Syst.	2023	DBLP DOI BibTeX RDF
24	Luca Tari, Carmine Bourelly, Michele Vitelli, Filippo Milano, Mario Molinara, Luigi Ferrigno	A Statistical Approach for Electrochemical Impedance Spectroscopy Analysis on LFP Batteries' State of Charge.	MetroInd4.0&IoT	2023	DBLP DOI BibTeX RDF
24	Antonis Golfidis, Michael Vinos, Nikos Vassilopoulos, Eirini Papadaki, Irini Skaliora, Vassilis Cutsuridis	Machine Learning Algorithms for Mouse LFP Data Classification in Epilepsy.	BIOSIGNALS	2023	DBLP DOI BibTeX RDF
24	Marco Francesco Carlino, Sergio Massaioli, Georges G. E. Gielen	Highly-Digital 0.0018-mm2/channel Multiplexed Neural Frontend with Time-Based Incremental ADC for In-Brain-Stroke-Cavity LFP Monitoring.	BioCAS	2023	DBLP DOI BibTeX RDF
24	Md Golam Morshed, Young-Koo Lee	LFP: Layer Wise Feature Perturbation based Graph Neural Network for Link Prediction.	BigComp	2023	DBLP DOI BibTeX RDF
24	Chengwei Han, Xiang Li, Cheli Ren, Yan Shi, Yixuan Wang, Jiaqi Chang, Jiange Kou, Yulong Nie	Comparison of the Decoding Effects of Different LFP Signals in Continuous Reconstruction of Unidimensional Limb Trajectory.	ICBRA	2023	DBLP DOI BibTeX RDF
24	Federico Tesler, Núria Tort-Colet, Damien Depannemaecker, Mallory Carlu, Alain Destexhe	Mean-field based framework for forward modeling of LFP and MEG signals.	Frontiers Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
24	Jingfeng M. Li, Benjamin T. Acland, Alexander S. Brenner, William J. Bentley, Lawrence H. Snyder	Relationships between correlated spikes, oxygen and LFP in the resting-state primate.	NeuroImage	2022	DBLP DOI BibTeX RDF
24	Sana Amoozegar, Mohammad Pooyan, Mehrdad Roghani	Identification of effective features of LFP signal for making closed-loop deep brain stimulation in parkinsonian rats.	Medical Biol. Eng. Comput.	2022	DBLP DOI BibTeX RDF
24	Zhao Feng, Yi Sun, Linze Qian, Yu Qi, Yueming Wang, Cuntai Guan, Yu Sun 0014	Design a Novel BCI for Neurorehabilitation Using Concurrent LFP and EEG Features: A Case Study.	IEEE Trans. Biomed. Eng.	2022	DBLP DOI BibTeX RDF
24	Elodie Múrias Lopes, Ricardo Rego, Manuel Rito, Clara Chamadoira, Duarte Dias, João Paulo Silva Cunha	Estimation of ANT-DBS Electrodes on Target Positioning Based on a New PerceptTM PC LFP Signal Analysis.	Sensors	2022	DBLP DOI BibTeX RDF
24	Anuj Dawar, Felipe Ferreira Santos	Separating LREC from LFP.	LICS	2022	DBLP DOI BibTeX RDF
24	Sungjin Oh, Hyunsoo Song, Nathan Slager, Jose Roberto Lopez Ruiz, Sung-Yun Park, Euisik Yoon	LFP-Adaptive Dynamic Zoom-and-Tracking Dual-Band Neural Recording Front-End Using a Power-Efficient Incremental Delta-Sigma ADC.	BioCAS	2022	DBLP DOI BibTeX RDF
24	Huaqin Sun, Yu Qi, Yueming Wang	Delving into Temporal-Spectral Connections in Spike-LFP Decoding by Transformer Networks.	HBAI@IJCAI	2022	DBLP DOI BibTeX RDF
24	Iván Sanz-Gorrachategui, Pablo Pastor-Flores, Milutin Pajovic, Ye Wang 0001, Philip V. Orlik, Carlos Bernal Ruiz, Antonio Bono-Nuez, Jesús Sergio Artal-Sevil	Remaining Useful Life Estimation for LFP Cells in Second-Life Applications.	IEEE Trans. Instrum. Meas.	2021	DBLP DOI BibTeX RDF
24	Pablo Ayuso, Hector Beltran, Jorge Segarra-Tamarit, Emilio Pérez	Optimized profitability of LFP and NMC Li-ion batteries in residential PV applications.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
24	Anuj Dawar, Felipe Ferreira Santos	Separating LREC from LFP.	CoRR	2021	DBLP BibTeX RDF
24	Ziao Chen, Dan Dopp, Satish S. Nair, Drew B. Headley	Inferring Morphology of a Neuron from In Vivo LFP Data.	NER	2021	DBLP DOI BibTeX RDF
24	Federico Barban, Alberto Averna, Maxwell D. Murphy, Marta Carè, Randolph J. Nudo, David J. Guggenmos, Michela Chiappalone	LFP based analysis of brain injured anesthetized animals undergoing closed-loop intracortical stimulation.	NER	2021	DBLP DOI BibTeX RDF
24	Justen Geddes, Gaute T. Einevoll, Evrim Acar, Alexander J. Stasik	Multi-Linear Population Analysis (MLPA) of LFP Data Using Tensor Decompositions.	Frontiers Appl. Math. Stat.	2020	DBLP DOI BibTeX RDF
24	Luciano Sánchez, José Otero, David Anseán, Inés Couso	Health assessment of LFP automotive batteries using a fractional-order neural network.	Neurocomputing	2020	DBLP DOI BibTeX RDF
24	Liangjian Lyu, Dawei Ye, Chuanjin Richard Shi	A 340 nW/Channel 110 dB PSRR Neural Recording Analog Front-End Using Replica-Biasing LNA, Level-Shifter Assisted PGA, and Averaged LFP Servo Loop in 65 nm CMOS.	IEEE Trans. Biomed. Circuits Syst.	2020	DBLP DOI BibTeX RDF
24	Abolfazl Omidvar, Mostafa Shaterian	A low-power digitally programmable neural recording amplifier with selectable multiunit activity (MUA) and local field potential (LFP) recording modes.	Microelectron. J.	2020	DBLP DOI BibTeX RDF
24	Ines Baccouche, Bilal Manai, Najoua Essoukri Ben Amara	SoC estimation of LFP Battery Based on EKF Observer and a Full Polynomial Parameters-Model.	VTC Spring	2020	DBLP DOI BibTeX RDF
24	Zhaohui Li, Mengyu Gao, Yongtian Wang	The Orientation Selectivity of Spike-LFP Synchronization in Macaque V1 and V4.	Frontiers Comput. Neurosci.	2019	DBLP DOI BibTeX RDF
24	Shubhobrata Bhattacharya, Gowtham Sandeep Nainala, Suparna Rooj, Aurobinda Routray	Local Force Pattern (LFP): Descriptor for Heterogeneous Face Recognition.	Pattern Recognit. Lett.	2019	DBLP DOI BibTeX RDF
24	Anthony Babin, Nassim Rizoug, David Boscher, Zouheir Hamdoun, Chérif Larouci	Battery sizing impact on aging of high capacity LFP/C cell for electrical-Light Commercial Vehicle.	IECON	2019	DBLP DOI BibTeX RDF
24	Jianwei Ye, Weichao Zhuang, Guodong Yin	Rule-filter-integrated Control of LFP/LTO Hybrid Energy Storage System for Vehicular Application.	ISIE	2019	DBLP DOI BibTeX RDF
24	Mohammad Zarei, Mehran Jahed, Mohammad Reza Daliri	Introducing a Comprehensive Framework to Measure Spike-LFP Coupling.	Frontiers Comput. Neurosci.	2018	DBLP DOI BibTeX RDF
24	Hosein M. Golshan, Adam O. Hebb, Joshua Nedrud, Mohammad H. Mahoor	Studying the Effects of Deep Brain Stimulation and Medication on the Dynamics of STN-LFP Signals for Human Behavior Analysis.	CoRR	2018	DBLP BibTeX RDF
24	Espen Hagen, Solveig Næss, Torbjørn V. Ness, Gaute T. Einevoll	Multimodal Modeling of Neural Network Activity: Computing LFP, ECoG, EEG, and MEG Signals With LFPy 2.0.	Frontiers Neuroinformatics	2018	DBLP DOI BibTeX RDF
24	Sabrina K. Rechkemmer, Benjamin Czech, Xiaoyun Zang, Weimin Zhang, Oliver Sawodny	Adaptability of Li-Ion Single Particle Model for Lifetime Simulation Using LFP and LMO Cells.	CCTA	2018	DBLP DOI BibTeX RDF
24	Taige Wang, Mahsa Shoaran, Azita Emami	Towards Adaptive Deep Brain Stimulation in Parkinson'S Disease: Lfp-Based Feature Analysis and Classification.	ICASSP	2018	DBLP DOI BibTeX RDF
24	Hosein M. Golshan, Adam O. Hebb, Joshua Nedrud, Mohammad H. Mahoor	Studying the Effects of Deep Brain Stimulation and Medication on the Dynamics of STN-LFP Signals for Human Behavior Analysis.	EMBC	2018	DBLP DOI BibTeX RDF
24	Mahboubeh Parastarfeizabadi, Abbas Z. Kouzani	An Adaptive LFP Sensor.	MeMeA	2018	DBLP DOI BibTeX RDF
24	Michael Okun	Artefactual origin of biphasic cortical spike-LFP correlation.	J. Comput. Neurosci.	2017	DBLP DOI BibTeX RDF
24	Michael Bruyns-Haylett, Jingjing Luo, Aneurin J. Kennerley, Sam Harris, Luke Boorman, Elizabeth Milne, Nicolas Vautrelle, Yurie Hayashi, Benjamin J. Whalley, Myles Jones, Jason Berwick, Jorge J. Riera, Ying Zheng	The neurogenesis of P1 and N1: A concurrent EEG/LFP study.	NeuroImage	2017	DBLP DOI BibTeX RDF
24	Sepideh Afshar, Kirsten Morris 0001, Amir Khajepour	Fully dynamical representation of a LFP battery cell.	ACC	2017	DBLP DOI BibTeX RDF
24	Hosein M. Golshan, Adam O. Hebb, Sara J. Hanrahan, Joshua Nedrud, Mohammad H. Mahoor	An FFT-based synchronization approach to recognize human behaviors using STN-LFP signal.	ICASSP	2017	DBLP DOI BibTeX RDF
24	Yonghui Dong, Zhigang Shang, Mengmeng Li 0001, Xinyu Liu 0026, Hong Wan	Feature reconstruction of LFP signals based on PLSR in the neural information decoding study.	EMBC	2017	DBLP DOI BibTeX RDF
24	Zhenhua Cai, Beigao Chen, Chengxin Luo, Yao Li, Neng Mei, Huijuan Lian	A fuzzy control based energy management strategy for LFP/UC hybrid electric vehicular energy system.	IECON	2017	DBLP DOI BibTeX RDF
24	Jiejie Nie, Rui Qian, Xinyu Liu 0026, Zhigang Shang, Hong Wan	LFP functional network analysis of different states in hippocampus of pigeons.	CISP-BMEI	2017	DBLP DOI BibTeX RDF
24	László Molnár, József Domokos, Isabella Fernando, István Módy	Bimodal RMS distributions for the objective detection of theta (θ) and gamma (γ) brain oscillations during long-term continuous LFP recordings in mice.	MACRo	2017	DBLP DOI BibTeX RDF
24	Yitong Li 0001, Michael Murias, Samantha Major, Geraldine Dawson, Kafui Dzirasa, Lawrence Carin, David E. Carlson	Targeting EEG/LFP Synchrony with Neural Nets.	NIPS	2017	DBLP BibTeX RDF
24	Maria Constantinou, Soledad Gonzalo Cogno, Daniel H. Elijah, Emilio Kropff, John Gigg, Inés Samengo, Marcelo A. Montemurro	Bursting Neurons in the Hippocampal Formation Encode Features of LFP Rhythms.	Frontiers Comput. Neurosci.	2016	DBLP DOI BibTeX RDF
24	Hosein M. Golshan, Adam O. Hebb, Sara J. Hanrahan, Joshua Nedrud, Mohammad H. Mahoor	An FFT-based Synchronization Approach to Recognize Human Behaviors using STN-LFP Signal.	CoRR	2016	DBLP BibTeX RDF
24	Hosein M. Golshan, Adam O. Hebb, Sara J. Hanrahan, Joshua Nedrud, Mohammad H. Mahoor	A Multiple Kernel Learning Approach for Human Behavioral Task Classification using STN-LFP Signal.	CoRR	2016	DBLP BibTeX RDF
24	Sandeep Bodda, Harilal Parasuram, Bipin Nair, Shyam Diwakar	Computing LFP from biophysical models of neurons and neural microcircuits.	ICACCI	2016	DBLP DOI BibTeX RDF
24	Ewan Nurse, Benjamin S. Mashford, Antonio Jimeno-Yepes, Isabell Kiral-Kornek, Stefan Harrer, Dean R. Freestone	Decoding EEG and LFP signals using deep learning: heading TrueNorth.	Conf. Computing Frontiers	2016	DBLP DOI BibTeX RDF
24	Hosein M. Golshan, Adam O. Hebb, Sara J. Hanrahan, Joshua Nedrud, Mohammad H. Mahoor	A Multiple Kernel Learning approach for human behavioral task classification using STN-LFP signal.	EMBC	2016	DBLP DOI BibTeX RDF
24	Maria Constantinou, Daniel H. Elijah, Daniel Squirrell, John Gigg, Marcelo A. Montemurro	Phase-locking of bursting neuronal firing to dominant LFP frequency components.	Biosyst.	2015	DBLP DOI BibTeX RDF
24	Avgis Hadjipapas, Eric Lowet, Mark J. Roberts, Alina Peter, Peter De Weerd	Parametric variation of gamma frequency and power with luminance contrast: A comparative study of human MEG and monkey LFP and spike responses.	NeuroImage	2015	DBLP DOI BibTeX RDF
24	Ben A. Duffy, ManKin Choy, Miguel R. Chuapoco, Michael Madsen, Jin Hyung Lee	MRI compatible optrodes for simultaneous LFP and optogenetic fMRI investigation of seizure-like afterdischarges.	NeuroImage	2015	DBLP DOI BibTeX RDF
24	Yating Zhu, Rubin Wang	Research on phase synchronization with spike-LFP coherence analysis.	Neurocomputing	2015	DBLP DOI BibTeX RDF
24	Alberto Mazzoni, Henrik Lindén, Hermann Cuntz, Anders Lansner, Stefano Panzeri, Gaute T. Einevoll	Computing the Local Field Potential (LFP) from Integrate-and-Fire Network Models.	PLoS Comput. Biol.	2015	DBLP DOI BibTeX RDF
24	Harilal Parasuram, Bipin Nair, Giovanni Naldi, Egidio D'Angelo, Shyam Diwakar	Exploiting point source approximation on detailed neuronal models to reconstruct single neuron electric field and population LFP.	IJCNN	2015	DBLP DOI BibTeX RDF
24	Alain Destexhe, Joshua A. Goldberg	LFP Analysis: Overview.	Encyclopedia of Computational Neuroscience	2014	DBLP DOI BibTeX RDF
24	Alain Destexhe, Claude Bédard	Local Field Potentials (LFP).	Encyclopedia of Computational Neuroscience	2014	DBLP DOI BibTeX RDF
24	Kenji Mizuseki, Kamran Diba, Eva Pastalkova, Jeffrey L. Teeters, Anton M. Sirota, György Buzsáki	Neurosharing: large-scale data sets (spike, LFP) recorded from the hippocampal-entorhinal system in behaving rats.	F1000Research	2014	DBLP DOI BibTeX RDF
24	Kyle R. Ulrich, David E. Carlson, Wenzhao Lian, Jana Schaich Borg, Kafui Dzirasa, Lawrence Carin	Analysis of Brain States from Multi-Region LFP Time-Series.	NIPS	2014	DBLP BibTeX RDF
24	Luis Alfonso Fernández-Serantes, Raúl Estrada Vázquez, José Luís Casteleiro-Roca, José Luís Calvo-Rolle, Emilio Corchado	Hybrid Intelligent Model to Predict the SOC of a LFP Power Cell Type.	HAIS	2014	DBLP DOI BibTeX RDF
24	Xiaxia Xu, Chenguang Zheng, Tao Zhang 0062	Reduction in LFP cross-frequency coupling between theta and gamma rhythms associated with impaired STP and LTP in a rat model of brain ischemia.	Frontiers Comput. Neurosci.	2013	DBLP DOI BibTeX RDF
24	Wen-Ju Pan, Garth John Thompson, Matthew Evan Magnuson, Dieter Jaeger, Shella D. Keilholz	Infraslow LFP correlates to resting-state fMRI BOLD signals.	NeuroImage	2013	DBLP DOI BibTeX RDF
24	Arpan Banerjee, Heather L. Dean, Bijan Pesaran	Parametric models to relate spike train and LFP dynamics with neural information processing.	Frontiers Comput. Neurosci.	2012	DBLP DOI BibTeX RDF
24	Ulrich Bihr, Maurits Ortmanns	A front-end circuit with active spike and LFP separation via a switched capacitor filter structure for neural recording applications.	ISCAS	2012	DBLP DOI BibTeX RDF
24	Mufti Mahmud, Davide Travalin, Amir Hussain 0001, Stefano Girardi, Marta Maschietto, Florian Felderer, Stefano Vassanelli	Single LFP Sorting for High-Resolution Brain-Chip Interfacing.	BICS	2012	DBLP DOI BibTeX RDF
24	Pierre-Emmanuel Aguera, Karim Jerbi, Anne Caclin, Olivier Bertrand	ELAN: A Software Package for Analysis and Visualization of MEG, EEG, and LFP Signals.	Comput. Intell. Neurosci.	2011	DBLP DOI BibTeX RDF
24	Jo-Yu Wu, Kea-Tiong Tang	A band-tunable, multichannel amplifier for neural recording with AP/LFP separation and dual-threshold adaptive AP detector.	EMBC	2011	DBLP DOI BibTeX RDF
24	Kukjin Kang, Michael J. Shelley, James Andrew Henrie, Robert Shapley	LFP spectral peaks in V1 cortex: network resonance and cortico-cortical feedback.	J. Comput. Neurosci.	2010	DBLP DOI BibTeX RDF
24	Claude Bédard, Serafim Rodrigues, Noah Roy, Diego Contreras, Alain Destexhe	Evidence for frequency-dependent extracellular impedance from the transfer function between extracellular and intracellular potentials - Intracellular-LFP transfer function.	J. Comput. Neurosci.	2010	DBLP DOI BibTeX RDF
24	Nikolay V. Manyakov, Jonas Poelmans, Rufin Vogels, Marc M. Van Hulle	Combining ESOMs Trained on a Hierarchy of Feature Subsets for Single-Trial Decoding of LFP Responses in Monkey Area V4.	ICAISC (2)	2010	DBLP DOI BibTeX RDF
24	Xi Cheng, Kailing Pan, Yunfeng Ma	An Application of LFP Method for Sintering Ore Ratio.	ICSI (2)	2010	DBLP DOI BibTeX RDF
24	Michael Denker, Sébastien Roux, Marc Timme, Alexa Riehle, Sonja Grün	Phase synchronization between LFP and spiking activity in motor cortex during movement preparation.	Neurocomputing	2007	DBLP DOI BibTeX RDF
24	Yevgeny Perelman, Ran Ginosar	An Integrated System for Multichannel Neuronal Recording With Spike/LFP Separation, Integrated A/D Conversion and Threshold Detection.	IEEE Trans. Biomed. Eng.	2007	DBLP DOI BibTeX RDF
24	Chadlia Jerad, Kamel Barkaoui	On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
24	Krzysztof Kurzak	LFP: A PC-program for Ligand-field Analysis of 3dn Ions in Oh and Lower Symmetries.	Comput. Chem.	2000	DBLP DOI BibTeX RDF
24	Jon L. White (eds.)	Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
24	Edward Wang, Paul N. Hilfinger	Analysis of Recursive Types in Lisp-Like Languages.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
24	Tyng-Ruey Chuang, Benjamin Goldberg	A Syntactic Approach to Fixed Point Computation on Finite Domains.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
24	Wade Henessey	WCL: Delivering Efficient Common Lisp Applications Under Unix.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	C, UNIX, Common Lisp
24	Flemming Nielson, Hanne Riis Nielson	Finiteness Conditions for Fixed Point Iteration.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF