Search results for "APPEL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
159	Rakesh Agrawal 0001, Jerry Kiernan, Ramakrishnan Srikant, Yirong Xu	An SPath-based preference language for P3P.	WWW	2003	DBLP DOI BibTeX RDF	APPEL, XPref, hippocratic databases, privacy-aware data management, XPath, preference, P3P
63	O. S. Paramonova, A. W. Niukkanen	Computer-Aided Analysis of Transformation Formulas for Appel and Horn Functions.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
49	Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini	Logic-Based Detection of Conflicts in AppelPolicies.	FSEN	2007	DBLP DOI BibTeX RDF
49	Max Hailperin	Comparing conservative coalescing criteria.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Copy propagation, graph coloring, register allocation, register coalescing
49	Guoliang Xue	A Cost Optimal Parallel Algorithm for Computing Force Field in N-Body Simulations.	COCOON	1998	DBLP DOI BibTeX RDF	Paralle algorithms, spatial tree data structures, force field evaluation, cost optimal algorithms, PRAM, N-body simulations
46	Patrick C. K. Hung, Dickson K. W. Chiu, W. W. Fung, William K. Cheung 0001, Raymond K. Wong 0001, Samuel P. M. Choi, Eleanna Kafeza, James T. Kwok, Joshua C. C. Pun, Vivying S. Y. Cheng	End-to-end privacy control in service outsourcing of human intensive processes: A multi-layered Web service integration approach.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Web service integration, Need-to-know principle, APPEL, SLA, Privacy policies, P3P, Layered architecture
38	Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli	Oracle Semantics for Concurrent Separation Logic.	ESOP	2008	DBLP DOI BibTeX RDF
38	Andrew W. Appel	Intensional Equality ;=) for Continuations.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
33	Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	GCH: Hints for Triggering Garbage Collections.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
33	Gemma A. Campbell, Kenneth J. Turner	Ontologies to Support Call Control Policies.	AICT	2007	DBLP DOI BibTeX RDF	Call Control, Ontology, Policy, OWL, Internet Telephony
33	Amal J. Ahmed 0001	Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.	ESOP	2006	DBLP DOI BibTeX RDF
33	Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	Garbage Collection Hints.	HiPEAC	2005	DBLP DOI BibTeX RDF
33	Stefan Monnier, Bratin Saha, Zhong Shao	Principled Scavenging.	PLDI	2001	DBLP DOI BibTeX RDF
33	Henry G. Baker	CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	C
31	Christoph Grimm 0001, Frank Wawrzik, Alexander Louis-Ferdinand Jung, Konstantin Lübeck, Sebastian Post, Johannes Koch, Oliver Bringmann 0001	APPEL - AGILA ProPErty and Dependency Description Language.	MBMV	2021	DBLP BibTeX RDF
31	Maico Leberle	Dissecting call-by-need by customizing multi type systems. (Une dissection de l'appel-par-nécessité par la personnalisation des systèmes de multi types).		2021	RDF
31	Gabriel T. P. Coimbra, Cláudio Gustavo S. Capanema, Fabrício A. Silva, Thais R. M. Braga Silva	APPEL: Uma extensão do Kepler para enriquecimento de dados geoespaciais.	GEOINFO	2019	DBLP BibTeX RDF
31	Jules Chouquet	Une géométrie du calcul : Réseaux de preuve, Appel-Par-Pousse-Valeuret Topologie du consensus. (A geometry of calculus).		2019	RDF
31		Appel propositions darticles sur le thme. Thorie des jeux en informatique.	Tech. Sci. Informatiques	2011	DBLP BibTeX RDF
31	Luca Saiu	Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs: évaluation asynchrone et ramasse-miettes parallèle.	Stud. Inform. Univ.	2009	DBLP BibTeX RDF
31	Luca Saiu	Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle.	JFLA	2009	DBLP BibTeX RDF
31	Emin Islam Tatli	Extending P3P/Appel for Friend Finder.	MDM	2007	DBLP DOI BibTeX RDF
31	Laurence Devillers, Laurence Vidrascu	Représentation et détection des émotions dans des dialogues enregistrés dans un centre d'appel. Des émotions complexes dans des données réelles.	Rev. d'Intelligence Artif.	2006	DBLP DOI BibTeX RDF
31	José Manuel Velasco, Katzalin Olcoz, Francisco Tirado	Adaptive Tuning of Reserved Space in an Appel Collector.	ECOOP	2004	DBLP DOI BibTeX RDF
31	M. S. Hingst, Andrew T. Phillips	A Performance Analysis of Appel's Algorithm for Performing Pairwise Calculations in a Many Particle System.	Comput. Optim. Appl.	1999	DBLP DOI BibTeX RDF
31	Klaas Esseling	The Order of Appel's Algorithm.	Inf. Process. Lett.	1992	DBLP DOI BibTeX RDF
31	Christine Morin	Protocole d'appel de multiprocédure à distance dans le système Gothic : définition et mise en oeuvre. (Remote Multiprocedure Call Protocol in the Gothic System: Definition and Implementation).		1990	RDF
31	Takahiro Masuda, Akemi Futakawa, Suguru Arimoto, Fumio Miyazaki	Closed-loop dynamics analysis by Appel's method.	Adv. Robotics	1987	DBLP DOI BibTeX RDF
31	Patrice Boizumault	Sur la transformation de l'appel terminal en itération dans un interprète PROLOG.	SPLT	1983	DBLP BibTeX RDF
31	André Arnold	Sémantique algébrique de l'appel par valeur.	RAIRO Theor. Informatics Appl.	1978	DBLP DOI BibTeX RDF
31	Irène Guessarian	A propos de la sémantique de l'appel par valeur selon A. Arnold.	RAIRO Theor. Informatics Appl.	1978	DBLP DOI BibTeX RDF
31	Jacky Estublier	Processus cyclique et appel procédural.		1978	RDF
29	Stephen E. Levy, Carl Gutwin	Improving understanding of website privacy policies with fine-grained policy anchors.	WWW	2005	DBLP DOI BibTeX RDF	APPEL, conformance conflicts, e-commerce, privacy policies, P3P, user agents, privacy preferences
29	Keith Irwin, Ting Yu 0001	Determining user privacy preferences by asking the right questions: an automated approach.	WPES	2005	DBLP DOI BibTeX RDF	APPEL, privacy, preferences, P3P
22	Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao	VST-A: A Foundationally Sound Annotation Verifier.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
22	Kevin C. Zhou, Mark Harfouche, Maxwell Zheng, Joakim Jönsson, Kyung Chul Lee, Kanghyun Kim, Ron Appel, Paul Reamey, Thomas Doman, Veton Saliu, Gregor Horstmeyer, Seung Ah Lee, Roarke Horstmeyer	Computational 3D topographic microscopy from terabytes of data per sample.	J. Big Data	2024	DBLP DOI BibTeX RDF
22	Brian Pondi, Marius Appel, Edzer J. Pebesma	OpenEOcubes: an open-source and lightweight R-based RESTful web service for analyzing earth observation data cubes.	Earth Sci. Informatics	2024	DBLP DOI BibTeX RDF
22	Andrew W. Appel, Ariel Kellison	VCFloat2: Floating-Point Error Analysis in Coq.	CPP	2024	DBLP DOI BibTeX RDF
22	Jan Appel, Andreas Weiler	XCrowd: A Realistic Crowd Simulation Tool for Efficient Movement Management.	EDBT/ICDT Workshops	2024	DBLP BibTeX RDF
22	Samantha Lewis-Fung, Danielle Tchao, Hannah Gabrielle Gray, Emma Nguyen, Susanna Pardini, Laurence R. Harris, Dale Calabia, Lora Appel	Designing virtual reality exposure scenarios to treat anxiety in people with epilepsy: Phase 2 of the AnxEpiVR clinical trial.	Frontiers Virtual Real.	2023	DBLP DOI BibTeX RDF
22	Kamran Pentland, Massimiliano Tamborrino, Timothy John Sullivan, James Buchanan, Lynton C. Appel	GParareal: a time-parallel ODE solver using Gaussian process emulation.	Stat. Comput.	2023	DBLP DOI BibTeX RDF
22	Natalia Sevcenko, Tobias Appel, Manuel Ninaus, Korbinian Moeller, Peter Gerjets	Theory-based approach for assessing cognitive load during time-critical resource-managing human-computer interactions: an eye-tracking study.	J. Multimodal User Interfaces	2023	DBLP DOI BibTeX RDF
22	Kamran Pentland, Massimiliano Tamborrino, Debasmita Samaddar, Lynton C. Appel	Stochastic Parareal: An Application of Probabilistic Methods to Time-Parallelization.	SIAM J. Sci. Comput.	2023	DBLP DOI BibTeX RDF
22	Rianne Appel-Meulenbroek, Vitalija Danivska	Steps and theories towards more effective business case processes within existing organisations: an inter-disciplinary systematic literature review.	Bus. Process. Manag. J.	2023	DBLP DOI BibTeX RDF
22	Giulio Weikmann, Daniele Marinelli, Claudia Paris, Silke Migdall, Eva Gleisberg, Florian Appel, Heike Bach, Jim Dowling, Lorenzo Bruzzone	Multiyear Mapping of Water Demand at Crop Level: An End-to-End Workflow Based on High-Resolution Crop Type Maps and Meteorological Data.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2023	DBLP DOI BibTeX RDF
22	Jonathan S. Koning, Ashwin Subramanian, Mazen Alotaibi, Cara L. Appel, Christopher M. Sullivan, Thon Chao, Lisa Truong, Robyn L. Tanguay, Pankaj Jaiswal, Taal Levi, Damon B. Lesmeister	Njobvu-AI: An open-source tool for collaborative image labeling and implementation of computer vision models.	CoRR	2023	DBLP DOI BibTeX RDF
22	Kevin C. Zhou, Mark Harfouche, Maxwell Zheng, Joakim Jönsson, Kyung Chul Lee, Ron Appel, Paul Reamey, Thomas Doman, Veton Saliu, Gregor Horstmeyer, Roarke Horstmeyer	Computational 3D topographic microscopy from terabytes of data per sample.	CoRR	2023	DBLP DOI BibTeX RDF
22	Tobias Appel, Peter Gerjets, Stefan Hoffmann, Korbinian Moeller, Manuel Ninaus, Christian Scharinger, Natalia Sevcenko, Franz Wortha, Enkelejda Kasneci	Cross-Task and Cross-Participant Classification of Cognitive Load in an Emergency Simulation Game.	IEEE Trans. Affect. Comput.	2023	DBLP DOI BibTeX RDF
22	Xiaoqin Gao, Paul Appel, Nicolai Friis, Martin Ringbauer, Marcus Huber	On the role of entanglement in qudit-based circuit compression.	Quantum	2023	DBLP DOI BibTeX RDF
22	Pascal Mossier, Daniel Appel, Andrea D. Beck, Claus-Dieter Munz	An Efficient hp-Adaptive Strategy for a Level-Set Ghost-Fluid Method.	J. Sci. Comput.	2023	DBLP DOI BibTeX RDF
22	Andrew W. Appel, Xavier Leroy	Efficient Extensional Binary Tries.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
22	Qinshi Wang, Andrew W. Appel	A Solver for Arrays with Concatenation.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
22	Andrea Grundke, Jan-Philipp Stein, Markus Appel	Improving evaluations of advanced robots by depicting them in harmful situations.	Comput. Hum. Behav.	2023	DBLP DOI BibTeX RDF
22	Markus Appel, Fabian Hutmacher, Theresa Politt, Jan-Philipp Stein	Swipe right? Using beauty filters in male Tinder profiles reduces women's evaluations of trustworthiness but increases physical attractiveness and dating intention.	Comput. Hum. Behav.	2023	DBLP DOI BibTeX RDF
22	Henrike Böck, Patricia B. Appel, Sary Elmelegy, Franziska Hegner, Andreas Riener	Do you Feel Safe? How Weather Conditions and Time of Day Affect the Feeling of Safety in Passenger Drones.	AutomotiveUI (Adjunct Proceedings)	2023	DBLP DOI BibTeX RDF
22	Patricia B. Appel, Henrike Böck, Franziska Hegner, Claus Pfeilschifter, Andreas Riener	Annoyed of Traffic Jams? Fly with FeliFly!	AutomotiveUI (Adjunct Proceedings)	2023	DBLP DOI BibTeX RDF
22	Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel	LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.	ARITH	2023	DBLP DOI BibTeX RDF
22	Lora Appel, Raheleh Saryazdi, Samantha Lewis-Fung, Di Qi, Essete M. Tesfaye, Isabella Garito, Jennifer L. Campos	VRx@Home Pilot: Can Virtual Reality Therapy Improve Quality of Life for People with Dementia Living at Home?	SMC	2023	DBLP DOI BibTeX RDF
22	Qinshi Wang, Mengying Pan, Shengyi Wang, Ryan Doenges, Lennart Beringer, Andrew W. Appel	Foundational Verification of Stateful P4 Packet Processing.	ITP	2023	DBLP DOI BibTeX RDF
22	Philipp Stark, Tobias Appel, Milo J. Olbrich, Enkelejda Kasneci	Pupil Diameter during Counting Tasks as Potential Baseline for Virtual Reality Experiments.	ETRA	2023	DBLP DOI BibTeX RDF
22	Tobias Appel, Kevin Kärcher, Hans-Dieter Körner	Investigating Cognitive Load for Tasks with Mathematics and Chemistry Context through Eye Tracking.	ETRA	2023	DBLP DOI BibTeX RDF
22	Florian Appel, Heike Bach, Silke Migdall, Manolis Koubarakis, George Stamoulis, Dimitris Bilidas, Despina-Athanasia Pantazi, Lorenzo Bruzzone, Claudia Paris, Giulio Weikmann	ExtremeEarth: Managing Water Availability for Crops Using Earth Observation and Machine Learning.	EDBT	2023	DBLP DOI BibTeX RDF
22	Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin	Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method.	CICM	2023	DBLP DOI BibTeX RDF
22	Amalie Søgaard Nielsen, Lisa Hanna, Birgit Furstrand Larsen, Charlotte W. Appel, Richard H. Osborne, Lars Kayser	Readiness, acceptance and use of digital patient reported outcome in an outpatient clinic.	Health Informatics J.	2022	DBLP DOI BibTeX RDF
22	Andreas Møller Jørgensen, Maria Appel Nissen	Making sense of decision support systems: Rationales, translations and potentials for critical reflections on the reality of child protection.	Big Data Soc.	2022	DBLP DOI BibTeX RDF
22	Jan-Philipp Stein, Paula Cimander, Markus Appel	Power-Posing Robots: The Influence of a Humanoid Robot's Posture and Size on its Perceived Dominance, Competence, Eeriness, and Threat.	Int. J. Soc. Robotics	2022	DBLP DOI BibTeX RDF
22	Marius Appel	Efficient data-driven gap filling of satellite image time series using deep neural networks with partial convolutions.	CoRR	2022	DBLP DOI BibTeX RDF
22	Kamran Pentland, Massimiliano Tamborrino, Timothy John Sullivan, James Buchanan, Lynton C. Appel	GParareal: A time-parallel ODE solver using Gaussian process emulation.	CoRR	2022	DBLP BibTeX RDF
22	Ana Paula Appel, Anderson Luis de Paula Silva, Adriana Reigota Silva, Caique Dutra Santos, Thiago Logo da Silva, Rafael Poggi de Araujo, Luiz Carlos Faray de Aquino	Item Matching using Text Description and Similarity Search.	CoRR	2022	DBLP DOI BibTeX RDF
22	Paul Appel, Alexander J. Heilman, Ezekiel W. Wertz, David W. Lyons, Marcus Huber, Matej Pivoluska, Giuseppe Vitagliano	Finite-Function-Encoding Quantum States.	Quantum	2022	DBLP DOI BibTeX RDF
22	Markus Appel, Fabian Prietzel	The detection of political deepfakes.	J. Comput. Mediat. Commun.	2022	DBLP DOI BibTeX RDF
22	Joshua M. Cohen, Qinshi Wang, Andrew W. Appel	Verified Erasure Correction in Coq with MathComp and VST.	CAV (2)	2022	DBLP DOI BibTeX RDF
22	Ariel E. Kellison, Andrew W. Appel	Verified Numerical Methods for Ordinary Differential Equations.	NSV/FoMLAS@CAV	2022	DBLP DOI BibTeX RDF
22	Malte Appel, Emile Aben, Romain Fontugne	Metis: Better Atlas Vantage Point Selection for Everyone.	TMA	2022	DBLP BibTeX RDF
22	Matt Traverso, Craig Appel, Marco Mazzini, Cristiana Muzio, Stanley Lo, Don Adams, Mark Webster	Integrated Silicon Photonics Transmitters.	OECC/PSC	2022	DBLP DOI BibTeX RDF
22	Andrew W. Appel	Coq's vibrant ecosystem for verification engineering (invited talk).	CPP	2022	DBLP DOI BibTeX RDF
22	Tobias Appel, Lisa Bardach, Enkelejda Kasneci	Predicting Decision-Making during an Intelligence Test via Semantic Scanpath Comparisons.	ETRA	2022	DBLP DOI BibTeX RDF
22	Zoe Paraskevopoulou, John M. Li, Andrew W. Appel	Compositional optimizations for CertiCoq.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
22	John M. Li, Andrew W. Appel	Deriving efficient program transformations from rewrite rules.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
22	Dong Goo Lee, Adrian Lindsay, Adam Yu, Samantha Neilson, Kristen Sundvick, Ella Golz, Liam Foulger, Maryam Mirian, Silke Appel-Cresswell	Data-Driven Prediction of Fatigue in Parkinson's Disease Patients.	Frontiers Artif. Intell.	2021	DBLP DOI BibTeX RDF
22	Lennart Beringer, Andrew W. Appel	Abstraction and subsumption in modular verification of C programs.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
22	Desta Haileselassie Hagos, Theofilos Kakantousis, Vladimir Vlassov, Sina Sheikholeslami, Tianze Wang, Jim Dowling, Claudia Paris, Daniele Marinelli, Giulio Weikmann, Lorenzo Bruzzone, Salman Khaleghian, Thomas Krämer, Torbjørn Eltoft, Andrea Marinoni, Despina-Athanasia Pantazi, George Stamoulis, Dimitris Bilidas, George Papadakis 0001, Georgios M. Mandilaras, Manolis Koubarakis, Antonis Troumpoukis, Stasinos Konstantopoulos, Markus Muerth, Florian Appel, Andrew Fleming, Andreas Cziferszky	ExtremeEarth Meets Satellite Data From Space.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2021	DBLP DOI BibTeX RDF
22	Kamran Pentland, Massimiliano Tamborrino, D. Samaddar, Lynton C. Appel	Stochastic parareal: an application of probabilistic methods to time-parallelisation.	CoRR	2021	DBLP BibTeX RDF
22	Andrew W. Appel, Xavier Leroy	Efficient Extensional Binary Tries.	CoRR	2021	DBLP BibTeX RDF
22	Ahmed Hassoon, Yasmin Baig, Daniel Q. Naiman, David D. Celentano, Dina Lansey, Vered Stearns, Josef Coresh, Jennifer A. Schrack, Seth S. Martin, Hsin-Chieh Yeh, Hadas Zeilberger, Lawrence J. Appel	Randomized trial of two artificial intelligence coaching interventions to increase physical activity in cancer survivors.	npj Digit. Medicine	2021	DBLP DOI BibTeX RDF
22	Mary Beth Oliver, Arthur A. Raney, Anne Bartsch, Sophie H. Janicke-Bowles, Markus Appel, Katherine R. Dale	Model of Inspiring Media.	J. Media Psychol. Theor. Methods Appl.	2021	DBLP DOI BibTeX RDF
22	Markus Appel, Birgit Lugrin, Mayla Kühle, Corinna Heindl	The emotional robotic storyteller: On the influence of affect congruency on narrative transportation, robot perception, and persuasion.	Comput. Hum. Behav.	2021	DBLP DOI BibTeX RDF
22	Claudio Santos Pinhanez, Heloisa Candello, Paulo Rodrigo Cavalin, Mauro Carlos Pichiliani, Ana Paula Appel, Victor Henrique Alves Ribeiro, Julio Nogima, Maíra Gatti de Bayser, Melina Alberio Guerra, Henrique Ferreira, Gabriel Louzada Malfatti	Integrating Machine Learning Data with Symbolic Knowledge from Collaboration Practices of Curators to Improve Conversational Systems.	CHI	2021	DBLP DOI BibTeX RDF
22	Mirko Palmer, Malte Appel, Kevin Spiteri, Balakrishnan Chandrasekaran 0002, Anja Feldmann, Ramesh K. Sitaraman	VOXEL: cross-layer optimization for video streaming with imperfect transmission.	CoNEXT	2021	DBLP DOI BibTeX RDF
22	Anton Burtsev, Dan Appel, David Detweiler, Tianjiao Huang, Zhaofeng Li 0004, Vikram Narayanan, Gerd Zellweger	Isolation in Rust: What is Missing?	PLOS@SOSP	2021	DBLP DOI BibTeX RDF
22	Matt Traverso, Marco Mazzini, Kumar Lakshmikumar, Sanjay Sunder, Alexander Kurylak, Craig Appel, Cristiana Muzio, Ravi Tummidi, Alberto Cervasio, Mary Nadeau, Weizhuo Li, Jarrett Neiman, Mark Webster	Integrated Silicon Photonics Transceiver Module for 100Gbit/s 20km Transmission.	OFC	2021	DBLP BibTeX RDF
22	James P. Roney, Troy Appel, Prateek Pinisetti, James Mickens	Identifying Valuable Pointers in Heap Data.	SP (Workshops)	2021	DBLP DOI BibTeX RDF
22	Claudio S. Pinhanez, Paulo Rodrigo Cavalin, Victor Henrique Alves Ribeiro, Ana Paula Appel, Heloisa Candello, Julio Nogima, Mauro Pichiliani, Melina Alberio Guerra, Maíra de Bayser, Gabriel Louzada Malfatti, Henrique Ferreira	Using Meta-Knowledge Mined from Identifiers to Improve Intent Recognition in Conversational Systems.	ACL/IJCNLP (1)	2021	DBLP DOI BibTeX RDF
22	Tobias Appel	Cross-participant and cross-task classification of cognitive load based on eye tracking		2021	RDF
22	Yaniv Shani, Gil Appel, Shai Danziger, Ron Shachar	When and Why Consumers "Accidentally" Endanger Their Products.	Manag. Sci.	2020	DBLP DOI BibTeX RDF
22	Vanessa Kosoy, Alexander Appel	Optimal Polynomial-time Estimators: A Bayesian Notion of Approximation Algorithm.	FLAP	2020	DBLP BibTeX RDF
22	Hartwig Anzt, Felix Bach, Stephan Druskat, Frank Löffler 0001, Axel Loewe, Bernhard Y. Renard, Gunnar Seemann, Alexander Struck, Elke Achhammer, Piush Aggarwal, Franziska Appel, Michael Bader, Lutz Brusch, Christian Busse, Gerasimos Chourdakis, Piotr Wojciech Dabrowski, Peter Ebert, Bernd Flemisch, Sven Friedl, Bernadette Fritzsch, Maximilian D. Funk, Volker Gast, Florian Goth, Jean-Noël Grad, Sibylle Hermann, Florian Hohmann, Stephan Janosch, Dominik Kutra, Jan Linxweiler, Thilo Muth, Wolfgang Peters-Kottig, Fabian Rack, Fabian H. C. Raters, Stephan Rave, Guido Reina, Malte Reißig, Timo Ropinski, Jörg Schaarschmidt, Heidi Seibold, Jan P. Thiele, Benjamin Uekermann, Stefan Unger, Rudolf Weeber	An environment for sustainable research software in Germany and beyond: current state, open challenges, and call for action.	F1000Research	2020	DBLP DOI BibTeX RDF
22	Tino Kreutzer, Patrick Vinck, Phuong N. Pham, Aijun An, Lora Appel, Eric DeLuca, Grace Tang, Muath Alzghool, Kusum Hachhethu, Bobi Morris, Sandie L. Walton-Ellery, John Crowley, James Orbinski	Improving humanitarian needs assessments through natural language processing.	IBM J. Res. Dev.	2020	DBLP DOI BibTeX RDF
22	Eugenia V. Afinoguenova, Stephen Appel, Andrea Ballard, Mackenzi McGowan	Letters from Spain in a Space-time Box: Historical GIS with Timestamped Itineraries for Understanding the Chronotopes of Nineteenth-century Travel Writing.	Int. J. Humanit. Arts Comput.	2020	DBLP DOI BibTeX RDF
22	Andrew W. Appel, Yves Bertot	C floating-point proofs layered with VST and Flocq.	J. Formaliz. Reason.	2020	DBLP DOI BibTeX RDF