[ACM Press the eleventh workshop - Potsdam, Germany (2012.03.26-2012.03.26)] Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages - FOAL '12 - Modular reasoning about region composition
- 作者Cottenier, Thomas; van den Berg, Aswin; Weigert, Thomas
- 文件大小369.33KB
- 发表时间2012
- DOI10.1145/2162010.2162016
Ice And The Origin Of LifeHauke Trinks; Wolfgang Schröder; Christof K. Biebricher · 2005
The Stonehenge Hidden Landscapes ProjectChris Gaffney; Vince Gaffney; Wolfgang Neubauer; Eamonn Baldwin; Henry Chapman; Paul Garwood; Helen Moulden; Tom Sparrow; Richard Bates; Klaus Löcker; Alois Hinterleitner; Immo Trinks; Erich Nau; Thomas Zitz; Sebastian Floery; Geert Verhoeven; Michael Doneus · 2012
Über B. Buchbergers verfahren, systeme algebraischer gleichungen zu lösenWolfgang Trinks · 1978
The discovery of the school of gladiators at Carnuntum, AustriaNeubauer, Wolfgang; Gugl, Christian; Scholz, Markus; Verhoeven, Geert; Trinks, Immo; Löcker, Klaus; Doneus, Michael; Saey, Timothy; Meirvenne, Marc Van · Antiquity · 2014
An object oriented approach to automatic classification of archaeological features in magnetic prospection dataPregesbauer, Michael; Trinks, Immo; Neubauer, Wolfgang · Near Surface Geophysics · 2014
Durrington walls and the Stonehenge Hidden Landscape Project 2010-2016Gaffney, Vincent; Neubauer, Wolfgang; Garwood, Paul; Gaffney, Christopher; Löcker, Klaus; Bates, Richard; De Smedt, Phillipe; Baldwin, Eamonn; Chapman, Henry; Hinterleitner, Alois; Wallner, Mario; Nau, Erich; Filzwieser, Roland; Kainz, Jakob; Trausmuth, Tanja; Schneidhofer, Petra; Zotti, Georg; Lugmayer, Agatha; Trinks, Immo; Corkum, Alexander · Archaeological Prospection · 2018
First High-resolution GPR and Magnetic Archaeological Prospection at the Viking Age Settlement of Birka in SwedenTrinks, Immo; Neubauer, Wolfgang; Hinterleitner, Alois · Archaeological Prospection · 2014
Small algorithms for small systemsDavenport, James H. · ACM Communications in Computer Algebra · 2012
Symbolic computation of Fenchel conjugatesBauschke, Heinz H.; Mohrenschildt, Martin v. · ACM Communications in Computer Algebra · 2006
OSCASJoyner, David · ACM Communications in Computer Algebra · 2006
GAPLinton, Steve · ACM Communications in Computer Algebra · 2007
Remembering Richard Crandall (1947--2012)Wolfram, Stephen · ACM Communications in Computer Algebra · 2013
Series misdemeanorsStoutemyer, David R. · ACM Communications in Computer Algebra · 2013
Block Wiedemann algorithm on multicore architecturesVialla, Bastien · ACM Communications in Computer Algebra · 2014
DISCOVERERXia, Bican · ACM Communications in Computer Algebra · 2007