Search results for "Larsen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Richard Mateosian	Advice for Investigators.	IEEE Micro	2007	DBLP DOI BibTeX RDF	Ramón y Cajal, Derby, Larsen, book review
49	Birger Larsen, Peter Ingwersen, Jaana Kekäläinen	The polyrepresentation continuum in IR.	IIiX	2006	DBLP DOI BibTeX RDF	document structure in contextual IIR, research design
34	Cheng Sheng 0001, Yufei Tao 0001	New results on two-dimensional orthogonal range aggregation in external memory.	PODS	2011	DBLP DOI BibTeX RDF
34	Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone	Modal interfaces: unifying interface automata and modal specifications.	EMSOFT	2009	DBLP DOI BibTeX RDF	modal specifications, compatibility, interface automata
34	Roelof Hamberg, Frits W. Vaandrager	Using model checkers in an introductory course on operating systems.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
34	Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden	Bisimulation for Labelled Markov Processes.	LICS	1997	DBLP DOI BibTeX RDF
33	Joachim Böttcher, Alexander Pfeil, Anders Rosholm, Max-Ludwig Schäfer, Ansgar Malich, Alexander Petrovitch, Bettina Seidl, Gabriele Lehmann, Hans-Joachim Mentzel, Gert Hein, Gunter Wolf, Werner A. Kaiser	Computerized Digital Imaging Techniques Provided by Digital X-ray Radiogrammetry as New Diagnostic Tool in Rheumatoid Arthritis.	J. Digit. Imaging	2006	DBLP DOI BibTeX RDF	Digital x-ray radiogrammetry, rheumatoid arthritis, joint space width, bone mineral density, metacarpal index, Larsen Score, Sharp Score
32	Timothy M. Chan, Kasper Green Larsen, Mihai Patrascu	Orthogonal range searching on the RAM, revisited.	SCG	2011	DBLP DOI BibTeX RDF
32	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Modal I/O Automata for Interface and Product Line Theories.	ESOP	2007	DBLP DOI BibTeX RDF
32	Deena Larsen, Richard E. Higgason	An anatomy of anchors.	Hypertext	2004	DBLP DOI BibTeX RDF	efferent, design, navigation, taxonomy, aesthetic, link, semiotics, literature, anchor, reading strategies
32	Eric Bach 0001, Joan Boyar, Tao Jiang 0001, Kim S. Larsen, Guo-Hui Lin	Better Bounds on the Accommodating Ratio for the Seat Reservation Problem.	COCOON	2000	DBLP DOI BibTeX RDF	the seat reservation problem, accommodating ratio, adversary argument, on-line algorithms
32	Gérard Boudol, Kim Guldstrand Larsen	Graphical versus Logical Specifications.	CAAP	1990	DBLP DOI BibTeX RDF
30	Michael Larsen, Anna Larsen	Multiplicative series, modular forms, and Mandelbrot polynomials.	Math. Comput.	2021	DBLP DOI BibTeX RDF
30	Andreas Haahr Larsen, Yong Wang, Sandro Bottaro, Sergei Grudinin, Lise Arleth, Kresten Lindorff-Larsen	Combining molecular dynamics simulations with small-angle X-ray and neutron scattering data to study multi-domain proteins in solution.	PLoS Comput. Biol.	2020	DBLP DOI BibTeX RDF
30	Helene Høgh Larsen, Alexander Nuka Scheel, Toine Bogers, Birger Larsen	Hands-free but not Eyes-free: A Usability Evaluation of Siri while Driving.	CHIIR	2020	DBLP DOI BibTeX RDF
30	Benjamin Johansen, Michael Kai Petersen, Maciej Jan Korzepa, Jan Larsen, Niels Henrik Pontoppidan, Jakob Eg Larsen	Personalizing the Fitting of Hearing Aids by Learning Contextual Preferences From Internet of Things Data.	Comput.	2018	DBLP DOI BibTeX RDF
30	Maciej Jan Korzepa, Benjamin Johansen, Michael Kai Petersen, Jan Larsen, Jakob Eg Larsen, Niels Henrik Pontoppidan	Modeling User Intents as Context in Smartphone-connected Hearing Aids.	UMAP (Adjunct Publication)	2018	DBLP DOI BibTeX RDF
30	Maciej Jan Korzepa, Benjamin Johansen, Michael Kai Petersen, Jan Larsen, Jakob Eg Larsen, Niels Henrik Pontoppidan	Learning Preferences and Soundscapes for Augmented Hearing.	IUI Workshops	2018	DBLP BibTeX RDF
30	Anders Nymark Christensen, Christian Thode Larsen, Camilla Maria Mandrup, Martin Bæk Petersen, Rasmus Larsen 0001, Knut Conradsen, Vedrana Andersen Dahl	Automatic Segmentation of Abdominal Fat in MRI-Scans, Using Graph-Cuts and Image Derived Energies.	SCIA (2)	2017	DBLP DOI BibTeX RDF
30	Maksymilian Kurek, Frederik K. Larsen, Peter E. Larsen, Silvan Schmid, Anja Boisen, Stephan Sylvest Keller	Nanomechanical Pyrolytic Carbon Resonators: Novel Fabrication Method and Characterization of Mechanical Properties.	Sensors	2016	DBLP DOI BibTeX RDF
30	Anders Boesen Lindbo Larsen, Anders Bjorholm Dahl, Rasmus Larsen 0001	Oriented Shape Index Histograms for Cell Classification.	SCIA	2015	DBLP DOI BibTeX RDF
30	Anders Boesen Lindbo Larsen, Jacob Schack Vestergaard, Rasmus Larsen 0001	HEp-2 Cell Classification Using Shape Index Histograms With Donut-Shaped Spatial Pooling.	IEEE Trans. Medical Imaging	2014	DBLP DOI BibTeX RDF
30	Rasmus R. Jensen, Signe S. Thorup, Rasmus R. Paulsen, Tron A. Darvann, Nuno V. Hermann, Per Larsen, Sven Kreiborg, Rasmus Larsen 0001	Genus zero graph segmentation: Estimation of intracranial volume.	Pattern Recognit. Lett.	2014	DBLP DOI BibTeX RDF
30	Kjeld Jensen, Morten Larsen, Søren H. Nielsen, Leon B. Larsen, Kent S. Olsen, Rasmus N. Jørgensen	Towards an Open Software Platform for Field Robots in Precision Agriculture.	Robotics	2014	DBLP DOI BibTeX RDF
30	Raymond S. Larsen, Derek G. Welbourn, Daniel Wessner, Robin Podmore, Michelle Lacourciere, Anders Boesen Lindbo Larsen, Patrick Lee, Ron Moulton, Seth Myers, Martin Niboh, Patrick Ryan, Michael Wilson	"Learning beyond the Light Bulb" among Least Developed Countries based on a sustainable PV solar utility model.	GHTC	2014	DBLP DOI BibTeX RDF
30	Camilla H. Larsen, David S. Lauritsen, Jacob J. Larsen, Marc Pilgaard, Jacob B. Madsen	Differences in human audio localization performance between a HRTF- and a non-HRTF audio system.	Audio Mostly Conference	2013	DBLP DOI BibTeX RDF
30	Rasmus R. Jensen, Signe S. Thorup, Rasmus R. Paulsen, Tron A. Darvann, Nuno V. Hermann, Per Larsen, Sven Kreiborg, Rasmus Larsen 0001	Genus Zero Graph Segmentation: Estimation of Intracranial Volume.	SCIA	2013	DBLP DOI BibTeX RDF
30	Ben Houston, Wayne Larsen, Bryan Larsen, Jack Caron, Nima Nikfetrat, Catherine Leung, Jesse Silver, Hasan Kamal-Al-Deen, Peter Callaghan, Roy Chen, Tim McKenna	Clara.io: full-featured 3D content creation for the web and cloud era.	SIGGRAPH Studio Talks	2013	DBLP DOI BibTeX RDF
30	J. J. Yu, X. S. Qin, L. C. Larsen, O. Larsen, A. Jayasooriya, X. L. Shen	A GIS-based management and publication framework for data handling of numerical model results.	Adv. Eng. Softw.	2012	DBLP DOI BibTeX RDF
30	Jakob Eg Larsen, Arkadiusz Stopczynski, Jan Larsen, Claus Vesterskov, Peter Krogsgaard, Thomas Sondrup	Augmenting the sound experience at music festivals using mobile phones.	IUI	2011	DBLP DOI BibTeX RDF
30	Jens Clausen, Allan Larsen, Jesper Larsen, Natalia J. Rezanova	Disruption management in the airline industry - Concepts, models and methods.	Comput. Oper. Res.	2010	DBLP DOI BibTeX RDF
30	Jens Clausen, Allan Larsen, Jesper Larsen	Foreword.	Comput. Oper. Res.	2010	DBLP DOI BibTeX RDF
30	Lars Bo Larsen, Kasper Løvborg Jensen, Søren Larsen, Morten Højfeldt Rasmussen	A paradigm for mobile speech-centric services.	INTERSPEECH	2007	DBLP DOI BibTeX RDF
30	Hildur Ólafsdóttir, Tron A. Darvann, Bjarne K. Ersbøll, Nuno V. Hermann, Estanislao Oubel, Rasmus Larsen 0001, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg	Craniofacial statistical deformation models of wild-type mice and Crouzon mice.	Medical Imaging: Image Processing	2007	DBLP DOI BibTeX RDF
30	Michael Sass Hansen, Hildur Ólafsdóttir, Tron A. Darvann, Nuno V. Hermann, Estanislao Oubel, Rasmus Larsen 0001, Bjarne K. Ersbøll, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg	Estimation of Independent Non-Linear Deformation Modes for Analysis of Craniofacial Malformations in Crouzon Mice.	ISBI	2007	DBLP DOI BibTeX RDF
30	Stéphanie Lanche, Tron A. Darvann, Hildur Ólafsdóttir, Nuno V. Hermann, Andrea E. Van Pelt, Daniel Govier, Marissa J. Tenenbaum, Sybill Naidoo, Per Larsen, Sven Kreiborg, Rasmus Larsen 0001, Alex A. Kane	A Statistical Model of Head Asymmetry in Infants with Deformational Plagiocephaly.	SCIA	2007	DBLP DOI BibTeX RDF
30	Hildur Ólafsdóttir, Michael Sass Hansen, Karl Sjöstrand, Tron A. Darvann, Nuno V. Hermann, Estanislao Oubel, Bjarne K. Ersbøll, Rasmus Larsen 0001, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg	Sparse Statistical Deformation Model for the Analysis of Craniofacial Malformations in the Crouzon Mouse.	SCIA	2007	DBLP DOI BibTeX RDF
30	Lars Bo Larsen, Kasper Løvborg Jensen, Søren Larsen, Morten Højfeldt Rasmussen	Affordance in mobile speech-based user interaction.	Mobile HCI	2007	DBLP DOI BibTeX RDF	interface design on mobile devices, multi modal user interaction, affordance, speech interaction, distributed speech recognition
30	Hildur Ólafsdóttir, Stéphanie Lanche, Tron A. Darvann, Nuno V. Hermann, Rasmus Larsen 0001, Bjarne K. Ersbøll, Estanislao Oubel, Alejandro F. Frangi, Per Larsen, Chad A. Perlyn, Gillian M. Morriss-Kay, Sven Kreiborg	A Point-Wise Quantification of Asymmetry Using Deformation Fields: Application to the Study of the Crouzon Mouse Model.	MICCAI (2)	2007	DBLP DOI BibTeX RDF
30	Lars Bo Larsen, Rene B. Jensen, Kasper Løvborg Jensen, Søren Larsen	Development of an automatic pool trainer.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF	computer vision and -graphics, integration of modalities, multi modal user interaction, human computer interaction, ubiquitous computing, augmented reality, speech recognition, pool, computer aided learning
30	Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski	Color-Blind Specifications for Transformations of Reactive Synchronous Programs.	FASE	2005	DBLP DOI BibTeX RDF
30	Mads Hintz-Madsen, Lars Kai Hansen, Jan Larsen, Morten With Pedersen, Michael Larsen	Neural classifier construction using regularization, pruning and test error estimation.	Neural Networks	1998	DBLP DOI BibTeX RDF
29	Faming Gong, Kui Zhang, Shujun Liu	Retrieving the grounding lines of the Riiser-Larsen Ice Shelf using Sentinel-1 SAR images.	Int. J. Digit. Earth	2023	DBLP DOI BibTeX RDF
29	Yixiang Tian, Menglian Xia, Lu An, Marco Scaioni, Rongxing Li	Innovative Method of Combing Multidecade Remote Sensing Data for Detecting Precollapse Elevation Changes of Glaciers in the Larsen B Region, Antarctica.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2022	DBLP DOI BibTeX RDF
29	Joacim Hansson	Libraries, Archives and Museums as Democratic Spaces in a Digital Age. Audunson Ragnar, Andresen Herbjørn, Fagerlid Cicilie, Henningsen Erik, Hobohm Hans-Christoph, Jochumsen Henrik, Larsen Håkon, Vold Tonje (Eds.). Berlin: Walter de Gruyter GmbH, 2020. 370 pp. (ISBN 978-3-11-062954-5).	J. Assoc. Inf. Sci. Technol.	2021	DBLP DOI BibTeX RDF
29	Faming Gong, Kui Zhang, Shujun Liu	Retrieve Ice Velocities and Invert Spatial Rigidity of the Larsen C Ice Shelf Based on Sentinel-1 Interferometric Data.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
29	Hyangsun Han, Sungjae Lee, Jae-In Kim, Seung Hee Kim, Hyun-Cheol Kim	Changes in a Giant Iceberg Created from the Collapse of the Larsen C Ice Shelf, Antarctic Peninsula, Derived from Sentinel-1 and CryoSat-2 Data.	Remote. Sens.	2019	DBLP DOI BibTeX RDF
29	Richard Banach	John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014.	Formal Aspects Comput.	2019	DBLP DOI BibTeX RDF
29	Hongxing Liu, Shujie Wang	Analysis of Flow Velocity and Surface Structure Over Northern Larsen Ice Shelf Using Time Series Satellite Images.	IGARSS	2019	DBLP DOI BibTeX RDF
29	Ferdinando Nunziata, Andrea Buono, Maurizio Migliaccio, Miguel Moctezuma, Flavio Parmiggiani, Giuseppe Aulicino	Multi-Frequency and Multi-Polarization Synthetic Aperture Radar for the Larsen-C A-68 Iceberg Monitoring.	RTSI	2018	DBLP DOI BibTeX RDF
29	Takahiro Abe, Masato Ohki, Takeo Tadono	Observation of Huge Iceberg Detachment from Larsen-C Ice Shelf in Antarctic Peninsula by ALOS-2/PALSAR-2.	IGARSS	2018	DBLP DOI BibTeX RDF
29	Luca Aceto, Giorgio Bacci, Giovanni Bacci 0001, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.)	Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo	Improving the Timed Automata Approach to Biological Pathway Dynamics.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Luyao Wang, Wanling Xie, Huibiao Zhu	Assertion-Based Reasoning Method for Calculus of Wireless System.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Ernst-Rüdiger Olderog, Maike Schwammberger	Formalising a Hazard Warning Communication Protocol with Timed Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Florence Clerc, Harrison Humphrey, Prakash Panangaden	Bicategories of Markov Processes.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm	Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin	Syntactic Markovian Bisimulation for Chemical Reaction Networks.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou	Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Christel Baier, Sascha Klüppelholz, Sascha Wunderlich	Towards Automated Variant Selection for Heterogeneous Tiled Architectures.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Rajeev Alur, Konstantinos Mamouras, Dogan Ulus	Derivatives of Quantitative Regular Expressions.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell 0001	Timed Temporal Logics.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Marta Kwiatkowska, Gethin Norman, David Parker 0001	Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Aleksandar S. Dimovski, Andrzej Wasowski	From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson 0001, Konstantinos Sagonas	Comparing Source Sets and Persistent Sets for Partial Order Reduction.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Hasan Baig, Jan Madsen	Taming Living Logic Using Formal Methods.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Nicolas Basset, Jean-François Raskin, Ocan Sankur	Admissible Strategies in Timed Games.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz	A Framework for Evaluating Schedulability Analysis Tools.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen	WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Xinxin Liu	Negative Results on Decidability and Small Model Property of Process Equations.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Joost-Pieter Katoen, Falak Sher	Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer	Testing Divergent Transition Systems.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi 0001	Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns	Teaching Academic Concurrency to Amazing Students.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos	Information Flow for Timed Automata.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth 0001	Centrally Governed Blockchains: Optimizing Security, Cost, and Availability.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Klaus Havelund, Giles Reger	Runtime Verification Logics A Language Design Perspective.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Bernhard Steffen, Marc Jasper	Property-Preserving Parallel Decomposition.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	The Cost of Exactness in Quantitative Reachability.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Matthew Hennessy	A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Jan Kretínský	30 Years of Modal Transition Systems: Survey of Extensions and Analysis.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Albert Benveniste, Benoît Caillaud	Synchronous Interfaces and Assume/Guarantee Contracts.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Oded Maler, Irini-Eleftheria Mens	A Generic Algorithm for Learning Symbolic Automata from Membership Queries.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	Manfred Droste, Doreen Götze	A Nivat Theorem for Quantitative Automata on Unranked Trees.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
29	N. K. Arun, B. M. Mohan	Mathematical modelling of the simplest fuzzy two-input two-output proportional integral or proportional derivative controller via Larsen product inference.	Int. J. Autom. Control.	2016	DBLP DOI BibTeX RDF
29	Bo Han 0006, Bo He 0002, Rui Nian, Mengmeng Ma 0001, Shujing Zhang, Minghui Li, Amaury Lendasse	LARSEN-ELM: Selective ensemble of extreme learning machines using LARS for blended data.	Neurocomputing	2015	DBLP DOI BibTeX RDF
29	Bo Han 0006, Bo He 0002, Rui Nian, Mengmeng Ma 0001, Shujing Zhang, Minghui Li, Amaury Lendasse	LARSEN-ELM: Selective Ensemble of Extreme Learning Machines using LARS for Blended Data.	CoRR	2014	DBLP BibTeX RDF
29		Brokering Access: Power, Politics and Freedom of Information Process in Canada, by Mike Larsen and Kevin Walby.	Inf. Polity	2014	DBLP DOI BibTeX RDF
29	Megan E. Marsh, Saeed Torabi Ziaratgahi, Raymond J. Spiteri	The Secrets to the Success of the Rush-Larsen Method and its Generalizations.	IEEE Trans. Biomed. Eng.	2012	DBLP DOI BibTeX RDF
29	Enric Trillas, Claudi Alsina	From Leibniz's Shinning Theorem to the Synthesis of Rules through Mamdani-Larsen Conditionals.	Combining Experimentation and Theory	2012	DBLP DOI BibTeX RDF
29	David S. Rogers	Modelling systems: practical tools and techniques in software development, second edition written by John Fitzgerald and Peter Gorm Larsen and published by Cambridge University Press, 2009, ISBN 978-0-521-89911-6 hardback, 288 pp.	ACM SIGSOFT Softw. Eng. Notes	2010	DBLP DOI BibTeX RDF
29	Bo Jarneving	Reply to Larsen: 'The publication activity of Region Västra Götaland: a critical comment'.	Inf. Res.	2009	DBLP BibTeX RDF
29	Jos C. M. Baeten, Ana Sokolova	Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462.	J. Log. Algebraic Methods Program.	2008	DBLP DOI BibTeX RDF
29	Helmut Rott, Wolfgang Rack, Thomas Nagler	Increased export of grounded ice after the collapse of northern Larsen ice shelf, Antarctic Peninsula, observed by Envisat ASAR.	IGARSS	2007	DBLP DOI BibTeX RDF
29	Pietro Terna	Dynamics of Organizations: Computational Modeling and Organization Theories Edited by Alessandro Lomi and Erik R. Larsen.	J. Artif. Soc. Soc. Simul.	2002	DBLP BibTeX RDF
29	Maurício F. Figueiredo, Fernando A. C. Gomide, Armando Rocha, Ronald R. Yager	Comparison of Yager's level set method for fuzzy logic control with Mamdani's and Larsen's methods.	IEEE Trans. Fuzzy Syst.	1993	DBLP DOI BibTeX RDF
29	Henry C. Wong, Andreas Antoniou	Characterization and decomposition of waveforms for Larsen 500 airborne system.	IEEE Trans. Geosci. Remote. Sens.	1991	DBLP DOI BibTeX RDF
29	Dominic Dunlop	Microcomputer-analog converter software and hardware interfacing: Johnathon A Titus, Christopher A Titus, Peter R Rony and David G Larsen, Howard W Sams & Co Inc., (1979) 288 pp, $9.50.	Microprocess. Microsystems	1979	DBLP DOI BibTeX RDF
29	Peter Bushell	8080/8085 software design: D G Larsen et al., Prentice Hall, (1979) 337pp, £6.95.	Microprocess. Microsystems	1979	DBLP DOI BibTeX RDF
17	Stavros Tripakis	Checking timed Büchi automata emptiness on simulation graphs.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages